Trace number 3453841

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 422.35 224.512

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
MD5SUM55e3096e9013fd2f39f8572a635bf07d
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.179971
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453841-1307194305.opb
0.10/0.11	c reading problem ... 
0.24/0.20	c ... done. Wall clock time 0.089s.
0.24/0.20	c #vars     540
0.24/0.20	c #constraints  826
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
0.24/0.20	c constraints type 
0.24/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 405
0.24/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPb => 421
3.02/0.99	c cleaning 2501 clauses out of 5001 with flag 5001/5001
4.82/1.55	c cleaning 4250 clauses out of 8500 with flag 11001/11001
5.82/2.09	c cleaning 5625 clauses out of 11250 with flag 18001/18001
6.24/2.22	c  And the winner is Resolution
6.26/2.71	c SATISFIABLE
6.26/2.71	c OPTIMIZING...
6.26/2.71	c Got one! Elapsed wall clock time (in seconds):2.602
6.26/2.71	o 277
6.83/3.05	c cleaning 5662 clauses out of 11330 with flag 4000/23706
7.81/3.57	c cleaning 5831 clauses out of 11668 with flag 10000/29706
9.80/4.50	c cleaning 6413 clauses out of 12837 with flag 17000/36706
11.17/5.26	c cleaning 7206 clauses out of 14425 with flag 25001/44707
12.93/6.11	c cleaning 8101 clauses out of 16218 with flag 34000/53706
14.89/7.16	c cleaning 9060 clauses out of 18119 with flag 44002/63708
17.45/8.48	c cleaning 9524 clauses out of 19058 with flag 54001/73707
20.01/9.75	c cleaning 9766 clauses out of 19533 with flag 64000/83706
21.96/10.74	c cleaning 9881 clauses out of 19768 with flag 74001/93707
24.52/12.02	c cleaning 9938 clauses out of 19886 with flag 84000/103706
26.89/13.28	c cleaning 9968 clauses out of 19948 with flag 94000/113706
29.41/14.50	c cleaning 9987 clauses out of 19981 with flag 104001/123707
31.36/15.56	c cleaning 9991 clauses out of 19994 with flag 114001/133707
34.09/16.98	c cleaning 10000 clauses out of 20003 with flag 124001/143707
36.85/18.39	c cleaning 9999 clauses out of 20002 with flag 134000/153706
39.23/19.38	c cleaning 9990 clauses out of 20003 with flag 144000/163706
41.06/20.18	c cleaning 9999 clauses out of 20013 with flag 154000/173706
43.00/21.15	c cleaning 10005 clauses out of 20015 with flag 164001/183707
44.94/22.13	c cleaning 9997 clauses out of 20010 with flag 174001/193707
46.49/22.92	c cleaning 10002 clauses out of 20012 with flag 184000/203706
48.64/24.04	c cleaning 10000 clauses out of 20011 with flag 194001/213707
50.56/25.01	c cleaning 10001 clauses out of 20011 with flag 204001/223707
52.50/26.02	c cleaning 9995 clauses out of 20010 with flag 214001/233707
54.63/27.17	c cleaning 10000 clauses out of 20015 with flag 224001/243707
57.17/28.48	c cleaning 9995 clauses out of 20014 with flag 234000/253706
59.50/29.65	c cleaning 10007 clauses out of 20020 with flag 244001/263707
61.65/30.76	c cleaning 10002 clauses out of 20011 with flag 254000/273706
63.72/31.66	c cleaning 10000 clauses out of 20010 with flag 264001/283707
66.25/32.70	c cleaning 10000 clauses out of 20010 with flag 274001/293707
68.78/34.04	c cleaning 10001 clauses out of 20009 with flag 284000/303706
70.91/35.14	c cleaning 9998 clauses out of 20009 with flag 294001/313707
72.82/36.10	c cleaning 9999 clauses out of 20012 with flag 304002/323708
75.16/37.35	c cleaning 9993 clauses out of 20012 with flag 314001/333707
75.63/37.67	c cleaning 0 clauses out of 5713 with flag 0/5713
78.21/38.83	c cleaning 10003 clauses out of 20019 with flag 324001/343707
80.85/40.17	c cleaning 10004 clauses out of 20015 with flag 334000/353706
83.17/41.33	c cleaning 9999 clauses out of 20012 with flag 344001/363707
85.25/42.44	c cleaning 9999 clauses out of 20012 with flag 354000/373706
87.15/43.48	c cleaning 10002 clauses out of 20013 with flag 364000/383706
89.26/44.55	c cleaning 10000 clauses out of 20012 with flag 374001/393707
91.98/45.90	c cleaning 9999 clauses out of 20011 with flag 384000/403706
94.46/47.23	c cleaning 10001 clauses out of 20013 with flag 394001/413707
97.15/48.61	c cleaning 10001 clauses out of 20013 with flag 404002/423708
99.45/49.86	c cleaning 10000 clauses out of 20011 with flag 414001/433707
101.15/50.71	c cleaning 9999 clauses out of 20011 with flag 424001/443707
102.82/51.62	c cleaning 9995 clauses out of 20012 with flag 434001/453707
105.14/52.87	c cleaning 9998 clauses out of 20017 with flag 444001/463707
107.60/54.13	c cleaning 9996 clauses out of 20018 with flag 454000/473706
109.89/55.34	c cleaning 10007 clauses out of 20023 with flag 464001/483707
112.33/56.63	c cleaning 10004 clauses out of 20015 with flag 474000/493706
114.83/57.94	c cleaning 10001 clauses out of 20012 with flag 484001/503707
117.54/59.34	c cleaning 10001 clauses out of 20011 with flag 494001/513707
119.86/60.55	c cleaning 10001 clauses out of 20009 with flag 504000/523706
122.46/61.95	c cleaning 10001 clauses out of 20010 with flag 514002/533708
124.95/63.23	c cleaning 10000 clauses out of 20008 with flag 524001/543707
127.43/64.53	c cleaning 10000 clauses out of 20007 with flag 534000/553706
129.12/65.47	c cleaning 10000 clauses out of 20007 with flag 544000/563706
130.95/66.47	c cleaning 9999 clauses out of 20008 with flag 554001/573707
132.64/67.35	c cleaning 9996 clauses out of 20008 with flag 564000/583706
134.13/68.14	c cleaning 10002 clauses out of 20013 with flag 574001/593707
136.44/69.34	c cleaning 9999 clauses out of 20010 with flag 584000/603706
138.24/70.34	c cleaning 10001 clauses out of 20012 with flag 594001/613707
140.10/71.40	c cleaning 10002 clauses out of 20010 with flag 604000/623706
142.17/72.41	c cleaning 9993 clauses out of 20008 with flag 614000/633706
144.05/73.45	c cleaning 9995 clauses out of 20016 with flag 624001/643707
145.67/74.36	c cleaning 10008 clauses out of 20021 with flag 634001/653707
147.75/75.47	c cleaning 9994 clauses out of 20012 with flag 644000/663706
149.22/76.25	c cleaning 10000 clauses out of 20018 with flag 654000/673706
150.90/77.11	c cleaning 9997 clauses out of 20019 with flag 664001/683707
153.12/78.33	c cleaning 10001 clauses out of 20021 with flag 674000/693706
155.19/79.47	c cleaning 9998 clauses out of 20021 with flag 684001/703707
156.67/80.28	c  And the winner is CuttingPlanes
156.67/80.32	c Got one! Elapsed wall clock time (in seconds):80.205
156.67/80.32	o 271
157.79/80.85	c cleaning 11329 clauses out of 22682 with flag 5001/716366
159.45/81.75	c cleaning 8670 clauses out of 17352 with flag 11000/722365
161.05/82.64	c cleaning 7835 clauses out of 15683 with flag 18001/729366
162.73/83.56	c cleaning 7919 clauses out of 15847 with flag 26000/737365
165.18/84.89	c cleaning 8461 clauses out of 16929 with flag 35001/746366
167.84/86.21	c cleaning 9231 clauses out of 18468 with flag 45001/756366
171.05/87.99	c cleaning 9616 clauses out of 19236 with flag 55000/766365
174.10/89.55	c cleaning 9809 clauses out of 19621 with flag 65001/776366
176.37/90.79	c cleaning 9898 clauses out of 19812 with flag 75001/786366
179.44/92.34	c cleaning 9954 clauses out of 19913 with flag 85000/796365
181.44/93.49	c cleaning 0 clauses out of 11650 with flag 0/11650
182.50/94.08	c cleaning 9979 clauses out of 19961 with flag 95002/806367
184.38/95.09	c cleaning 9977 clauses out of 19980 with flag 105000/816365
185.84/95.87	c cleaning 9998 clauses out of 20004 with flag 115001/826366
188.84/97.48	c cleaning 10001 clauses out of 20006 with flag 125001/836366
191.71/98.97	c cleaning 9997 clauses out of 20004 with flag 135000/846365
194.15/100.20	c cleaning 10005 clauses out of 20009 with flag 145002/856367
196.61/101.54	c cleaning 9998 clauses out of 20003 with flag 155001/866366
199.61/103.13	c cleaning 9997 clauses out of 20005 with flag 165001/876366
201.67/104.28	c cleaning 10000 clauses out of 20008 with flag 175001/886366
204.93/105.92	c cleaning 9999 clauses out of 20008 with flag 185001/896366
207.79/107.49	c cleaning 10000 clauses out of 20009 with flag 195001/906366
210.79/109.07	c cleaning 9998 clauses out of 20008 with flag 205000/916365
213.44/110.48	c cleaning 9997 clauses out of 20010 with flag 215000/926365
216.49/112.03	c cleaning 10003 clauses out of 20013 with flag 225000/936365
218.77/113.22	c cleaning 10002 clauses out of 20011 with flag 235001/946366
221.34/114.67	c cleaning 9994 clauses out of 20009 with flag 245001/956366
223.79/115.98	c cleaning 9999 clauses out of 20014 with flag 255000/966365
226.45/117.36	c cleaning 9999 clauses out of 20016 with flag 265001/976366
229.70/119.01	c cleaning 10000 clauses out of 20016 with flag 275000/986365
232.69/120.62	c cleaning 10005 clauses out of 20018 with flag 285002/996367
235.58/122.18	c cleaning 10006 clauses out of 20011 with flag 295000/1006365
237.41/123.17	c cleaning 9997 clauses out of 20005 with flag 305001/1016366
239.05/124.07	c cleaning 9998 clauses out of 20008 with flag 315001/1026366
241.82/125.54	c cleaning 9998 clauses out of 20010 with flag 325001/1036366
244.47/126.93	c cleaning 10002 clauses out of 20012 with flag 335001/1046366
246.12/127.84	c  And the winner is Resolution
246.27/127.96	c Got one! Elapsed wall clock time (in seconds):127.849
246.27/127.96	o 257
247.58/128.71	c cleaning 12169 clauses out of 24367 with flag 5001/1060723
248.81/129.38	c cleaning 9082 clauses out of 18197 with flag 11000/1066722
250.38/130.22	c cleaning 8043 clauses out of 16115 with flag 18000/1073722
251.83/131.02	c cleaning 8020 clauses out of 16072 with flag 26000/1081722
252.88/131.60	c  And the winner is Resolution
252.88/131.68	c Got one! Elapsed wall clock time (in seconds):131.57
252.88/131.68	o 129
253.64/132.04	c cleaning 9723 clauses out of 19467 with flag 5001/1093137
254.64/132.63	c cleaning 7860 clauses out of 15743 with flag 11000/1099136
255.80/133.32	c cleaning 7429 clauses out of 14884 with flag 18001/1106137
257.04/134.02	c cleaning 7715 clauses out of 15455 with flag 26001/1114137
258.49/134.82	c cleaning 8357 clauses out of 16741 with flag 35002/1123138
260.34/135.83	c cleaning 9187 clauses out of 18383 with flag 45001/1133137
262.91/137.22	c cleaning 9597 clauses out of 19197 with flag 55002/1143138
265.16/138.44	c cleaning 9799 clauses out of 19598 with flag 65000/1153136
267.23/139.51	c cleaning 9889 clauses out of 19800 with flag 75001/1163137
269.72/140.82	c cleaning 9950 clauses out of 19910 with flag 85000/1173136
272.45/142.33	c cleaning 9975 clauses out of 19961 with flag 95001/1183137
273.90/143.18	c cleaning 9991 clauses out of 19986 with flag 105001/1193137
276.34/144.48	c cleaning 9998 clauses out of 19995 with flag 115001/1203137
278.79/145.76	c cleaning 9995 clauses out of 19996 with flag 125000/1213136
281.56/147.22	c cleaning 9996 clauses out of 20001 with flag 135000/1223136
282.81/147.96	c  And the winner is Resolution
282.97/148.06	c Got one! Elapsed wall clock time (in seconds):147.945
282.97/148.06	o 3
284.69/148.93	c cleaning 10945 clauses out of 21918 with flag 5001/1235049
285.97/149.64	c cleaning 8470 clauses out of 16972 with flag 11000/1241048
287.18/150.35	c cleaning 7735 clauses out of 15502 with flag 18000/1248048
288.74/151.28	c cleaning 7866 clauses out of 15768 with flag 26001/1256049
290.59/152.28	c cleaning 8436 clauses out of 16901 with flag 35000/1265048
292.83/153.43	c cleaning 9229 clauses out of 18465 with flag 45000/1275048
295.27/154.75	c cleaning 9615 clauses out of 19236 with flag 55000/1285048
297.87/156.18	c cleaning 9806 clauses out of 19622 with flag 65001/1295049
300.49/157.57	c cleaning 9902 clauses out of 19815 with flag 75000/1305048
302.93/158.89	c cleaning 9953 clauses out of 19913 with flag 85000/1315048
305.56/160.21	c cleaning 9978 clauses out of 19960 with flag 95000/1325048
307.93/161.55	c cleaning 9989 clauses out of 19985 with flag 105003/1335051
309.96/162.65	c cleaning 9993 clauses out of 19993 with flag 115000/1345048
312.59/164.03	c cleaning 9993 clauses out of 20000 with flag 125000/1355048
314.82/165.20	c cleaning 9997 clauses out of 20008 with flag 135001/1365049
316.58/166.21	c cleaning 9995 clauses out of 20011 with flag 145001/1375049
318.45/167.22	c cleaning 10003 clauses out of 20016 with flag 155001/1385049
321.04/168.69	c cleaning 10000 clauses out of 20012 with flag 165000/1395048
323.68/170.00	c cleaning 10001 clauses out of 20012 with flag 175000/1405048
326.02/171.32	c cleaning 10001 clauses out of 20011 with flag 185000/1415048
328.25/172.52	c cleaning 10001 clauses out of 20011 with flag 195001/1425049
330.27/173.67	c cleaning 9996 clauses out of 20010 with flag 205001/1435049
332.51/174.91	c cleaning 9998 clauses out of 20014 with flag 215001/1445049
335.26/176.30	c cleaning 9999 clauses out of 20016 with flag 225001/1455049
337.68/177.62	c cleaning 9999 clauses out of 20017 with flag 235001/1465049
340.10/178.97	c cleaning 10002 clauses out of 20017 with flag 245000/1475048
342.75/180.34	c cleaning 10002 clauses out of 20015 with flag 255000/1485048
345.49/181.83	c cleaning 10002 clauses out of 20014 with flag 265001/1495049
348.12/183.29	c cleaning 9999 clauses out of 20012 with flag 275001/1505049
350.75/184.65	c cleaning 10004 clauses out of 20013 with flag 285001/1515049
352.58/185.60	c cleaning 9992 clauses out of 20008 with flag 295000/1525048
354.31/186.63	c cleaning 9995 clauses out of 20018 with flag 305002/1535050
356.33/187.72	c cleaning 10010 clauses out of 20021 with flag 315000/1545048
358.75/189.07	c cleaning 10004 clauses out of 20011 with flag 325000/1555048
361.20/190.37	c cleaning 10000 clauses out of 20007 with flag 335000/1565048
363.50/191.70	c cleaning 9997 clauses out of 20007 with flag 345001/1575049
365.32/192.67	c cleaning 9999 clauses out of 20010 with flag 355001/1585049
367.34/193.71	c cleaning 10001 clauses out of 20011 with flag 365001/1595049
369.35/194.82	c cleaning 10000 clauses out of 20010 with flag 375001/1605049
371.48/196.04	c cleaning 9999 clauses out of 20009 with flag 385000/1615048
373.49/197.16	c cleaning 10001 clauses out of 20010 with flag 395000/1625048
375.51/198.26	c cleaning 9997 clauses out of 20009 with flag 405000/1635048
377.92/199.51	c cleaning 9998 clauses out of 20012 with flag 415000/1645048
380.25/200.85	c cleaning 10000 clauses out of 20015 with flag 425001/1655049
382.46/202.01	c cleaning 10003 clauses out of 20015 with flag 435001/1665049
385.10/203.45	c cleaning 10000 clauses out of 20011 with flag 445000/1675048
388.09/205.00	c cleaning 10002 clauses out of 20010 with flag 455000/1685048
390.82/206.50	c cleaning 9999 clauses out of 20009 with flag 465001/1695049
393.04/207.77	c cleaning 10002 clauses out of 20011 with flag 475002/1705050
395.48/209.06	c cleaning 10000 clauses out of 20008 with flag 485001/1715049
397.84/210.32	c cleaning 9998 clauses out of 20008 with flag 495001/1725049
400.36/211.73	c cleaning 9999 clauses out of 20010 with flag 505001/1735049
402.56/212.93	c cleaning 9998 clauses out of 20011 with flag 515001/1745049
404.77/214.13	c cleaning 10002 clauses out of 20013 with flag 525001/1755049
407.17/215.46	c cleaning 10000 clauses out of 20011 with flag 535001/1765049
409.68/216.87	c cleaning 10000 clauses out of 20010 with flag 545000/1775048
412.08/218.15	c cleaning 10002 clauses out of 20010 with flag 555000/1785048
414.49/219.40	c cleaning 9998 clauses out of 20008 with flag 565000/1795048
416.69/220.69	c cleaning 10002 clauses out of 20012 with flag 575002/1805050
417.79/221.31	c cleaning 0 clauses out of 17313 with flag 0/17315
419.42/222.27	c cleaning 10002 clauses out of 20009 with flag 585002/1815050
420.98/223.21	c  And the winner is Resolution
422.25/224.47	c starts		: 361
422.25/224.47	c conflicts		: 1823087
422.25/224.47	c decisions		: 1871215
422.25/224.47	c propagations		: 43663792
422.25/224.47	c inspects		: 1465648429
422.25/224.47	c shortcuts		: 0
422.25/224.47	c learnt literals	: 17
422.25/224.47	c learnt binary clauses	: 114
422.25/224.47	c learnt ternary clauses	: 418
422.25/224.47	c learnt constraints	: 1823069
422.25/224.47	c ignored constraints	: 0
422.25/224.47	c root simplifications	: 0
422.25/224.47	c removed literals (reason simplification)	: 79196193
422.25/224.47	c reason swapping (by a shorter reason)	: 0
422.25/224.47	c Calls to reduceDB	: 187
422.25/224.47	c number of reductions to clauses (during analyze)	: 0
422.25/224.47	c number of learned constraints concerned by reduction	: 0
422.25/224.47	c number of learning phase by resolution	: 0
422.25/224.47	c number of learning phase by cutting planes	: 0
422.25/224.47	c speed (assignments/second)	: 571440.8061772019
422.25/224.47	c non guided choices	7107
422.25/224.47	c learnt constraints type 
422.25/224.47	c constraints type 
422.25/224.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
422.25/224.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
422.25/224.47	c constraints type 
422.25/224.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 405
422.25/224.47	c org.sat4j.pb.constraints.pb.MaxWatchPb => 421
422.25/224.47	s OPTIMUM FOUND
422.25/224.47	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 
422.25/224.47	c objective function=3
422.25/224.47	c Total wall clock time (in seconds): 224.356

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-3453841-1307194305/watcher-3453841-1307194305 -o /tmp/evaluation-result-3453841-1307194305/solver-3453841-1307194305 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453841-1307194305.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.26 3.61 3.77 2/544 10709
/proc/meminfo: memFree=22118848/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 811846362 31260672 955 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 7632 955 728 9 0 383 0
[pid=10709/tid=10710] ppid=10706 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) R 10706 10709 4512 0 -1 4202560 5413 0 1 0 0 0 0 0 25 0 2 0 811846363 10694979584 6229 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0991289 s]
/proc/loadavg: 3.26 3.61 3.77 2/544 10709
/proc/meminfo: memFree=22118848/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10540356 CPUtime=0.09 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 13042 0 1 0 8 1 0 0 25 0 18 0 811846362 10793324544 12715 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2635089 12716 2093 9 0 2625823 0
[pid=10709/tid=10710] ppid=10706 vsize=10540356 CPUtime=0.08 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) R 10706 10709 4512 0 -1 4202560 11088 0 1 0 7 1 0 0 25 0 18 0 811846363 10793324544 12716 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46992092256774 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540356

[startup+0.101117 s]
/proc/loadavg: 3.26 3.61 3.77 2/544 10709
/proc/meminfo: memFree=22118848/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10540356 CPUtime=0.1 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 13069 0 1 0 9 1 0 0 25 0 18 0 811846362 10793324544 12742 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2635089 12742 2093 9 0 2625823 0
[pid=10709/tid=10710] ppid=10706 vsize=10540356 CPUtime=0.08 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) R 10706 10709 4512 0 -1 4202560 11114 0 1 0 7 1 0 0 25 0 18 0 811846363 10793324544 12742 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46992091398915 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540356

[startup+0.301026 s]
/proc/loadavg: 3.26 3.61 3.77 2/544 10709
/proc/meminfo: memFree=22118848/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10547308 CPUtime=0.62 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 17531 0 1 0 60 2 0 0 25 0 22 0 811846362 10800443392 15609 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2636827 15609 2212 9 0 2627561 0
[pid=10709/tid=10710] ppid=10706 vsize=10547308 CPUtime=0.18 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 11965 0 1 0 17 1 0 0 25 0 22 0 811846363 10800443392 15609 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10547308

[startup+0.700952 s]
/proc/loadavg: 3.26 3.61 3.77 2/544 10709
/proc/meminfo: memFree=22118848/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10558620 CPUtime=2.22 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 35832 0 1 0 218 4 0 0 25 0 22 0 811846362 10812026880 30933 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2639655 30933 2225 9 0 2630389 0
[pid=10709/tid=10710] ppid=10706 vsize=10558620 CPUtime=0.18 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 11965 0 1 0 17 1 0 0 25 0 22 0 811846363 10812026880 30933 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10558620

[startup+1.50081 s]
/proc/loadavg: 3.26 3.61 3.77 9/566 10795
/proc/meminfo: memFree=22558232/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10559924 CPUtime=4.82 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 84947 0 1 0 473 9 0 0 25 0 22 0 811846362 10813362176 72091 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2639981 72095 2257 9 0 2630715 0
[pid=10709/tid=10710] ppid=10706 vsize=10559924 CPUtime=0.18 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 11965 0 1 0 17 1 0 0 15 0 22 0 811846363 10813362176 72096 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72098 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72099 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72101 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 220 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72103 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 403 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72105 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 193 0 0 0 0 0 0 0 18 0 22 0 811846365 10813362176 72106 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72108 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 22 0 811846365 10813362176 72110 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) S 10706 10709 4512 0 -1 4202560 867 0 0 0 1 0 0 0 17 0 22 0 811846366 10813362176 72113 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 0 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 72115 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 72117 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10727] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10727/stat : 10727 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10813362176 72119 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522121137 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10728] ppid=10706 vsize=10559924 CPUtime=1.02 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 14678 0 0 0 100 2 0 0 15 0 22 0 811846369 10813362176 72121 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10559924 CPUtime=1.04 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 6168 0 0 0 104 0 0 0 17 0 22 0 811846369 10813362176 72123 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10813362176 72125 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811846369 10813362176 72127 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10744] ppid=10706 vsize=10559924 CPUtime=1.25 cores=0,2,4,6
/proc/10709/task/10744/stat : 10744 (java) R 10706 10709 4512 0 -1 4202560 745 0 0 0 125 0 0 0 25 0 22 0 811846383 10813362176 72130 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505627716 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10709/tid=10746] ppid=10706 vsize=10559924 CPUtime=1.24 cores=0,2,4,6
/proc/10709/task/10746/stat : 10746 (java) R 10706 10709 4512 0 -1 4202560 48528 0 0 0 120 4 0 0 25 0 22 0 811846383 10813362176 72133 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505556656 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10709/tid=10750] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10750/stat : 10750 (java) S 10706 10709 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811846383 10813362176 72135 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10752] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10752/stat : 10752 (java) S 10706 10709 4512 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 811846383 10813362176 72137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 10559924

[startup+3.10152 s]
/proc/loadavg: 3.26 3.61 3.77 7/569 10846
/proc/meminfo: memFree=22430588/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10559924 CPUtime=7.01 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 106007 0 1 0 689 12 0 0 25 0 22 0 811846362 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2639981 93147 2259 9 0 2630715 0
[pid=10709/tid=10710] ppid=10706 vsize=10559924 CPUtime=0.18 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 11965 0 1 0 17 1 0 0 16 0 22 0 811846363 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 258 0 0 0 1 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 70 0 0 0 1 0 0 0 15 0 22 0 811846365 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10559924 CPUtime=0.09 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) S 10706 10709 4512 0 -1 4202560 2480 0 0 0 9 0 0 0 15 0 22 0 811846366 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 0 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10727] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10727/stat : 10727 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522121137 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10728] ppid=10706 vsize=10559924 CPUtime=1.04 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 14682 0 0 0 102 2 0 0 15 0 22 0 811846369 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10559924 CPUtime=1.06 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 6174 0 0 0 106 0 0 0 15 0 22 0 811846369 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811846369 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10750] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10750/stat : 10750 (java) S 10706 10709 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811846383 10813362176 93147 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 10559924

[startup+6.30101 s]
/proc/loadavg: 3.32 3.62 3.77 5/569 10849
/proc/meminfo: memFree=21772644/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10559924 CPUtime=13.29 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 141402 0 1 0 1313 16 0 0 25 0 22 0 811846362 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2639981 127679 2259 9 0 2630715 0
[pid=10709/tid=10710] ppid=10706 vsize=10559924 CPUtime=0.18 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 11965 0 1 0 17 1 0 0 15 0 22 0 811846363 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 263 0 0 0 1 0 0 0 16 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 205 0 0 0 1 0 0 0 16 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 277 0 0 0 1 0 0 0 15 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 486 0 0 0 1 0 0 0 16 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 670 0 0 0 1 0 0 0 16 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 18 0 0 0 1 0 0 0 15 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10559924 CPUtime=0.01 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 77 0 0 0 1 0 0 0 16 0 22 0 811846365 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10559924 CPUtime=0.23 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) S 10706 10709 4512 0 -1 4202560 4047 0 0 0 23 0 0 0 15 0 22 0 811846366 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 0 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10559924 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811846366 10813362176 127679 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0

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

[pid=10709/tid=10728] ppid=10706 vsize=10562940 CPUtime=1.87 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 24363 0 0 0 184 3 0 0 15 0 22 0 811846369 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10562940 CPUtime=2.35 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 10362 0 0 0 234 1 0 0 16 0 22 0 811846369 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811846369 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10855] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10855/stat : 10855 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811854395 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10870] ppid=10706 vsize=10562940 CPUtime=11.97 cores=0,2,4,6
/proc/10709/task/10870/stat : 10870 (java) R 10706 10709 4512 0 -1 4202560 0 0 0 0 1197 0 0 0 16 0 22 0 811861169 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505536128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10709/tid=10871] ppid=10706 vsize=10562940 CPUtime=11.97 cores=0,2,4,6
/proc/10709/task/10871/stat : 10871 (java) R 10706 10709 4512 0 -1 4202560 5668 0 0 0 1197 0 0 0 16 0 22 0 811861169 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505503744 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10709/tid=10872] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10872/stat : 10872 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811861173 10816450560 211137 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 309.36
Current children cumulated vsize (KiB) 10562940

[startup+222.301 s]
/proc/loadavg: 3.60 3.65 3.74 5/569 10875
/proc/meminfo: memFree=20998048/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10562940 CPUtime=419.57 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 242516 0 1 0 41925 32 0 0 25 0 22 0 811846362 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2640735 215579 2260 9 0 2631469 0
[pid=10709/tid=10710] ppid=10706 vsize=10562940 CPUtime=0.19 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) S 10706 10709 4512 0 -1 4202560 12027 0 1 0 18 1 0 0 15 0 22 0 811846363 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 312 0 0 0 34 0 0 0 16 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 96 0 0 0 34 0 0 0 15 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10562940 CPUtime=0.35 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 262 0 0 0 35 0 0 0 16 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10562940 CPUtime=0.38 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 614 0 0 0 38 0 0 0 15 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10562940 CPUtime=0.41 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 535 0 0 0 41 0 0 0 15 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10562940 CPUtime=0.33 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 1004 0 0 0 33 0 0 0 16 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10562940 CPUtime=0.4 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 290 0 0 0 40 0 0 0 16 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10562940 CPUtime=0.36 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 420 0 0 0 36 0 0 0 15 0 22 0 811846365 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10562940 CPUtime=28.28 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) R 10706 10709 4512 0 -1 4202560 32273 0 0 0 2824 4 0 0 15 0 22 0 811846366 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233509956340 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811846366 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811846366 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10727] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10727/stat : 10727 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522121137 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10728] ppid=10706 vsize=10562940 CPUtime=1.88 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 24364 0 0 0 185 3 0 0 15 0 22 0 811846369 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10562940 CPUtime=2.35 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 10362 0 0 0 234 1 0 0 16 0 22 0 811846369 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811846369 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 811846369 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10855] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10855/stat : 10855 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811854395 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10870] ppid=10706 vsize=10562940 CPUtime=61.57 cores=0,2,4,6
/proc/10709/task/10870/stat : 10870 (java) S 10706 10709 4512 0 -1 4202560 5 0 0 0 6157 0 0 0 16 0 22 0 811861169 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10871] ppid=10706 vsize=10562940 CPUtime=61.57 cores=0,2,4,6
/proc/10709/task/10871/stat : 10871 (java) S 10706 10709 4512 0 -1 4202560 5697 0 0 0 6157 0 0 0 16 0 22 0 811861169 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10872] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10872/stat : 10872 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811861173 10816450560 215579 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 419.57
Current children cumulated vsize (KiB) 10562940

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

[startup+223.901 s]
/proc/loadavg: 3.60 3.65 3.74 5/569 10875
/proc/meminfo: memFree=20997180/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10562940 CPUtime=421.73 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 242595 0 1 0 42141 32 0 0 25 0 19 0 811846362 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2640735 215656 2260 9 0 2631469 0
[pid=10709/tid=10710] ppid=10706 vsize=10562940 CPUtime=0.55 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) R 10706 10709 4512 0 -1 4202560 12028 0 1 0 54 1 0 0 16 0 19 0 811846363 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505752235 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 312 0 0 0 34 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 96 0 0 0 34 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10562940 CPUtime=0.35 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 262 0 0 0 35 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10562940 CPUtime=0.38 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 614 0 0 0 38 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10562940 CPUtime=0.41 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 535 0 0 0 41 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10562940 CPUtime=0.33 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 1004 0 0 0 33 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10562940 CPUtime=0.4 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 290 0 0 0 40 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10562940 CPUtime=0.36 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 420 0 0 0 36 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10562940 CPUtime=28.47 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) S 10706 10709 4512 0 -1 4202560 32349 0 0 0 2843 4 0 0 15 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 0 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10727] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10727/stat : 10727 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522121137 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10728] ppid=10706 vsize=10562940 CPUtime=1.89 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 24365 0 0 0 186 3 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10562940 CPUtime=2.35 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 10362 0 0 0 234 1 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10855] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10855/stat : 10855 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811854395 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 421.73
Current children cumulated vsize (KiB) 10562940

[startup+224.301 s]
/proc/loadavg: 3.55 3.64 3.74 4/566 10875
/proc/meminfo: memFree=20997204/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=10562940 CPUtime=422.14 cores=0,2,4,6
/proc/10709/stat : 10709 (java) S 10706 10709 4512 0 -1 4202496 242595 0 1 0 42182 32 0 0 25 0 19 0 811846362 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 2640735 215656 2260 9 0 2631469 0
[pid=10709/tid=10710] ppid=10706 vsize=10562940 CPUtime=0.97 cores=0,2,4,6
/proc/10709/task/10710/stat : 10710 (java) R 10706 10709 4512 0 -1 4202560 12028 0 1 0 96 1 0 0 16 0 19 0 811846363 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 46912505752415 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10709/tid=10712] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10712/stat : 10712 (java) S 10706 10709 4512 0 -1 4202560 312 0 0 0 34 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10713] ppid=10706 vsize=10562940 CPUtime=0.34 cores=0,2,4,6
/proc/10709/task/10713/stat : 10713 (java) S 10706 10709 4512 0 -1 4202560 96 0 0 0 34 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10715] ppid=10706 vsize=10562940 CPUtime=0.35 cores=0,2,4,6
/proc/10709/task/10715/stat : 10715 (java) S 10706 10709 4512 0 -1 4202560 262 0 0 0 35 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10716] ppid=10706 vsize=10562940 CPUtime=0.38 cores=0,2,4,6
/proc/10709/task/10716/stat : 10716 (java) S 10706 10709 4512 0 -1 4202560 614 0 0 0 38 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10717] ppid=10706 vsize=10562940 CPUtime=0.41 cores=0,2,4,6
/proc/10709/task/10717/stat : 10717 (java) S 10706 10709 4512 0 -1 4202560 535 0 0 0 41 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10719] ppid=10706 vsize=10562940 CPUtime=0.33 cores=0,2,4,6
/proc/10709/task/10719/stat : 10719 (java) S 10706 10709 4512 0 -1 4202560 1004 0 0 0 33 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 4 0 0 0
[pid=10709/tid=10720] ppid=10706 vsize=10562940 CPUtime=0.4 cores=0,2,4,6
/proc/10709/task/10720/stat : 10720 (java) S 10706 10709 4512 0 -1 4202560 290 0 0 0 40 0 0 0 16 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10721] ppid=10706 vsize=10562940 CPUtime=0.36 cores=0,2,4,6
/proc/10709/task/10721/stat : 10721 (java) S 10706 10709 4512 0 -1 4202560 420 0 0 0 36 0 0 0 15 0 19 0 811846365 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10722] ppid=10706 vsize=10562940 CPUtime=28.47 cores=0,2,4,6
/proc/10709/task/10722/stat : 10722 (java) S 10706 10709 4512 0 -1 4202560 32349 0 0 0 2843 4 0 0 15 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 0 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10723] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10723/stat : 10723 (java) S 10706 10709 4512 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10724] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10724/stat : 10724 (java) S 10706 10709 4512 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 811846366 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10727] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10727/stat : 10727 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522121137 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10728] ppid=10706 vsize=10562940 CPUtime=1.89 cores=0,2,4,6
/proc/10709/task/10728/stat : 10728 (java) S 10706 10709 4512 0 -1 4202560 24365 0 0 0 186 3 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10729] ppid=10706 vsize=10562940 CPUtime=2.35 cores=0,2,4,6
/proc/10709/task/10729/stat : 10729 (java) S 10706 10709 4512 0 -1 4202560 10362 0 0 0 234 1 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 0 0 0 0
[pid=10709/tid=10731] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10731/stat : 10731 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522113433 0 4 0 16800975 18446604448735703424 0 0 -1 2 0 0 0
[pid=10709/tid=10732] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10732/stat : 10732 (java) S 10706 10709 4512 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 811846369 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
[pid=10709/tid=10855] ppid=10706 vsize=10562940 CPUtime=0 cores=0,2,4,6
/proc/10709/task/10855/stat : 10855 (java) S 10706 10709 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811854395 10816450560 215656 33554432000 1073741824 1073778376 140735206757616 18446744073709551615 233522114048 0 4 0 16800975 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 422.14
Current children cumulated vsize (KiB) 10562940

[startup+224.501 s]
/proc/loadavg: 3.55 3.64 3.74 4/566 10875
/proc/meminfo: memFree=20997204/32951124 swapFree=64303760/67111528
[pid=10709] ppid=10706 vsize=0 CPUtime=422.33 cores=0,2,4,6
/proc/10709/stat : 10709 (java) R 10706 10709 4512 0 -1 4203524 242599 0 1 0 42198 35 0 0 18 0 1 0 811846362 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/10709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 422.33
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 224.512
CPU time (s): 422.35
CPU user time (s): 421.985
CPU system time (s): 0.364944
CPU usage (%): 188.119
Max. virtual memory (cumulated for all children) (KiB): 10570092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.985
system time used= 0.364944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242599
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= 10810
involuntary context switches= 5537

runsolver used 1.26881 second user time and 2.67859 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 15:31:45
IDJOB=3453841
IDBENCH=48045
IDSOLVER=1950
FILE ID=node145/3453841-1307194305
RUNJOBID= node145-1307194214-10064
PBS_JOBID= 13508838
Free space on /tmp= 73988 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=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453841-1307194305/watcher-3453841-1307194305 -o /tmp/evaluation-result-3453841-1307194305/solver-3453841-1307194305 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453841-1307194305.opb

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

MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d
RANDOM SEED=830502800

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
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.83
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.786
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22119112 kB
Buffers:        274104 kB
Cached:         604592 kB
SwapCached:        944 kB
Active:       10076456 kB
Inactive:       484012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22119112 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:              96 kB
Writeback:           8 kB
AnonPages:     9680272 kB
Mapped:          42656 kB
Slab:           135564 kB
PageTables:      67576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163588028 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= 73988 MiB
End job on node145 at 2011-06-04 15:35:30