Trace number 3492058

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 212.029 210.5

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo
MD5SUM7333324480eb5267e10bc3c9063685b0
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark53.2789
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 constraints2707
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 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 745
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492058-1307911248.wbo
0.10/0.11	c reading problem ... 
0.46/0.34	c ... done. Wall clock time 0.232s.
0.46/0.34	c #vars     2938
0.46/0.34	c #constraints  2707
0.46/0.34	c constraints type 
0.46/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.46/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.03/0.54	c SATISFIABLE
1.03/0.54	c OPTIMIZING...
1.03/0.54	c Got one! Elapsed wall clock time (in seconds):0.428
1.03/0.54	o 553
1.03/0.59	c Got one! Elapsed wall clock time (in seconds):0.476
1.03/0.59	o 215
1.31/0.62	c Got one! Elapsed wall clock time (in seconds):0.506
1.31/0.62	o 173
1.31/0.66	c Got one! Elapsed wall clock time (in seconds):0.551
1.31/0.66	o 168
1.31/0.69	c Got one! Elapsed wall clock time (in seconds):0.581
1.31/0.69	o 150
1.55/0.72	c Got one! Elapsed wall clock time (in seconds):0.607
1.55/0.72	o 149
1.72/0.83	c Got one! Elapsed wall clock time (in seconds):0.717
1.72/0.83	o 140
1.72/0.89	c Got one! Elapsed wall clock time (in seconds):0.78
1.72/0.89	o 129
1.92/1.05	c Got one! Elapsed wall clock time (in seconds):0.942
1.92/1.05	o 125
1.92/1.10	c Got one! Elapsed wall clock time (in seconds):0.986
1.92/1.10	o 111
2.92/2.06	c Got one! Elapsed wall clock time (in seconds):1.954
2.92/2.06	o 96
3.03/2.16	c Got one! Elapsed wall clock time (in seconds):2.053
3.03/2.16	o 87
3.13/2.21	c Got one! Elapsed wall clock time (in seconds):2.102
3.13/2.21	o 81
3.22/2.32	c Got one! Elapsed wall clock time (in seconds):2.213
3.22/2.32	o 77
3.32/2.47	c Got one! Elapsed wall clock time (in seconds):2.365
3.32/2.47	o 70
3.42/2.59	c Got one! Elapsed wall clock time (in seconds):2.48
3.42/2.59	o 60
3.83/2.97	c Got one! Elapsed wall clock time (in seconds):2.857
3.83/2.97	o 53
4.03/3.12	c Got one! Elapsed wall clock time (in seconds):3.006
4.03/3.12	o 47
4.03/3.16	c Got one! Elapsed wall clock time (in seconds):3.055
4.03/3.16	o 21
4.26/3.33	c cleaning 5577 clauses out of 11157 with flag 1001/11157
4.40/3.44	c Got one! Elapsed wall clock time (in seconds):3.333
4.40/3.44	o 19
4.70/3.79	c Got one! Elapsed wall clock time (in seconds):3.684
4.70/3.79	o 18
4.90/3.99	c Got one! Elapsed wall clock time (in seconds):3.883
4.90/3.99	o 14
5.20/4.23	c cleaning 6523 clauses out of 13048 with flag 2001/18625
5.72/4.70	c cleaning 6260 clauses out of 12525 with flag 8001/24625
5.96/4.94	c Got one! Elapsed wall clock time (in seconds):4.826
5.96/4.94	o 13
6.16/5.12	c cleaning 5651 clauses out of 11319 with flag 2000/29679
6.26/5.24	c Got one! Elapsed wall clock time (in seconds):5.131
6.26/5.24	o 11
6.56/5.57	c cleaning 5377 clauses out of 10762 with flag 4002/34773
7.16/6.11	c cleaning 5686 clauses out of 11383 with flag 10000/40771
7.26/6.21	c Got one! Elapsed wall clock time (in seconds):6.098
7.26/6.21	o 9
7.56/6.54	c cleaning 5598 clauses out of 11209 with flag 4001/46283
7.86/6.80	c Got one! Elapsed wall clock time (in seconds):6.688
7.86/6.80	o 5
8.06/7.04	c cleaning 5780 clauses out of 11585 with flag 3000/52257
8.46/7.44	c cleaning 5900 clauses out of 11808 with flag 9003/58260
8.67/7.66	c Got one! Elapsed wall clock time (in seconds):7.548
8.67/7.66	o 3
8.87/7.81	c cleaning 5743 clauses out of 11498 with flag 2001/63850
9.27/8.22	c cleaning 5868 clauses out of 11754 with flag 8000/69849
9.67/8.65	c cleaning 6435 clauses out of 12886 with flag 15000/76849
10.17/9.16	c cleaning 7221 clauses out of 14451 with flag 23000/84849
10.67/9.68	c cleaning 8113 clauses out of 16233 with flag 32003/93852
11.37/10.30	c cleaning 9054 clauses out of 18120 with flag 42003/103852
11.98/10.94	c cleaning 9522 clauses out of 19064 with flag 52001/113850
12.58/11.58	c cleaning 9763 clauses out of 19541 with flag 62000/123849
13.28/12.25	c cleaning 9882 clauses out of 19778 with flag 72000/133849
13.98/12.90	c cleaning 9945 clauses out of 19896 with flag 82000/143849
14.58/13.54	c cleaning 9966 clauses out of 19951 with flag 92000/153849
14.78/13.73	c Got one! Elapsed wall clock time (in seconds):13.616
14.78/13.73	o 2
14.88/13.86	c cleaning 7594 clauses out of 15203 with flag 2001/159067
15.28/14.25	c cleaning 6794 clauses out of 13609 with flag 8001/165067
15.68/14.69	c cleaning 6902 clauses out of 13814 with flag 15000/172066
16.38/15.31	c cleaning 7452 clauses out of 14914 with flag 23002/180068
16.98/15.93	c cleaning 8227 clauses out of 16462 with flag 32002/189068
17.49/16.48	c cleaning 9109 clauses out of 18234 with flag 42001/199067
17.98/16.97	c cleaning 9558 clauses out of 19126 with flag 52002/209068
18.59/17.56	c cleaning 9780 clauses out of 19567 with flag 62001/219067
19.18/18.10	c cleaning 9883 clauses out of 19787 with flag 72001/229067
19.69/18.62	c cleaning 9948 clauses out of 19904 with flag 82001/239067
20.18/19.13	c cleaning 9973 clauses out of 19955 with flag 92000/249066
20.68/19.62	c cleaning 9988 clauses out of 19983 with flag 102001/259067
21.19/20.17	c cleaning 9993 clauses out of 19995 with flag 112001/269067
21.79/20.71	c cleaning 9996 clauses out of 20001 with flag 122000/279066
22.19/21.19	c cleaning 10000 clauses out of 20006 with flag 132001/289067
22.79/21.70	c cleaning 9992 clauses out of 20005 with flag 142000/299066
23.20/22.17	c cleaning 9997 clauses out of 20013 with flag 152000/309066
23.70/22.66	c cleaning 9999 clauses out of 20016 with flag 162000/319066
24.20/23.16	c cleaning 10005 clauses out of 20017 with flag 172000/329066
24.80/23.70	c cleaning 10000 clauses out of 20012 with flag 182000/339066
25.30/24.21	c cleaning 10001 clauses out of 20013 with flag 192001/349067
25.80/24.74	c cleaning 9998 clauses out of 20011 with flag 202000/359066
26.31/25.21	c cleaning 10004 clauses out of 20016 with flag 212003/369069
26.82/25.76	c cleaning 10000 clauses out of 20009 with flag 222000/379066
27.32/26.28	c cleaning 9999 clauses out of 20010 with flag 232001/389067
27.82/26.79	c cleaning 9996 clauses out of 20010 with flag 242000/399066
28.42/27.33	c cleaning 10006 clauses out of 20016 with flag 252002/409068
28.92/27.88	c cleaning 9999 clauses out of 20008 with flag 262000/419066
29.63/28.50	c cleaning 9996 clauses out of 20009 with flag 272000/429066
30.12/29.06	c cleaning 10000 clauses out of 20015 with flag 282002/439068
30.73/29.66	c cleaning 10001 clauses out of 20013 with flag 292000/449066
31.22/30.18	c cleaning 10004 clauses out of 20013 with flag 302001/459067
31.83/30.72	c cleaning 9992 clauses out of 20009 with flag 312001/469067
32.33/31.25	c cleaning 10000 clauses out of 20016 with flag 322000/479066
32.94/31.81	c cleaning 9994 clauses out of 20016 with flag 332000/489066
33.43/32.37	c cleaning 10009 clauses out of 20025 with flag 342003/499069
34.14/33.01	c cleaning 9995 clauses out of 20013 with flag 352000/509066
34.63/33.58	c cleaning 9996 clauses out of 20018 with flag 362000/519066
35.24/34.18	c cleaning 10008 clauses out of 20022 with flag 372000/529066
35.84/34.72	c cleaning 10005 clauses out of 20018 with flag 382004/539070
36.34/35.29	c cleaning 9999 clauses out of 20010 with flag 392001/549067
36.94/35.82	c cleaning 9998 clauses out of 20010 with flag 402000/559066
37.44/36.35	c cleaning 10003 clauses out of 20012 with flag 412000/569066
37.94/36.89	c cleaning 10001 clauses out of 20009 with flag 422000/579066
38.55/37.45	c cleaning 10000 clauses out of 20009 with flag 432001/589067
39.04/37.93	c cleaning 10001 clauses out of 20009 with flag 442001/599067
39.54/38.44	c cleaning 10001 clauses out of 20009 with flag 452002/609068
40.04/38.94	c cleaning 9997 clauses out of 20007 with flag 462001/619067
40.55/39.48	c cleaning 10003 clauses out of 20011 with flag 472002/629068
41.05/39.98	c cleaning 9993 clauses out of 20007 with flag 482001/639067
41.55/40.49	c cleaning 9994 clauses out of 20013 with flag 492000/649066
42.15/41.04	c cleaning 10005 clauses out of 20020 with flag 502001/659067
42.65/41.59	c cleaning 10001 clauses out of 20014 with flag 512000/669066
43.15/42.09	c cleaning 10002 clauses out of 20013 with flag 522000/679066
43.65/42.59	c cleaning 9993 clauses out of 20011 with flag 532000/689066
44.26/43.12	c cleaning 10004 clauses out of 20022 with flag 542004/699070
44.76/43.62	c cleaning 9999 clauses out of 20018 with flag 552004/709070
45.26/44.16	c cleaning 9998 clauses out of 20015 with flag 562000/719066
45.86/44.72	c cleaning 9999 clauses out of 20018 with flag 572001/729067
46.35/45.24	c cleaning 9999 clauses out of 20018 with flag 582000/739066
46.85/45.76	c cleaning 10001 clauses out of 20020 with flag 592001/749067
47.36/46.29	c cleaning 10005 clauses out of 20019 with flag 602001/759067
47.95/46.84	c cleaning 10000 clauses out of 20015 with flag 612002/769068
48.46/47.36	c cleaning 10002 clauses out of 20014 with flag 622001/779067
48.96/47.87	c cleaning 10000 clauses out of 20011 with flag 632000/789066
49.46/48.40	c cleaning 9998 clauses out of 20011 with flag 642000/799066
50.06/48.94	c cleaning 10000 clauses out of 20013 with flag 652000/809066
50.56/49.49	c cleaning 9994 clauses out of 20013 with flag 662000/819066
51.16/50.04	c cleaning 9997 clauses out of 20020 with flag 672001/829067
51.76/50.62	c cleaning 10002 clauses out of 20022 with flag 682000/839066
52.26/51.17	c cleaning 9999 clauses out of 20020 with flag 692000/849066
52.76/51.69	c cleaning 10006 clauses out of 20022 with flag 702001/859067
53.36/52.23	c cleaning 10003 clauses out of 20016 with flag 712001/869067
53.86/52.73	c cleaning 10002 clauses out of 20014 with flag 722002/879068
54.36/53.23	c cleaning 10002 clauses out of 20011 with flag 732001/889067
54.86/53.77	c cleaning 9999 clauses out of 20010 with flag 742002/899068
55.36/54.27	c cleaning 10001 clauses out of 20010 with flag 752001/909067
55.96/54.80	c cleaning 9999 clauses out of 20008 with flag 762000/919066
56.46/55.33	c cleaning 9998 clauses out of 20010 with flag 772001/929067
57.06/55.91	c cleaning 9998 clauses out of 20011 with flag 782000/939066
57.57/56.44	c cleaning 10001 clauses out of 20013 with flag 792000/949066
58.06/56.95	c cleaning 9998 clauses out of 20013 with flag 802001/959067
58.57/57.45	c cleaning 10004 clauses out of 20015 with flag 812001/969067
59.07/57.97	c cleaning 10001 clauses out of 20010 with flag 822000/979066
59.67/58.50	c cleaning 9999 clauses out of 20009 with flag 832000/989066
60.17/59.03	c cleaning 9998 clauses out of 20010 with flag 842000/999066
60.67/59.53	c cleaning 10001 clauses out of 20012 with flag 852000/1009066
61.17/60.04	c cleaning 10001 clauses out of 20012 with flag 862001/1019067
61.78/60.60	c cleaning 9994 clauses out of 20010 with flag 872000/1029066
62.28/61.11	c cleaning 10002 clauses out of 20016 with flag 882000/1039066
62.78/61.65	c cleaning 9997 clauses out of 20014 with flag 892000/1049066
63.28/62.15	c cleaning 9999 clauses out of 20018 with flag 902001/1059067
63.79/62.66	c cleaning 10004 clauses out of 20018 with flag 912000/1069066
64.28/63.14	c cleaning 10003 clauses out of 20016 with flag 922002/1079068
64.89/63.71	c cleaning 10002 clauses out of 20011 with flag 932000/1089066
65.38/64.22	c cleaning 9996 clauses out of 20009 with flag 942000/1099066
65.88/64.71	c cleaning 9999 clauses out of 20014 with flag 952001/1109067
66.38/65.25	c cleaning 10003 clauses out of 20015 with flag 962001/1119067
66.88/65.78	c cleaning 10002 clauses out of 20011 with flag 972000/1129066
67.38/66.28	c cleaning 10002 clauses out of 20009 with flag 982000/1139066
67.98/66.84	c cleaning 10002 clauses out of 20009 with flag 992002/1149068
68.48/67.35	c cleaning 9993 clauses out of 20005 with flag 1002000/1159066
68.98/67.88	c cleaning 9999 clauses out of 20012 with flag 1012000/1169066
69.48/68.38	c cleaning 10003 clauses out of 20013 with flag 1022000/1179066
70.08/68.90	c cleaning 9997 clauses out of 20012 with flag 1032002/1189068
70.49/69.40	c cleaning 10004 clauses out of 20016 with flag 1042003/1199069
71.08/69.93	c cleaning 9997 clauses out of 20009 with flag 1052000/1209066
71.59/70.44	c cleaning 10004 clauses out of 20013 with flag 1062001/1219067
72.09/70.93	c cleaning 9999 clauses out of 20009 with flag 1072001/1229067
72.59/71.46	c cleaning 9993 clauses out of 20009 with flag 1082000/1239066
73.09/71.99	c cleaning 10000 clauses out of 20019 with flag 1092003/1249069
73.59/72.47	c cleaning 10004 clauses out of 20016 with flag 1102000/1259066
74.09/72.99	c cleaning 9997 clauses out of 20012 with flag 1112000/1269066
74.69/73.58	c cleaning 9998 clauses out of 20015 with flag 1122000/1279066
75.19/74.09	c cleaning 10000 clauses out of 20017 with flag 1132000/1289066
75.69/74.58	c cleaning 10003 clauses out of 20017 with flag 1142000/1299066
76.19/75.07	c cleaning 10003 clauses out of 20014 with flag 1152000/1309066
76.69/75.59	c cleaning 9995 clauses out of 20012 with flag 1162001/1319067
77.29/76.13	c cleaning 10007 clauses out of 20018 with flag 1172002/1329068
77.79/76.68	c cleaning 10000 clauses out of 20009 with flag 1182000/1339066
78.39/77.21	c cleaning 10000 clauses out of 20012 with flag 1192003/1349069
78.89/77.71	c cleaning 9998 clauses out of 20009 with flag 1202000/1359066
79.39/78.22	c cleaning 9998 clauses out of 20012 with flag 1212001/1369067
79.89/78.73	c cleaning 9996 clauses out of 20013 with flag 1222000/1379066
80.30/79.19	c cleaning 10006 clauses out of 20020 with flag 1232003/1389069
80.79/79.67	c cleaning 10003 clauses out of 20014 with flag 1242003/1399069
81.29/80.16	c cleaning 10000 clauses out of 20010 with flag 1252002/1409068
81.80/80.65	c cleaning 9998 clauses out of 20008 with flag 1262000/1419066
82.40/81.20	c cleaning 10002 clauses out of 20013 with flag 1272003/1429069
82.90/81.73	c cleaning 9998 clauses out of 20008 with flag 1282000/1439066
83.40/82.26	c cleaning 9999 clauses out of 20011 with flag 1292001/1449067
83.91/82.78	c cleaning 9999 clauses out of 20011 with flag 1302000/1459066
84.52/83.32	c cleaning 9998 clauses out of 20015 with flag 1312003/1469069
85.02/83.82	c cleaning 10000 clauses out of 20014 with flag 1322000/1479066
85.52/84.33	c cleaning 10002 clauses out of 20016 with flag 1332002/1489068
86.02/84.82	c cleaning 10000 clauses out of 20015 with flag 1342003/1499069
86.52/85.33	c cleaning 10003 clauses out of 20013 with flag 1352001/1509067
87.02/85.84	c cleaning 10003 clauses out of 20011 with flag 1362002/1519068
87.52/86.35	c cleaning 9993 clauses out of 20006 with flag 1372000/1529066
88.02/86.87	c cleaning 10000 clauses out of 20013 with flag 1382000/1539066
88.52/87.36	c cleaning 10004 clauses out of 20016 with flag 1392003/1549069
89.02/87.86	c cleaning 9998 clauses out of 20009 with flag 1402000/1559066
89.52/88.38	c cleaning 10004 clauses out of 20015 with flag 1412004/1569070
90.12/88.91	c cleaning 9994 clauses out of 20007 with flag 1422000/1579066
90.62/89.43	c cleaning 10005 clauses out of 20017 with flag 1432004/1589070
91.12/89.95	c cleaning 9998 clauses out of 20009 with flag 1442001/1599067
91.62/90.45	c cleaning 9999 clauses out of 20012 with flag 1452002/1609068
92.12/90.99	c cleaning 9996 clauses out of 20012 with flag 1462001/1619067
92.72/91.51	c cleaning 10003 clauses out of 20017 with flag 1472002/1629068
93.23/92.01	c cleaning 10005 clauses out of 20013 with flag 1482001/1639067
93.73/92.53	c cleaning 10000 clauses out of 20008 with flag 1492001/1649067
94.23/93.07	c cleaning 10000 clauses out of 20009 with flag 1502002/1659068
94.73/93.56	c cleaning 10000 clauses out of 20007 with flag 1512000/1669066
95.23/94.09	c cleaning 10002 clauses out of 20009 with flag 1522002/1679068
95.84/94.62	c cleaning 9999 clauses out of 20005 with flag 1532000/1689066
96.33/95.15	c cleaning 10000 clauses out of 20007 with flag 1542001/1699067
96.83/95.67	c cleaning 9992 clauses out of 20009 with flag 1552003/1709069
97.43/96.25	c cleaning 10002 clauses out of 20016 with flag 1562002/1719068
97.93/96.78	c cleaning 9987 clauses out of 20012 with flag 1572000/1729066
98.53/97.34	c cleaning 10004 clauses out of 20028 with flag 1582003/1739069
99.04/97.86	c cleaning 10001 clauses out of 20021 with flag 1592000/1749066
99.63/98.43	c cleaning 10006 clauses out of 20022 with flag 1602002/1759068
100.14/98.94	c cleaning 10004 clauses out of 20015 with flag 1612001/1769067
100.73/99.54	c cleaning 9996 clauses out of 20012 with flag 1622002/1779068
101.24/100.05	c cleaning 10000 clauses out of 20014 with flag 1632000/1789066
101.74/100.55	c cleaning 10006 clauses out of 20015 with flag 1642001/1799067
102.24/101.03	c cleaning 9998 clauses out of 20010 with flag 1652002/1809068
102.64/101.50	c cleaning 10001 clauses out of 20010 with flag 1662000/1819066
103.24/102.01	c cleaning 10001 clauses out of 20011 with flag 1672002/1829068
103.64/102.48	c cleaning 9994 clauses out of 20008 with flag 1682000/1839066
104.15/102.95	c cleaning 10000 clauses out of 20014 with flag 1692000/1849066
104.66/103.48	c cleaning 9998 clauses out of 20015 with flag 1702001/1859067
105.16/103.97	c cleaning 9997 clauses out of 20018 with flag 1712002/1869068
105.66/104.50	c cleaning 10003 clauses out of 20020 with flag 1722001/1879067
106.25/105.00	c cleaning 10002 clauses out of 20017 with flag 1732001/1889067
106.76/105.50	c cleaning 9999 clauses out of 20017 with flag 1742003/1899069
107.26/106.04	c cleaning 9999 clauses out of 20015 with flag 1752000/1909066
107.76/106.57	c cleaning 10005 clauses out of 20016 with flag 1762000/1919066
108.36/107.11	c cleaning 9998 clauses out of 20012 with flag 1772001/1929067
108.86/107.65	c cleaning 9998 clauses out of 20013 with flag 1782000/1939066
109.36/108.19	c cleaning 10002 clauses out of 20015 with flag 1792000/1949066
109.96/108.73	c cleaning 10004 clauses out of 20015 with flag 1802002/1959068
110.46/109.29	c cleaning 10002 clauses out of 20010 with flag 1812001/1969067
111.06/109.81	c cleaning 9994 clauses out of 20007 with flag 1822000/1979066
111.56/110.31	c cleaning 10000 clauses out of 20014 with flag 1832001/1989067
112.06/110.82	c cleaning 10002 clauses out of 20015 with flag 1842002/1999068
112.56/111.33	c cleaning 9998 clauses out of 20012 with flag 1852001/2009067
113.07/111.83	c cleaning 10000 clauses out of 20014 with flag 1862001/2019067
113.57/112.31	c cleaning 10000 clauses out of 20014 with flag 1872001/2029067
114.07/112.89	c cleaning 9999 clauses out of 20017 with flag 1882004/2039070
114.58/113.39	c cleaning 10001 clauses out of 20016 with flag 1892002/2049068
115.17/113.90	c cleaning 10000 clauses out of 20013 with flag 1902000/2059066
115.68/114.41	c cleaning 10004 clauses out of 20018 with flag 1912005/2069071
116.17/114.90	c cleaning 9997 clauses out of 20009 with flag 1922000/2079066
116.68/115.46	c cleaning 10001 clauses out of 20012 with flag 1932000/2089066
117.28/116.00	c cleaning 9997 clauses out of 20012 with flag 1942001/2099067
117.68/116.48	c cleaning 10001 clauses out of 20014 with flag 1952000/2109066
118.18/116.96	c cleaning 9998 clauses out of 20013 with flag 1962000/2119066
118.68/117.45	c cleaning 9996 clauses out of 20015 with flag 1972000/2129066
119.18/117.98	c cleaning 9998 clauses out of 20022 with flag 1982003/2139069
119.78/118.52	c cleaning 10006 clauses out of 20023 with flag 1992002/2149068
120.28/119.04	c cleaning 10005 clauses out of 20016 with flag 2002001/2159067
120.78/119.53	c cleaning 10003 clauses out of 20013 with flag 2012003/2169069
121.28/120.07	c cleaning 9999 clauses out of 20010 with flag 2022003/2179069
121.78/120.59	c cleaning 10003 clauses out of 20013 with flag 2032005/2189071
122.29/121.09	c cleaning 9998 clauses out of 20005 with flag 2042000/2199066
122.79/121.60	c cleaning 10001 clauses out of 20008 with flag 2052001/2209067
123.29/122.08	c cleaning 9996 clauses out of 20006 with flag 2062000/2219066
123.79/122.58	c cleaning 9998 clauses out of 20012 with flag 2072002/2229068
124.29/123.06	c cleaning 10004 clauses out of 20015 with flag 2082003/2239069
124.79/123.54	c cleaning 9997 clauses out of 20008 with flag 2092000/2249066
125.29/124.09	c cleaning 9999 clauses out of 20011 with flag 2102000/2259066
125.80/124.58	c cleaning 10002 clauses out of 20012 with flag 2112000/2269066
126.40/125.14	c cleaning 9996 clauses out of 20011 with flag 2122001/2279067
126.90/125.64	c cleaning 9998 clauses out of 20014 with flag 2132000/2289066
127.40/126.14	c cleaning 9998 clauses out of 20018 with flag 2142002/2299068
127.90/126.63	c cleaning 10005 clauses out of 20020 with flag 2152002/2309068
128.40/127.16	c cleaning 9998 clauses out of 20015 with flag 2162002/2319068
128.91/127.68	c cleaning 10001 clauses out of 20015 with flag 2172000/2329066
129.50/128.22	c cleaning 10003 clauses out of 20015 with flag 2182001/2339067
130.01/128.75	c cleaning 10001 clauses out of 20013 with flag 2192002/2349068
130.50/129.27	c cleaning 9994 clauses out of 20011 with flag 2202001/2359067
131.01/129.78	c cleaning 10002 clauses out of 20017 with flag 2212001/2369067
131.60/130.31	c cleaning 9997 clauses out of 20015 with flag 2222001/2379067
132.11/130.82	c cleaning 10005 clauses out of 20019 with flag 2232002/2389068
132.60/131.37	c cleaning 10001 clauses out of 20012 with flag 2242000/2399066
133.10/131.88	c cleaning 10001 clauses out of 20011 with flag 2252000/2409066
133.70/132.40	c cleaning 9996 clauses out of 20010 with flag 2262000/2419066
134.20/132.97	c cleaning 10000 clauses out of 20014 with flag 2272000/2429066
134.81/133.54	c cleaning 10001 clauses out of 20014 with flag 2282000/2439066
135.41/134.11	c cleaning 9999 clauses out of 20014 with flag 2292001/2449067
135.91/134.61	c cleaning 9999 clauses out of 20016 with flag 2302002/2459068
136.41/135.14	c cleaning 10004 clauses out of 20016 with flag 2312001/2469067
136.91/135.67	c cleaning 9999 clauses out of 20012 with flag 2322001/2479067
137.41/136.17	c cleaning 10003 clauses out of 20012 with flag 2332000/2489066
138.01/136.74	c cleaning 10003 clauses out of 20010 with flag 2342001/2499067
138.51/137.29	c cleaning 10001 clauses out of 20006 with flag 2352000/2509066
139.11/137.84	c cleaning 10000 clauses out of 20005 with flag 2362000/2519066
139.62/138.36	c cleaning 9997 clauses out of 20005 with flag 2372000/2529066
140.12/138.88	c cleaning 9999 clauses out of 20008 with flag 2382000/2539066
140.72/139.41	c cleaning 10001 clauses out of 20010 with flag 2392001/2549067
141.22/139.94	c cleaning 9999 clauses out of 20009 with flag 2402001/2559067
141.82/140.52	c cleaning 10000 clauses out of 20009 with flag 2412000/2569066
142.32/141.09	c cleaning 10000 clauses out of 20009 with flag 2422000/2579066
142.93/141.64	c cleaning 10002 clauses out of 20010 with flag 2432001/2589067
143.53/142.21	c cleaning 9998 clauses out of 20007 with flag 2442000/2599066
144.04/142.71	c cleaning 9998 clauses out of 20009 with flag 2452000/2609066
144.54/143.28	c cleaning 9995 clauses out of 20012 with flag 2462001/2619067
145.14/143.81	c cleaning 9997 clauses out of 20017 with flag 2472001/2629067
145.64/144.32	c cleaning 9998 clauses out of 20020 with flag 2482001/2639067
146.14/144.88	c cleaning 10007 clauses out of 20023 with flag 2492002/2649068
146.74/145.40	c cleaning 10003 clauses out of 20015 with flag 2502001/2659067
147.24/145.93	c cleaning 9997 clauses out of 20011 with flag 2512000/2669066
147.74/146.42	c cleaning 10004 clauses out of 20016 with flag 2522002/2679068
148.24/146.94	c cleaning 10002 clauses out of 20011 with flag 2532001/2689067
148.74/147.42	c cleaning 10000 clauses out of 20008 with flag 2542000/2699066
149.34/148.02	c cleaning 9996 clauses out of 20008 with flag 2552000/2709066
149.94/148.65	c cleaning 9989 clauses out of 20014 with flag 2562002/2719068
150.54/149.22	c cleaning 10004 clauses out of 20024 with flag 2572001/2729067
151.04/149.75	c cleaning 10004 clauses out of 20019 with flag 2582000/2739066
151.64/150.31	c cleaning 10001 clauses out of 20016 with flag 2592001/2749067
152.14/150.83	c cleaning 9998 clauses out of 20014 with flag 2602000/2759066
152.64/151.35	c cleaning 10002 clauses out of 20016 with flag 2612000/2769066
153.24/151.94	c cleaning 10001 clauses out of 20014 with flag 2622000/2779066
153.74/152.42	c cleaning 10002 clauses out of 20014 with flag 2632001/2789067
154.25/152.95	c cleaning 10001 clauses out of 20011 with flag 2642000/2799066
154.84/153.50	c cleaning 9999 clauses out of 20010 with flag 2652000/2809066
155.35/154.01	c cleaning 10000 clauses out of 20012 with flag 2662001/2819067
155.85/154.58	c cleaning 9996 clauses out of 20012 with flag 2672001/2829067
156.46/155.15	c cleaning 10001 clauses out of 20015 with flag 2682000/2839066
157.05/155.71	c cleaning 9999 clauses out of 20014 with flag 2692000/2849066
157.57/156.26	c cleaning 10006 clauses out of 20019 with flag 2702004/2859070
158.16/156.82	c cleaning 10001 clauses out of 20009 with flag 2712000/2869066
158.67/157.37	c cleaning 10000 clauses out of 20009 with flag 2722001/2879067
159.16/157.89	c cleaning 9994 clauses out of 20008 with flag 2732000/2889066
159.77/158.44	c cleaning 9992 clauses out of 20014 with flag 2742000/2899066
160.26/158.98	c cleaning 10002 clauses out of 20022 with flag 2752000/2909066
160.87/159.51	c cleaning 10008 clauses out of 20021 with flag 2762001/2919067
161.36/160.08	c cleaning 10000 clauses out of 20012 with flag 2772000/2929066
161.97/160.64	c cleaning 10002 clauses out of 20013 with flag 2782001/2939067
162.47/161.18	c cleaning 9991 clauses out of 20010 with flag 2792000/2949066
163.07/161.75	c cleaning 10004 clauses out of 20020 with flag 2802001/2959067
163.57/162.26	c cleaning 10003 clauses out of 20017 with flag 2812002/2969068
164.18/162.87	c cleaning 9998 clauses out of 20012 with flag 2822000/2979066
164.77/163.41	c cleaning 10003 clauses out of 20014 with flag 2832000/2989066
165.28/163.91	c cleaning 9998 clauses out of 20013 with flag 2842002/2999068
165.77/164.45	c cleaning 10000 clauses out of 20014 with flag 2852001/3009067
166.38/165.01	c cleaning 10003 clauses out of 20015 with flag 2862002/3019068
166.87/165.52	c cleaning 10002 clauses out of 20013 with flag 2872003/3029069
167.38/166.04	c cleaning 9995 clauses out of 20009 with flag 2882001/3039067
167.88/166.56	c cleaning 10003 clauses out of 20014 with flag 2892001/3049067
168.38/167.06	c cleaning 9997 clauses out of 20012 with flag 2902002/3059068
168.88/167.58	c cleaning 10006 clauses out of 20015 with flag 2912002/3069068
169.48/168.14	c cleaning 10001 clauses out of 20007 with flag 2922000/3079066
169.98/168.69	c cleaning 10000 clauses out of 20008 with flag 2932002/3089068
170.58/169.21	c cleaning 9997 clauses out of 20006 with flag 2942000/3099066
171.08/169.74	c cleaning 9994 clauses out of 20010 with flag 2952001/3109067
171.58/170.27	c cleaning 9998 clauses out of 20015 with flag 2962000/3119066
172.19/170.80	c cleaning 10006 clauses out of 20019 with flag 2972002/3129068
172.69/171.30	c cleaning 10003 clauses out of 20014 with flag 2982003/3139069
173.19/171.83	c cleaning 9997 clauses out of 20008 with flag 2992000/3149066
173.69/172.33	c cleaning 10003 clauses out of 20011 with flag 3002000/3159066
174.19/172.84	c cleaning 9988 clauses out of 20008 with flag 3012000/3169066
174.69/173.39	c cleaning 9997 clauses out of 20020 with flag 3022000/3179066
175.29/173.90	c cleaning 10009 clauses out of 20024 with flag 3032001/3189067
175.80/174.46	c cleaning 9999 clauses out of 20014 with flag 3042000/3199066
176.30/174.96	c cleaning 10006 clauses out of 20017 with flag 3052002/3209068
176.80/175.47	c cleaning 10000 clauses out of 20010 with flag 3062001/3219067
177.31/175.97	c cleaning 9999 clauses out of 20009 with flag 3072000/3229066
177.90/176.51	c cleaning 10000 clauses out of 20010 with flag 3082000/3239066
178.41/177.04	c cleaning 10001 clauses out of 20012 with flag 3092002/3249068
178.80/177.50	c cleaning 9996 clauses out of 20009 with flag 3102000/3259066
179.41/178.00	c cleaning 9999 clauses out of 20014 with flag 3112001/3269067
179.91/178.51	c cleaning 9993 clauses out of 20014 with flag 3122000/3279066
180.41/179.09	c cleaning 10004 clauses out of 20022 with flag 3132001/3289067
181.01/179.63	c cleaning 10001 clauses out of 20017 with flag 3142000/3299066
181.41/180.09	c cleaning 10005 clauses out of 20016 with flag 3152000/3309066
181.91/180.56	c cleaning 9998 clauses out of 20013 with flag 3162002/3319068
182.41/181.05	c cleaning 9999 clauses out of 20013 with flag 3172000/3329066
182.91/181.58	c cleaning 10001 clauses out of 20015 with flag 3182001/3339067
183.41/182.09	c cleaning 10002 clauses out of 20014 with flag 3192001/3349067
183.92/182.58	c cleaning 10001 clauses out of 20011 with flag 3202000/3359066
184.41/183.06	c cleaning 9996 clauses out of 20010 with flag 3212000/3369066
184.92/183.56	c cleaning 10003 clauses out of 20016 with flag 3222002/3379068
185.42/184.09	c cleaning 10000 clauses out of 20011 with flag 3232000/3389066
186.02/184.61	c cleaning 10002 clauses out of 20012 with flag 3242001/3399067
186.52/185.14	c cleaning 10000 clauses out of 20010 with flag 3252001/3409067
187.02/185.66	c cleaning 10000 clauses out of 20011 with flag 3262002/3419068
187.52/186.17	c cleaning 9999 clauses out of 20009 with flag 3272000/3429066
188.13/186.71	c cleaning 9996 clauses out of 20010 with flag 3282000/3439066
188.63/187.26	c cleaning 10001 clauses out of 20014 with flag 3292000/3449066
189.13/187.79	c cleaning 10000 clauses out of 20014 with flag 3302001/3459067
189.73/188.32	c cleaning 10003 clauses out of 20014 with flag 3312001/3469067
190.23/188.86	c cleaning 10000 clauses out of 20012 with flag 3322002/3479068
190.73/189.38	c cleaning 9997 clauses out of 20011 with flag 3332001/3489067
191.33/189.90	c cleaning 10000 clauses out of 20014 with flag 3342001/3499067
191.83/190.41	c cleaning 10004 clauses out of 20015 with flag 3352002/3509068
192.33/190.96	c cleaning 9997 clauses out of 20010 with flag 3362001/3519067
192.94/191.50	c cleaning 9998 clauses out of 20013 with flag 3372001/3529067
193.44/192.02	c cleaning 10002 clauses out of 20017 with flag 3382003/3539069
193.94/192.56	c cleaning 10002 clauses out of 20012 with flag 3392000/3549066
194.54/193.19	c cleaning 9998 clauses out of 20010 with flag 3402000/3559066
195.24/193.81	c cleaning 9998 clauses out of 20012 with flag 3412000/3569066
195.84/194.40	c cleaning 10000 clauses out of 20015 with flag 3422001/3579067
196.34/194.94	c cleaning 10001 clauses out of 20014 with flag 3432000/3589066
196.94/195.50	c cleaning 9996 clauses out of 20015 with flag 3442002/3599068
197.44/196.04	c cleaning 10005 clauses out of 20018 with flag 3452001/3609067
197.94/196.58	c cleaning 9996 clauses out of 20012 with flag 3462000/3619066
198.54/197.11	c cleaning 9995 clauses out of 20017 with flag 3472001/3629067
199.04/197.63	c cleaning 10006 clauses out of 20021 with flag 3482000/3639066
199.54/198.18	c cleaning 10004 clauses out of 20017 with flag 3492002/3649068
200.14/198.77	c cleaning 10005 clauses out of 20014 with flag 3502003/3659069
200.85/199.44	c cleaning 9989 clauses out of 20006 with flag 3512000/3669066
201.44/200.00	c cleaning 10002 clauses out of 20020 with flag 3522003/3679069
201.95/200.54	c cleaning 10007 clauses out of 20017 with flag 3532002/3689068
202.55/201.10	c cleaning 10002 clauses out of 20011 with flag 3542003/3699069
203.05/201.64	c cleaning 9998 clauses out of 20011 with flag 3552005/3709071
203.55/202.13	c cleaning 9997 clauses out of 20008 with flag 3562000/3719066
204.05/202.66	c cleaning 10001 clauses out of 20012 with flag 3572001/3729067
204.65/203.21	c cleaning 9999 clauses out of 20012 with flag 3582002/3739068
205.15/203.74	c cleaning 10001 clauses out of 20013 with flag 3592002/3749068
205.79/204.38	c cleaning 9994 clauses out of 20011 with flag 3602001/3759067
206.49/205.07	c cleaning 10001 clauses out of 20015 with flag 3612000/3769066
207.10/205.68	c cleaning 9991 clauses out of 20015 with flag 3622001/3779067
207.69/206.25	c cleaning 9990 clauses out of 20023 with flag 3632000/3789066
208.31/206.86	c cleaning 10011 clauses out of 20033 with flag 3642000/3799066
208.90/207.49	c cleaning 10005 clauses out of 20023 with flag 3652001/3809067
209.61/208.12	c cleaning 9998 clauses out of 20018 with flag 3662002/3819068
210.21/208.79	c cleaning 10004 clauses out of 20019 with flag 3672001/3829067
211.01/209.55	c cleaning 10007 clauses out of 20020 with flag 3682006/3839072
211.71/210.29	c cleaning 9999 clauses out of 20006 with flag 3692001/3849067
211.92/210.49	c starts		: 280
211.92/210.49	c conflicts		: 3851890
211.92/210.49	c decisions		: 6077287
211.92/210.49	c propagations		: 196598555
211.92/210.49	c inspects		: 1961783182
211.92/210.49	c shortcuts		: 0
211.92/210.49	c learnt literals	: 10
211.92/210.49	c learnt binary clauses	: 40
211.92/210.49	c learnt ternary clauses	: 1216
211.92/210.49	c learnt constraints	: 3851879
211.92/210.49	c ignored constraints	: 0
211.92/210.49	c root simplifications	: 0
211.92/210.49	c removed literals (reason simplification)	: 18463132
211.92/210.49	c reason swapping (by a shorter reason)	: 0
211.92/210.49	c Calls to reduceDB	: 391
211.92/210.49	c number of reductions to clauses (during analyze)	: 0
211.92/210.49	c number of learned constraints concerned by reduction	: 0
211.92/210.49	c number of learning phase by resolution	: 0
211.92/210.49	c number of learning phase by cutting planes	: 0
211.92/210.49	c speed (assignments/second)	: 999174.4044805628
211.92/210.49	c non guided choices	3866
211.92/210.49	c learnt constraints type 
211.92/210.49	c constraints type 
211.92/210.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
211.92/210.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
211.92/210.49	s OPTIMUM FOUND
211.92/210.49	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 
211.92/210.49	c objective function=2
211.92/210.49	c Total wall clock time (in seconds): 210.38

Verifier Data 

OK	2

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-3492058-1307911248/watcher-3492058-1307911248 -o /var/tmp/evaluation-result-3492058-1307911248/solver-3492058-1307911248 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492058-1307911248.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 1.94 2/195 14631
/proc/meminfo: memFree=2309580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14631/stat : 14631 (java) R 14629 14631 12607 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 883540706 23580672 700 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233505334760 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14631/statm: 5757 700 517 9 0 124 0

[startup+0.018947 s]
/proc/loadavg: 2.05 2.02 1.94 2/195 14631
/proc/meminfo: memFree=2309580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 6558 0 1 0 0 0 0 0 25 0 2 0 883540706 10694979584 6258 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2611079 6274 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.105958 s]
/proc/loadavg: 2.05 2.02 1.94 2/195 14631
/proc/meminfo: memFree=2309580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10539984 CPUtime=0.1 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 13099 0 1 0 9 1 0 0 25 0 18 0 883540706 10792943616 12769 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2634996 12769 2093 9 0 2625730 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539984

[startup+0.300931 s]
/proc/loadavg: 2.05 2.02 1.94 2/195 14631
/proc/meminfo: memFree=2309580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10542292 CPUtime=0.46 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 16449 0 1 0 44 2 0 0 25 0 18 0 883540706 10795307008 15479 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2635573 15479 2203 9 0 2626307 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542292

[startup+0.700839 s]
/proc/loadavg: 2.05 2.02 1.94 2/195 14631
/proc/meminfo: memFree=2309580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=1.55 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 23687 0 1 0 152 3 0 0 25 0 19 0 883540706 10798321664 19407 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 19407 2236 9 0 2627043 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10545236

[startup+1.50072 s]
/proc/loadavg: 2.05 2.02 1.94 3/214 14650
/proc/meminfo: memFree=2236976/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=2.42 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 25029 0 1 0 238 4 0 0 25 0 19 0 883540706 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 20748 2238 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=1.48 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) R 14629 14631 12607 0 -1 4202560 16076 0 1 0 146 2 0 0 18 0 19 0 883540706 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 46912505680702 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883540709 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883540710 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883540710 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.45 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3188 0 0 0 45 0 0 0 17 0 19 0 883540712 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.46 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4603 0 0 0 46 0 0 0 16 0 19 0 883540712 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 20748 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 10545236

[startup+3.10147 s]
/proc/loadavg: 2.04 2.02 1.94 3/214 14650
/proc/meminfo: memFree=2233000/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=4.03 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 27141 0 1 0 399 4 0 0 25 0 19 0 883540706 10798321664 22859 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 22859 2238 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=3.08 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) R 14629 14631 12607 0 -1 4202560 18188 0 1 0 306 2 0 0 19 0 19 0 883540706 10798321664 22859 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 46912505705319 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540708 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883540709 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883540710 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883540710 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.46 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3188 0 0 0 46 0 0 0 15 0 19 0 883540712 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.46 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4603 0 0 0 46 0 0 0 15 0 19 0 883540712 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 22860 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10545236

[startup+6.30088 s]
/proc/loadavg: 2.04 2.02 1.94 3/214 14650
/proc/meminfo: memFree=2213404/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=7.36 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 30223 0 1 0 731 5 0 0 25 0 19 0 883540706 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 25712 2264 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=6.17 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) R 14629 14631 12607 0 -1 4202560 18700 0 1 0 614 3 0 0 25 0 19 0 883540706 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 46912505705541 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 513 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 883540708 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=0.09 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 1121 0 0 0 9 0 0 0 15 0 19 0 883540709 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.5 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3200 0 0 0 50 0 0 0 15 0 19 0 883540712 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.54 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4644 0 0 0 54 0 0 0 15 0 19 0 883540712 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 25712 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10545236

[startup+12.7007 s]

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

/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 329 0 0 0 10 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 13 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0.1 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 524 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 311 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 286 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=6.98 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 1727 0 0 0 691 7 0 0 16 0 19 0 883540709 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.52 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3202 0 0 0 52 0 0 0 16 0 19 0 883540712 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.59 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4648 0 0 0 59 0 0 0 15 0 19 0 883540712 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 26403 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 211.01
Current children cumulated vsize (KiB) 10545236

[startup+209.901 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 14713
/proc/meminfo: memFree=2979580/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=211.41 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 31329 0 1 0 21127 14 0 0 25 0 19 0 883540706 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 26409 2265 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=202.31 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) R 14629 14631 12607 0 -1 4202560 19085 0 1 0 20228 3 0 0 18 0 19 0 883540706 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 46912505680575 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 329 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 12 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 13 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0.1 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 524 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 311 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 286 0 0 0 12 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=7 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 1733 0 0 0 693 7 0 0 16 0 19 0 883540709 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.52 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3202 0 0 0 52 0 0 0 16 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.59 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4648 0 0 0 59 0 0 0 15 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 211.41
Current children cumulated vsize (KiB) 10545236

[startup+210.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 14713
/proc/meminfo: memFree=2979456/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=211.82 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 31330 0 1 0 21168 14 0 0 25 0 19 0 883540706 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 26409 2265 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=202.71 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) S 14629 14631 12607 0 -1 4202560 19086 0 1 0 20268 3 0 0 18 0 19 0 883540706 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 329 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 13 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 524 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 311 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) R 14629 14631 12607 0 -1 4202560 286 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=7 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) R 14629 14631 12607 0 -1 4202560 1733 0 0 0 693 7 0 0 15 0 19 0 883540709 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 47666197741600 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.52 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3202 0 0 0 52 0 0 0 16 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.6 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4648 0 0 0 60 0 0 0 15 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 26409 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 211.82
Current children cumulated vsize (KiB) 10545236

[startup+210.401 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 14713
/proc/meminfo: memFree=2979456/32951124 swapFree=67054264/67111528
[pid=14631] ppid=14629 vsize=10545236 CPUtime=211.92 cores=0,2,4,6
/proc/14631/stat : 14631 (java) S 14629 14631 12607 0 -1 4202496 31337 0 1 0 21178 14 0 0 25 0 19 0 883540706 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14631/statm: 2636309 26416 2265 9 0 2627043 0
[pid=14631/tid=14633] ppid=14629 vsize=10545236 CPUtime=202.79 cores=0,2,4,6
/proc/14631/task/14633/stat : 14633 (java) R 14629 14631 12607 0 -1 4202560 19086 0 1 0 20276 3 0 0 18 0 19 0 883540706 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 46912505705274 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14631/tid=14634] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14634/stat : 14634 (java) S 14629 14631 12607 0 -1 4202560 329 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14635] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14635/stat : 14635 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14636] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14636/stat : 14636 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14637] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14637/stat : 14637 (java) S 14629 14631 12607 0 -1 4202560 13 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14638] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14638/stat : 14638 (java) S 14629 14631 12607 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14639] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14639/stat : 14639 (java) S 14629 14631 12607 0 -1 4202560 524 0 0 0 11 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14640] ppid=14629 vsize=10545236 CPUtime=0.11 cores=0,2,4,6
/proc/14631/task/14640/stat : 14640 (java) S 14629 14631 12607 0 -1 4202560 311 0 0 0 11 0 0 0 16 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14641] ppid=14629 vsize=10545236 CPUtime=0.12 cores=0,2,4,6
/proc/14631/task/14641/stat : 14641 (java) S 14629 14631 12607 0 -1 4202560 286 0 0 0 12 0 0 0 15 0 19 0 883540708 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14642] ppid=14629 vsize=10545236 CPUtime=7.02 cores=0,2,4,6
/proc/14631/task/14642/stat : 14642 (java) S 14629 14631 12607 0 -1 4202560 1740 0 0 0 695 7 0 0 16 0 19 0 883540709 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 0 0 16800975 18446604453949171584 0 0 -1 0 0 0 0
[pid=14631/tid=14643] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14643/stat : 14643 (java) S 14629 14631 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14644] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14644/stat : 14644 (java) S 14629 14631 12607 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883540710 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14645] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14645/stat : 14645 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522121137 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14646] ppid=14629 vsize=10545236 CPUtime=0.52 cores=0,2,4,6
/proc/14631/task/14646/stat : 14646 (java) S 14629 14631 12607 0 -1 4202560 3202 0 0 0 52 0 0 0 16 0 19 0 883540712 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14647] ppid=14629 vsize=10545236 CPUtime=0.6 cores=0,2,4,6
/proc/14631/task/14647/stat : 14647 (java) S 14629 14631 12607 0 -1 4202560 4648 0 0 0 60 0 0 0 15 0 19 0 883540712 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 4 0 0 0
[pid=14631/tid=14648] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14648/stat : 14648 (java) S 14629 14631 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883540712 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522113433 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
[pid=14631/tid=14649] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14649/stat : 14649 (java) S 14629 14631 12607 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 883540712 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 2 0 0 0
[pid=14631/tid=14650] ppid=14629 vsize=10545236 CPUtime=0 cores=0,2,4,6
/proc/14631/task/14650/stat : 14650 (java) S 14629 14631 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883540745 10798321664 26416 33554432000 1073741824 1073778376 140736598481328 18446744073709551615 233522114048 0 4 0 16800975 18446604453949171584 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 211.92
Current children cumulated vsize (KiB) 10545236

Child status: 30
Real time (s): 210.5
CPU time (s): 212.029
CPU user time (s): 211.881
CPU system time (s): 0.147977
CPU usage (%): 100.726
Max. virtual memory (cumulated for all children) (KiB): 10545236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.881
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31363
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= 14447
involuntary context switches= 5363

runsolver used 0.38894 second user time and 0.78588 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-12 22:40:48
IDJOB=3492058
IDBENCH=79268
IDSOLVER=1982
FILE ID=node145/3492058-1307911248
RUNJOBID= node145-1307907979-13798
PBS_JOBID= 13559605
Free space on /var/tmp= 2904 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347--soft-0-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-3492058-1307911248/watcher-3492058-1307911248 -o /var/tmp/evaluation-result-3492058-1307911248/solver-3492058-1307911248 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492058-1307911248.wbo

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

MD5SUM BENCH= 7333324480eb5267e10bc3c9063685b0
RANDOM SEED=1018050726

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2309876 kB
Buffers:         66384 kB
Cached:       28768156 kB
SwapCached:       9324 kB
Active:       14801964 kB
Inactive:     14930752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2309876 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:             496 kB
Writeback:           0 kB
AnonPages:      896388 kB
Mapped:          21260 kB
Slab:           842196 kB
PageTables:       6552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10567056 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= 2912 MiB
End job on node145 at 2011-06-12 22:44:19