Trace number 3458183

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 Resolution 2.3.0OPT3 198.742 197.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
MD5SUM79cf27053836a1888aee43ca3805fcdd
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.217966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458183-1307158301.opb
0.11/0.11	c reading problem ... 
0.11/0.19	c ... done. Wall clock time 0.076s.
0.11/0.19	c #vars     648
0.11/0.19	c #constraints  991
0.11/0.19	c constraints type 
0.11/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
0.11/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
1.03/0.74	c cleaning 2499 clauses out of 5000 with flag 5000/5000
1.68/1.37	c cleaning 4250 clauses out of 8501 with flag 11000/11000
2.48/2.14	c cleaning 5626 clauses out of 11252 with flag 18001/18001
3.38/3.04	c cleaning 6809 clauses out of 13626 with flag 26001/26001
4.43/4.08	c cleaning 7905 clauses out of 15817 with flag 35001/35001
5.43/5.02	c cleaning 8948 clauses out of 17912 with flag 45001/45001
6.33/5.99	c cleaning 9476 clauses out of 18963 with flag 55000/55000
7.23/6.80	c cleaning 9727 clauses out of 19488 with flag 65001/65001
8.24/7.86	c cleaning 9875 clauses out of 19761 with flag 75001/75001
9.04/8.68	c cleaning 9940 clauses out of 19886 with flag 85001/85001
9.94/9.59	c cleaning 9961 clauses out of 19947 with flag 95002/95002
10.65/10.28	c cleaning 9985 clauses out of 19984 with flag 105000/105000
11.75/11.32	c cleaning 9994 clauses out of 19999 with flag 115000/115000
12.66/12.21	c cleaning 10000 clauses out of 20005 with flag 125000/125000
13.76/13.32	c cleaning 9987 clauses out of 20005 with flag 135000/135000
14.78/14.34	c cleaning 10001 clauses out of 20018 with flag 145000/145000
15.67/15.29	c cleaning 10004 clauses out of 20018 with flag 155001/155001
16.47/16.09	c cleaning 9999 clauses out of 20014 with flag 165001/165001
17.27/16.87	c cleaning 10005 clauses out of 20014 with flag 175000/175000
18.17/17.74	c cleaning 10001 clauses out of 20009 with flag 185000/185000
18.97/18.60	c cleaning 9995 clauses out of 20008 with flag 195000/195000
20.07/19.68	c cleaning 10000 clauses out of 20013 with flag 205000/205000
21.39/20.94	c cleaning 10002 clauses out of 20014 with flag 215001/215001
22.08/21.68	c cleaning 9992 clauses out of 20013 with flag 225002/225002
23.08/22.62	c cleaning 10003 clauses out of 20020 with flag 235001/235001
24.08/23.68	c cleaning 9998 clauses out of 20017 with flag 245001/245001
25.66/24.94	c cleaning 9997 clauses out of 20018 with flag 255000/255000
26.99/25.95	c cleaning 10007 clauses out of 20021 with flag 265000/265000
27.99/26.99	c cleaning 10001 clauses out of 20015 with flag 275001/275001
28.39/27.40	c SATISFIABLE
28.39/27.40	c OPTIMIZING...
28.39/27.40	c Got one! Elapsed wall clock time (in seconds):27.294
28.39/27.40	o 33
28.79/27.76	c cleaning 10659 clauses out of 21345 with flag 5001/286332
29.19/28.18	c cleaning 8335 clauses out of 16685 with flag 11000/292331
29.90/28.87	c cleaning 7670 clauses out of 15350 with flag 18000/299331
30.60/29.57	c cleaning 7832 clauses out of 15682 with flag 26002/307333
31.20/30.17	c cleaning 8408 clauses out of 16850 with flag 35002/316333
31.81/30.81	c cleaning 9210 clauses out of 18444 with flag 45004/326335
32.30/31.22	c Got one! Elapsed wall clock time (in seconds):31.114
32.30/31.22	o 13
32.60/31.59	c cleaning 10541 clauses out of 21101 with flag 5001/338202
33.10/32.07	c cleaning 8270 clauses out of 16560 with flag 11001/344202
33.71/32.62	c cleaning 7635 clauses out of 15290 with flag 18001/351202
34.31/33.22	c cleaning 7823 clauses out of 15655 with flag 26001/359202
35.01/33.99	c cleaning 8409 clauses out of 16831 with flag 35000/368201
36.11/35.02	c cleaning 9208 clauses out of 18423 with flag 45001/378202
37.11/36.02	c cleaning 9596 clauses out of 19215 with flag 55001/388202
38.21/37.10	c cleaning 9802 clauses out of 19619 with flag 65001/398202
39.11/38.03	c cleaning 9901 clauses out of 19817 with flag 75001/408202
40.11/39.01	c cleaning 9946 clauses out of 19915 with flag 85000/418201
41.31/40.23	c cleaning 9983 clauses out of 19971 with flag 95002/428203
42.41/41.33	c cleaning 9989 clauses out of 19987 with flag 105001/438202
43.21/42.15	c cleaning 9988 clauses out of 19997 with flag 115000/448201
44.31/43.22	c cleaning 9996 clauses out of 20010 with flag 125001/458202
45.44/44.34	c cleaning 10003 clauses out of 20014 with flag 135001/468202
46.54/45.49	c cleaning 10002 clauses out of 20009 with flag 145000/478201
47.74/46.69	c cleaning 9999 clauses out of 20007 with flag 155000/488201
48.54/47.43	c cleaning 9997 clauses out of 20008 with flag 165000/498201
49.35/48.20	c cleaning 9994 clauses out of 20012 with flag 175001/508202
50.45/49.31	c cleaning 9995 clauses out of 20017 with flag 185000/518201
51.45/50.37	c cleaning 10000 clauses out of 20022 with flag 195000/528201
52.65/51.52	c cleaning 10002 clauses out of 20023 with flag 205001/538202
53.75/52.60	c cleaning 10002 clauses out of 20021 with flag 215001/548202
54.96/53.83	c cleaning 10002 clauses out of 20019 with flag 225001/558202
55.65/54.58	c cleaning 9997 clauses out of 20016 with flag 235000/568201
56.66/55.53	c cleaning 9998 clauses out of 20019 with flag 245000/578201
57.56/56.45	c cleaning 10000 clauses out of 20021 with flag 255000/588201
58.38/57.23	c cleaning 9996 clauses out of 20021 with flag 265000/598201
59.16/58.04	c cleaning 9998 clauses out of 20028 with flag 275003/608204
59.86/58.77	c cleaning 10008 clauses out of 20027 with flag 285000/618201
61.06/59.90	c cleaning 10005 clauses out of 20019 with flag 295000/628201
62.06/60.97	c cleaning 10003 clauses out of 20014 with flag 305000/638201
63.07/61.94	c cleaning 9996 clauses out of 20012 with flag 315001/648202
64.07/62.97	c cleaning 10001 clauses out of 20016 with flag 325001/658202
64.79/63.65	c cleaning 9995 clauses out of 20014 with flag 335000/668201
65.69/64.50	c cleaning 10004 clauses out of 20019 with flag 345000/678201
66.59/65.48	c cleaning 10000 clauses out of 20015 with flag 355000/688201
67.49/66.37	c cleaning 10001 clauses out of 20015 with flag 365000/698201
68.50/67.38	c cleaning 10002 clauses out of 20014 with flag 375000/708201
69.60/68.44	c cleaning 9998 clauses out of 20013 with flag 385001/718202
70.80/69.63	c cleaning 10002 clauses out of 20014 with flag 395000/728201
72.00/70.84	c cleaning 10001 clauses out of 20013 with flag 405001/738202
73.00/71.82	c cleaning 10001 clauses out of 20013 with flag 415002/748203
74.20/73.02	c cleaning 10004 clauses out of 20011 with flag 425001/758202
75.30/74.16	c cleaning 10001 clauses out of 20006 with flag 435000/768201
76.50/75.31	c cleaning 10000 clauses out of 20005 with flag 445000/778201
77.61/76.44	c cleaning 10000 clauses out of 20006 with flag 455001/788202
78.71/77.56	c cleaning 10003 clauses out of 20005 with flag 465000/798201
79.51/78.35	c cleaning 9993 clauses out of 20001 with flag 475000/808201
80.21/79.07	c cleaning 9997 clauses out of 20008 with flag 485000/818201
80.91/79.77	c cleaning 10001 clauses out of 20013 with flag 495002/828203
81.61/80.43	c cleaning 10000 clauses out of 20010 with flag 505000/838201
82.22/81.09	c cleaning 9997 clauses out of 20011 with flag 515001/848202
82.92/81.79	c cleaning 9999 clauses out of 20013 with flag 525000/858201
83.64/82.47	c cleaning 10005 clauses out of 20015 with flag 535001/868202
84.43/83.25	c cleaning 9993 clauses out of 20011 with flag 545002/878203
84.85/83.64	c Got one! Elapsed wall clock time (in seconds):83.535
84.85/83.64	o 3
85.13/83.99	c cleaning 10040 clauses out of 20113 with flag 5001/888298
85.63/84.47	c cleaning 8017 clauses out of 16073 with flag 11001/894298
86.23/85.02	c cleaning 7508 clauses out of 15055 with flag 18000/901297
86.95/85.73	c cleaning 7759 clauses out of 15547 with flag 26000/909297
87.73/86.57	c cleaning 8380 clauses out of 16789 with flag 35001/918298
88.73/87.59	c cleaning 9189 clauses out of 18409 with flag 45001/928298
89.73/88.58	c cleaning 9598 clauses out of 19220 with flag 55001/938298
90.83/89.66	c cleaning 9795 clauses out of 19622 with flag 65001/948298
91.93/90.73	c cleaning 9900 clauses out of 19827 with flag 75001/958298
93.03/91.84	c cleaning 9947 clauses out of 19927 with flag 85001/968298
94.14/92.94	c cleaning 9973 clauses out of 19980 with flag 95001/978298
94.84/93.66	c cleaning 9999 clauses out of 20007 with flag 105001/988298
95.86/94.69	c cleaning 9998 clauses out of 20007 with flag 115000/998297
96.85/95.63	c cleaning 10001 clauses out of 20009 with flag 125000/1008297
97.75/96.59	c cleaning 10000 clauses out of 20008 with flag 135000/1018297
98.85/97.65	c cleaning 9996 clauses out of 20008 with flag 145000/1028297
99.55/98.37	c cleaning 9988 clauses out of 20012 with flag 155000/1038297
100.55/99.36	c cleaning 10004 clauses out of 20024 with flag 165000/1048297
101.65/100.47	c cleaning 10004 clauses out of 20021 with flag 175001/1058298
102.65/101.40	c cleaning 10003 clauses out of 20017 with flag 185001/1068298
103.66/102.47	c cleaning 10002 clauses out of 20013 with flag 195000/1078297
104.76/103.57	c cleaning 10001 clauses out of 20012 with flag 205001/1088298
105.78/104.57	c cleaning 10000 clauses out of 20010 with flag 215000/1098297
106.77/105.54	c cleaning 9998 clauses out of 20011 with flag 225001/1108298
107.76/106.61	c cleaning 10002 clauses out of 20012 with flag 235000/1118297
108.86/107.66	c cleaning 10001 clauses out of 20011 with flag 245001/1128298
109.86/108.65	c cleaning 10002 clauses out of 20009 with flag 255000/1138297
110.67/109.41	c cleaning 9993 clauses out of 20008 with flag 265001/1148298
111.67/110.43	c cleaning 10002 clauses out of 20015 with flag 275001/1158298
112.57/111.34	c cleaning 10001 clauses out of 20013 with flag 285001/1168298
113.38/112.19	c cleaning 10003 clauses out of 20011 with flag 295000/1178297
114.07/112.88	c cleaning 9995 clauses out of 20009 with flag 305001/1188298
114.87/113.65	c cleaning 9994 clauses out of 20014 with flag 315001/1198298
115.58/114.38	c cleaning 10003 clauses out of 20020 with flag 325001/1208298
116.37/115.19	c cleaning 10000 clauses out of 20016 with flag 335000/1218297
117.38/116.11	c cleaning 9997 clauses out of 20016 with flag 345000/1228297
118.18/116.97	c cleaning 10003 clauses out of 20019 with flag 355000/1238297
119.00/117.77	c cleaning 10001 clauses out of 20016 with flag 365000/1248297
119.78/118.59	c cleaning 10001 clauses out of 20016 with flag 375001/1258298
120.78/119.55	c cleaning 10003 clauses out of 20016 with flag 385002/1268299
121.78/120.52	c cleaning 9997 clauses out of 20011 with flag 395000/1278297
122.89/121.63	c cleaning 9998 clauses out of 20014 with flag 405000/1288297
123.79/122.59	c cleaning 9999 clauses out of 20017 with flag 415001/1298298
124.79/123.57	c cleaning 9998 clauses out of 20018 with flag 425001/1308298
125.79/124.59	c cleaning 10001 clauses out of 20020 with flag 435001/1318298
126.89/125.67	c cleaning 9997 clauses out of 20018 with flag 445000/1328297
127.99/126.79	c cleaning 10000 clauses out of 20021 with flag 455000/1338297
129.09/127.82	c cleaning 10001 clauses out of 20022 with flag 465001/1348298
130.01/128.79	c cleaning 10000 clauses out of 20021 with flag 475001/1358298
131.00/129.79	c cleaning 9998 clauses out of 20021 with flag 485001/1368298
131.99/130.78	c cleaning 10004 clauses out of 20023 with flag 495001/1378298
132.99/131.76	c cleaning 10003 clauses out of 20019 with flag 505001/1388298
134.00/132.79	c cleaning 9998 clauses out of 20015 with flag 515000/1398297
135.10/133.84	c cleaning 10002 clauses out of 20018 with flag 525001/1408298
136.10/134.81	c cleaning 10002 clauses out of 20015 with flag 535000/1418297
137.10/135.80	c cleaning 10004 clauses out of 20013 with flag 545000/1428297
138.00/136.71	c cleaning 9999 clauses out of 20008 with flag 555000/1438297
138.90/137.69	c cleaning 9999 clauses out of 20009 with flag 565000/1448297
139.92/138.69	c cleaning 10000 clauses out of 20012 with flag 575002/1458299
140.91/139.66	c cleaning 9998 clauses out of 20010 with flag 585000/1468297
141.80/140.55	c cleaning 9997 clauses out of 20012 with flag 595000/1478297
142.80/141.59	c cleaning 10001 clauses out of 20016 with flag 605001/1488298
143.81/142.55	c cleaning 9998 clauses out of 20014 with flag 615000/1498297
144.71/143.46	c cleaning 10002 clauses out of 20017 with flag 625001/1508298
145.52/144.27	c cleaning 9999 clauses out of 20014 with flag 635000/1518297
146.62/145.39	c cleaning 10003 clauses out of 20016 with flag 645001/1528298
147.72/146.44	c cleaning 9999 clauses out of 20013 with flag 655001/1538298
148.74/147.49	c cleaning 10002 clauses out of 20014 with flag 665001/1548298
149.73/148.49	c cleaning 10001 clauses out of 20011 with flag 675000/1558297
150.73/149.47	c cleaning 10002 clauses out of 20010 with flag 685000/1568297
151.73/150.43	c cleaning 9996 clauses out of 20008 with flag 695000/1578297
152.63/151.39	c cleaning 10000 clauses out of 20014 with flag 705002/1588299
153.63/152.33	c cleaning 10001 clauses out of 20012 with flag 715000/1598297
154.43/153.14	c cleaning 9998 clauses out of 20013 with flag 725002/1608299
155.35/154.03	c cleaning 10000 clauses out of 20013 with flag 735000/1618297
156.03/154.73	c cleaning 10001 clauses out of 20013 with flag 745000/1628297
156.93/155.66	c cleaning 10002 clauses out of 20012 with flag 755000/1638297
157.94/156.69	c cleaning 10002 clauses out of 20011 with flag 765001/1648298
159.04/157.74	c cleaning 9997 clauses out of 20008 with flag 775000/1658297
160.14/158.84	c cleaning 10000 clauses out of 20012 with flag 785001/1668298
161.24/159.96	c cleaning 10002 clauses out of 20012 with flag 795001/1678298
162.35/161.04	c cleaning 9998 clauses out of 20010 with flag 805001/1688298
163.45/162.10	c cleaning 10003 clauses out of 20012 with flag 815001/1698298
164.35/163.09	c cleaning 10000 clauses out of 20008 with flag 825000/1708297
165.35/164.06	c cleaning 10002 clauses out of 20008 with flag 835000/1718297
166.47/165.10	c cleaning 10000 clauses out of 20005 with flag 845000/1728297
167.38/166.10	c cleaning 9996 clauses out of 20006 with flag 855002/1738299
168.17/166.81	c cleaning 9999 clauses out of 20008 with flag 865000/1748297
168.87/167.56	c cleaning 9997 clauses out of 20010 with flag 875001/1758298
169.69/168.34	c cleaning 9999 clauses out of 20012 with flag 885000/1768297
170.47/169.17	c cleaning 10002 clauses out of 20014 with flag 895001/1778298
171.47/170.11	c cleaning 9999 clauses out of 20011 with flag 905000/1788297
172.37/171.01	c cleaning 10002 clauses out of 20012 with flag 915000/1798297
173.28/171.97	c cleaning 9999 clauses out of 20011 with flag 925001/1808298
174.18/172.90	c cleaning 9998 clauses out of 20011 with flag 935000/1818297
174.98/173.69	c cleaning 9998 clauses out of 20013 with flag 945000/1828297
176.08/174.71	c cleaning 10003 clauses out of 20015 with flag 955000/1838297
176.99/175.68	c cleaning 9998 clauses out of 20013 with flag 965001/1848298
177.88/176.54	c cleaning 9998 clauses out of 20014 with flag 975000/1858297
178.78/177.44	c cleaning 9999 clauses out of 20017 with flag 985001/1868298
179.69/178.37	c cleaning 10001 clauses out of 20017 with flag 995000/1878297
180.79/179.50	c cleaning 10002 clauses out of 20016 with flag 1005000/1888297
181.99/180.66	c cleaning 10001 clauses out of 20014 with flag 1015000/1898297
183.09/181.70	c cleaning 10003 clauses out of 20013 with flag 1025000/1908297
184.29/182.94	c cleaning 10001 clauses out of 20009 with flag 1035000/1918297
185.40/184.08	c cleaning 10000 clauses out of 20009 with flag 1045001/1928298
186.50/185.13	c cleaning 9998 clauses out of 20008 with flag 1055000/1938297
187.40/186.09	c cleaning 10000 clauses out of 20011 with flag 1065001/1948298
188.50/187.15	c cleaning 10000 clauses out of 20012 with flag 1075002/1958299
189.60/188.21	c cleaning 10001 clauses out of 20010 with flag 1085000/1968297
190.52/189.21	c cleaning 9999 clauses out of 20009 with flag 1095000/1978297
191.62/190.25	c cleaning 9998 clauses out of 20009 with flag 1105000/1988297
192.72/191.39	c cleaning 10004 clauses out of 20011 with flag 1115000/1998297
193.83/192.47	c cleaning 10001 clauses out of 20008 with flag 1125001/2008298
194.82/193.49	c cleaning 10001 clauses out of 20006 with flag 1135000/2018297
195.82/194.43	c cleaning 9997 clauses out of 20005 with flag 1145001/2028298
196.82/195.47	c cleaning 9999 clauses out of 20008 with flag 1155001/2038298
197.92/196.54	c cleaning 10000 clauses out of 20008 with flag 1165001/2048298
198.63/197.29	c starts		: 213
198.63/197.29	c conflicts		: 2055987
198.63/197.29	c decisions		: 2108498
198.63/197.29	c propagations		: 46467629
198.63/197.29	c inspects		: 1423305254
198.63/197.29	c shortcuts		: 0
198.63/197.29	c learnt literals	: 20
198.63/197.29	c learnt binary clauses	: 103
198.63/197.29	c learnt ternary clauses	: 380
198.63/197.29	c learnt constraints	: 2055966
198.63/197.29	c ignored constraints	: 0
198.63/197.29	c root simplifications	: 0
198.63/197.29	c removed literals (reason simplification)	: 86835580
198.63/197.29	c reason swapping (by a shorter reason)	: 0
198.63/197.29	c Calls to reduceDB	: 209
198.63/197.29	c number of reductions to clauses (during analyze)	: 0
198.63/197.29	c number of learned constraints concerned by reduction	: 0
198.63/197.29	c number of learning phase by resolution	: 0
198.63/197.29	c number of learning phase by cutting planes	: 0
198.63/197.29	c speed (assignments/second)	: 408887.65794938576
198.63/197.29	c non guided choices	7271
198.63/197.29	c learnt constraints type 
198.63/197.29	c constraints type 
198.63/197.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
198.63/197.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
198.63/197.29	s OPTIMUM FOUND
198.63/197.29	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 x51 -x52 -x53 x54 x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 x73 x74 -x75 x76 -x77 -x78 -x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 x130 x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 x160 -x161 -x162 
198.63/197.29	c objective function=3
198.63/197.29	c Total wall clock time (in seconds): 197.18

Verifier Data 

OK	3

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-3458183-1307158301/watcher-3458183-1307158301 -o /tmp/evaluation-result-3458183-1307158301/solver-3458183-1307158301 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458183-1307158301.opb 

running on 4 cores: 0,2,4,6

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.15 2.10 2.02 2/533 15880
/proc/meminfo: memFree=23034864/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 4117 0 1 0 0 0 0 0 25 0 2 0 906060761 13850947584 3819 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3381579 3832 917 9 0 3372735 0
[pid=15880/tid=15881] ppid=15878 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 7548 0 1 0 0 1 0 0 25 0 2 0 906060761 13850947584 8365 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0620301 s]
/proc/loadavg: 2.15 2.10 2.02 2/533 15880
/proc/meminfo: memFree=23034864/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13550644 CPUtime=0.05 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 14050 0 1 0 4 1 0 0 25 0 14 0 906060761 13875859456 13747 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3387661 13747 1691 9 0 3378409 0
[pid=15880/tid=15881] ppid=15878 vsize=13550644 CPUtime=0.04 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) S 15878 15880 10738 0 -1 4202560 12901 0 1 0 3 1 0 0 25 0 14 0 906060761 13875859456 13747 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800971 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13550644

[startup+0.107227 s]
/proc/loadavg: 2.15 2.10 2.02 2/533 15880
/proc/meminfo: memFree=23034864/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13621960 CPUtime=0.11 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 15624 0 1 0 9 2 0 0 25 0 18 0 906060761 13948887040 15282 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3405490 15282 2092 9 0 3396224 0
[pid=15880/tid=15881] ppid=15878 vsize=13621960 CPUtime=0.09 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 13678 0 1 0 7 2 0 0 18 0 18 0 906060761 13948887040 15282 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 47875874543752 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621960

[startup+0.331177 s]
/proc/loadavg: 2.15 2.10 2.02 2/533 15880
/proc/meminfo: memFree=23034864/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625532 CPUtime=0.59 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 18904 0 1 0 56 3 0 0 25 0 19 0 906060761 13952544768 17385 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406383 17385 2216 9 0 3397117 0
[pid=15880/tid=15881] ppid=15878 vsize=13625532 CPUtime=0.31 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 14402 0 1 0 29 2 0 0 19 0 19 0 906060761 13952544768 17385 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505638889 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13625532

[startup+0.70612 s]
/proc/loadavg: 2.15 2.10 2.02 2/533 15880
/proc/meminfo: memFree=23034864/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625752 CPUtime=1.03 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 19588 0 1 0 100 3 0 0 25 0 19 0 906060761 13952770048 18069 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406438 18069 2220 9 0 3397172 0
[pid=15880/tid=15881] ppid=15878 vsize=13625752 CPUtime=0.68 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15037 0 1 0 66 2 0 0 19 0 19 0 906060761 13952770048 18069 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505638889 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13625752

[startup+1.5009 s]
/proc/loadavg: 2.15 2.10 2.02 3/552 15899
/proc/meminfo: memFree=22966500/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625752 CPUtime=1.88 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 21517 0 1 0 185 3 0 0 25 0 19 0 906060761 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406438 19993 2248 9 0 3397172 0
[pid=15880/tid=15881] ppid=15878 vsize=13625752 CPUtime=1.43 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15055 0 1 0 141 2 0 0 20 0 19 0 906060761 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505582828 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 366 0 0 0 0 0 0 0 16 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 203 0 0 0 0 0 0 0 16 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625752 CPUtime=0.02 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 835 0 0 0 2 0 0 0 16 0 19 0 906060764 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625752 CPUtime=0.21 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 1633 0 0 0 21 0 0 0 15 0 19 0 906060767 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625752 CPUtime=0.18 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1772 0 0 0 18 0 0 0 15 0 19 0 906060767 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060767 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952770048 19993 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625752

[startup+3.1006 s]
/proc/loadavg: 2.13 2.09 2.02 3/552 15899
/proc/meminfo: memFree=22961788/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625752 CPUtime=3.53 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 22047 0 1 0 350 3 0 0 25 0 19 0 906060761 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406438 20521 2249 9 0 3397172 0
[pid=15880/tid=15881] ppid=15878 vsize=13625752 CPUtime=2.99 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15057 0 1 0 297 2 0 0 25 0 19 0 906060761 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505642956 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 906060763 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625752 CPUtime=0.05 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 1203 0 0 0 5 0 0 0 16 0 19 0 906060764 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625752 CPUtime=0.21 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 1633 0 0 0 21 0 0 0 15 0 19 0 906060767 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625752 CPUtime=0.23 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1817 0 0 0 23 0 0 0 15 0 19 0 906060767 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060767 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625752 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952770048 20521 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 13625752

[startup+6.30105 s]
/proc/loadavg: 2.13 2.09 2.02 3/552 15899
/proc/meminfo: memFree=22957060/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625156 CPUtime=6.73 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 22902 0 1 0 670 3 0 0 25 0 19 0 906060761 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406289 21221 2249 9 0 3397023 0
[pid=15880/tid=15881] ppid=15878 vsize=13625156 CPUtime=6.13 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15061 0 1 0 611 2 0 0 25 0 19 0 906060761 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505611684 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 906060763 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625156 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 1933 0 0 0 10 0 0 0 16 0 19 0 906060764 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625156 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625156 CPUtime=0.21 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 1633 0 0 0 21 0 0 0 15 0 19 0 906060767 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625156 CPUtime=0.23 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1817 0 0 0 23 0 0 0 15 0 19 0 906060767 13952159744 21221 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0

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

/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 420 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 293 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 115 0 0 0 11 0 0 0 16 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 34 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 31 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 152 0 0 0 10 0 0 0 16 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625588 CPUtime=0.09 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 176 0 0 0 9 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 338 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625588 CPUtime=4.39 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 4674 0 0 0 435 4 0 0 16 0 19 0 906060764 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625588 CPUtime=0.8 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 12619 0 0 0 78 2 0 0 16 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625588 CPUtime=0.33 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1895 0 0 0 33 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 197.32
Current children cumulated vsize (KiB) 13625588

[startup+196.701 s]
/proc/loadavg: 2.09 2.07 2.01 3/552 15904
/proc/meminfo: memFree=22915700/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625588 CPUtime=198.13 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 37185 0 1 0 19802 11 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406397 26965 2250 9 0 3397131 0
[pid=15880/tid=15881] ppid=15878 vsize=13625588 CPUtime=191.64 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15276 0 1 0 19162 2 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505357748 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 420 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 293 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 115 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 34 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 31 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 152 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625588 CPUtime=0.09 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 176 0 0 0 9 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 338 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625588 CPUtime=4.42 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 4674 0 0 0 438 4 0 0 16 0 19 0 906060764 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625588 CPUtime=0.8 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 12619 0 0 0 78 2 0 0 16 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625588 CPUtime=0.33 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1895 0 0 0 33 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.13
Current children cumulated vsize (KiB) 13625588

[startup+197.101 s]
/proc/loadavg: 2.08 2.07 2.01 3/552 15904
/proc/meminfo: memFree=22915700/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625588 CPUtime=198.53 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 37185 0 1 0 19842 11 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406397 26965 2250 9 0 3397131 0
[pid=15880/tid=15881] ppid=15878 vsize=13625588 CPUtime=192.04 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15276 0 1 0 19202 2 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505663758 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 420 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 293 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 115 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 34 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 31 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 152 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625588 CPUtime=0.09 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 176 0 0 0 9 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 338 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625588 CPUtime=4.42 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 4674 0 0 0 438 4 0 0 16 0 19 0 906060764 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625588 CPUtime=0.8 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 12619 0 0 0 78 2 0 0 16 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625588 CPUtime=0.33 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1895 0 0 0 33 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (KiB) 13625588

[startup+197.201 s]
/proc/loadavg: 2.08 2.07 2.01 3/552 15904
/proc/meminfo: memFree=22915700/32950928 swapFree=58671692/67111528
[pid=15880] ppid=15878 vsize=13625588 CPUtime=198.63 cores=0,2,4,6
/proc/15880/stat : 15880 (java) S 15878 15880 10738 0 -1 4202496 37185 0 1 0 19852 11 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15880/statm: 3406397 26965 2250 9 0 3397131 0
[pid=15880/tid=15881] ppid=15878 vsize=13625588 CPUtime=192.14 cores=0,2,4,6
/proc/15880/task/15881/stat : 15881 (java) R 15878 15880 10738 0 -1 4202560 15276 0 1 0 19212 2 0 0 25 0 19 0 906060761 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 46912505663810 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15880/tid=15883] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15883/stat : 15883 (java) S 15878 15880 10738 0 -1 4202560 420 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15884] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15884/stat : 15884 (java) S 15878 15880 10738 0 -1 4202560 293 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15885] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15885/stat : 15885 (java) S 15878 15880 10738 0 -1 4202560 115 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15886] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15886/stat : 15886 (java) S 15878 15880 10738 0 -1 4202560 34 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15887] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15887/stat : 15887 (java) S 15878 15880 10738 0 -1 4202560 31 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15888] ppid=15878 vsize=13625588 CPUtime=0.1 cores=0,2,4,6
/proc/15880/task/15888/stat : 15888 (java) S 15878 15880 10738 0 -1 4202560 152 0 0 0 10 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15889] ppid=15878 vsize=13625588 CPUtime=0.09 cores=0,2,4,6
/proc/15880/task/15889/stat : 15889 (java) S 15878 15880 10738 0 -1 4202560 176 0 0 0 9 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15890] ppid=15878 vsize=13625588 CPUtime=0.11 cores=0,2,4,6
/proc/15880/task/15890/stat : 15890 (java) S 15878 15880 10738 0 -1 4202560 338 0 0 0 11 0 0 0 15 0 19 0 906060763 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 0 0 0 0
[pid=15880/tid=15891] ppid=15878 vsize=13625588 CPUtime=4.42 cores=0,2,4,6
/proc/15880/task/15891/stat : 15891 (java) S 15878 15880 10738 0 -1 4202560 4674 0 0 0 438 4 0 0 16 0 19 0 906060764 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 0 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15892] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15892/stat : 15892 (java) S 15878 15880 10738 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15893] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15893/stat : 15893 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 906060765 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15894] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15894/stat : 15894 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427215281 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15895] ppid=15878 vsize=13625588 CPUtime=0.8 cores=0,2,4,6
/proc/15880/task/15895/stat : 15895 (java) S 15878 15880 10738 0 -1 4202560 12619 0 0 0 78 2 0 0 16 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 4 0 0 0
[pid=15880/tid=15896] ppid=15878 vsize=13625588 CPUtime=0.33 cores=0,2,4,6
/proc/15880/task/15896/stat : 15896 (java) S 15878 15880 10738 0 -1 4202560 1895 0 0 0 33 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15897] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15897/stat : 15897 (java) S 15878 15880 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427207577 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
[pid=15880/tid=15898] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15898/stat : 15898 (java) S 15878 15880 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906060767 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 2 0 0 0
[pid=15880/tid=15899] ppid=15878 vsize=13625588 CPUtime=0 cores=0,2,4,6
/proc/15880/task/15899/stat : 15899 (java) S 15878 15880 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906060780 13952602112 26965 33554432000 1073741824 1073778376 140733380590848 18446744073709551615 256427208192 0 4 0 16800975 18446604446691493184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.63
Current children cumulated vsize (KiB) 13625588

Child status: 30
Real time (s): 197.3
CPU time (s): 198.742
CPU user time (s): 198.616
CPU system time (s): 0.12598
CPU usage (%): 100.731
Max. virtual memory (cumulated for all children) (KiB): 13625752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.616
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37205
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= 9392
involuntary context switches= 6606

runsolver used 1.08583 second user time and 2.34664 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 05:31:41
IDJOB=3458183
IDBENCH=48003
IDSOLVER=1952
FILE ID=node115/3458183-1307158301
RUNJOBID= node115-1307156270-14440
PBS_JOBID= 13508801
Free space on /tmp= 73840 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458183-1307158301/watcher-3458183-1307158301 -o /tmp/evaluation-result-3458183-1307158301/solver-3458183-1307158301 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458183-1307158301.opb

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

MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd
RANDOM SEED=1208201182

node115.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.811
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.62
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.811
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.811
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.75
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23035128 kB
Buffers:        177764 kB
Cached:         304568 kB
SwapCached:      65796 kB
Active:        1174160 kB
Inactive:      8499612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23035128 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             764 kB
Writeback:           0 kB
AnonPages:     9129560 kB
Mapped:          35752 kB
Slab:            96972 kB
PageTables:      76040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165267900 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= 73840 MiB
End job on node115 at 2011-06-04 05:34:58