Trace number 3453799

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.0OPT3 431.096 230.11

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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/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@48e5855a
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@398020cc
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-3453799-1307194219.opb
0.10/0.11	c reading problem ... 
0.23/0.22	c ... done. Wall clock time 0.111s.
0.23/0.22	c #vars     648
0.23/0.22	c #constraints  991
0.23/0.22	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
0.23/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 486
0.23/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 505
3.36/1.02	c cleaning 2499 clauses out of 5000 with flag 5000/5000
5.04/1.74	c cleaning 4250 clauses out of 8501 with flag 11000/11000
6.70/2.56	c cleaning 5626 clauses out of 11252 with flag 18001/18001
8.68/3.54	c cleaning 6809 clauses out of 13626 with flag 26001/26001
11.10/4.70	c cleaning 7905 clauses out of 15817 with flag 35001/35001
13.06/5.74	c cleaning 8948 clauses out of 17912 with flag 45001/45001
15.06/6.76	c cleaning 9476 clauses out of 18963 with flag 55000/55000
16.79/7.65	c cleaning 9727 clauses out of 19488 with flag 65001/65001
19.18/8.84	c cleaning 9875 clauses out of 19761 with flag 75001/75001
20.91/9.74	c cleaning 9940 clauses out of 19886 with flag 85001/85001
22.87/10.74	c cleaning 9961 clauses out of 19947 with flag 95002/95002
24.22/11.49	c cleaning 9985 clauses out of 19984 with flag 105000/105000
26.57/12.68	c cleaning 9994 clauses out of 19999 with flag 115000/115000
28.54/13.66	c cleaning 10000 clauses out of 20005 with flag 125000/125000
31.09/14.93	c cleaning 9987 clauses out of 20005 with flag 135000/135000
33.26/16.05	c cleaning 10001 clauses out of 20018 with flag 145000/145000
35.39/17.12	c cleaning 10004 clauses out of 20018 with flag 155001/155001
37.14/18.03	c cleaning 9999 clauses out of 20014 with flag 165001/165001
38.89/18.90	c cleaning 10005 clauses out of 20014 with flag 175000/175000
40.67/19.88	c cleaning 10001 clauses out of 20009 with flag 185000/185000
42.57/20.87	c cleaning 9995 clauses out of 20008 with flag 195000/195000
44.95/22.04	c cleaning 10000 clauses out of 20013 with flag 205000/205000
47.68/23.46	c cleaning 10002 clauses out of 20014 with flag 215001/215001
49.25/24.29	c cleaning 9992 clauses out of 20013 with flag 225002/225002
51.36/25.37	c cleaning 10003 clauses out of 20020 with flag 235001/235001
53.69/26.59	c cleaning 9998 clauses out of 20017 with flag 245001/245001
56.89/28.04	c cleaning 9997 clauses out of 20018 with flag 255000/255000
59.37/29.19	c cleaning 10007 clauses out of 20021 with flag 265000/265000
59.67/29.32	c cleaning 0 clauses out of 5000 with flag 0/5000
61.63/30.43	c cleaning 10001 clauses out of 20015 with flag 275001/275001
62.71/30.91	c  And the winner is Resolution
62.93/31.03	c SATISFIABLE
62.93/31.03	c OPTIMIZING...
62.93/31.03	c Got one! Elapsed wall clock time (in seconds):30.915
62.93/31.03	o 33
63.46/31.38	c cleaning 10659 clauses out of 21345 with flag 5001/286332
64.39/31.85	c cleaning 8335 clauses out of 16685 with flag 11000/292331
65.88/32.62	c cleaning 7670 clauses out of 15350 with flag 18000/299331
67.21/33.37	c cleaning 7832 clauses out of 15682 with flag 26002/307333
68.53/34.01	c cleaning 8408 clauses out of 16850 with flag 35002/316333
69.86/34.70	c cleaning 9210 clauses out of 18444 with flag 45004/326335
70.55/35.19	c  And the winner is Resolution
70.77/35.60	c Got one! Elapsed wall clock time (in seconds):35.487
70.77/35.60	o 13
71.36/35.97	c cleaning 10541 clauses out of 21101 with flag 5001/338202
72.47/36.51	c cleaning 8270 clauses out of 16560 with flag 11001/344202
73.59/37.11	c cleaning 7635 clauses out of 15290 with flag 18001/351202
74.71/37.76	c cleaning 7823 clauses out of 15655 with flag 26001/359202
76.23/38.61	c cleaning 8409 clauses out of 16831 with flag 35000/368201
78.58/39.73	c cleaning 9208 clauses out of 18423 with flag 45001/378202
80.70/40.84	c cleaning 9596 clauses out of 19215 with flag 55001/388202
82.99/42.08	c cleaning 9802 clauses out of 19619 with flag 65001/398202
85.27/43.23	c cleaning 9901 clauses out of 19817 with flag 75001/408202
87.39/44.37	c cleaning 9946 clauses out of 19915 with flag 85000/418201
90.10/45.73	c cleaning 9983 clauses out of 19971 with flag 95002/428203
92.42/46.98	c cleaning 9989 clauses out of 19987 with flag 105001/438202
94.29/47.95	c cleaning 9988 clauses out of 19997 with flag 115000/448201
96.61/49.17	c cleaning 9996 clauses out of 20010 with flag 125001/458202
99.12/50.46	c cleaning 10003 clauses out of 20014 with flag 135001/468202
101.67/51.80	c cleaning 10002 clauses out of 20009 with flag 145000/478201
104.51/53.22	c cleaning 9999 clauses out of 20007 with flag 155000/488201
106.05/54.09	c cleaning 9997 clauses out of 20008 with flag 165000/498201
107.74/54.98	c cleaning 9994 clauses out of 20012 with flag 175001/508202
110.28/56.26	c cleaning 9995 clauses out of 20017 with flag 185000/518201
112.71/57.53	c cleaning 10000 clauses out of 20022 with flag 195000/528201
115.22/58.85	c cleaning 10002 clauses out of 20023 with flag 205001/538202
117.52/60.09	c cleaning 10002 clauses out of 20021 with flag 215001/548202
120.23/61.49	c cleaning 10002 clauses out of 20019 with flag 225001/558202
122.09/62.42	c cleaning 9997 clauses out of 20016 with flag 235000/568201
124.19/63.53	c cleaning 9998 clauses out of 20019 with flag 245000/578201
126.30/64.61	c cleaning 10000 clauses out of 20021 with flag 255000/588201
128.00/65.55	c cleaning 9996 clauses out of 20021 with flag 265000/598201
129.86/66.54	c cleaning 9998 clauses out of 20028 with flag 275003/608204
131.56/67.40	c cleaning 10008 clauses out of 20027 with flag 285000/618201
134.05/68.71	c cleaning 10005 clauses out of 20019 with flag 295000/628201
136.35/69.95	c cleaning 10003 clauses out of 20014 with flag 305000/638201
138.60/71.14	c cleaning 9996 clauses out of 20012 with flag 315001/648202
140.69/72.27	c cleaning 10001 clauses out of 20016 with flag 325001/658202
142.17/73.02	c cleaning 9995 clauses out of 20014 with flag 335000/668201
143.86/73.96	c cleaning 10004 clauses out of 20019 with flag 345000/678201
145.90/75.09	c cleaning 10000 clauses out of 20015 with flag 355000/688201
147.82/76.08	c cleaning 10001 clauses out of 20015 with flag 365000/698201
150.07/77.21	c cleaning 10002 clauses out of 20014 with flag 375000/708201
152.35/78.40	c cleaning 9998 clauses out of 20013 with flag 385001/718202
154.79/79.77	c cleaning 10002 clauses out of 20014 with flag 395000/728201
157.28/81.08	c cleaning 10001 clauses out of 20013 with flag 405001/738202
159.36/82.16	c cleaning 10001 clauses out of 20013 with flag 415002/748203
161.84/83.49	c cleaning 10004 clauses out of 20011 with flag 425001/758202
164.31/84.79	c cleaning 10001 clauses out of 20006 with flag 435000/768201
166.76/86.05	c cleaning 10000 clauses out of 20005 with flag 445000/778201
169.24/87.30	c cleaning 10000 clauses out of 20006 with flag 455001/788202
171.52/88.53	c cleaning 10003 clauses out of 20005 with flag 465000/798201
173.15/89.48	c cleaning 9993 clauses out of 20001 with flag 475000/808201
174.66/90.28	c cleaning 9997 clauses out of 20008 with flag 485000/818201
176.10/91.07	c cleaning 10001 clauses out of 20013 with flag 495002/828203
177.59/91.82	c cleaning 10000 clauses out of 20010 with flag 505000/838201
179.01/92.63	c cleaning 9997 clauses out of 20011 with flag 515001/848202
180.49/93.42	c cleaning 9999 clauses out of 20013 with flag 525000/858201
181.96/94.20	c cleaning 10005 clauses out of 20015 with flag 535001/868202
183.43/95.09	c cleaning 9993 clauses out of 20011 with flag 545002/878203
184.45/95.64	c  And the winner is Resolution
184.61/96.06	c Got one! Elapsed wall clock time (in seconds):95.95
184.61/96.06	o 3
185.28/96.41	c cleaning 10040 clauses out of 20113 with flag 5001/888298
186.35/97.00	c cleaning 8017 clauses out of 16073 with flag 11001/894298
187.43/97.67	c cleaning 7508 clauses out of 15055 with flag 18000/901297
188.90/98.49	c cleaning 7759 clauses out of 15547 with flag 26000/909297
190.91/99.50	c cleaning 8380 clauses out of 16789 with flag 35001/918298
192.98/100.64	c cleaning 9189 clauses out of 18409 with flag 45001/928298
195.06/101.74	c cleaning 9598 clauses out of 19220 with flag 55001/938298
197.33/102.95	c cleaning 9795 clauses out of 19622 with flag 65001/948298
199.74/104.20	c cleaning 9900 clauses out of 19827 with flag 75001/958298
202.01/105.43	c cleaning 9947 clauses out of 19927 with flag 85001/968298
204.28/106.65	c cleaning 9973 clauses out of 19980 with flag 95001/978298
205.76/107.46	c cleaning 9999 clauses out of 20007 with flag 105001/988298
207.98/108.66	c cleaning 9998 clauses out of 20007 with flag 115000/998297
210.05/109.70	c cleaning 10001 clauses out of 20009 with flag 125000/1008297
211.91/110.76	c cleaning 10000 clauses out of 20008 with flag 135000/1018297
212.82/111.23	c cleaning 0 clauses out of 10724 with flag 0/10726
214.40/112.14	c cleaning 9996 clauses out of 20008 with flag 145000/1028297
215.88/112.95	c cleaning 9988 clauses out of 20012 with flag 155000/1038297
217.96/114.07	c cleaning 10004 clauses out of 20024 with flag 165000/1048297
220.42/115.30	c cleaning 10004 clauses out of 20021 with flag 175001/1058298
222.23/116.39	c cleaning 10003 clauses out of 20017 with flag 185001/1068298
224.49/117.56	c cleaning 10002 clauses out of 20013 with flag 195000/1078297
226.75/118.77	c cleaning 10001 clauses out of 20012 with flag 205001/1088298
228.82/119.88	c cleaning 10000 clauses out of 20010 with flag 215000/1098297
230.83/121.00	c cleaning 9998 clauses out of 20011 with flag 225001/1108298
233.12/122.19	c cleaning 10002 clauses out of 20012 with flag 235000/1118297
235.37/123.35	c cleaning 10001 clauses out of 20011 with flag 245001/1128298
237.44/124.45	c cleaning 10002 clauses out of 20009 with flag 255000/1138297
239.01/125.39	c cleaning 9993 clauses out of 20008 with flag 265001/1148298
241.30/126.54	c cleaning 10002 clauses out of 20015 with flag 275001/1158298
243.12/127.58	c cleaning 10001 clauses out of 20013 with flag 285001/1168298
244.98/128.55	c cleaning 10003 clauses out of 20011 with flag 295000/1178297
246.58/129.41	c cleaning 9995 clauses out of 20009 with flag 305001/1188298
248.24/130.30	c cleaning 9994 clauses out of 20014 with flag 315001/1198298
249.70/131.15	c cleaning 10003 clauses out of 20020 with flag 325001/1208298
251.39/132.08	c cleaning 10000 clauses out of 20016 with flag 335000/1218297
253.37/133.19	c cleaning 9997 clauses out of 20016 with flag 345000/1228297
255.19/134.17	c cleaning 10003 clauses out of 20019 with flag 355000/1238297
256.84/135.08	c cleaning 10001 clauses out of 20016 with flag 365000/1248297
258.69/136.03	c cleaning 10001 clauses out of 20016 with flag 375001/1258298
260.68/137.18	c cleaning 10003 clauses out of 20016 with flag 385002/1268299
262.73/138.27	c cleaning 9997 clauses out of 20011 with flag 395000/1278297
265.18/139.52	c cleaning 9998 clauses out of 20014 with flag 405000/1288297
267.03/140.59	c cleaning 9999 clauses out of 20017 with flag 415001/1298298
269.21/141.76	c cleaning 9998 clauses out of 20018 with flag 425001/1308298
271.26/142.89	c cleaning 10001 clauses out of 20020 with flag 435001/1318298
273.51/144.10	c cleaning 9997 clauses out of 20018 with flag 445000/1328297
276.00/145.36	c cleaning 10000 clauses out of 20021 with flag 455000/1338297
278.13/146.59	c cleaning 10001 clauses out of 20022 with flag 465001/1348298
280.18/147.68	c cleaning 10000 clauses out of 20021 with flag 475001/1358298
282.22/148.79	c cleaning 9998 clauses out of 20021 with flag 485001/1368298
284.26/149.89	c cleaning 10004 clauses out of 20023 with flag 495001/1378298
286.45/151.04	c cleaning 10003 clauses out of 20019 with flag 505001/1388298
288.49/152.19	c cleaning 9998 clauses out of 20015 with flag 515000/1398297
290.74/153.37	c cleaning 10002 clauses out of 20018 with flag 525001/1408298
292.78/154.49	c cleaning 10002 clauses out of 20015 with flag 535000/1418297
294.94/155.68	c cleaning 10004 clauses out of 20013 with flag 545000/1428297
296.98/156.74	c cleaning 9999 clauses out of 20008 with flag 555000/1438297
299.02/157.84	c cleaning 9999 clauses out of 20009 with flag 565000/1448297
301.06/158.99	c cleaning 10000 clauses out of 20012 with flag 575002/1458299
303.21/160.19	c cleaning 9998 clauses out of 20010 with flag 585000/1468297
305.25/161.22	c cleaning 9997 clauses out of 20012 with flag 595000/1478297
307.48/162.41	c cleaning 10001 clauses out of 20016 with flag 605001/1488298
309.52/163.52	c cleaning 9998 clauses out of 20014 with flag 615000/1498297
311.48/164.65	c cleaning 10002 clauses out of 20017 with flag 625001/1508298
313.12/165.59	c cleaning 9999 clauses out of 20014 with flag 635000/1518297
315.75/166.93	c cleaning 10003 clauses out of 20016 with flag 645001/1528298
318.19/168.20	c cleaning 9999 clauses out of 20013 with flag 655001/1538298
320.60/169.53	c cleaning 10002 clauses out of 20014 with flag 665001/1548298
322.81/170.73	c cleaning 10001 clauses out of 20011 with flag 675000/1558297
325.05/171.93	c cleaning 10002 clauses out of 20010 with flag 685000/1568297
327.09/173.07	c cleaning 9996 clauses out of 20008 with flag 695000/1578297
329.45/174.35	c cleaning 10000 clauses out of 20014 with flag 705002/1588299
331.69/175.51	c cleaning 10001 clauses out of 20012 with flag 715000/1598297
333.53/176.52	c cleaning 9998 clauses out of 20013 with flag 725002/1608299
335.56/177.63	c cleaning 10000 clauses out of 20013 with flag 735000/1618297
337.13/178.59	c cleaning 10001 clauses out of 20013 with flag 745000/1628297
339.38/179.75	c cleaning 10002 clauses out of 20012 with flag 755000/1638297
341.81/181.02	c cleaning 10002 clauses out of 20011 with flag 765001/1648298
344.25/182.32	c cleaning 9997 clauses out of 20008 with flag 775000/1658297
346.83/183.73	c cleaning 10000 clauses out of 20012 with flag 785001/1668298
349.42/185.10	c cleaning 10002 clauses out of 20012 with flag 795001/1678298
351.66/186.40	c cleaning 9998 clauses out of 20010 with flag 805001/1688298
354.10/187.69	c cleaning 10003 clauses out of 20012 with flag 815001/1698298
356.45/188.98	c cleaning 10000 clauses out of 20008 with flag 825000/1708297
358.69/190.17	c cleaning 10002 clauses out of 20008 with flag 835000/1718297
360.94/191.38	c cleaning 10000 clauses out of 20005 with flag 845000/1728297
362.98/192.51	c cleaning 9996 clauses out of 20006 with flag 855002/1738299
364.73/193.44	c cleaning 9999 clauses out of 20008 with flag 865000/1748297
366.35/194.34	c cleaning 9997 clauses out of 20010 with flag 875001/1758298
367.99/195.27	c cleaning 9999 clauses out of 20012 with flag 885000/1768297
369.82/196.23	c cleaning 10002 clauses out of 20014 with flag 895001/1778298
371.96/197.41	c cleaning 9999 clauses out of 20011 with flag 905000/1788297
373.79/198.45	c cleaning 10002 clauses out of 20012 with flag 915000/1798297
375.81/199.56	c cleaning 9999 clauses out of 20011 with flag 925001/1808298
377.85/200.64	c cleaning 9998 clauses out of 20011 with flag 935000/1818297
379.60/201.66	c cleaning 9998 clauses out of 20013 with flag 945000/1828297
381.84/202.82	c cleaning 10003 clauses out of 20015 with flag 955000/1838297
383.85/203.95	c cleaning 9998 clauses out of 20013 with flag 965001/1848298
385.68/204.97	c cleaning 9998 clauses out of 20014 with flag 975000/1858297
387.83/206.10	c cleaning 9999 clauses out of 20017 with flag 985001/1868298
389.64/207.19	c cleaning 10001 clauses out of 20017 with flag 995000/1878297
392.07/208.48	c cleaning 10002 clauses out of 20016 with flag 1005000/1888297
394.69/209.81	c cleaning 10001 clauses out of 20014 with flag 1015000/1898297
397.05/211.10	c cleaning 10003 clauses out of 20013 with flag 1025000/1908297
399.68/212.51	c cleaning 10001 clauses out of 20009 with flag 1035000/1918297
401.90/213.80	c cleaning 10000 clauses out of 20009 with flag 1045001/1928298
404.13/214.98	c cleaning 9998 clauses out of 20008 with flag 1055000/1938297
406.29/216.16	c cleaning 10000 clauses out of 20011 with flag 1065001/1948298
408.51/217.35	c cleaning 10000 clauses out of 20012 with flag 1075002/1958299
410.74/218.54	c cleaning 10001 clauses out of 20010 with flag 1085000/1968297
412.76/219.68	c cleaning 9999 clauses out of 20009 with flag 1095000/1978297
415.12/220.92	c cleaning 9998 clauses out of 20009 with flag 1105000/1988297
417.36/222.20	c cleaning 10004 clauses out of 20011 with flag 1115000/1998297
419.62/223.41	c cleaning 10001 clauses out of 20008 with flag 1125001/2008298
421.84/224.57	c cleaning 10001 clauses out of 20006 with flag 1135000/2018297
423.95/225.73	c cleaning 9997 clauses out of 20005 with flag 1145001/2028298
426.18/226.90	c cleaning 9999 clauses out of 20008 with flag 1155001/2038298
428.40/228.10	c cleaning 10000 clauses out of 20008 with flag 1165001/2048298
429.86/228.96	c  And the winner is Resolution
431.00/230.07	c starts		: 213
431.00/230.07	c conflicts		: 2055987
431.00/230.07	c decisions		: 2108498
431.00/230.07	c propagations		: 46467629
431.00/230.07	c inspects		: 1423305254
431.00/230.07	c shortcuts		: 0
431.00/230.07	c learnt literals	: 20
431.00/230.07	c learnt binary clauses	: 103
431.00/230.07	c learnt ternary clauses	: 380
431.00/230.07	c learnt constraints	: 2055966
431.00/230.07	c ignored constraints	: 0
431.00/230.07	c root simplifications	: 0
431.00/230.07	c removed literals (reason simplification)	: 86835580
431.00/230.07	c reason swapping (by a shorter reason)	: 0
431.00/230.07	c Calls to reduceDB	: 209
431.00/230.07	c number of reductions to clauses (during analyze)	: 0
431.00/230.07	c number of learned constraints concerned by reduction	: 0
431.00/230.07	c number of learning phase by resolution	: 0
431.00/230.07	c number of learning phase by cutting planes	: 0
431.00/230.07	c speed (assignments/second)	: 346765.587337597
431.00/230.07	c non guided choices	7271
431.00/230.07	c learnt constraints type 
431.00/230.07	c constraints type 
431.00/230.07	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486
431.00/230.07	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 505
431.00/230.07	c constraints type 
431.00/230.07	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 486
431.00/230.07	c org.sat4j.pb.constraints.pb.MaxWatchPb => 505
431.00/230.07	s OPTIMUM FOUND
431.00/230.07	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 
431.00/230.07	c objective function=3
431.00/230.07	c Total wall clock time (in seconds): 229.955

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-3453799-1307194219/watcher-3453799-1307194219 -o /tmp/evaluation-result-3453799-1307194219/solver-3453799-1307194219 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453799-1307194219.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: 3.08 3.75 3.69 4/519 27882
/proc/meminfo: memFree=29936868/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 6105 0 1 0 0 0 0 0 25 0 2 0 831022847 10694979584 5807 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2611079 5821 917 9 0 2602235 0
[pid=27882/tid=27883] ppid=27880 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4202560 5054 0 1 0 0 0 0 0 25 0 2 0 831022848 10694979584 5869 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.110827 s]
/proc/loadavg: 3.08 3.75 3.69 4/519 27882
/proc/meminfo: memFree=29936868/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10605068 CPUtime=0.1 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 13184 0 1 0 10 0 0 0 25 0 18 0 831022847 10859589632 12861 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2651267 12861 2104 9 0 2642001 0
[pid=27882/tid=27883] ppid=27880 vsize=10605068 CPUtime=0.09 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4202560 11257 0 1 0 9 0 0 0 22 0 18 0 831022848 10859589632 12861 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 47314589211587 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605068

[startup+0.200809 s]
/proc/loadavg: 3.08 3.75 3.69 4/519 27882
/proc/meminfo: memFree=29936868/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10605068 CPUtime=0.23 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 13889 0 1 0 22 1 0 0 25 0 18 0 831022847 10859589632 13546 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2651267 13547 2175 9 0 2642001 0
[pid=27882/tid=27883] ppid=27880 vsize=10605068 CPUtime=0.17 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4202560 11858 0 1 0 17 0 0 0 22 0 18 0 831022848 10859589632 13547 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10605068

[startup+0.30074 s]
/proc/loadavg: 3.08 3.75 3.69 4/519 27882
/proc/meminfo: memFree=29936868/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=0.57 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 17948 0 1 0 56 1 0 0 25 0 22 0 831022847 10865631232 16355 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 16355 2200 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.2 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12066 0 1 0 20 0 0 0 23 0 22 0 831022848 10865631232 16355 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10610968

[startup+0.700667 s]
/proc/loadavg: 3.08 3.75 3.69 4/519 27882
/proc/meminfo: memFree=29936868/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=2.17 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 37674 0 1 0 212 5 0 0 25 0 22 0 831022847 10865631232 29886 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 29886 2224 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.2 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12066 0 1 0 20 0 0 0 23 0 22 0 831022848 10865631232 29886 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10610968

[startup+1.50156 s]
/proc/loadavg: 3.08 3.75 3.69 4/541 27904
/proc/meminfo: memFree=29684524/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=4.61 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 86813 0 1 0 449 12 0 0 25 0 22 0 831022847 10865631232 71615 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 71619 2256 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.2 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12066 0 1 0 20 0 0 0 15 0 22 0 831022848 10865631232 71620 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831022849 10865631232 71621 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 831022849 10865631232 71625 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.02 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 2 0 0 0 17 0 22 0 831022849 10865631232 71628 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.02 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 2 0 0 0 17 0 22 0 831022849 10865631232 71631 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.02 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 2 0 0 0 17 0 22 0 831022849 10865631232 71633 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 209 0 0 0 3 0 0 0 17 0 22 0 831022849 10865631232 71635 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 438 0 0 0 3 0 0 0 17 0 22 0 831022849 10865631232 71637 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.04 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 278 0 0 0 4 0 0 0 17 0 22 0 831022849 10865631232 71639 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27893] ppid=27880 vsize=10610968 CPUtime=0.01 cores=0,2,4,6
/proc/27882/task/27893/stat : 27893 (java) S 27880 27882 21775 0 -1 4202560 921 0 0 0 1 0 0 0 17 0 22 0 831022850 10865631232 71641 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 0 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27894] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27894/stat : 27894 (java) S 27880 27882 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831022851 10865631232 71642 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27895] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27895/stat : 27895 (java) S 27880 27882 21775 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 831022851 10865631232 71644 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27896] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27896/stat : 27896 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831022853 10865631232 71645 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624934321 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=0.88 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11722 0 0 0 87 1 0 0 17 0 22 0 831022853 10865631232 71647 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=0.93 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 13823 0 0 0 91 2 0 0 17 0 22 0 831022853 10865631232 71649 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831022853 10865631232 71652 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831022853 10865631232 71654 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27901] ppid=27880 vsize=10610968 CPUtime=1.17 cores=0,2,4,6
/proc/27882/task/27901/stat : 27901 (java) R 27880 27882 21775 0 -1 4202560 803 0 0 0 117 0 0 0 25 0 22 0 831022870 10865631232 71657 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505666606 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=27902] ppid=27880 vsize=10610968 CPUtime=1.15 cores=0,2,4,6
/proc/27882/task/27902/stat : 27902 (java) R 27880 27882 21775 0 -1 4202560 45434 0 0 0 109 6 0 0 18 0 22 0 831022870 10865631232 71659 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505583912 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831022870 10865631232 71661 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27904] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27904/stat : 27904 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831022870 10865631232 71664 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 10610968

[startup+3.1013 s]
/proc/loadavg: 3.08 3.75 3.69 5/541 27907
/proc/meminfo: memFree=29384940/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=7.88 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 132464 0 1 0 771 17 0 0 25 0 22 0 831022847 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 117263 2256 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.2 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12066 0 1 0 20 0 0 0 15 0 22 0 831022848 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 271 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.02 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 2 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 209 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 438 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.04 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 298 0 0 0 4 0 0 0 16 0 22 0 831022849 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27893] ppid=27880 vsize=10610968 CPUtime=0.06 cores=0,2,4,6
/proc/27882/task/27893/stat : 27893 (java) S 27880 27882 21775 0 -1 4202560 2452 0 0 0 6 0 0 0 16 0 22 0 831022850 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 0 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27894] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27894/stat : 27894 (java) S 27880 27882 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831022851 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27895] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27895/stat : 27895 (java) S 27880 27882 21775 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 831022851 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27896] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27896/stat : 27896 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831022853 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624934321 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=0.9 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11723 0 0 0 89 1 0 0 15 0 22 0 831022853 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=1.03 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 13904 0 0 0 101 2 0 0 15 0 22 0 831022853 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831022853 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831022853 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27901] ppid=27880 vsize=10610968 CPUtime=2.71 cores=0,2,4,6
/proc/27882/task/27901/stat : 27901 (java) R 27880 27882 21775 0 -1 4202560 805 0 0 0 271 0 0 0 25 0 22 0 831022870 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505639754 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=27902] ppid=27880 vsize=10610968 CPUtime=2.69 cores=0,2,4,6
/proc/27882/task/27902/stat : 27902 (java) R 27880 27882 21775 0 -1 4202560 88373 0 0 0 259 10 0 0 20 0 22 0 831022870 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505582098 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831022870 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27904] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27904/stat : 27904 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831022870 10865631232 117263 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 10610968

[startup+6.30169 s]
/proc/loadavg: 3.15 3.75 3.69 5/541 27910
/proc/meminfo: memFree=29184432/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=14.23 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 167742 0 1 0 1403 20 0 0 25 0 22 0 831022847 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 151735 2257 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.2 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12066 0 1 0 20 0 0 0 15 0 22 0 831022848 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 453 0 0 0 0 0 0 0 15 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 272 0 0 0 3 0 0 0 16 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 23 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.03 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 213 0 0 0 3 0 0 0 15 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.04 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 443 0 0 0 4 0 0 0 16 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.04 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 300 0 0 0 4 0 0 0 16 0 22 0 831022849 10865631232 151735 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0

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

[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=1.28 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11928 0 0 0 127 1 0 0 15 0 22 0 831022853 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=1.68 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 23186 0 0 0 165 3 0 0 15 0 22 0 831022853 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831022853 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 831022853 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831022870 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=28035] ppid=27880 vsize=10610968 CPUtime=109.46 cores=0,2,4,6
/proc/27882/task/28035/stat : 28035 (java) R 27880 27882 21775 0 -1 4202560 24 0 0 0 10946 0 0 0 15 0 22 0 831032454 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505612131 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27882/tid=28036] ppid=27880 vsize=10610968 CPUtime=109.48 cores=0,2,4,6
/proc/27882/task/28036/stat : 28036 (java) R 27880 27882 21775 0 -1 4202560 50 0 0 0 10947 1 0 0 16 0 22 0 831032454 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505949895 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=28037] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/28037/stat : 28037 (java) S 27880 27882 21775 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831032454 10865631232 223033 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 426.6
Current children cumulated vsize (KiB) 10610968

[startup+228.801 s]
/proc/loadavg: 3.49 3.64 3.66 5/541 28044
/proc/meminfo: memFree=28534392/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=429.66 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 251451 0 1 0 42928 38 0 0 25 0 22 0 831022847 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 223201 2259 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.21 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) S 27880 27882 21775 0 -1 4202560 12128 0 1 0 21 0 0 0 15 0 22 0 831022848 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0.38 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 504 0 0 0 38 0 0 0 15 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0.4 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 342 0 0 0 40 0 0 0 15 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.39 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 526 0 0 0 39 0 0 0 16 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 55 0 0 0 43 0 0 0 15 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.35 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 72 0 0 0 35 0 0 0 16 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.44 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 349 0 0 0 44 0 0 0 15 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 580 0 0 0 43 0 0 0 16 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.5 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 474 0 0 0 50 0 0 0 15 0 22 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27893] ppid=27880 vsize=10610968 CPUtime=29.91 cores=0,2,4,6
/proc/27882/task/27893/stat : 27893 (java) S 27880 27882 21775 0 -1 4202560 29562 0 0 0 2985 6 0 0 16 0 22 0 831022850 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 0 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27894] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27894/stat : 27894 (java) S 27880 27882 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27895] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27895/stat : 27895 (java) S 27880 27882 21775 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27896] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27896/stat : 27896 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624934321 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=1.28 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11928 0 0 0 127 1 0 0 15 0 22 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=1.68 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 23186 0 0 0 165 3 0 0 15 0 22 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 831022870 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=28035] ppid=27880 vsize=10610968 CPUtime=110.89 cores=0,2,4,6
/proc/27882/task/28035/stat : 28035 (java) R 27880 27882 21775 0 -1 4202560 24 0 0 0 11089 0 0 0 16 0 22 0 831032454 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505603728 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27882/tid=28036] ppid=27880 vsize=10610968 CPUtime=110.91 cores=0,2,4,6
/proc/27882/task/28036/stat : 28036 (java) R 27880 27882 21775 0 -1 4202560 51 0 0 0 11090 1 0 0 16 0 22 0 831032454 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505949524 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=28037] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/28037/stat : 28037 (java) S 27880 27882 21775 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831032454 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 429.66
Current children cumulated vsize (KiB) 10610968

[startup+229.601 s]
/proc/loadavg: 3.49 3.64 3.66 5/541 28044
/proc/meminfo: memFree=28534392/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=430.58 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 251452 0 1 0 43020 38 0 0 25 0 19 0 831022847 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 223201 2259 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=0.71 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4202560 12128 0 1 0 71 0 0 0 16 0 19 0 831022848 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505366594 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0.38 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 504 0 0 0 38 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0.4 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 342 0 0 0 40 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.39 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 526 0 0 0 39 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 55 0 0 0 43 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.35 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 72 0 0 0 35 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.44 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 349 0 0 0 44 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 580 0 0 0 43 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.5 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 474 0 0 0 50 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27893] ppid=27880 vsize=10610968 CPUtime=29.91 cores=0,2,4,6
/proc/27882/task/27893/stat : 27893 (java) S 27880 27882 21775 0 -1 4202560 29562 0 0 0 2985 6 0 0 15 0 19 0 831022850 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 0 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27894] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27894/stat : 27894 (java) S 27880 27882 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27895] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27895/stat : 27895 (java) S 27880 27882 21775 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27896] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27896/stat : 27896 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624934321 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=1.28 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11928 0 0 0 127 1 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=1.69 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 23187 0 0 0 166 3 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831022870 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 430.58
Current children cumulated vsize (KiB) 10610968

[startup+230.019 s]
/proc/loadavg: 3.45 3.63 3.66 4/538 28044
/proc/meminfo: memFree=28533300/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=10610968 CPUtime=431 cores=0,2,4,6
/proc/27882/stat : 27882 (java) S 27880 27882 21775 0 -1 4202496 251452 0 1 0 43062 38 0 0 25 0 19 0 831022847 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 2652742 223201 2259 9 0 2643476 0
[pid=27882/tid=27883] ppid=27880 vsize=10610968 CPUtime=1.13 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4202560 12128 0 1 0 113 0 0 0 16 0 19 0 831022848 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27882/tid=27885] ppid=27880 vsize=10610968 CPUtime=0.38 cores=0,2,4,6
/proc/27882/task/27885/stat : 27885 (java) S 27880 27882 21775 0 -1 4202560 504 0 0 0 38 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27886] ppid=27880 vsize=10610968 CPUtime=0.4 cores=0,2,4,6
/proc/27882/task/27886/stat : 27886 (java) S 27880 27882 21775 0 -1 4202560 342 0 0 0 40 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27887] ppid=27880 vsize=10610968 CPUtime=0.39 cores=0,2,4,6
/proc/27882/task/27887/stat : 27887 (java) S 27880 27882 21775 0 -1 4202560 526 0 0 0 39 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27888] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27888/stat : 27888 (java) S 27880 27882 21775 0 -1 4202560 55 0 0 0 43 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27889] ppid=27880 vsize=10610968 CPUtime=0.35 cores=0,2,4,6
/proc/27882/task/27889/stat : 27889 (java) S 27880 27882 21775 0 -1 4202560 72 0 0 0 35 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
[pid=27882/tid=27890] ppid=27880 vsize=10610968 CPUtime=0.44 cores=0,2,4,6
/proc/27882/task/27890/stat : 27890 (java) S 27880 27882 21775 0 -1 4202560 349 0 0 0 44 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27891] ppid=27880 vsize=10610968 CPUtime=0.43 cores=0,2,4,6
/proc/27882/task/27891/stat : 27891 (java) S 27880 27882 21775 0 -1 4202560 580 0 0 0 43 0 0 0 16 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27892] ppid=27880 vsize=10610968 CPUtime=0.5 cores=0,2,4,6
/proc/27882/task/27892/stat : 27892 (java) S 27880 27882 21775 0 -1 4202560 474 0 0 0 50 0 0 0 15 0 19 0 831022849 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27893] ppid=27880 vsize=10610968 CPUtime=29.91 cores=0,2,4,6
/proc/27882/task/27893/stat : 27893 (java) S 27880 27882 21775 0 -1 4202560 29562 0 0 0 2985 6 0 0 15 0 19 0 831022850 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 0 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27894] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27894/stat : 27894 (java) S 27880 27882 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27895] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27895/stat : 27895 (java) S 27880 27882 21775 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 831022851 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27896] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27896/stat : 27896 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624934321 0 4 0 16800975 18446604443914748032 0 0 -1 2 0 0 0
[pid=27882/tid=27897] ppid=27880 vsize=10610968 CPUtime=1.28 cores=0,2,4,6
/proc/27882/task/27897/stat : 27897 (java) S 27880 27882 21775 0 -1 4202560 11928 0 0 0 127 1 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 6 0 0 0
[pid=27882/tid=27898] ppid=27880 vsize=10610968 CPUtime=1.69 cores=0,2,4,6
/proc/27882/task/27898/stat : 27898 (java) S 27880 27882 21775 0 -1 4202560 23187 0 0 0 166 3 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27899] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27899/stat : 27899 (java) S 27880 27882 21775 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624926617 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27900] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27900/stat : 27900 (java) S 27880 27882 21775 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 831022853 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 4 0 0 0
[pid=27882/tid=27903] ppid=27880 vsize=10610968 CPUtime=0 cores=0,2,4,6
/proc/27882/task/27903/stat : 27903 (java) S 27880 27882 21775 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 831022870 10865631232 223201 33554432000 1073741824 1073778376 140733304254544 18446744073709551615 270624927232 0 4 0 16800975 18446604443914748032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 431
Current children cumulated vsize (KiB) 10610968

[startup+230.101 s]
/proc/loadavg: 3.45 3.63 3.66 4/538 28044
/proc/meminfo: memFree=28533300/32951124 swapFree=53876548/67111528
[pid=27882] ppid=27880 vsize=0 CPUtime=431.08 cores=0,2,4,6
/proc/27882/stat : 27882 (java) Z 27880 27882 21775 0 -1 4203548 251457 0 1 0 43067 41 0 0 18 0 2 0 831022847 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27882/statm: 0 0 0 0 0 0 0
[pid=27882/tid=27883] ppid=27880 vsize=0 CPUtime=1.21 cores=0,2,4,6
/proc/27882/task/27883/stat : 27883 (java) R 27880 27882 21775 0 -1 4203588 12132 0 1 0 118 3 0 0 18 0 2 0 831022848 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 431.08
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 230.11
CPU time (s): 431.096
CPU user time (s): 430.677
CPU system time (s): 0.419936
CPU usage (%): 187.344
Max. virtual memory (cumulated for all children) (KiB): 10610968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 430.677
system time used= 0.419936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251457
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= 11669
involuntary context switches= 6661

runsolver used 1.2958 second user time and 2.70459 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-04 15:30:19
IDJOB=3453799
IDBENCH=48003
IDSOLVER=1950
FILE ID=node108/3453799-1307194219
RUNJOBID= node108-1307194200-27232
PBS_JOBID= 13508826
Free space on /tmp= 73836 MiB

SOLVER NAME= Sat4j Res//CP 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 -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453799-1307194219/watcher-3453799-1307194219 -o /tmp/evaluation-result-3453799-1307194219/solver-3453799-1307194219 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453799-1307194219.opb

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

MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd
RANDOM SEED=2023151721

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29937148 kB
Buffers:        326652 kB
Cached:        1051956 kB
SwapCached:      13540 kB
Active:        1747112 kB
Inactive:       979596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29937148 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:            1216 kB
Writeback:           0 kB
AnonPages:     1344356 kB
Mapped:          20396 kB
Slab:           151784 kB
PageTables:      66460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 144932280 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= 73836 MiB
End job on node108 at 2011-06-04 15:34:09