Trace number 3492731

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 350.666 348.173

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
MD5SUMed627c94e924dd829be1b38440fce2ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark43.7174
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492731-1307910616.wbo
0.09/0.11	c reading problem ... 
0.47/0.30	c ... done. Wall clock time 0.191s.
0.47/0.30	c #vars     1142
0.47/0.30	c #constraints  2707
0.47/0.30	c constraints type 
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520
0.47/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
0.47/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
0.47/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7
0.47/0.39	c SATISFIABLE
0.47/0.39	c OPTIMIZING...
0.47/0.39	c Got one! Elapsed wall clock time (in seconds):0.283
0.47/0.39	o 451
0.73/0.42	c Got one! Elapsed wall clock time (in seconds):0.314
0.73/0.42	o 434
0.73/0.46	c Got one! Elapsed wall clock time (in seconds):0.355
0.73/0.46	o 368
1.03/0.50	c Got one! Elapsed wall clock time (in seconds):0.395
1.03/0.50	o 222
1.03/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
1.03/0.52	o 213
1.03/0.55	c Got one! Elapsed wall clock time (in seconds):0.445
1.03/0.55	o 146
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.468
1.03/0.58	o 122
1.33/0.69	c Got one! Elapsed wall clock time (in seconds):0.58
1.33/0.69	o 119
1.44/0.75	c Got one! Elapsed wall clock time (in seconds):0.643
1.44/0.75	o 101
1.55/0.82	c Got one! Elapsed wall clock time (in seconds):0.708
1.55/0.82	o 90
1.87/1.17	c Got one! Elapsed wall clock time (in seconds):1.061
1.87/1.17	o 89
1.98/1.29	c cleaning 4032 clauses out of 8073 with flag 1004/8073
2.11/1.32	c Got one! Elapsed wall clock time (in seconds):1.212
2.11/1.32	o 59
2.22/1.42	c Got one! Elapsed wall clock time (in seconds):1.315
2.22/1.42	o 40
2.44/1.63	c Got one! Elapsed wall clock time (in seconds):1.526
2.44/1.63	o 39
2.54/1.72	c cleaning 4982 clauses out of 9968 with flag 1000/14000
2.54/1.76	c Got one! Elapsed wall clock time (in seconds):1.653
2.54/1.76	o 38
2.84/2.02	c Got one! Elapsed wall clock time (in seconds):1.909
2.84/2.02	o 20
2.95/2.10	c cleaning 5230 clauses out of 10466 with flag 1001/19480
3.15/2.32	c Got one! Elapsed wall clock time (in seconds):2.216
3.15/2.32	o 17
3.25/2.46	c cleaning 5499 clauses out of 11006 with flag 2001/25250
3.38/2.57	c Got one! Elapsed wall clock time (in seconds):2.463
3.38/2.57	o 4
3.59/2.79	c cleaning 5659 clauses out of 11326 with flag 4000/31069
3.89/3.07	c Got one! Elapsed wall clock time (in seconds):2.964
3.89/3.07	o 3
4.29/3.48	c cleaning 7956 clauses out of 15918 with flag 5000/41320
4.70/3.83	c cleaning 6977 clauses out of 13963 with flag 11001/47321
5.10/4.24	c cleaning 6987 clauses out of 13988 with flag 18003/54323
5.50/4.68	c cleaning 7499 clauses out of 14999 with flag 26001/62321
6.00/5.18	c cleaning 8242 clauses out of 16499 with flag 35000/71320
6.60/5.72	c cleaning 9122 clauses out of 18257 with flag 45000/81320
7.10/6.29	c cleaning 9562 clauses out of 19136 with flag 55001/91321
7.71/6.84	c cleaning 9779 clauses out of 19573 with flag 65000/101320
8.21/7.36	c cleaning 9895 clauses out of 19795 with flag 75001/111321
8.71/7.86	c cleaning 9942 clauses out of 19900 with flag 85001/121321
9.32/8.41	c cleaning 9971 clauses out of 19957 with flag 95000/131320
9.82/8.92	c cleaning 9986 clauses out of 19987 with flag 105001/141321
10.32/9.42	c cleaning 9994 clauses out of 20000 with flag 115000/151320
10.83/9.93	c cleaning 10000 clauses out of 20007 with flag 125001/161321
11.32/10.45	c cleaning 9998 clauses out of 20009 with flag 135003/171323
11.83/10.95	c cleaning 10002 clauses out of 20009 with flag 145001/181321
12.32/11.46	c cleaning 10000 clauses out of 20006 with flag 155000/191320
12.83/11.96	c cleaning 9993 clauses out of 20007 with flag 165001/201321
13.33/12.46	c cleaning 10001 clauses out of 20013 with flag 175000/211320
13.83/12.95	c cleaning 10005 clauses out of 20015 with flag 185003/221323
14.33/13.45	c cleaning 10002 clauses out of 20009 with flag 195002/231322
14.83/13.93	c cleaning 9998 clauses out of 20005 with flag 205000/241320
15.33/14.43	c cleaning 10001 clauses out of 20007 with flag 215000/251320
15.83/14.93	c cleaning 10000 clauses out of 20006 with flag 225000/261320
16.34/15.42	c cleaning 10001 clauses out of 20007 with flag 235001/271321
16.84/15.93	c cleaning 9992 clauses out of 20005 with flag 245000/281320
17.34/16.46	c cleaning 10006 clauses out of 20015 with flag 255002/291322
17.94/17.00	c cleaning 9997 clauses out of 20007 with flag 265000/301320
18.34/17.49	c cleaning 10000 clauses out of 20013 with flag 275003/311323
18.94/18.01	c cleaning 9995 clauses out of 20010 with flag 285000/321320
19.44/18.51	c cleaning 10002 clauses out of 20015 with flag 295000/331320
19.94/19.03	c cleaning 10000 clauses out of 20013 with flag 305000/341320
20.45/19.52	c cleaning 10001 clauses out of 20013 with flag 315000/351320
20.95/20.01	c cleaning 10002 clauses out of 20012 with flag 325000/361320
21.45/20.53	c cleaning 10001 clauses out of 20011 with flag 335001/371321
21.95/21.06	c cleaning 10000 clauses out of 20009 with flag 345000/381320
22.45/21.58	c cleaning 10001 clauses out of 20010 with flag 355001/391321
23.05/22.11	c cleaning 9995 clauses out of 20008 with flag 365000/401320
23.55/22.60	c cleaning 10001 clauses out of 20014 with flag 375001/411321
24.06/23.13	c cleaning 9998 clauses out of 20014 with flag 385002/421322
24.55/23.63	c cleaning 10000 clauses out of 20015 with flag 395001/431321
25.06/24.14	c cleaning 9999 clauses out of 20014 with flag 405000/441320
25.55/24.64	c cleaning 10002 clauses out of 20015 with flag 415000/451320
26.05/25.11	c cleaning 10001 clauses out of 20013 with flag 425000/461320
26.57/25.60	c cleaning 9997 clauses out of 20012 with flag 435000/471320
26.97/26.06	c Got one! Elapsed wall clock time (in seconds):25.955
26.97/26.06	o 2
27.38/26.45	c cleaning 12489 clauses out of 24997 with flag 5000/486302
27.67/26.79	c cleaning 9249 clauses out of 18508 with flag 11000/492302
28.07/27.16	c cleaning 8115 clauses out of 16260 with flag 18001/499303
28.48/27.57	c cleaning 8066 clauses out of 16146 with flag 26002/507304
28.98/28.01	c cleaning 8537 clauses out of 17078 with flag 35000/516302
29.49/28.51	c cleaning 9264 clauses out of 18541 with flag 45000/526302
29.88/28.99	c cleaning 9633 clauses out of 19277 with flag 55000/536302
30.38/29.49	c cleaning 9817 clauses out of 19645 with flag 65001/546303
30.89/29.99	c cleaning 9909 clauses out of 19829 with flag 75002/556304
31.49/30.52	c cleaning 9954 clauses out of 19918 with flag 85000/566302
31.99/31.06	c cleaning 9977 clauses out of 19967 with flag 95003/576305
32.59/31.60	c cleaning 9991 clauses out of 19993 with flag 105006/586308
33.09/32.13	c cleaning 9991 clauses out of 19998 with flag 115002/596304
33.59/32.65	c cleaning 9999 clauses out of 20005 with flag 125000/606302
34.19/33.24	c cleaning 9998 clauses out of 20006 with flag 135000/616302
34.70/33.77	c cleaning 10001 clauses out of 20008 with flag 145000/626302
35.20/34.28	c cleaning 9997 clauses out of 20008 with flag 155001/636303
35.80/34.83	c cleaning 9996 clauses out of 20010 with flag 165000/646302
36.40/35.41	c cleaning 10005 clauses out of 20015 with flag 175001/656303
36.90/35.93	c cleaning 9996 clauses out of 20009 with flag 185000/666302
37.31/36.39	c cleaning 10004 clauses out of 20016 with flag 195003/676305
37.81/36.87	c cleaning 9999 clauses out of 20009 with flag 205000/686302
38.31/37.39	c cleaning 10000 clauses out of 20010 with flag 215000/696302
38.81/37.89	c cleaning 10000 clauses out of 20010 with flag 225000/706302
39.42/38.41	c cleaning 10001 clauses out of 20011 with flag 235001/716303
39.81/38.89	c cleaning 10002 clauses out of 20012 with flag 245003/726305
40.41/39.40	c cleaning 9999 clauses out of 20007 with flag 255000/736302
40.92/39.97	c cleaning 9993 clauses out of 20009 with flag 265001/746303
41.42/40.44	c cleaning 10006 clauses out of 20017 with flag 275002/756304
41.42/40.47	c Got one! Elapsed wall clock time (in seconds):40.362
41.42/40.47	o 1
41.73/40.80	c cleaning 7708 clauses out of 15426 with flag 5000/761719
42.12/41.11	c cleaning 6855 clauses out of 13720 with flag 11002/767721
42.42/41.48	c cleaning 6926 clauses out of 13866 with flag 18003/774722
42.93/41.91	c cleaning 7465 clauses out of 14939 with flag 26002/782721
43.33/42.38	c cleaning 8232 clauses out of 16472 with flag 35000/791719
43.94/42.91	c cleaning 9113 clauses out of 18240 with flag 45000/801719
44.43/43.49	c cleaning 9559 clauses out of 19129 with flag 55002/811721
44.94/43.99	c cleaning 9782 clauses out of 19569 with flag 65001/821720
45.53/44.53	c cleaning 9884 clauses out of 19786 with flag 75000/831719
46.04/45.06	c cleaning 9941 clauses out of 19902 with flag 85000/841719
46.54/45.58	c cleaning 9976 clauses out of 19962 with flag 95001/851720
47.04/46.07	c cleaning 9990 clauses out of 19986 with flag 105001/861720
47.54/46.57	c cleaning 9993 clauses out of 19996 with flag 115001/871720
48.04/47.03	c cleaning 9997 clauses out of 20002 with flag 125000/881719
48.54/47.55	c cleaning 9993 clauses out of 20005 with flag 135000/891719
49.04/48.08	c cleaning 10001 clauses out of 20015 with flag 145003/901722
49.64/48.64	c cleaning 10001 clauses out of 20012 with flag 155001/911720
50.14/49.13	c cleaning 9995 clauses out of 20010 with flag 165000/921719
50.65/49.64	c cleaning 10002 clauses out of 20015 with flag 175000/931719
51.15/50.16	c cleaning 9998 clauses out of 20013 with flag 185000/941719
51.75/50.72	c cleaning 10001 clauses out of 20015 with flag 195000/951719
52.25/51.23	c cleaning 10001 clauses out of 20015 with flag 205001/961720
52.76/51.76	c cleaning 9998 clauses out of 20015 with flag 215002/971721
53.26/52.27	c cleaning 9998 clauses out of 20015 with flag 225000/981719
53.86/52.81	c cleaning 10003 clauses out of 20017 with flag 235000/991719
54.36/53.31	c cleaning 10003 clauses out of 20016 with flag 245002/1001721
54.86/53.81	c cleaning 10000 clauses out of 20013 with flag 255002/1011721
55.36/54.33	c cleaning 10002 clauses out of 20012 with flag 265001/1021720
55.86/54.89	c cleaning 10002 clauses out of 20011 with flag 275002/1031721
56.46/55.42	c cleaning 9999 clauses out of 20008 with flag 285001/1041720
56.96/55.99	c cleaning 9999 clauses out of 20009 with flag 295001/1051720
57.57/56.54	c cleaning 9993 clauses out of 20009 with flag 305000/1061719
58.07/57.06	c cleaning 10002 clauses out of 20018 with flag 315002/1071721
58.57/57.55	c cleaning 10001 clauses out of 20014 with flag 325000/1081719
59.07/58.05	c cleaning 10003 clauses out of 20018 with flag 335005/1091724
59.57/58.56	c cleaning 10000 clauses out of 20011 with flag 345001/1101720
60.17/59.10	c cleaning 10000 clauses out of 20012 with flag 355002/1111721
60.67/59.61	c cleaning 9998 clauses out of 20012 with flag 365002/1121721
61.17/60.14	c cleaning 10000 clauses out of 20012 with flag 375000/1131719
61.67/60.64	c cleaning 9996 clauses out of 20012 with flag 385000/1141719
62.17/61.16	c cleaning 9997 clauses out of 20016 with flag 395000/1151719
62.68/61.68	c cleaning 10002 clauses out of 20022 with flag 405003/1161722
63.28/62.21	c cleaning 10002 clauses out of 20019 with flag 415002/1171721
63.78/62.74	c cleaning 10005 clauses out of 20016 with flag 425001/1181720
64.28/63.27	c cleaning 10000 clauses out of 20010 with flag 435000/1191719
64.78/63.80	c cleaning 10002 clauses out of 20012 with flag 445002/1201721
65.38/64.36	c cleaning 10002 clauses out of 20013 with flag 455005/1211724
65.89/64.87	c cleaning 9996 clauses out of 20008 with flag 465002/1221721
66.38/65.38	c cleaning 9994 clauses out of 20012 with flag 475002/1231721
66.99/65.91	c cleaning 10005 clauses out of 20019 with flag 485003/1241722
67.49/66.40	c cleaning 10002 clauses out of 20011 with flag 495000/1251719
67.99/66.92	c cleaning 9996 clauses out of 20009 with flag 505000/1261719
68.49/67.45	c cleaning 10003 clauses out of 20016 with flag 515003/1271722
68.99/67.97	c cleaning 10000 clauses out of 20011 with flag 525001/1281720
69.59/68.53	c cleaning 10000 clauses out of 20013 with flag 535003/1291722
70.09/69.08	c cleaning 9998 clauses out of 20012 with flag 545002/1301721
70.70/69.60	c cleaning 9999 clauses out of 20013 with flag 555001/1311720
71.20/70.14	c cleaning 9999 clauses out of 20015 with flag 565002/1321721
71.70/70.64	c cleaning 10002 clauses out of 20015 with flag 575001/1331720
72.20/71.13	c cleaning 9998 clauses out of 20013 with flag 585001/1341720
72.70/71.65	c cleaning 10003 clauses out of 20016 with flag 595002/1351721
73.20/72.19	c cleaning 10002 clauses out of 20013 with flag 605002/1361721
73.80/72.73	c cleaning 10003 clauses out of 20012 with flag 615003/1371722
74.30/73.25	c cleaning 9986 clauses out of 20006 with flag 625000/1381719
74.81/73.72	c cleaning 10004 clauses out of 20023 with flag 635003/1391722
75.31/74.29	c cleaning 10000 clauses out of 20016 with flag 645000/1401719
75.91/74.81	c cleaning 9995 clauses out of 20016 with flag 655000/1411719
76.41/75.31	c cleaning 10005 clauses out of 20021 with flag 665000/1421719
76.91/75.86	c cleaning 10003 clauses out of 20017 with flag 675001/1431720
77.51/76.47	c cleaning 10004 clauses out of 20013 with flag 685000/1441719
78.12/77.03	c cleaning 10000 clauses out of 20011 with flag 695002/1451721
78.61/77.57	c cleaning 10000 clauses out of 20009 with flag 705000/1461719
79.12/78.08	c cleaning 10000 clauses out of 20009 with flag 715000/1471719
79.61/78.57	c cleaning 9999 clauses out of 20011 with flag 725002/1481721
80.11/79.09	c cleaning 10003 clauses out of 20013 with flag 735003/1491722
80.62/79.59	c cleaning 10000 clauses out of 20007 with flag 745000/1501719
81.12/80.09	c cleaning 9998 clauses out of 20012 with flag 755005/1511724
81.72/80.62	c cleaning 9998 clauses out of 20009 with flag 765000/1521719
82.22/81.16	c cleaning 10001 clauses out of 20012 with flag 775001/1531720
82.72/81.69	c cleaning 10000 clauses out of 20010 with flag 785000/1541719
83.33/82.22	c cleaning 9998 clauses out of 20010 with flag 795000/1551719
83.83/82.71	c cleaning 10002 clauses out of 20013 with flag 805001/1561720
84.33/83.21	c cleaning 9992 clauses out of 20010 with flag 815000/1571719
84.74/83.69	c cleaning 9993 clauses out of 20018 with flag 825000/1581719
85.23/84.18	c cleaning 10004 clauses out of 20026 with flag 835001/1591720
85.74/84.68	c cleaning 10005 clauses out of 20023 with flag 845002/1601721
86.24/85.17	c cleaning 10001 clauses out of 20018 with flag 855002/1611721
86.74/85.67	c cleaning 10001 clauses out of 20015 with flag 865000/1621719
87.24/86.18	c cleaning 10001 clauses out of 20015 with flag 875001/1631720
87.84/86.71	c cleaning 10000 clauses out of 20015 with flag 885002/1641721
88.34/87.22	c cleaning 10002 clauses out of 20013 with flag 895000/1651719
88.84/87.74	c cleaning 10002 clauses out of 20011 with flag 905000/1661719
89.34/88.27	c cleaning 9997 clauses out of 20009 with flag 915000/1671719
89.94/88.80	c cleaning 10000 clauses out of 20013 with flag 925001/1681720
90.44/89.32	c cleaning 9999 clauses out of 20013 with flag 935001/1691720
90.94/89.87	c cleaning 10004 clauses out of 20014 with flag 945001/1701720
91.55/90.40	c cleaning 9998 clauses out of 20010 with flag 955001/1711720
92.05/90.92	c cleaning 9999 clauses out of 20012 with flag 965001/1721720
92.55/91.42	c cleaning 9999 clauses out of 20015 with flag 975003/1731722
93.05/91.94	c cleaning 9999 clauses out of 20014 with flag 985001/1741720
93.65/92.50	c cleaning 10002 clauses out of 20015 with flag 995001/1751720
94.15/93.04	c cleaning 10001 clauses out of 20012 with flag 1005000/1761719
94.66/93.59	c cleaning 10001 clauses out of 20012 with flag 1015001/1771720
95.25/94.13	c cleaning 9996 clauses out of 20011 with flag 1025001/1781720
95.76/94.69	c cleaning 10003 clauses out of 20019 with flag 1035005/1791724
96.36/95.22	c cleaning 10002 clauses out of 20011 with flag 1045000/1801719
96.86/95.73	c cleaning 9998 clauses out of 20010 with flag 1055001/1811720
97.36/96.25	c cleaning 9998 clauses out of 20011 with flag 1065000/1821719
97.86/96.79	c cleaning 9998 clauses out of 20013 with flag 1075000/1831719
98.46/97.31	c cleaning 9998 clauses out of 20015 with flag 1085000/1841719
98.97/97.83	c cleaning 10003 clauses out of 20017 with flag 1095000/1851719
99.47/98.33	c cleaning 9999 clauses out of 20015 with flag 1105001/1861720
99.97/98.88	c cleaning 9999 clauses out of 20015 with flag 1115000/1871719
100.57/99.40	c cleaning 10002 clauses out of 20017 with flag 1125001/1881720
101.07/99.93	c cleaning 10001 clauses out of 20014 with flag 1135000/1891719
101.57/100.46	c cleaning 10000 clauses out of 20013 with flag 1145000/1901719
102.07/100.99	c cleaning 9995 clauses out of 20013 with flag 1155000/1911719
102.67/101.53	c cleaning 9998 clauses out of 20018 with flag 1165000/1921719
103.17/102.07	c cleaning 10006 clauses out of 20020 with flag 1175000/1931719
103.77/102.64	c cleaning 10000 clauses out of 20016 with flag 1185002/1941721
104.27/103.17	c cleaning 9999 clauses out of 20014 with flag 1195000/1951719
104.88/103.74	c cleaning 10007 clauses out of 20022 with flag 1205007/1961726
105.38/104.27	c cleaning 10001 clauses out of 20010 with flag 1215002/1971721
105.88/104.79	c cleaning 9996 clauses out of 20007 with flag 1225000/1981719
106.48/105.35	c cleaning 9999 clauses out of 20012 with flag 1235001/1991720
107.08/105.91	c cleaning 9997 clauses out of 20012 with flag 1245000/2001719
107.58/106.44	c cleaning 10005 clauses out of 20015 with flag 1255000/2011719
108.18/107.02	c cleaning 9998 clauses out of 20010 with flag 1265000/2021719
108.68/107.58	c cleaning 9994 clauses out of 20012 with flag 1275000/2031719
109.28/108.12	c cleaning 10002 clauses out of 20020 with flag 1285002/2041721
109.78/108.65	c cleaning 10001 clauses out of 20016 with flag 1295000/2051719
110.38/109.20	c cleaning 10006 clauses out of 20017 with flag 1305002/2061721
110.88/109.70	c cleaning 9997 clauses out of 20009 with flag 1315000/2071719
111.39/110.20	c cleaning 9995 clauses out of 20013 with flag 1325001/2081720
111.79/110.68	c cleaning 9996 clauses out of 20017 with flag 1335000/2091719
112.39/111.22	c cleaning 10006 clauses out of 20021 with flag 1345000/2101719
112.89/111.75	c cleaning 10004 clauses out of 20017 with flag 1355002/2111721
113.40/112.24	c cleaning 10000 clauses out of 20013 with flag 1365002/2121721
113.89/112.77	c cleaning 10000 clauses out of 20013 with flag 1375002/2131721
114.40/113.29	c cleaning 10000 clauses out of 20011 with flag 1385000/2141719
115.00/113.87	c cleaning 9996 clauses out of 20011 with flag 1395000/2151719
115.61/114.48	c cleaning 10004 clauses out of 20015 with flag 1405000/2161719
116.20/115.03	c cleaning 10000 clauses out of 20011 with flag 1415000/2171719
116.80/115.62	c cleaning 9998 clauses out of 20012 with flag 1425001/2181720
117.30/116.15	c cleaning 10000 clauses out of 20014 with flag 1435001/2191720
117.90/116.71	c cleaning 10004 clauses out of 20013 with flag 1445000/2201719
118.40/117.28	c cleaning 10004 clauses out of 20015 with flag 1455006/2211725
119.01/117.82	c cleaning 9992 clauses out of 20005 with flag 1465000/2221719
119.51/118.36	c cleaning 10002 clauses out of 20013 with flag 1475000/2231719
120.11/118.94	c cleaning 9998 clauses out of 20011 with flag 1485000/2241719
120.71/119.50	c cleaning 10002 clauses out of 20014 with flag 1495001/2251720
121.22/120.01	c cleaning 9998 clauses out of 20011 with flag 1505000/2261719
121.72/120.56	c cleaning 10003 clauses out of 20014 with flag 1515001/2271720
122.32/121.12	c cleaning 9999 clauses out of 20012 with flag 1525002/2281721
122.82/121.63	c cleaning 9996 clauses out of 20011 with flag 1535000/2291719
123.33/122.14	c cleaning 10003 clauses out of 20015 with flag 1545000/2301719
123.82/122.64	c cleaning 10002 clauses out of 20013 with flag 1555001/2311720
124.33/123.16	c cleaning 9998 clauses out of 20010 with flag 1565000/2321719
124.82/123.68	c cleaning 9993 clauses out of 20012 with flag 1575000/2331719
125.43/124.21	c cleaning 9997 clauses out of 20021 with flag 1585002/2341721
125.92/124.76	c cleaning 10006 clauses out of 20024 with flag 1595002/2351721
126.42/125.30	c cleaning 10002 clauses out of 20016 with flag 1605000/2361719
127.03/125.88	c cleaning 10006 clauses out of 20017 with flag 1615003/2371722
127.63/126.42	c cleaning 9995 clauses out of 20009 with flag 1625001/2381720
128.13/126.94	c cleaning 10001 clauses out of 20013 with flag 1635000/2391719
128.63/127.47	c cleaning 10000 clauses out of 20012 with flag 1645000/2401719
129.13/127.95	c cleaning 9995 clauses out of 20013 with flag 1655001/2411720
129.73/128.50	c cleaning 10004 clauses out of 20017 with flag 1665000/2421719
130.23/129.06	c cleaning 10002 clauses out of 20014 with flag 1675001/2431720
130.73/129.58	c cleaning 10001 clauses out of 20013 with flag 1685002/2441721
131.33/130.13	c cleaning 10001 clauses out of 20012 with flag 1695002/2451721
131.83/130.69	c cleaning 9998 clauses out of 20009 with flag 1705000/2461719
132.43/131.21	c cleaning 10000 clauses out of 20011 with flag 1715000/2471719
132.94/131.77	c cleaning 9996 clauses out of 20011 with flag 1725000/2481719
133.44/132.29	c cleaning 10001 clauses out of 20015 with flag 1735000/2491719
133.94/132.78	c cleaning 10002 clauses out of 20014 with flag 1745000/2501719
134.54/133.31	c cleaning 9995 clauses out of 20012 with flag 1755000/2511719
135.04/133.83	c cleaning 10003 clauses out of 20017 with flag 1765000/2521719
135.54/134.35	c cleaning 10000 clauses out of 20014 with flag 1775000/2531719
136.14/134.91	c cleaning 10002 clauses out of 20015 with flag 1785001/2541720
136.65/135.42	c cleaning 10001 clauses out of 20012 with flag 1795000/2551719
137.15/135.96	c cleaning 10001 clauses out of 20011 with flag 1805000/2561719
137.65/136.46	c cleaning 10000 clauses out of 20013 with flag 1815003/2571722
138.25/137.01	c cleaning 9994 clauses out of 20010 with flag 1825000/2581719
138.76/137.53	c cleaning 10007 clauses out of 20019 with flag 1835003/2591722
139.25/138.03	c cleaning 9994 clauses out of 20009 with flag 1845000/2601719
139.76/138.57	c cleaning 10001 clauses out of 20017 with flag 1855002/2611721
140.25/139.08	c cleaning 10002 clauses out of 20015 with flag 1865001/2621720
140.86/139.61	c cleaning 10001 clauses out of 20012 with flag 1875000/2631719
141.36/140.16	c cleaning 9996 clauses out of 20011 with flag 1885000/2641719
141.96/140.71	c cleaning 10001 clauses out of 20015 with flag 1895000/2651719
142.46/141.24	c cleaning 10003 clauses out of 20014 with flag 1905000/2661719
142.96/141.74	c cleaning 10001 clauses out of 20013 with flag 1915002/2671721
143.46/142.23	c cleaning 9999 clauses out of 20012 with flag 1925002/2681721
143.96/142.74	c cleaning 10001 clauses out of 20013 with flag 1935002/2691721
144.46/143.25	c cleaning 9997 clauses out of 20011 with flag 1945001/2701720
144.96/143.78	c cleaning 10000 clauses out of 20016 with flag 1955003/2711722
145.56/144.31	c cleaning 9999 clauses out of 20016 with flag 1965003/2721722
146.06/144.82	c cleaning 10004 clauses out of 20015 with flag 1975001/2731720
146.56/145.33	c cleaning 9999 clauses out of 20011 with flag 1985001/2741720
147.16/145.90	c cleaning 9998 clauses out of 20013 with flag 1995002/2751721
147.66/146.43	c cleaning 10002 clauses out of 20013 with flag 2005000/2761719
148.27/147.00	c cleaning 9999 clauses out of 20013 with flag 2015002/2771721
148.77/147.53	c cleaning 9998 clauses out of 20012 with flag 2025000/2781719
149.27/148.05	c cleaning 10003 clauses out of 20014 with flag 2035000/2791719
149.77/148.59	c cleaning 10005 clauses out of 20013 with flag 2045002/2801721
150.47/149.21	c cleaning 9997 clauses out of 20006 with flag 2055000/2811719
150.97/149.74	c cleaning 10002 clauses out of 20009 with flag 2065000/2821719
151.47/150.29	c cleaning 9999 clauses out of 20009 with flag 2075002/2831721
152.07/150.89	c cleaning 9987 clauses out of 20008 with flag 2085000/2841719
152.68/151.44	c cleaning 10005 clauses out of 20021 with flag 2095000/2851719
153.18/151.94	c cleaning 10005 clauses out of 20017 with flag 2105001/2861720
153.68/152.49	c cleaning 9997 clauses out of 20013 with flag 2115002/2871721
154.28/153.08	c cleaning 10000 clauses out of 20014 with flag 2125000/2881719
154.88/153.60	c cleaning 10004 clauses out of 20015 with flag 2135001/2891720
155.38/154.18	c cleaning 9995 clauses out of 20010 with flag 2145000/2901719
155.98/154.76	c cleaning 10002 clauses out of 20017 with flag 2155002/2911721
156.59/155.31	c cleaning 10003 clauses out of 20015 with flag 2165002/2921721
157.09/155.83	c cleaning 10000 clauses out of 20012 with flag 2175002/2931721
157.59/156.38	c cleaning 9997 clauses out of 20013 with flag 2185003/2941722
158.19/156.96	c cleaning 10001 clauses out of 20013 with flag 2195000/2951719
158.79/157.50	c cleaning 10001 clauses out of 20012 with flag 2205000/2961719
159.29/158.04	c cleaning 9990 clauses out of 20012 with flag 2215001/2971720
159.90/158.63	c cleaning 10001 clauses out of 20024 with flag 2225003/2981722
160.40/159.19	c cleaning 10005 clauses out of 20020 with flag 2235000/2991719
161.00/159.71	c cleaning 10003 clauses out of 20016 with flag 2245001/3001720
161.50/160.23	c cleaning 9999 clauses out of 20013 with flag 2255001/3011720
162.10/160.82	c cleaning 9999 clauses out of 20013 with flag 2265000/3021719
162.60/161.34	c cleaning 10003 clauses out of 20015 with flag 2275001/3031720
163.10/161.89	c cleaning 10001 clauses out of 20011 with flag 2285000/3041719
163.71/162.40	c cleaning 10002 clauses out of 20012 with flag 2295002/3051721
164.21/162.91	c cleaning 9994 clauses out of 20009 with flag 2305001/3061720
164.71/163.44	c cleaning 9998 clauses out of 20014 with flag 2315000/3071719
165.22/164.00	c cleaning 10003 clauses out of 20016 with flag 2325000/3081719
165.82/164.54	c cleaning 10000 clauses out of 20015 with flag 2335002/3091721
166.32/165.07	c cleaning 10003 clauses out of 20013 with flag 2345000/3101719
166.92/165.60	c cleaning 10004 clauses out of 20011 with flag 2355001/3111720
167.43/166.16	c cleaning 9993 clauses out of 20006 with flag 2365000/3121719
167.92/166.67	c cleaning 10001 clauses out of 20013 with flag 2375000/3131719
168.53/167.22	c cleaning 9999 clauses out of 20012 with flag 2385000/3141719
169.03/167.73	c cleaning 10000 clauses out of 20013 with flag 2395000/3151719
169.53/168.29	c cleaning 9995 clauses out of 20013 with flag 2405000/3161719
170.12/168.85	c cleaning 10002 clauses out of 20019 with flag 2415001/3171720
170.63/169.39	c cleaning 9998 clauses out of 20016 with flag 2425000/3181719
171.22/169.95	c cleaning 10004 clauses out of 20020 with flag 2435002/3191721
171.73/170.45	c cleaning 9999 clauses out of 20015 with flag 2445001/3201720
172.22/170.96	c cleaning 9995 clauses out of 20016 with flag 2455001/3211720
172.72/171.49	c cleaning 9997 clauses out of 20022 with flag 2465002/3221721
173.33/172.01	c cleaning 10004 clauses out of 20025 with flag 2475002/3231721
173.83/172.54	c cleaning 10004 clauses out of 20019 with flag 2485000/3241719
174.33/173.09	c cleaning 10000 clauses out of 20015 with flag 2495000/3251719
174.93/173.63	c cleaning 10004 clauses out of 20015 with flag 2505000/3261719
175.43/174.14	c cleaning 9994 clauses out of 20011 with flag 2515000/3271719
175.93/174.64	c cleaning 10003 clauses out of 20017 with flag 2525000/3281719
176.43/175.19	c cleaning 10002 clauses out of 20014 with flag 2535000/3291719
177.03/175.76	c cleaning 9998 clauses out of 20013 with flag 2545001/3301720
177.63/176.32	c cleaning 9998 clauses out of 20016 with flag 2555002/3311721
178.13/176.85	c cleaning 9999 clauses out of 20016 with flag 2565000/3321719
178.63/177.39	c cleaning 10001 clauses out of 20017 with flag 2575000/3331719
179.23/177.90	c cleaning 10002 clauses out of 20016 with flag 2585000/3341719
179.63/178.39	c cleaning 10002 clauses out of 20017 with flag 2595003/3351722
180.23/178.94	c cleaning 9998 clauses out of 20012 with flag 2605000/3361719
180.73/179.49	c cleaning 10004 clauses out of 20015 with flag 2615001/3371720
181.33/180.01	c cleaning 10001 clauses out of 20011 with flag 2625001/3381720
181.74/180.49	c cleaning 9994 clauses out of 20009 with flag 2635000/3391719
182.34/181.01	c cleaning 10001 clauses out of 20016 with flag 2645001/3401720
182.85/181.53	c cleaning 10003 clauses out of 20015 with flag 2655001/3411720
183.34/182.03	c cleaning 10001 clauses out of 20011 with flag 2665000/3421719
183.85/182.58	c cleaning 9991 clauses out of 20010 with flag 2675000/3431719
184.44/183.13	c cleaning 10005 clauses out of 20021 with flag 2685002/3441721
184.95/183.67	c cleaning 9997 clauses out of 20014 with flag 2695000/3451719
185.44/184.19	c cleaning 9998 clauses out of 20018 with flag 2705001/3461720
186.05/184.71	c cleaning 10008 clauses out of 20020 with flag 2715001/3471720
186.55/185.24	c cleaning 10003 clauses out of 20012 with flag 2725001/3481720
187.05/185.78	c cleaning 10002 clauses out of 20009 with flag 2735001/3491720
187.55/186.30	c cleaning 9997 clauses out of 20006 with flag 2745000/3501719
188.15/186.83	c cleaning 10000 clauses out of 20010 with flag 2755001/3511720
188.65/187.39	c cleaning 9997 clauses out of 20009 with flag 2765000/3521719
189.25/187.94	c cleaning 9999 clauses out of 20012 with flag 2775000/3531719
189.75/188.45	c cleaning 9995 clauses out of 20013 with flag 2785000/3541719
190.25/188.98	c cleaning 10006 clauses out of 20019 with flag 2795001/3551720
190.85/189.50	c cleaning 9999 clauses out of 20014 with flag 2805002/3561721
191.35/190.01	c cleaning 10000 clauses out of 20013 with flag 2815000/3571719
191.85/190.52	c cleaning 10001 clauses out of 20014 with flag 2825001/3581720
192.46/191.11	c cleaning 10002 clauses out of 20012 with flag 2835000/3591719
193.06/191.73	c cleaning 9993 clauses out of 20010 with flag 2845000/3601719
193.56/192.25	c cleaning 10001 clauses out of 20018 with flag 2855001/3611720
194.16/192.84	c cleaning 10003 clauses out of 20016 with flag 2865000/3621719
194.66/193.39	c cleaning 10000 clauses out of 20013 with flag 2875000/3631719
195.26/193.92	c cleaning 10002 clauses out of 20015 with flag 2885002/3641721
195.77/194.43	c cleaning 9999 clauses out of 20011 with flag 2895000/3651719
196.27/194.95	c cleaning 10001 clauses out of 20015 with flag 2905003/3661722
196.87/195.51	c cleaning 9997 clauses out of 20011 with flag 2915000/3671719
197.37/196.08	c cleaning 10001 clauses out of 20014 with flag 2925000/3681719
197.87/196.59	c cleaning 9999 clauses out of 20013 with flag 2935000/3691719
198.47/197.18	c cleaning 9998 clauses out of 20016 with flag 2945002/3701721
199.07/197.76	c cleaning 10001 clauses out of 20018 with flag 2955002/3711721
199.57/198.27	c cleaning 10000 clauses out of 20015 with flag 2965000/3721719
200.17/198.80	c cleaning 10000 clauses out of 20015 with flag 2975000/3731719
200.67/199.32	c cleaning 10002 clauses out of 20015 with flag 2985000/3741719
201.18/199.87	c cleaning 9998 clauses out of 20013 with flag 2995000/3751719
201.78/200.43	c cleaning 10003 clauses out of 20015 with flag 3005000/3761719
202.38/201.00	c cleaning 9997 clauses out of 20012 with flag 3015000/3771719
202.88/201.56	c cleaning 9998 clauses out of 20015 with flag 3025000/3781719
203.48/202.17	c cleaning 9999 clauses out of 20017 with flag 3035000/3791719
204.08/202.71	c cleaning 10003 clauses out of 20019 with flag 3045001/3801720
204.59/203.28	c cleaning 10002 clauses out of 20016 with flag 3055001/3811720
205.19/203.85	c cleaning 10003 clauses out of 20014 with flag 3065001/3821720
205.70/204.38	c cleaning 9996 clauses out of 20010 with flag 3075000/3831719
206.30/204.93	c cleaning 10000 clauses out of 20015 with flag 3085001/3841720
206.80/205.47	c cleaning 10002 clauses out of 20014 with flag 3095000/3851719
207.40/206.04	c cleaning 9998 clauses out of 20013 with flag 3105001/3861720
207.90/206.57	c cleaning 10000 clauses out of 20015 with flag 3115001/3871720
208.50/207.12	c cleaning 10000 clauses out of 20014 with flag 3125000/3881719
209.00/207.68	c cleaning 10003 clauses out of 20015 with flag 3135001/3891720
209.60/208.21	c cleaning 9999 clauses out of 20012 with flag 3145001/3901720
210.11/208.74	c cleaning 9997 clauses out of 20012 with flag 3155000/3911719
210.71/209.30	c cleaning 10002 clauses out of 20015 with flag 3165000/3921719
211.21/209.87	c cleaning 10003 clauses out of 20013 with flag 3175000/3931719
211.81/210.44	c cleaning 10002 clauses out of 20012 with flag 3185002/3941721
212.41/211.03	c cleaning 9994 clauses out of 20013 with flag 3195005/3951724
212.91/211.59	c cleaning 10002 clauses out of 20017 with flag 3205003/3961722
213.51/212.11	c cleaning 9999 clauses out of 20013 with flag 3215001/3971720
214.01/212.63	c cleaning 10001 clauses out of 20016 with flag 3225003/3981722
214.52/213.17	c cleaning 9999 clauses out of 20012 with flag 3235000/3991719
215.12/213.70	c cleaning 10000 clauses out of 20014 with flag 3245001/4001720
215.62/214.22	c cleaning 10002 clauses out of 20015 with flag 3255002/4011721
216.12/214.77	c cleaning 9999 clauses out of 20012 with flag 3265001/4021720
216.72/215.30	c cleaning 9998 clauses out of 20012 with flag 3275000/4031719
217.22/215.82	c cleaning 10001 clauses out of 20014 with flag 3285000/4041719
217.72/216.34	c cleaning 10007 clauses out of 20019 with flag 3295006/4051725
218.22/216.86	c cleaning 10002 clauses out of 20008 with flag 3305002/4061721
218.82/217.41	c cleaning 9996 clauses out of 20005 with flag 3315001/4071720
219.33/217.95	c cleaning 10000 clauses out of 20009 with flag 3325001/4081720
219.83/218.48	c cleaning 9991 clauses out of 20008 with flag 3335000/4091719
220.43/219.02	c cleaning 10005 clauses out of 20018 with flag 3345001/4101720
220.93/219.55	c cleaning 9998 clauses out of 20012 with flag 3355000/4111719
221.44/220.06	c cleaning 10000 clauses out of 20014 with flag 3365000/4121719
221.93/220.58	c cleaning 10003 clauses out of 20015 with flag 3375001/4131720
222.54/221.13	c cleaning 10002 clauses out of 20011 with flag 3385000/4141719
223.14/221.73	c cleaning 9999 clauses out of 20010 with flag 3395001/4151720
223.65/222.29	c cleaning 9997 clauses out of 20014 with flag 3405004/4161723
224.24/222.85	c cleaning 10003 clauses out of 20013 with flag 3415000/4171719
224.75/223.36	c cleaning 9998 clauses out of 20010 with flag 3425000/4181719
225.34/223.91	c cleaning 9999 clauses out of 20014 with flag 3435002/4191721
225.85/224.42	c cleaning 10002 clauses out of 20016 with flag 3445003/4201722
226.34/224.93	c cleaning 10003 clauses out of 20014 with flag 3455003/4211722
226.85/225.45	c cleaning 9995 clauses out of 20008 with flag 3465000/4221719
227.44/226.05	c cleaning 10002 clauses out of 20014 with flag 3475001/4231720
227.95/226.60	c cleaning 10000 clauses out of 20014 with flag 3485003/4241722
228.54/227.18	c cleaning 9996 clauses out of 20011 with flag 3495000/4251719
229.15/227.71	c cleaning 10002 clauses out of 20015 with flag 3505000/4261719
229.65/228.25	c cleaning 9996 clauses out of 20015 with flag 3515002/4271721
230.25/228.81	c cleaning 10002 clauses out of 20018 with flag 3525001/4281720
230.75/229.33	c cleaning 9998 clauses out of 20016 with flag 3535001/4291720
231.25/229.85	c cleaning 10005 clauses out of 20019 with flag 3545002/4301721
231.85/230.47	c cleaning 9998 clauses out of 20014 with flag 3555002/4311721
232.46/231.01	c cleaning 10002 clauses out of 20016 with flag 3565002/4321721
232.95/231.53	c cleaning 9997 clauses out of 20013 with flag 3575001/4331720
233.46/232.04	c cleaning 10002 clauses out of 20015 with flag 3585000/4341719
234.06/232.60	c cleaning 10002 clauses out of 20014 with flag 3595001/4351720
234.56/233.13	c cleaning 10002 clauses out of 20012 with flag 3605001/4361720
235.06/233.65	c cleaning 10000 clauses out of 20009 with flag 3615000/4371719
235.67/234.22	c cleaning 10001 clauses out of 20009 with flag 3625000/4381719
236.16/234.80	c cleaning 9992 clauses out of 20010 with flag 3635002/4391721
236.77/235.31	c cleaning 10004 clauses out of 20017 with flag 3645001/4401720
237.26/235.84	c cleaning 9997 clauses out of 20012 with flag 3655000/4411719
237.76/236.39	c cleaning 10004 clauses out of 20018 with flag 3665003/4421722
238.36/236.92	c cleaning 10001 clauses out of 20013 with flag 3675002/4431721
238.86/237.45	c cleaning 10000 clauses out of 20010 with flag 3685000/4441719
239.36/237.99	c cleaning 9999 clauses out of 20011 with flag 3695001/4451720
240.07/238.62	c cleaning 10000 clauses out of 20013 with flag 3705002/4461721
240.56/239.19	c cleaning 9998 clauses out of 20012 with flag 3715001/4471720
241.17/239.74	c cleaning 10001 clauses out of 20015 with flag 3725002/4481721
241.67/240.28	c cleaning 10003 clauses out of 20014 with flag 3735002/4491721
242.27/240.81	c cleaning 9999 clauses out of 20010 with flag 3745001/4501720
242.77/241.34	c cleaning 10001 clauses out of 20011 with flag 3755001/4511720
243.38/241.91	c cleaning 9997 clauses out of 20009 with flag 3765000/4521719
243.87/242.43	c cleaning 10005 clauses out of 20013 with flag 3775001/4531720
244.37/242.91	c cleaning 10001 clauses out of 20009 with flag 3785002/4541721
244.87/243.44	c cleaning 9998 clauses out of 20008 with flag 3795002/4551721
245.37/243.98	c cleaning 10001 clauses out of 20008 with flag 3805000/4561719
245.87/244.49	c cleaning 9999 clauses out of 20007 with flag 3815000/4571719
246.47/245.00	c cleaning 9998 clauses out of 20008 with flag 3825000/4581719
246.97/245.52	c cleaning 9999 clauses out of 20010 with flag 3835000/4591719
247.47/246.04	c cleaning 9999 clauses out of 20013 with flag 3845002/4601721
248.07/246.61	c cleaning 9999 clauses out of 20014 with flag 3855002/4611721
248.58/247.11	c cleaning 9997 clauses out of 20013 with flag 3865000/4621719
249.08/247.64	c cleaning 10005 clauses out of 20016 with flag 3875000/4631719
249.59/248.16	c cleaning 10000 clauses out of 20012 with flag 3885001/4641720
250.10/248.67	c cleaning 10002 clauses out of 20012 with flag 3895001/4651720
250.69/249.21	c cleaning 9997 clauses out of 20009 with flag 3905000/4661719
251.20/249.73	c cleaning 10000 clauses out of 20012 with flag 3915000/4671719
251.69/250.25	c cleaning 9997 clauses out of 20012 with flag 3925000/4681719
252.20/250.80	c cleaning 10003 clauses out of 20017 with flag 3935002/4691721
252.80/251.32	c cleaning 10002 clauses out of 20013 with flag 3945001/4701720
253.30/251.90	c cleaning 9997 clauses out of 20010 with flag 3955000/4711719
253.90/252.48	c cleaning 10004 clauses out of 20017 with flag 3965004/4721723
254.51/253.01	c cleaning 9996 clauses out of 20009 with flag 3975000/4731719
255.00/253.52	c cleaning 9994 clauses out of 20014 with flag 3985001/4741720
255.51/254.03	c cleaning 10005 clauses out of 20021 with flag 3995002/4751721
256.00/254.58	c cleaning 9993 clauses out of 20014 with flag 4005000/4761719
256.50/255.07	c cleaning 10004 clauses out of 20021 with flag 4015000/4771719
257.00/255.59	c cleaning 10005 clauses out of 20019 with flag 4025002/4781721
257.51/256.10	c cleaning 10000 clauses out of 20014 with flag 4035002/4791721
258.11/256.63	c cleaning 9992 clauses out of 20012 with flag 4045000/4801719
258.61/257.15	c cleaning 10002 clauses out of 20022 with flag 4055002/4811721
259.11/257.63	c cleaning 10007 clauses out of 20018 with flag 4065000/4821719
259.61/258.12	c cleaning 10003 clauses out of 20011 with flag 4075000/4831719
260.11/258.63	c cleaning 9999 clauses out of 20010 with flag 4085002/4841721
260.61/259.12	c cleaning 10001 clauses out of 20010 with flag 4095001/4851720
261.12/259.60	c cleaning 9995 clauses out of 20009 with flag 4105001/4861720
261.62/260.12	c cleaning 9999 clauses out of 20013 with flag 4115000/4871719
262.12/260.68	c cleaning 9997 clauses out of 20015 with flag 4125001/4881720
262.72/261.21	c cleaning 10000 clauses out of 20017 with flag 4135000/4891719
263.23/261.72	c cleaning 10004 clauses out of 20018 with flag 4145001/4901720
263.72/262.23	c cleaning 10004 clauses out of 20013 with flag 4155000/4911719
264.22/262.75	c cleaning 9995 clauses out of 20011 with flag 4165002/4921721
264.72/263.26	c cleaning 10003 clauses out of 20016 with flag 4175002/4931721
265.22/263.77	c cleaning 10002 clauses out of 20012 with flag 4185001/4941720
265.82/264.33	c cleaning 10001 clauses out of 20009 with flag 4195000/4951719
266.32/264.86	c cleaning 9995 clauses out of 20009 with flag 4205001/4961720
266.93/265.44	c cleaning 10001 clauses out of 20014 with flag 4215001/4971720
267.43/265.94	c cleaning 10001 clauses out of 20012 with flag 4225000/4981719
267.93/266.44	c cleaning 10002 clauses out of 20011 with flag 4235000/4991719
268.43/266.96	c cleaning 10001 clauses out of 20010 with flag 4245001/5001720
268.93/267.47	c cleaning 9999 clauses out of 20008 with flag 4255000/5011719
269.53/268.02	c cleaning 9999 clauses out of 20010 with flag 4265001/5021720
270.03/268.59	c cleaning 9998 clauses out of 20015 with flag 4275005/5031724
270.63/269.10	c cleaning 10005 clauses out of 20015 with flag 4285003/5041722
271.13/269.61	c cleaning 9994 clauses out of 20007 with flag 4295000/5051719
271.64/270.15	c cleaning 10001 clauses out of 20013 with flag 4305000/5061719
272.14/270.67	c cleaning 10002 clauses out of 20013 with flag 4315001/5071720
272.74/271.21	c cleaning 9998 clauses out of 20011 with flag 4325001/5081720
273.24/271.74	c cleaning 10002 clauses out of 20014 with flag 4335002/5091721
273.74/272.25	c cleaning 10000 clauses out of 20011 with flag 4345001/5101720
274.25/272.77	c cleaning 9996 clauses out of 20010 with flag 4355000/5111719
274.84/273.33	c cleaning 10002 clauses out of 20015 with flag 4365001/5121720
275.35/273.87	c cleaning 9993 clauses out of 20014 with flag 4375002/5131721
275.94/274.41	c cleaning 10004 clauses out of 20020 with flag 4385001/5141720
276.45/274.94	c cleaning 9996 clauses out of 20016 with flag 4395001/5151720
276.94/275.45	c cleaning 10007 clauses out of 20021 with flag 4405002/5161721
277.44/275.94	c cleaning 9996 clauses out of 20012 with flag 4415000/5171719
277.94/276.49	c cleaning 10001 clauses out of 20016 with flag 4425000/5181719
278.55/277.03	c cleaning 10003 clauses out of 20017 with flag 4435002/5191721
279.05/277.51	c cleaning 9997 clauses out of 20013 with flag 4445001/5201720
279.55/278.02	c cleaning 9998 clauses out of 20015 with flag 4455000/5211719
280.05/278.55	c cleaning 10003 clauses out of 20017 with flag 4465000/5221719
280.55/279.09	c cleaning 10003 clauses out of 20016 with flag 4475002/5231721
281.16/279.61	c cleaning 9998 clauses out of 20011 with flag 4485000/5241719
281.66/280.19	c cleaning 10003 clauses out of 20015 with flag 4495002/5251721
282.26/280.76	c cleaning 9997 clauses out of 20010 with flag 4505000/5261719
282.86/281.33	c cleaning 9989 clauses out of 20013 with flag 4515000/5271719
283.36/281.88	c cleaning 10003 clauses out of 20028 with flag 4525004/5281723
283.96/282.42	c cleaning 10006 clauses out of 20022 with flag 4535001/5291720
284.46/282.96	c cleaning 10005 clauses out of 20017 with flag 4545002/5301721
285.07/283.54	c cleaning 9999 clauses out of 20011 with flag 4555001/5311720
285.67/284.11	c cleaning 9997 clauses out of 20011 with flag 4565000/5321719
286.17/284.70	c cleaning 10000 clauses out of 20014 with flag 4575000/5331719
286.77/285.21	c cleaning 10004 clauses out of 20017 with flag 4585003/5341722
287.27/285.77	c cleaning 9990 clauses out of 20010 with flag 4595000/5351719
287.88/286.32	c cleaning 10008 clauses out of 20022 with flag 4605002/5361721
288.38/286.87	c cleaning 9999 clauses out of 20013 with flag 4615001/5371720
288.98/287.43	c cleaning 10001 clauses out of 20014 with flag 4625001/5381720
289.58/288.03	c cleaning 9995 clauses out of 20014 with flag 4635002/5391721
290.08/288.54	c cleaning 10000 clauses out of 20017 with flag 4645000/5401719
290.58/289.04	c cleaning 9996 clauses out of 20017 with flag 4655000/5411719
291.19/289.60	c cleaning 9998 clauses out of 20022 with flag 4665001/5421720
291.69/290.12	c cleaning 10005 clauses out of 20023 with flag 4675000/5431719
292.19/290.66	c cleaning 9998 clauses out of 20018 with flag 4685000/5441719
292.79/291.23	c cleaning 10006 clauses out of 20022 with flag 4695002/5451721
293.39/291.81	c cleaning 9999 clauses out of 20014 with flag 4705000/5461719
293.89/292.34	c cleaning 10004 clauses out of 20018 with flag 4715003/5471722
294.39/292.87	c cleaning 10002 clauses out of 20013 with flag 4725002/5481721
294.99/293.43	c cleaning 10001 clauses out of 20012 with flag 4735003/5491722
295.49/293.95	c cleaning 9999 clauses out of 20008 with flag 4745000/5501719
296.09/294.50	c cleaning 9995 clauses out of 20012 with flag 4755003/5511722
296.50/294.99	c cleaning 10001 clauses out of 20016 with flag 4765002/5521721
297.00/295.48	c cleaning 10001 clauses out of 20015 with flag 4775002/5531721
297.51/295.96	c cleaning 10006 clauses out of 20014 with flag 4785002/5541721
298.00/296.44	c cleaning 10003 clauses out of 20012 with flag 4795006/5551725
298.51/296.92	c cleaning 9995 clauses out of 20003 with flag 4805000/5561719
299.00/297.41	c cleaning 9999 clauses out of 20011 with flag 4815003/5571722
299.50/297.91	c cleaning 10001 clauses out of 20011 with flag 4825002/5581721
300.00/298.40	c cleaning 9998 clauses out of 20010 with flag 4835002/5591721
300.40/298.89	c cleaning 10000 clauses out of 20011 with flag 4845001/5601720
301.00/299.40	c cleaning 9997 clauses out of 20012 with flag 4855002/5611721
301.51/299.93	c cleaning 9994 clauses out of 20013 with flag 4865000/5621719
302.01/300.42	c cleaning 10005 clauses out of 20020 with flag 4875001/5631720
302.51/300.95	c cleaning 10000 clauses out of 20014 with flag 4885000/5641719
303.11/301.52	c cleaning 10003 clauses out of 20015 with flag 4895001/5651720
303.61/302.03	c cleaning 9993 clauses out of 20011 with flag 4905000/5661719
304.12/302.57	c cleaning 10005 clauses out of 20021 with flag 4915003/5671722
304.61/303.08	c cleaning 10001 clauses out of 20013 with flag 4925000/5681719
305.12/303.57	c cleaning 9999 clauses out of 20014 with flag 4935002/5691721
305.71/304.12	c cleaning 9999 clauses out of 20014 with flag 4945001/5701720
306.22/304.63	c cleaning 10004 clauses out of 20015 with flag 4955001/5711720
306.71/305.15	c cleaning 10000 clauses out of 20011 with flag 4965001/5721720
307.32/305.74	c cleaning 9997 clauses out of 20010 with flag 4975000/5731719
307.92/306.31	c cleaning 10003 clauses out of 20013 with flag 4985000/5741719
308.42/306.84	c cleaning 10000 clauses out of 20014 with flag 4995004/5751723
308.92/307.38	c cleaning 10002 clauses out of 20011 with flag 5005001/5761720
309.42/307.90	c cleaning 10002 clauses out of 20009 with flag 5015001/5771720
310.02/308.43	c cleaning 9995 clauses out of 20008 with flag 5025002/5781721
310.52/308.96	c cleaning 10000 clauses out of 20012 with flag 5035001/5791720
311.02/309.47	c cleaning 9983 clauses out of 20011 with flag 5045000/5801719
311.52/309.97	c cleaning 9982 clauses out of 20028 with flag 5055000/5811719
312.12/310.50	c cleaning 9994 clauses out of 20048 with flag 5065002/5821721
312.62/311.07	c cleaning 9997 clauses out of 20053 with flag 5075001/5831720
313.22/311.68	c cleaning 10004 clauses out of 20057 with flag 5085002/5841721
313.82/312.22	c cleaning 9975 clauses out of 20051 with flag 5095000/5851719
314.32/312.70	c cleaning 9987 clauses out of 20076 with flag 5105000/5861719
314.72/313.18	c cleaning 9975 clauses out of 20092 with flag 5115003/5871722
315.23/313.68	c cleaning 9998 clauses out of 20115 with flag 5125001/5881720
315.83/314.25	c cleaning 9982 clauses out of 20116 with flag 5135000/5891719
316.43/314.80	c cleaning 10002 clauses out of 20134 with flag 5145000/5901719
316.93/315.35	c cleaning 9995 clauses out of 20132 with flag 5155000/5911719
317.53/315.90	c cleaning 9989 clauses out of 20137 with flag 5165000/5921719
318.03/316.47	c cleaning 9998 clauses out of 20149 with flag 5175001/5931720
318.63/317.03	c cleaning 9989 clauses out of 20150 with flag 5185000/5941719
319.23/317.64	c cleaning 9990 clauses out of 20164 with flag 5195003/5951722
319.73/318.14	c cleaning 9994 clauses out of 20173 with flag 5205002/5961721
320.23/318.68	c cleaning 9984 clauses out of 20177 with flag 5215000/5971719
320.83/319.20	c cleaning 9976 clauses out of 20193 with flag 5225000/5981719
321.33/319.74	c cleaning 10000 clauses out of 20218 with flag 5235001/5991720
321.94/320.31	c cleaning 9992 clauses out of 20217 with flag 5245000/6001719
322.44/320.80	c cleaning 9985 clauses out of 20225 with flag 5255000/6011719
322.94/321.34	c cleaning 9989 clauses out of 20240 with flag 5265000/6021719
323.54/321.94	c cleaning 9999 clauses out of 20251 with flag 5275000/6031719
324.14/322.51	c cleaning 10000 clauses out of 20252 with flag 5285000/6041719
324.64/323.07	c cleaning 9988 clauses out of 20252 with flag 5295000/6051719
325.24/323.62	c cleaning 10011 clauses out of 20269 with flag 5305005/6061724
325.74/324.14	c cleaning 9981 clauses out of 20254 with flag 5315001/6071720
326.24/324.68	c cleaning 9985 clauses out of 20272 with flag 5325000/6081719
326.84/325.22	c cleaning 9995 clauses out of 20288 with flag 5335001/6091720
327.35/325.71	c cleaning 9993 clauses out of 20293 with flag 5345001/6101720
327.85/326.21	c cleaning 10000 clauses out of 20301 with flag 5355002/6111721
328.36/326.74	c cleaning 9978 clauses out of 20299 with flag 5365000/6121719
328.85/327.22	c cleaning 9989 clauses out of 20322 with flag 5375001/6131720
329.36/327.72	c cleaning 9992 clauses out of 20332 with flag 5385000/6141719
329.85/328.23	c cleaning 9993 clauses out of 20340 with flag 5395000/6151719
330.35/328.72	c cleaning 9993 clauses out of 20349 with flag 5405002/6161721
330.85/329.21	c cleaning 9987 clauses out of 20356 with flag 5415002/6171721
331.36/329.70	c cleaning 9991 clauses out of 20370 with flag 5425003/6181722
331.87/330.21	c cleaning 9982 clauses out of 20376 with flag 5435000/6191719
332.37/330.74	c cleaning 9998 clauses out of 20395 with flag 5445001/6201720
332.87/331.28	c cleaning 9990 clauses out of 20396 with flag 5455000/6211719
333.37/331.79	c cleaning 9976 clauses out of 20407 with flag 5465001/6221720
333.97/332.30	c cleaning 9991 clauses out of 20433 with flag 5475003/6231722
334.47/332.87	c cleaning 9990 clauses out of 20440 with flag 5485001/6241720
334.98/333.37	c cleaning 9978 clauses out of 20450 with flag 5495001/6251720
335.48/333.87	c cleaning 9992 clauses out of 20471 with flag 5505000/6261719
336.09/334.43	c cleaning 9999 clauses out of 20479 with flag 5515000/6271719
336.58/334.95	c cleaning 9981 clauses out of 20480 with flag 5525000/6281719
337.09/335.45	c cleaning 9989 clauses out of 20501 with flag 5535002/6291721
337.58/335.96	c cleaning 9994 clauses out of 20510 with flag 5545000/6301719
338.08/336.46	c cleaning 9996 clauses out of 20517 with flag 5555001/6311720
338.58/336.94	c cleaning 10000 clauses out of 20522 with flag 5565002/6321721
339.08/337.47	c cleaning 9989 clauses out of 20523 with flag 5575003/6331722
339.58/337.99	c cleaning 9990 clauses out of 20532 with flag 5585001/6341720
340.18/338.54	c cleaning 9989 clauses out of 20544 with flag 5595003/6351722
340.69/339.08	c cleaning 9992 clauses out of 20552 with flag 5605000/6361719
341.19/339.58	c cleaning 9991 clauses out of 20560 with flag 5615000/6371719
341.79/340.12	c cleaning 9991 clauses out of 20569 with flag 5625000/6381719
342.29/340.65	c cleaning 9999 clauses out of 20580 with flag 5635002/6391721
342.93/341.23	c cleaning 9983 clauses out of 20579 with flag 5645000/6401719
343.73/341.77	c cleaning 9994 clauses out of 20596 with flag 5655000/6411719
344.59/342.29	c cleaning 9993 clauses out of 20603 with flag 5665001/6421720
345.20/342.84	c cleaning 10005 clauses out of 20612 with flag 5675003/6431722
345.80/343.42	c cleaning 9990 clauses out of 20604 with flag 5685000/6441719
346.30/343.94	c cleaning 9992 clauses out of 20615 with flag 5695002/6451721
346.91/344.57	c cleaning 9944 clauses out of 20621 with flag 5705000/6461719
347.55/345.16	c cleaning 9961 clauses out of 20678 with flag 5715001/6471720
348.17/345.79	c cleaning 9973 clauses out of 20718 with flag 5725002/6481721
348.78/346.35	c cleaning 9973 clauses out of 20743 with flag 5735000/6491719
349.38/346.97	c cleaning 9974 clauses out of 20770 with flag 5745000/6501719
349.99/347.52	c cleaning 9977 clauses out of 20797 with flag 5755001/6511720
350.58/348.16	c starts		: 297
350.58/348.16	c conflicts		: 6520924
350.58/348.16	c decisions		: 9297755
350.58/348.16	c propagations		: 318970052
350.58/348.16	c inspects		: 3459663986
350.58/348.16	c shortcuts		: 0
350.58/348.16	c learnt literals	: 10
350.58/348.16	c learnt binary clauses	: 30
350.58/348.16	c learnt ternary clauses	: 1265
350.58/348.16	c learnt constraints	: 6520913
350.58/348.16	c ignored constraints	: 0
350.58/348.16	c root simplifications	: 0
350.58/348.16	c removed literals (reason simplification)	: 33299038
350.58/348.16	c reason swapping (by a shorter reason)	: 0
350.58/348.16	c Calls to reduceDB	: 656
350.58/348.16	c number of reductions to clauses (during analyze)	: 0
350.58/348.16	c number of learned constraints concerned by reduction	: 0
350.58/348.16	c number of learning phase by resolution	: 0
350.58/348.16	c number of learning phase by cutting planes	: 0
350.58/348.16	c speed (assignments/second)	: 1036653.7056537056
350.58/348.16	c non guided choices	3048
350.58/348.16	c learnt constraints type 
350.58/348.16	c constraints type 
350.58/348.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520
350.58/348.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
350.58/348.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
350.58/348.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7
350.58/348.16	s OPTIMUM FOUND
350.58/348.16	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 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 
350.58/348.16	c objective function=1
350.58/348.16	c Total wall clock time (in seconds): 348.055

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492731-1307910616/watcher-3492731-1307910616 -o /var/tmp/evaluation-result-3492731-1307910616/solver-3492731-1307910616 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492731-1307910616.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.03 1.97 2/195 17580
/proc/meminfo: memFree=1551500/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/17580/stat : 17580 (java) R 17578 17580 15624 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 902661220 23580672 695 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274469004776 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17580/statm: 5757 696 512 9 0 124 0

[startup+0.026361 s]
/proc/loadavg: 2.08 2.03 1.97 2/195 17580
/proc/meminfo: memFree=1551500/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10453032 CPUtime=0.01 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 10088 0 1 0 0 1 0 0 25 0 10 0 902661220 10703904768 9788 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2613257 9790 1038 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453032

[startup+0.100349 s]
/proc/loadavg: 2.08 2.03 1.97 2/195 17580
/proc/meminfo: memFree=1551500/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10539900 CPUtime=0.09 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 13052 0 1 0 8 1 0 0 25 0 18 0 902661220 10792857600 12716 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2634975 12717 2093 9 0 2625709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539900

[startup+0.300375 s]
/proc/loadavg: 2.08 2.03 1.97 2/195 17580
/proc/meminfo: memFree=1551500/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10541756 CPUtime=0.47 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 16333 0 1 0 45 2 0 0 25 0 18 0 902661220 10794758144 15500 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2635439 15500 2210 9 0 2626173 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541756

[startup+0.700241 s]
/proc/loadavg: 2.08 2.03 1.97 2/195 17580
/proc/meminfo: memFree=1551500/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10544836 CPUtime=1.44 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 21510 0 1 0 141 3 0 0 25 0 19 0 902661220 10797912064 18351 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2636209 18351 2225 9 0 2626943 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10544836

[startup+1.50116 s]
/proc/loadavg: 2.08 2.03 1.97 3/214 17599
/proc/meminfo: memFree=1484784/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10544836 CPUtime=2.34 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 23132 0 1 0 231 3 0 0 25 0 19 0 902661220 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2636209 19965 2253 9 0 2626943 0
[pid=17580/tid=17582] ppid=17578 vsize=10544836 CPUtime=1.46 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) R 17578 17580 15624 0 -1 4202560 14681 0 1 0 144 2 0 0 20 0 19 0 902661221 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 46912505642473 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 162 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 236 0 0 0 0 0 0 0 18 0 19 0 902661223 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10544836 CPUtime=0.01 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 472 0 0 0 1 0 0 0 16 0 19 0 902661224 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10544836 CPUtime=0.43 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 2305 0 0 0 43 0 0 0 18 0 19 0 902661227 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10544836 CPUtime=0.41 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4045 0 0 0 41 0 0 0 17 0 19 0 902661227 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902661227 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10544836 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10797912064 19965 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10544836

[startup+3.10082 s]
/proc/loadavg: 2.08 2.03 1.97 3/214 17599
/proc/meminfo: memFree=1478212/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10545868 CPUtime=3.99 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 23873 0 1 0 396 3 0 0 25 0 19 0 902661220 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2636467 20702 2253 9 0 2627201 0
[pid=17580/tid=17582] ppid=17578 vsize=10545868 CPUtime=3 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) R 17578 17580 15624 0 -1 4202560 14686 0 1 0 298 2 0 0 25 0 19 0 902661221 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 46912505673454 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10545868 CPUtime=0.06 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 657 0 0 0 6 0 0 0 16 0 19 0 902661224 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10545868 CPUtime=0.47 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 2505 0 0 0 47 0 0 0 15 0 19 0 902661227 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10545868 CPUtime=0.41 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4045 0 0 0 41 0 0 0 15 0 19 0 902661227 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902661227 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10798968832 20702 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10545868

[startup+6.30126 s]
/proc/loadavg: 2.07 2.03 1.97 3/214 17599
/proc/meminfo: memFree=1475524/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10545868 CPUtime=7.21 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 24212 0 1 0 718 3 0 0 25 0 19 0 902661220 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2636467 20947 2253 9 0 2627201 0
[pid=17580/tid=17582] ppid=17578 vsize=10545868 CPUtime=6.11 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) S 17578 17580 15624 0 -1 4202560 14694 0 1 0 609 2 0 0 25 0 19 0 902661221 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 252 0 0 0 0 0 0 0 16 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 902661223 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10545868 CPUtime=0.15 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) R 17578 17580 15624 0 -1 4202560 800 0 0 0 15 0 0 0 15 0 19 0 902661224 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274473661492 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10545868 CPUtime=0.48 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 2505 0 0 0 48 0 0 0 15 0 19 0 902661227 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10545868 CPUtime=0.41 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4045 0 0 0 41 0 0 0 15 0 19 0 902661227 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902661227 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10545868 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10798968832 20947 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 10545868

[startup+12.7011 s]

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

/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 272 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10551504 CPUtime=0.17 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 21 0 0 0 17 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10551504 CPUtime=0.17 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 63 0 0 0 17 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 19 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 163 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10551504 CPUtime=0.21 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 289 0 0 0 21 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 262 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 290 0 0 0 18 0 0 0 16 0 19 0 902661223 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10551504 CPUtime=10.29 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 1601 0 0 0 1027 2 0 0 16 0 19 0 902661224 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10551504 CPUtime=1.21 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 10015 0 0 0 120 1 0 0 15 0 19 0 902661227 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10551504 CPUtime=0.45 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4047 0 0 0 45 0 0 0 16 0 19 0 902661227 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902661227 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10804740096 23670 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 347.95
Current children cumulated vsize (KiB) 10551504

[startup+347.101 s]
/proc/loadavg: 2.04 2.05 2.00 3/214 17608
/proc/meminfo: memFree=1453668/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10551504 CPUtime=349.58 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 33559 0 1 0 34947 11 0 0 25 0 19 0 902661220 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2637876 23678 2255 9 0 2628610 0
[pid=17580/tid=17582] ppid=17578 vsize=10551504 CPUtime=335.96 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) R 17578 17580 15624 0 -1 4202560 15338 0 1 0 33593 3 0 0 25 0 19 0 902661221 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 46912505643032 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 272 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 21 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10551504 CPUtime=0.17 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 63 0 0 0 17 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 19 0 0 0 19 0 0 0 16 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 166 0 0 0 19 0 0 0 16 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10551504 CPUtime=0.21 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 289 0 0 0 21 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 262 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 290 0 0 0 18 0 0 0 16 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10551504 CPUtime=10.34 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 1606 0 0 0 1032 2 0 0 16 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10551504 CPUtime=1.23 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 10015 0 0 0 122 1 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10551504 CPUtime=0.46 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4047 0 0 0 46 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 349.58
Current children cumulated vsize (KiB) 10551504

[startup+347.901 s]
/proc/loadavg: 2.04 2.05 2.00 3/214 17608
/proc/meminfo: memFree=1453788/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10551504 CPUtime=350.38 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 33560 0 1 0 35027 11 0 0 25 0 19 0 902661220 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2637876 23678 2255 9 0 2628610 0
[pid=17580/tid=17582] ppid=17578 vsize=10551504 CPUtime=336.75 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) R 17578 17580 15624 0 -1 4202560 15339 0 1 0 33672 3 0 0 25 0 19 0 902661221 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 46912505642482 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 272 0 0 0 18 0 0 0 16 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 21 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10551504 CPUtime=0.17 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 63 0 0 0 17 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 19 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 166 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10551504 CPUtime=0.21 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 289 0 0 0 21 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 262 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 290 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10551504 CPUtime=10.36 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 1606 0 0 0 1034 2 0 0 16 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10551504 CPUtime=1.23 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 10015 0 0 0 122 1 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10551504 CPUtime=0.46 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4047 0 0 0 46 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 350.38
Current children cumulated vsize (KiB) 10551504

[startup+348.101 s]
/proc/loadavg: 2.04 2.05 2.00 3/214 17608
/proc/meminfo: memFree=1453788/32950928 swapFree=67079488/67111528
[pid=17580] ppid=17578 vsize=10551504 CPUtime=350.58 cores=1,3,5,7
/proc/17580/stat : 17580 (java) S 17578 17580 15624 0 -1 4202496 33560 0 1 0 35047 11 0 0 25 0 19 0 902661220 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17580/statm: 2637876 23678 2255 9 0 2628610 0
[pid=17580/tid=17582] ppid=17578 vsize=10551504 CPUtime=336.95 cores=1,3,5,7
/proc/17580/task/17582/stat : 17582 (java) R 17578 17580 15624 0 -1 4202560 15339 0 1 0 33692 3 0 0 25 0 19 0 902661221 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17580/tid=17583] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17583/stat : 17583 (java) S 17578 17580 15624 0 -1 4202560 272 0 0 0 18 0 0 0 16 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17584] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17584/stat : 17584 (java) S 17578 17580 15624 0 -1 4202560 21 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17585] ppid=17578 vsize=10551504 CPUtime=0.17 cores=1,3,5,7
/proc/17580/task/17585/stat : 17585 (java) S 17578 17580 15624 0 -1 4202560 63 0 0 0 17 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17586] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17586/stat : 17586 (java) S 17578 17580 15624 0 -1 4202560 19 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17587] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17587/stat : 17587 (java) S 17578 17580 15624 0 -1 4202560 166 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17588] ppid=17578 vsize=10551504 CPUtime=0.21 cores=1,3,5,7
/proc/17580/task/17588/stat : 17588 (java) S 17578 17580 15624 0 -1 4202560 289 0 0 0 21 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17589] ppid=17578 vsize=10551504 CPUtime=0.19 cores=1,3,5,7
/proc/17580/task/17589/stat : 17589 (java) S 17578 17580 15624 0 -1 4202560 262 0 0 0 19 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
[pid=17580/tid=17590] ppid=17578 vsize=10551504 CPUtime=0.18 cores=1,3,5,7
/proc/17580/task/17590/stat : 17590 (java) S 17578 17580 15624 0 -1 4202560 290 0 0 0 18 0 0 0 15 0 19 0 902661223 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17591] ppid=17578 vsize=10551504 CPUtime=10.36 cores=1,3,5,7
/proc/17580/task/17591/stat : 17591 (java) S 17578 17580 15624 0 -1 4202560 1606 0 0 0 1034 2 0 0 16 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 0 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17592] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17592/stat : 17592 (java) S 17578 17580 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17593] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17593/stat : 17593 (java) S 17578 17580 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902661224 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17594] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17594/stat : 17594 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485791153 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17595] ppid=17578 vsize=10551504 CPUtime=1.23 cores=1,3,5,7
/proc/17580/task/17595/stat : 17595 (java) S 17578 17580 15624 0 -1 4202560 10015 0 0 0 122 1 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 1 0 0 0
[pid=17580/tid=17596] ppid=17578 vsize=10551504 CPUtime=0.46 cores=1,3,5,7
/proc/17580/task/17596/stat : 17596 (java) S 17578 17580 15624 0 -1 4202560 4047 0 0 0 46 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17597] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17597/stat : 17597 (java) S 17578 17580 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485783449 0 4 0 16800975 18446604471160751168 0 0 -1 3 0 0 0
[pid=17580/tid=17598] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17598/stat : 17598 (java) S 17578 17580 15624 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902661227 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 5 0 0 0
[pid=17580/tid=17599] ppid=17578 vsize=10551504 CPUtime=0 cores=1,3,5,7
/proc/17580/task/17599/stat : 17599 (java) S 17578 17580 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902661252 10804740096 23678 33554432000 1073741824 1073778376 140733870842800 18446744073709551615 274485784064 0 4 0 16800975 18446604471160751168 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 350.58
Current children cumulated vsize (KiB) 10551504

Child status: 30
Real time (s): 348.173
CPU time (s): 350.666
CPU user time (s): 350.548
CPU system time (s): 0.117982
CPU usage (%): 100.716
Max. virtual memory (cumulated for all children) (KiB): 10566456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 350.548
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33580
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= 23940
involuntary context switches= 13778

runsolver used 0.601908 second user time and 1.3278 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-12 22:30:16
IDJOB=3492731
IDBENCH=78980
IDSOLVER=1982
FILE ID=node125/3492731-1307910616
RUNJOBID= node125-1307907420-16978
PBS_JOBID= 13559581
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492731-1307910616/watcher-3492731-1307910616 -o /var/tmp/evaluation-result-3492731-1307910616/solver-3492731-1307910616 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492731-1307910616.wbo

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

MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad
RANDOM SEED=2073240082

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.828
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1552152 kB
Buffers:         64220 kB
Cached:       30030532 kB
SwapCached:       3272 kB
Active:       15476244 kB
Inactive:     14980056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1552152 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:             488 kB
Writeback:           0 kB
AnonPages:      360028 kB
Mapped:          22396 kB
Slab:           878432 kB
PageTables:       5108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10546508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node125 at 2011-06-12 22:36:04