Trace number 3492653

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 171.299 169.887

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo
MD5SUM014e6d9d1387f6cdb0c56035ad106b75
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark1.78473
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
Number of bits of the biggest sum of numbers11
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.08/0.08	c version 2.3.1.v20110525
0.08/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.08	c java.vm.version	19.1-b02
0.08/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.08	c sun.arch.data.model	64
0.08/0.08	c java.version		1.6.0_24
0.08/0.08	c os.name		Linux
0.08/0.08	c os.version		2.6.18-164.el5
0.08/0.08	c os.arch		amd64
0.08/0.08	c Free memory 		9996466904
0.08/0.08	c Max memory 		10048897024
0.08/0.08	c Total memory 		10048897024
0.08/0.08	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-3492653-1307911071.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.06s.
0.10/0.17	c #vars     270
0.10/0.17	c #constraints  101
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.26/0.24	c SATISFIABLE
0.26/0.24	c OPTIMIZING...
0.26/0.24	c Got one! Elapsed wall clock time (in seconds):0.134
0.26/0.24	o 594
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.153
0.26/0.26	o 532
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.175
0.26/0.28	o 518
0.95/0.71	c cleaning 2812 clauses out of 5627 with flag 5000/5627
0.95/0.76	c Got one! Elapsed wall clock time (in seconds):0.653
0.95/0.76	o 476
0.95/0.78	c Got one! Elapsed wall clock time (in seconds):0.678
0.95/0.78	o 435
1.08/0.82	c Got one! Elapsed wall clock time (in seconds):0.709
1.08/0.82	o 407
1.31/1.09	c Got one! Elapsed wall clock time (in seconds):0.986
1.31/1.09	o 384
1.41/1.14	c cleaning 5160 clauses out of 10326 with flag 1003/13138
1.71/1.41	c Got one! Elapsed wall clock time (in seconds):1.308
1.71/1.41	o 350
1.71/1.46	c cleaning 5354 clauses out of 10711 with flag 1001/18683
1.91/1.67	c Got one! Elapsed wall clock time (in seconds):1.566
1.91/1.67	o 327
2.01/1.75	c cleaning 5182 clauses out of 10372 with flag 2002/23698
2.33/2.09	c cleaning 5589 clauses out of 11188 with flag 8000/29696
2.74/2.48	c cleaning 6298 clauses out of 12601 with flag 15002/36698
3.34/3.00	c cleaning 7145 clauses out of 14301 with flag 23000/44696
3.74/3.47	c cleaning 8078 clauses out of 16161 with flag 32005/53701
4.04/3.76	c Got one! Elapsed wall clock time (in seconds):3.648
4.04/3.76	o 326
4.14/3.82	c Got one! Elapsed wall clock time (in seconds):3.715
4.14/3.82	o 311
4.14/3.87	c cleaning 7249 clauses out of 14506 with flag 1000/60124
4.34/4.00	c Got one! Elapsed wall clock time (in seconds):3.891
4.34/4.00	o 302
4.45/4.12	c cleaning 6605 clauses out of 13214 with flag 3003/66081
4.95/4.62	c cleaning 6293 clauses out of 12606 with flag 9000/72078
5.15/4.88	c cleaning 6653 clauses out of 13313 with flag 16000/79078
5.55/5.26	c cleaning 7326 clauses out of 14663 with flag 24003/87081
5.76/5.44	c Got one! Elapsed wall clock time (in seconds):5.336
5.76/5.44	o 298
5.86/5.51	c cleaning 6302 clauses out of 12611 with flag 2000/92355
6.15/5.87	c cleaning 6152 clauses out of 12313 with flag 8004/98359
6.65/6.31	c cleaning 6566 clauses out of 13157 with flag 15000/105355
7.06/6.70	c cleaning 7274 clauses out of 14591 with flag 23000/113355
7.16/6.83	c Got one! Elapsed wall clock time (in seconds):6.721
7.16/6.83	o 291
7.26/6.97	c cleaning 6640 clauses out of 13286 with flag 4000/119324
7.46/7.19	c cleaning 6320 clauses out of 12646 with flag 10000/125324
7.76/7.46	c cleaning 6653 clauses out of 13326 with flag 17000/132324
8.16/7.85	c cleaning 7330 clauses out of 14674 with flag 25001/140325
8.56/8.20	c Got one! Elapsed wall clock time (in seconds):8.096
8.56/8.20	o 267
8.66/8.39	c cleaning 9168 clauses out of 18344 with flag 5000/151325
8.96/8.69	c cleaning 7583 clauses out of 15177 with flag 11001/157326
9.57/9.21	c cleaning 7285 clauses out of 14593 with flag 18000/164325
9.99/9.65	c cleaning 7652 clauses out of 15311 with flag 26003/172328
10.49/10.13	c cleaning 8323 clauses out of 16660 with flag 35004/181329
10.99/10.67	c cleaning 9163 clauses out of 18333 with flag 45000/191325
11.49/11.19	c cleaning 9580 clauses out of 19171 with flag 55001/201326
12.10/11.70	c cleaning 9787 clauses out of 19591 with flag 65001/211326
12.50/12.14	c Got one! Elapsed wall clock time (in seconds):12.035
12.50/12.14	o 254
12.70/12.34	c cleaning 11422 clauses out of 22848 with flag 5001/224370
12.90/12.57	c cleaning 8709 clauses out of 17427 with flag 11002/230371
13.30/12.91	c cleaning 7848 clauses out of 15716 with flag 18000/237369
13.30/12.92	c Got one! Elapsed wall clock time (in seconds):12.818
13.30/12.92	o 251
13.51/13.11	c cleaning 6451 clauses out of 12910 with flag 5000/242411
13.70/13.33	c cleaning 6225 clauses out of 12460 with flag 11001/248412
14.00/13.60	c cleaning 6615 clauses out of 13236 with flag 18002/255413
14.40/14.05	c cleaning 7297 clauses out of 14619 with flag 26000/263411
14.91/14.60	c cleaning 8153 clauses out of 16322 with flag 35000/272411
15.61/15.20	c cleaning 9079 clauses out of 18170 with flag 45001/282412
16.11/15.72	c cleaning 9542 clauses out of 19095 with flag 55005/292416
16.51/16.12	c Got one! Elapsed wall clock time (in seconds):16.016
16.51/16.12	o 238
16.51/16.16	c cleaning 7562 clauses out of 15132 with flag 1000/297995
16.83/16.46	c cleaning 6782 clauses out of 13574 with flag 7004/303999
17.22/16.88	c cleaning 6887 clauses out of 13792 with flag 14004/310999
17.73/17.32	c Got one! Elapsed wall clock time (in seconds):17.215
17.73/17.32	o 208
17.93/17.52	c cleaning 9771 clauses out of 19547 with flag 5001/323641
18.13/17.77	c cleaning 7886 clauses out of 15779 with flag 11004/329644
18.53/18.19	c cleaning 7435 clauses out of 14892 with flag 18003/336643
19.03/18.64	c cleaning 7722 clauses out of 15456 with flag 26002/344642
19.53/19.18	c cleaning 8361 clauses out of 16732 with flag 35000/353640
20.13/19.75	c cleaning 9179 clauses out of 18371 with flag 45000/363640
20.73/20.30	c cleaning 9591 clauses out of 19192 with flag 55000/373640
21.23/20.81	c cleaning 9797 clauses out of 19601 with flag 65000/383640
21.34/20.99	c Got one! Elapsed wall clock time (in seconds):20.884
21.34/20.99	o 200
21.43/21.07	c cleaning 7519 clauses out of 15043 with flag 2004/388879
21.75/21.30	c cleaning 6755 clauses out of 13521 with flag 8001/394876
21.95/21.57	c cleaning 6879 clauses out of 13765 with flag 15000/401875
22.25/21.88	c cleaning 7438 clauses out of 14886 with flag 23000/409875
22.65/22.23	c cleaning 8220 clauses out of 16448 with flag 32000/418875
23.05/22.66	c cleaning 9109 clauses out of 18228 with flag 42000/428875
23.57/23.16	c cleaning 9547 clauses out of 19119 with flag 52000/438875
23.76/23.36	c Got one! Elapsed wall clock time (in seconds):23.255
23.76/23.36	o 195
23.86/23.47	c cleaning 7579 clauses out of 15165 with flag 3000/444468
24.16/23.78	c cleaning 6782 clauses out of 13586 with flag 9000/450468
24.57/24.14	c cleaning 6892 clauses out of 13804 with flag 16000/457468
24.96/24.57	c Got one! Elapsed wall clock time (in seconds):24.463
24.96/24.57	o 175
25.16/24.77	c cleaning 9926 clauses out of 19859 with flag 5001/470415
25.46/25.02	c cleaning 7962 clauses out of 15932 with flag 11000/476414
25.77/25.38	c cleaning 7478 clauses out of 14973 with flag 18003/483417
25.87/25.41	c Got one! Elapsed wall clock time (in seconds):25.307
25.87/25.41	o 172
25.97/25.59	c cleaning 6491 clauses out of 12988 with flag 5001/488910
26.28/25.81	c cleaning 6247 clauses out of 12502 with flag 11006/494915
26.48/26.08	c cleaning 6620 clauses out of 13250 with flag 18001/501910
26.88/26.46	c cleaning 7304 clauses out of 14629 with flag 26000/509909
27.38/26.94	c cleaning 8153 clauses out of 16327 with flag 35002/518911
27.99/27.51	c cleaning 9082 clauses out of 18174 with flag 45002/528911
28.58/28.10	c cleaning 9528 clauses out of 19091 with flag 55001/538910
29.18/28.74	c cleaning 9776 clauses out of 19565 with flag 65003/548912
29.79/29.35	c cleaning 9886 clauses out of 19787 with flag 75001/558910
30.39/29.97	c cleaning 9941 clauses out of 19900 with flag 85000/568909
30.99/30.53	c cleaning 9971 clauses out of 19961 with flag 95002/578911
31.49/31.03	c Got one! Elapsed wall clock time (in seconds):30.923
31.49/31.03	o 151
31.69/31.24	c cleaning 11642 clauses out of 23288 with flag 5002/592209
31.89/31.48	c cleaning 8819 clauses out of 17648 with flag 11004/598211
32.19/31.75	c cleaning 7910 clauses out of 15826 with flag 18001/605208
32.50/32.04	c cleaning 7953 clauses out of 15916 with flag 26001/613208
32.80/32.39	c cleaning 8480 clauses out of 16968 with flag 35006/622213
33.20/32.78	c cleaning 9236 clauses out of 18484 with flag 45002/632209
33.60/33.16	c cleaning 9621 clauses out of 19248 with flag 55002/642209
34.00/33.52	c cleaning 9809 clauses out of 19627 with flag 65002/652209
34.50/34.01	c cleaning 9902 clauses out of 19816 with flag 75000/662207
34.99/34.51	c cleaning 9951 clauses out of 19914 with flag 85000/672207
35.49/35.09	c cleaning 9975 clauses out of 19963 with flag 95000/682207
36.20/35.75	c cleaning 9991 clauses out of 19990 with flag 105002/692209
36.80/36.37	c cleaning 9989 clauses out of 19998 with flag 115001/702208
37.40/36.99	c cleaning 9999 clauses out of 20010 with flag 125002/712209
38.10/37.66	c cleaning 9999 clauses out of 20010 with flag 135001/722208
38.70/38.27	c cleaning 9992 clauses out of 20010 with flag 145000/732207
39.30/38.87	c cleaning 10002 clauses out of 20018 with flag 155000/742207
39.30/38.89	c Got one! Elapsed wall clock time (in seconds):38.785
39.30/38.89	o 146
39.52/39.07	c cleaning 7596 clauses out of 15197 with flag 5000/747388
39.73/39.30	c cleaning 6797 clauses out of 13602 with flag 11001/753389
40.03/39.55	c cleaning 6898 clauses out of 13804 with flag 18000/760388
40.33/39.84	c cleaning 7447 clauses out of 14907 with flag 26001/768389
40.73/40.20	c cleaning 8223 clauses out of 16460 with flag 35001/777389
41.14/40.60	c cleaning 9111 clauses out of 18236 with flag 45000/787388
41.73/41.22	c cleaning 9557 clauses out of 19125 with flag 55000/797388
42.35/41.83	c cleaning 9778 clauses out of 19568 with flag 65000/807388
42.94/42.46	c cleaning 9889 clauses out of 19790 with flag 75000/817388
43.55/43.08	c cleaning 9946 clauses out of 19901 with flag 85000/827388
44.15/43.66	c cleaning 9969 clauses out of 19956 with flag 95001/837389
44.85/44.31	c cleaning 9985 clauses out of 19986 with flag 105000/847388
45.35/44.89	c cleaning 9998 clauses out of 20002 with flag 115001/857389
45.95/45.47	c cleaning 9996 clauses out of 20003 with flag 125000/867388
46.55/46.07	c cleaning 9999 clauses out of 20008 with flag 135001/877389
47.16/46.68	c cleaning 9990 clauses out of 20009 with flag 145001/887389
47.76/47.29	c cleaning 10004 clauses out of 20020 with flag 155002/897390
48.36/47.88	c cleaning 9987 clauses out of 20014 with flag 165000/907388
48.97/48.41	c cleaning 10000 clauses out of 20028 with flag 175001/917389
49.46/48.98	c cleaning 10007 clauses out of 20027 with flag 185000/927388
49.97/49.50	c cleaning 10004 clauses out of 20020 with flag 195000/937388
50.56/50.04	c cleaning 10001 clauses out of 20018 with flag 205002/947390
51.07/50.58	c cleaning 10004 clauses out of 20015 with flag 215000/957388
51.67/51.11	c cleaning 10002 clauses out of 20012 with flag 225001/967389
52.17/51.64	c cleaning 10000 clauses out of 20009 with flag 235000/977388
52.77/52.21	c cleaning 10000 clauses out of 20010 with flag 245001/987389
53.27/52.73	c cleaning 10001 clauses out of 20009 with flag 255000/997388
53.77/53.26	c cleaning 10000 clauses out of 20011 with flag 265003/1007391
54.27/53.79	c cleaning 9997 clauses out of 20009 with flag 275001/1017389
54.87/54.38	c cleaning 9999 clauses out of 20011 with flag 285000/1027388
55.48/54.98	c cleaning 10001 clauses out of 20012 with flag 295000/1037388
56.07/55.51	c cleaning 9995 clauses out of 20011 with flag 305000/1047388
56.58/56.01	c cleaning 10005 clauses out of 20017 with flag 315001/1057389
57.07/56.54	c cleaning 10000 clauses out of 20014 with flag 325003/1067391
57.57/57.05	c cleaning 9998 clauses out of 20011 with flag 335000/1077388
58.07/57.56	c cleaning 9999 clauses out of 20013 with flag 345000/1087388
58.67/58.10	c cleaning 9993 clauses out of 20014 with flag 355000/1097388
59.27/58.71	c cleaning 10006 clauses out of 20021 with flag 365000/1107388
59.88/59.31	c cleaning 9996 clauses out of 20015 with flag 375000/1117388
60.38/59.88	c cleaning 10005 clauses out of 20019 with flag 385000/1127388
60.98/60.46	c cleaning 9995 clauses out of 20014 with flag 395000/1137388
61.58/61.02	c Got one! Elapsed wall clock time (in seconds):60.913
61.58/61.02	o 133
61.78/61.23	c cleaning 12261 clauses out of 24529 with flag 5002/1151898
61.98/61.47	c cleaning 9128 clauses out of 18268 with flag 11002/1157898
62.28/61.73	c cleaning 8065 clauses out of 16139 with flag 18001/1164897
62.58/62.04	c cleaning 8030 clauses out of 16074 with flag 26001/1172897
62.88/62.39	c cleaning 8510 clauses out of 17044 with flag 35001/1181897
63.29/62.76	c cleaning 9265 clauses out of 18535 with flag 45002/1191898
63.69/63.14	c cleaning 9629 clauses out of 19268 with flag 55000/1201896
64.09/63.54	c cleaning 9813 clauses out of 19639 with flag 65000/1211896
64.69/64.14	c cleaning 9907 clauses out of 19828 with flag 75002/1221898
65.29/64.72	c cleaning 9948 clauses out of 19922 with flag 85003/1231899
65.89/65.32	c cleaning 9982 clauses out of 19971 with flag 95000/1241896
66.50/65.92	c cleaning 9981 clauses out of 19989 with flag 105000/1251896
67.09/66.52	c cleaning 10003 clauses out of 20009 with flag 115001/1261897
67.70/67.11	c cleaning 10000 clauses out of 20007 with flag 125002/1271898
68.19/67.69	c cleaning 9994 clauses out of 20005 with flag 135000/1281896
68.80/68.28	c cleaning 10003 clauses out of 20013 with flag 145002/1291898
69.40/68.86	c cleaning 10000 clauses out of 20009 with flag 155001/1301897
70.00/69.41	c cleaning 9998 clauses out of 20008 with flag 165000/1311896
70.60/70.07	c cleaning 9995 clauses out of 20010 with flag 175000/1321896
71.30/70.73	c cleaning 10002 clauses out of 20015 with flag 185000/1331896
71.90/71.35	c cleaning 10000 clauses out of 20013 with flag 195000/1341896
72.50/71.98	c cleaning 10004 clauses out of 20016 with flag 205003/1351899
73.21/72.66	c cleaning 9997 clauses out of 20009 with flag 215000/1361896
73.90/73.30	c cleaning 10000 clauses out of 20014 with flag 225002/1371898
74.50/73.93	c cleaning 10003 clauses out of 20012 with flag 235000/1381896
75.11/74.57	c cleaning 9993 clauses out of 20009 with flag 245000/1391896
75.81/75.21	c cleaning 10004 clauses out of 20019 with flag 255003/1401899
76.51/75.92	c cleaning 9991 clauses out of 20012 with flag 265000/1411896
77.11/76.56	c cleaning 10007 clauses out of 20021 with flag 275000/1421896
77.81/77.22	c cleaning 10003 clauses out of 20016 with flag 285002/1431898
78.41/77.85	c cleaning 10002 clauses out of 20012 with flag 295001/1441897
79.12/78.50	c cleaning 9998 clauses out of 20009 with flag 305000/1451896
79.62/79.08	c cleaning 9997 clauses out of 20011 with flag 315000/1461896
80.22/79.62	c cleaning 9999 clauses out of 20015 with flag 325001/1471897
80.83/80.20	c cleaning 10002 clauses out of 20015 with flag 335000/1481896
81.33/80.79	c cleaning 9995 clauses out of 20014 with flag 345001/1491897
81.93/81.34	c cleaning 10007 clauses out of 20019 with flag 355001/1501897
82.53/81.91	c cleaning 10002 clauses out of 20012 with flag 365001/1511897
83.03/82.46	c cleaning 9994 clauses out of 20010 with flag 375001/1521897
83.63/83.06	c cleaning 10003 clauses out of 20015 with flag 385000/1531896
83.73/83.15	c Got one! Elapsed wall clock time (in seconds):83.038
83.73/83.15	o 119
83.83/83.29	c cleaning 7678 clauses out of 15371 with flag 4000/1537255
84.14/83.52	c cleaning 6843 clauses out of 13693 with flag 10000/1543255
84.33/83.77	c cleaning 6919 clauses out of 13853 with flag 17003/1550258
84.64/84.07	c cleaning 7461 clauses out of 14932 with flag 25001/1558256
85.14/84.50	c cleaning 8226 clauses out of 16470 with flag 34000/1567255
85.73/85.10	c cleaning 9113 clauses out of 18245 with flag 44001/1577256
86.24/85.68	c cleaning 9560 clauses out of 19133 with flag 54002/1587257
86.84/86.26	c cleaning 9777 clauses out of 19573 with flag 64002/1597257
87.45/86.83	c cleaning 9896 clauses out of 19795 with flag 74001/1607256
87.94/87.38	c cleaning 9946 clauses out of 19899 with flag 84001/1617256
88.55/87.94	c cleaning 9969 clauses out of 19954 with flag 94002/1627257
88.95/88.37	c Got one! Elapsed wall clock time (in seconds):88.262
88.95/88.37	o 102
89.15/88.58	c cleaning 11156 clauses out of 22322 with flag 5000/1639594
89.45/88.82	c cleaning 8578 clauses out of 17166 with flag 11000/1645594
89.65/89.08	c cleaning 7792 clauses out of 15590 with flag 18002/1652596
89.95/89.37	c cleaning 7894 clauses out of 15797 with flag 26001/1660595
90.35/89.72	c cleaning 8446 clauses out of 16902 with flag 35000/1669594
90.75/90.10	c cleaning 9224 clauses out of 18457 with flag 45001/1679595
91.05/90.49	c cleaning 9611 clauses out of 19233 with flag 55001/1689595
91.45/90.86	c cleaning 9806 clauses out of 19621 with flag 65000/1699594
92.09/91.48	c cleaning 9899 clauses out of 19815 with flag 75000/1709594
93.16/92.09	c cleaning 9951 clauses out of 19917 with flag 85001/1719595
93.76/92.69	c cleaning 9974 clauses out of 19968 with flag 95003/1729597
94.36/93.28	c cleaning 9991 clauses out of 19995 with flag 105004/1739598
94.97/93.85	c cleaning 9996 clauses out of 20000 with flag 115000/1749594
95.57/94.49	c cleaning 9995 clauses out of 20006 with flag 125002/1759596
96.17/95.09	c cleaning 10000 clauses out of 20010 with flag 135001/1769595
96.78/95.68	c cleaning 10001 clauses out of 20011 with flag 145002/1779596
97.48/96.32	c cleaning 9994 clauses out of 20008 with flag 155000/1789594
97.88/96.75	c Got one! Elapsed wall clock time (in seconds):96.643
97.88/96.75	o 88
98.08/96.96	c cleaning 11290 clauses out of 22586 with flag 5001/1802166
98.28/97.19	c cleaning 8642 clauses out of 17296 with flag 11001/1808166
98.58/97.45	c cleaning 7823 clauses out of 15654 with flag 18001/1815166
98.88/97.75	c cleaning 7909 clauses out of 15830 with flag 26000/1823165
99.18/98.09	c cleaning 8456 clauses out of 16923 with flag 35002/1832167
99.58/98.48	c cleaning 9230 clauses out of 18467 with flag 45002/1842167
99.99/98.89	c cleaning 9613 clauses out of 19235 with flag 55000/1852165
100.39/99.27	c cleaning 9807 clauses out of 19622 with flag 65000/1862165
100.79/99.67	c cleaning 9904 clauses out of 19816 with flag 75001/1872166
101.19/100.07	c cleaning 9950 clauses out of 19912 with flag 85001/1882166
101.59/100.48	c cleaning 9974 clauses out of 19961 with flag 95000/1892165
102.19/101.02	c cleaning 9988 clauses out of 19988 with flag 105001/1902166
102.79/101.64	c cleaning 9992 clauses out of 19999 with flag 115000/1912165
103.40/102.23	c cleaning 9995 clauses out of 20007 with flag 125000/1922165
103.99/102.83	c cleaning 10003 clauses out of 20015 with flag 135003/1932168
104.60/103.45	c cleaning 9998 clauses out of 20010 with flag 145001/1942166
105.19/104.00	c cleaning 9994 clauses out of 20011 with flag 155000/1952165
105.70/104.56	c cleaning 10002 clauses out of 20017 with flag 165000/1962165
106.29/105.11	c cleaning 10002 clauses out of 20015 with flag 175000/1972165
106.80/105.65	c cleaning 9996 clauses out of 20013 with flag 185000/1982165
107.29/106.19	c cleaning 10003 clauses out of 20017 with flag 195000/1992165
107.90/106.73	c cleaning 10001 clauses out of 20015 with flag 205001/2002166
108.40/107.25	c cleaning 10001 clauses out of 20016 with flag 215003/2012168
109.01/107.80	c cleaning 9997 clauses out of 20012 with flag 225000/2022165
109.30/108.20	c Got one! Elapsed wall clock time (in seconds):108.089
109.30/108.20	o 78
109.60/108.43	c cleaning 11243 clauses out of 22501 with flag 5000/2034651
109.80/108.65	c cleaning 8626 clauses out of 17260 with flag 11002/2040653
110.01/108.88	c cleaning 7815 clauses out of 15636 with flag 18004/2047655
110.31/109.15	c cleaning 7903 clauses out of 15817 with flag 26000/2055651
110.61/109.47	c cleaning 8455 clauses out of 16916 with flag 35002/2064653
111.01/109.82	c cleaning 9222 clauses out of 18459 with flag 45000/2074651
111.31/110.17	c cleaning 9615 clauses out of 19237 with flag 55000/2084651
111.71/110.52	c cleaning 9805 clauses out of 19623 with flag 65001/2094652
112.11/110.91	c cleaning 9905 clauses out of 19822 with flag 75005/2104656
112.51/111.31	c cleaning 9950 clauses out of 19913 with flag 85001/2114652
112.81/111.68	c cleaning 9974 clauses out of 19962 with flag 95000/2124651
113.21/112.04	c cleaning 9989 clauses out of 19991 with flag 105003/2134654
113.51/112.39	c cleaning 9996 clauses out of 20001 with flag 115002/2144653
113.91/112.75	c cleaning 9995 clauses out of 20003 with flag 125000/2154651
114.31/113.11	c cleaning 10001 clauses out of 20011 with flag 135003/2164654
114.61/113.48	c cleaning 9999 clauses out of 20008 with flag 145001/2174652
115.11/113.90	c cleaning 9998 clauses out of 20008 with flag 155000/2184651
115.52/114.40	c cleaning 10001 clauses out of 20012 with flag 165002/2194653
116.12/114.90	c cleaning 9998 clauses out of 20010 with flag 175001/2204652
116.53/115.38	c cleaning 10000 clauses out of 20012 with flag 185001/2214652
117.03/115.86	c cleaning 9998 clauses out of 20011 with flag 195000/2224651
117.53/116.32	c cleaning 10000 clauses out of 20015 with flag 205002/2234653
117.93/116.76	c cleaning 10001 clauses out of 20014 with flag 215001/2244652
118.43/117.23	c cleaning 9997 clauses out of 20013 with flag 225001/2254652
118.94/117.74	c cleaning 10002 clauses out of 20016 with flag 235001/2264652
119.43/118.21	c cleaning 9999 clauses out of 20013 with flag 245000/2274651
119.94/118.73	c cleaning 9993 clauses out of 20014 with flag 255000/2284651
120.33/119.18	c cleaning 10008 clauses out of 20025 with flag 265004/2294655
120.44/119.23	c Got one! Elapsed wall clock time (in seconds):119.128
120.44/119.23	o 69
120.54/119.37	c cleaning 7582 clauses out of 15178 with flag 4001/2299816
120.74/119.58	c cleaning 6793 clauses out of 13595 with flag 10000/2305815
121.04/119.81	c cleaning 6897 clauses out of 13805 with flag 17003/2312818
121.24/120.07	c cleaning 7451 clauses out of 14909 with flag 25004/2320819
121.54/120.38	c cleaning 8223 clauses out of 16456 with flag 34002/2329817
121.94/120.72	c cleaning 9111 clauses out of 18233 with flag 44002/2339817
122.24/121.07	c cleaning 9556 clauses out of 19121 with flag 54001/2349816
122.64/121.42	c cleaning 9776 clauses out of 19565 with flag 64001/2359816
123.04/121.80	c cleaning 9888 clauses out of 19788 with flag 74000/2369815
123.34/122.16	c cleaning 9945 clauses out of 19900 with flag 84000/2379815
123.74/122.54	c cleaning 9976 clauses out of 19958 with flag 94003/2389818
124.14/122.90	c cleaning 9986 clauses out of 19979 with flag 104000/2399815
124.45/123.25	c cleaning 9992 clauses out of 19995 with flag 114002/2409817
124.85/123.63	c cleaning 9993 clauses out of 20001 with flag 124000/2419815
125.25/124.01	c cleaning 9999 clauses out of 20008 with flag 134000/2429815
125.55/124.37	c cleaning 10000 clauses out of 20009 with flag 144000/2439815
125.95/124.72	c cleaning 10000 clauses out of 20009 with flag 154000/2449815
126.35/125.10	c cleaning 9999 clauses out of 20009 with flag 164000/2459815
126.75/125.52	c cleaning 9998 clauses out of 20010 with flag 174000/2469815
127.15/125.91	c cleaning 10004 clauses out of 20015 with flag 184003/2479818
127.45/126.27	c cleaning 9997 clauses out of 20008 with flag 194000/2489815
127.85/126.61	c cleaning 10002 clauses out of 20015 with flag 204004/2499819
128.15/126.95	c cleaning 10003 clauses out of 20013 with flag 214004/2509819
128.55/127.32	c cleaning 9998 clauses out of 20006 with flag 224000/2519815
128.95/127.74	c cleaning 10003 clauses out of 20011 with flag 234003/2529818
129.35/128.16	c cleaning 9996 clauses out of 20005 with flag 244000/2539815
129.75/128.60	c cleaning 10001 clauses out of 20012 with flag 254003/2549818
130.25/129.05	c cleaning 10002 clauses out of 20009 with flag 264001/2559816
130.75/129.50	c cleaning 10000 clauses out of 20008 with flag 274002/2569817
131.16/129.93	c cleaning 10000 clauses out of 20009 with flag 284003/2579818
131.56/130.37	c cleaning 10000 clauses out of 20007 with flag 294001/2589816
132.06/130.85	c cleaning 9999 clauses out of 20007 with flag 304001/2599816
132.47/131.29	c cleaning 10001 clauses out of 20008 with flag 314001/2609816
132.97/131.74	c cleaning 9994 clauses out of 20006 with flag 324000/2619815
133.37/132.17	c cleaning 9999 clauses out of 20014 with flag 334002/2629817
133.87/132.63	c cleaning 9995 clauses out of 20013 with flag 344000/2639815
134.28/133.08	c cleaning 10007 clauses out of 20018 with flag 354000/2649815
134.77/133.52	c cleaning 10002 clauses out of 20011 with flag 364000/2659815
135.17/133.97	c cleaning 10000 clauses out of 20009 with flag 374000/2669815
135.67/134.40	c cleaning 9997 clauses out of 20009 with flag 384000/2679815
136.07/134.83	c cleaning 10000 clauses out of 20013 with flag 394001/2689816
136.48/135.24	c Got one! Elapsed wall clock time (in seconds):135.133
136.48/135.24	o 62
136.67/135.45	c cleaning 12336 clauses out of 24681 with flag 5000/2704484
136.88/135.67	c cleaning 9171 clauses out of 18346 with flag 11001/2710485
137.18/135.92	c cleaning 8084 clauses out of 16175 with flag 18001/2717485
137.38/136.19	c cleaning 8042 clauses out of 16090 with flag 26000/2725484
137.78/136.51	c cleaning 8520 clauses out of 17048 with flag 35000/2734484
138.08/136.87	c cleaning 9259 clauses out of 18529 with flag 45001/2744485
138.48/137.23	c cleaning 9625 clauses out of 19269 with flag 55000/2754484
138.78/137.56	c cleaning 9818 clauses out of 19644 with flag 65000/2764484
139.28/138.02	c cleaning 9907 clauses out of 19827 with flag 75001/2774485
139.68/138.46	c cleaning 9957 clauses out of 19920 with flag 85001/2784485
140.18/138.93	c cleaning 9981 clauses out of 19968 with flag 95006/2794490
140.58/139.38	c cleaning 9986 clauses out of 19982 with flag 105001/2804485
141.08/139.81	c cleaning 9990 clauses out of 19995 with flag 115000/2814484
141.58/140.30	c cleaning 9997 clauses out of 20005 with flag 125000/2824484
141.99/140.75	c cleaning 9998 clauses out of 20009 with flag 135001/2834485
142.38/141.20	c cleaning 10000 clauses out of 20010 with flag 145000/2844484
142.89/141.61	c cleaning 9995 clauses out of 20010 with flag 155000/2854484
143.29/142.04	c cleaning 10004 clauses out of 20015 with flag 165000/2864484
143.79/142.51	c cleaning 9997 clauses out of 20011 with flag 175000/2874484
144.19/142.93	c cleaning 10001 clauses out of 20015 with flag 185001/2884485
144.29/143.02	c Got one! Elapsed wall clock time (in seconds):142.918
144.29/143.02	o 41
144.39/143.12	c cleaning 7632 clauses out of 15270 with flag 3003/2889741
144.59/143.33	c cleaning 6815 clauses out of 13635 with flag 9000/2895738
144.79/143.58	c cleaning 6906 clauses out of 13820 with flag 16000/2902738
145.09/143.88	c cleaning 7453 clauses out of 14915 with flag 24001/2910739
145.49/144.22	c cleaning 8226 clauses out of 16462 with flag 33001/2919739
145.89/144.61	c cleaning 9111 clauses out of 18236 with flag 43001/2929739
146.29/145.02	c cleaning 9558 clauses out of 19124 with flag 53000/2939738
146.60/145.38	c cleaning 9778 clauses out of 19567 with flag 63001/2949739
147.00/145.74	c cleaning 9889 clauses out of 19788 with flag 73000/2959738
147.40/146.13	c cleaning 9946 clauses out of 19899 with flag 83000/2969738
147.80/146.50	c cleaning 9973 clauses out of 19955 with flag 93002/2979740
148.10/146.87	c cleaning 9986 clauses out of 19980 with flag 103000/2989738
148.50/147.25	c cleaning 9992 clauses out of 19994 with flag 113000/2999738
148.90/147.63	c cleaning 9996 clauses out of 20002 with flag 123000/3009738
149.30/148.02	c cleaning 10001 clauses out of 20009 with flag 133003/3019741
149.61/148.40	c cleaning 9996 clauses out of 20005 with flag 143000/3029738
150.00/148.78	c cleaning 10002 clauses out of 20010 with flag 153001/3039739
150.41/149.18	c cleaning 9998 clauses out of 20007 with flag 163000/3049738
150.81/149.55	c cleaning 9998 clauses out of 20011 with flag 173002/3059740
151.31/150.00	c cleaning 9997 clauses out of 20011 with flag 183000/3069738
151.71/150.45	c cleaning 10000 clauses out of 20014 with flag 193000/3079738
152.11/150.84	c cleaning 10003 clauses out of 20016 with flag 203002/3089740
152.51/151.27	c cleaning 9998 clauses out of 20011 with flag 213000/3099738
153.02/151.73	c cleaning 10001 clauses out of 20014 with flag 223001/3109739
153.42/152.15	c cleaning 10002 clauses out of 20012 with flag 233000/3119738
153.82/152.54	c cleaning 10001 clauses out of 20010 with flag 243000/3129738
154.22/152.96	c cleaning 10000 clauses out of 20009 with flag 253000/3139738
154.72/153.40	c cleaning 10000 clauses out of 20012 with flag 263003/3149741
155.02/153.79	c cleaning 10000 clauses out of 20010 with flag 273001/3159739
155.52/154.21	c cleaning 10001 clauses out of 20009 with flag 283000/3169738
155.93/154.66	c cleaning 9994 clauses out of 20008 with flag 293000/3179738
156.34/155.08	c cleaning 10004 clauses out of 20016 with flag 303002/3189740
156.73/155.49	c cleaning 10002 clauses out of 20012 with flag 313002/3199740
157.23/155.97	c cleaning 10000 clauses out of 20010 with flag 323002/3209740
157.63/156.39	c cleaning 9998 clauses out of 20008 with flag 333000/3219738
158.03/156.70	c Got one! Elapsed wall clock time (in seconds):156.594
158.03/156.70	o 36
158.27/156.97	c cleaning 11124 clauses out of 22254 with flag 5000/3231982
158.48/157.20	c cleaning 8562 clauses out of 17133 with flag 11003/3237985
158.78/157.47	c cleaning 7779 clauses out of 15569 with flag 18001/3244983
159.08/157.78	c cleaning 7888 clauses out of 15790 with flag 26001/3252983
159.49/158.12	c cleaning 8447 clauses out of 16901 with flag 35000/3261982
159.89/158.51	c cleaning 9223 clauses out of 18454 with flag 45000/3271982
160.29/158.92	c cleaning 9608 clauses out of 19231 with flag 55000/3281982
160.69/159.32	c cleaning 9803 clauses out of 19623 with flag 65000/3291982
161.09/159.72	c cleaning 9905 clauses out of 19820 with flag 75000/3301982
161.49/160.13	c cleaning 9952 clauses out of 19916 with flag 85001/3311983
161.90/160.53	c cleaning 9979 clauses out of 19968 with flag 95005/3321987
162.29/160.93	c cleaning 9985 clauses out of 19985 with flag 105001/3331983
162.69/161.33	c cleaning 9990 clauses out of 20000 with flag 115001/3341983
163.10/161.73	c cleaning 10001 clauses out of 20009 with flag 125000/3351982
163.49/162.12	c cleaning 10001 clauses out of 20011 with flag 135003/3361985
163.89/162.54	c cleaning 10000 clauses out of 20007 with flag 145000/3371982
164.29/162.95	c cleaning 9996 clauses out of 20008 with flag 155001/3381983
164.69/163.33	c cleaning 10001 clauses out of 20012 with flag 165001/3391983
165.09/163.72	c cleaning 10000 clauses out of 20010 with flag 175000/3401982
165.49/164.11	c cleaning 9999 clauses out of 20010 with flag 185000/3411982
165.79/164.49	c cleaning 9998 clauses out of 20011 with flag 195000/3421982
166.20/164.87	c cleaning 10000 clauses out of 20014 with flag 205001/3431983
166.60/165.26	c cleaning 10000 clauses out of 20015 with flag 215002/3441984
167.00/165.65	c cleaning 9997 clauses out of 20013 with flag 225000/3451982
167.40/166.09	c cleaning 10003 clauses out of 20017 with flag 235001/3461983
167.90/166.54	c cleaning 10000 clauses out of 20014 with flag 245001/3471983
168.30/166.96	c cleaning 10001 clauses out of 20014 with flag 255001/3481983
168.70/167.35	c cleaning 10002 clauses out of 20012 with flag 265000/3491982
169.20/167.81	c cleaning 10001 clauses out of 20010 with flag 275000/3501982
169.71/168.30	c cleaning 10001 clauses out of 20014 with flag 285005/3511987
170.10/168.75	c cleaning 9997 clauses out of 20008 with flag 295000/3521982
170.61/169.21	c cleaning 9999 clauses out of 20012 with flag 305001/3531983
171.01/169.63	c cleaning 10003 clauses out of 20013 with flag 315002/3541984
171.21/169.86	c starts		: 265
171.21/169.86	c conflicts		: 3547455
171.21/169.86	c decisions		: 6026002
171.21/169.86	c propagations		: 111713069
171.21/169.86	c inspects		: 826331295
171.21/169.86	c shortcuts		: 0
171.21/169.86	c learnt literals	: 8
171.21/169.86	c learnt binary clauses	: 120
171.21/169.86	c learnt ternary clauses	: 3847
171.21/169.87	c learnt constraints	: 3547446
171.21/169.87	c ignored constraints	: 0
171.21/169.87	c root simplifications	: 0
171.21/169.87	c removed literals (reason simplification)	: 18215373
171.21/169.87	c reason swapping (by a shorter reason)	: 0
171.21/169.87	c Calls to reduceDB	: 381
171.21/169.87	c number of reductions to clauses (during analyze)	: 0
171.21/169.87	c number of learned constraints concerned by reduction	: 0
171.21/169.87	c number of learning phase by resolution	: 0
171.21/169.87	c number of learning phase by cutting planes	: 0
171.21/169.87	c speed (assignments/second)	: 8485611.014052412
171.21/169.87	c non guided choices	1659
171.21/169.87	c learnt constraints type 
171.21/169.87	c constraints type 
171.21/169.87	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
171.21/169.87	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
171.21/169.87	s OPTIMUM FOUND
171.21/169.87	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 
171.21/169.87	c objective function=36
171.21/169.87	c Total wall clock time (in seconds): 169.76

Verifier Data 

OK	36

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 /tmp/evaluation-result-3492653-1307911071/watcher-3492653-1307911071 -o /tmp/evaluation-result-3492653-1307911071/solver-3492653-1307911071 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492653-1307911071.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.00 2.00 1.91 3/196 14550
/proc/meminfo: memFree=1591768/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 1141 0 0 0 0 0 0 0 25 0 2 0 902705249 24580096 877 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 6014 884 671 9 0 381 0
[pid=14550/tid=14551] ppid=14548 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 2 0 902705249 26714112 894 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246516830213 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0872741 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 14550
/proc/meminfo: memFree=1591768/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10539296 CPUtime=0.08 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 12832 0 1 0 7 1 0 0 25 0 18 0 902705249 10792239104 12528 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2634824 12528 2080 9 0 2625558 0
[pid=14550/tid=14551] ppid=14548 vsize=10539296 CPUtime=0.07 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 10953 0 1 0 6 1 0 0 22 0 18 0 902705249 10792239104 12530 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46992282101272 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539296

[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 14550
/proc/meminfo: memFree=1591768/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10539428 CPUtime=0.1 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 13028 0 1 0 9 1 0 0 25 0 18 0 902705249 10792374272 12724 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2634857 12725 2092 9 0 2625591 0
[pid=14550/tid=14551] ppid=14548 vsize=10539428 CPUtime=0.08 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 11129 0 1 0 7 1 0 0 22 0 18 0 902705249 10792374272 12725 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46992283536180 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539428

[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 14550
/proc/meminfo: memFree=1591768/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10541396 CPUtime=0.49 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 15895 0 1 0 47 2 0 0 25 0 19 0 902705249 10794389504 14768 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635349 14768 2214 9 0 2626083 0
[pid=14550/tid=14551] ppid=14548 vsize=10541396 CPUtime=0.28 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 11765 0 1 0 27 1 0 0 23 0 19 0 902705249 10794389504 14768 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505547417 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541396

[startup+0.701164 s]
/proc/loadavg: 2.00 2.00 1.91 3/196 14550
/proc/meminfo: memFree=1591768/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=0.95 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 16572 0 1 0 93 2 0 0 25 0 19 0 902705249 10795057152 15249 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 15249 2222 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=0.68 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12032 0 1 0 67 1 0 0 25 0 19 0 902705249 10795057152 15249 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505220260 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10542048

[startup+1.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14569
/proc/meminfo: memFree=1537516/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=1.81 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 17754 0 1 0 179 2 0 0 25 0 19 0 902705249 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 16426 2246 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=1.44 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12039 0 1 0 143 1 0 0 25 0 19 0 902705249 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505550717 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 138 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=0.03 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 442 0 0 0 3 0 0 0 15 0 19 0 902705252 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.15 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 1733 0 0 0 15 0 0 0 15 0 19 0 902705255 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.16 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1673 0 0 0 16 0 0 0 15 0 19 0 902705255 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 16426 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10542048

[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14569
/proc/meminfo: memFree=1534412/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=3.44 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 17851 0 1 0 342 2 0 0 25 0 19 0 902705249 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 16519 2247 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=2.98 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12043 0 1 0 297 1 0 0 25 0 19 0 902705249 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505555794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=0.08 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 521 0 0 0 8 0 0 0 16 0 19 0 902705252 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.15 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 1733 0 0 0 15 0 0 0 15 0 19 0 902705255 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.18 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1684 0 0 0 18 0 0 0 15 0 19 0 902705255 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 16519 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 10542048

[startup+6.30115 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14569
/proc/meminfo: memFree=1533388/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=6.65 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 17975 0 1 0 663 2 0 0 25 0 19 0 902705249 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 16632 2247 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=6.07 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12052 0 1 0 606 1 0 0 25 0 19 0 902705249 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505516129 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 241 0 0 0 0 0 0 0 16 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902705251 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=0.19 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 627 0 0 0 19 0 0 0 15 0 19 0 902705252 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.16 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 1734 0 0 0 16 0 0 0 15 0 19 0 902705255 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.18 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1684 0 0 0 18 0 0 0 15 0 19 0 902705255 10795057152 16632 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0

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

/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 349 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 37 0 0 0 12 0 0 0 16 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0.1 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 98 0 0 0 10 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 43 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 276 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 219 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 107 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=5.68 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 1420 0 0 0 562 6 0 0 15 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.72 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 9601 0 0 0 71 1 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.23 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1870 0 0 0 23 0 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 170.1
Current children cumulated vsize (KiB) 10542048

[startup+169.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14573
/proc/meminfo: memFree=1509920/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=170.91 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 27648 0 1 0 17079 12 0 0 25 0 19 0 902705249 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 21866 2251 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=163.26 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12422 0 1 0 16324 2 0 0 25 0 19 0 902705249 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505586535 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 349 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 37 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0.1 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 98 0 0 0 10 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 43 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 276 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 219 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 107 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=5.71 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 1420 0 0 0 565 6 0 0 15 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.72 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 9601 0 0 0 71 1 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.23 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1870 0 0 0 23 0 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 21866 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 170.91
Current children cumulated vsize (KiB) 10542048

[startup+169.701 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14573
/proc/meminfo: memFree=1509920/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=171.12 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 27651 0 1 0 17100 12 0 0 25 0 19 0 902705249 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 21868 2251 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=163.44 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12425 0 1 0 16342 2 0 0 25 0 19 0 902705249 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505586679 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 349 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 37 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0.1 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 98 0 0 0 10 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 43 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 45 0 0 0 12 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 276 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 219 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 107 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=5.72 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 1420 0 0 0 566 6 0 0 15 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.72 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 9601 0 0 0 71 1 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.23 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1870 0 0 0 23 0 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 171.12
Current children cumulated vsize (KiB) 10542048

[startup+169.801 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 14573
/proc/meminfo: memFree=1509920/32951124 swapFree=67063552/67111528
[pid=14550] ppid=14548 vsize=10542048 CPUtime=171.21 cores=0,2,4,6
/proc/14550/stat : 14550 (java) S 14548 14550 11440 0 -1 4202496 27651 0 1 0 17109 12 0 0 25 0 19 0 902705249 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14550/statm: 2635512 21868 2251 9 0 2626246 0
[pid=14550/tid=14551] ppid=14548 vsize=10542048 CPUtime=163.54 cores=0,2,4,6
/proc/14550/task/14551/stat : 14551 (java) R 14548 14550 11440 0 -1 4202560 12425 0 1 0 16352 2 0 0 25 0 19 0 902705249 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 46912505541752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14550/tid=14553] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14553/stat : 14553 (java) S 14548 14550 11440 0 -1 4202560 349 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14554] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14554/stat : 14554 (java) S 14548 14550 11440 0 -1 4202560 37 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14555] ppid=14548 vsize=10542048 CPUtime=0.1 cores=0,2,4,6
/proc/14550/task/14555/stat : 14555 (java) S 14548 14550 11440 0 -1 4202560 98 0 0 0 10 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 0 0 0 0
[pid=14550/tid=14556] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14556/stat : 14556 (java) S 14548 14550 11440 0 -1 4202560 43 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14557] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14557/stat : 14557 (java) S 14548 14550 11440 0 -1 4202560 45 0 0 0 12 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14558] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14558/stat : 14558 (java) S 14548 14550 11440 0 -1 4202560 276 0 0 0 11 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14559] ppid=14548 vsize=10542048 CPUtime=0.11 cores=0,2,4,6
/proc/14550/task/14559/stat : 14559 (java) S 14548 14550 11440 0 -1 4202560 219 0 0 0 11 0 0 0 16 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14560] ppid=14548 vsize=10542048 CPUtime=0.12 cores=0,2,4,6
/proc/14550/task/14560/stat : 14560 (java) S 14548 14550 11440 0 -1 4202560 107 0 0 0 12 0 0 0 15 0 19 0 902705251 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14561] ppid=14548 vsize=10542048 CPUtime=5.72 cores=0,2,4,6
/proc/14550/task/14561/stat : 14561 (java) S 14548 14550 11440 0 -1 4202560 1420 0 0 0 566 6 0 0 15 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 0 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14562] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14562/stat : 14562 (java) S 14548 14550 11440 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14563] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14563/stat : 14563 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 902705252 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14564] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14564/stat : 14564 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528657841 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14565] ppid=14548 vsize=10542048 CPUtime=0.72 cores=0,2,4,6
/proc/14550/task/14565/stat : 14565 (java) S 14548 14550 11440 0 -1 4202560 9601 0 0 0 71 1 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14566] ppid=14548 vsize=10542048 CPUtime=0.23 cores=0,2,4,6
/proc/14550/task/14566/stat : 14566 (java) S 14548 14550 11440 0 -1 4202560 1870 0 0 0 23 0 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 6 0 0 0
[pid=14550/tid=14567] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14567/stat : 14567 (java) S 14548 14550 11440 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650137 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
[pid=14550/tid=14568] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14568/stat : 14568 (java) S 14548 14550 11440 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902705255 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 4 0 0 0
[pid=14550/tid=14569] ppid=14548 vsize=10542048 CPUtime=0 cores=0,2,4,6
/proc/14550/task/14569/stat : 14569 (java) S 14548 14550 11440 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902705266 10795057152 21868 33554432000 1073741824 1073778376 140733469111312 18446744073709551615 246528650752 0 4 0 16800975 18446604448989264896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 171.21
Current children cumulated vsize (KiB) 10542048

Child status: 30
Real time (s): 169.887
CPU time (s): 171.299
CPU user time (s): 171.174
CPU system time (s): 0.124981
CPU usage (%): 100.831
Max. virtual memory (cumulated for all children) (KiB): 10542048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.174
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27673
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= 14122
involuntary context switches= 5539

runsolver used 0.32495 second user time and 0.612906 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-12 22:37:51
IDJOB=3492653
IDBENCH=79210
IDSOLVER=1982
FILE ID=node134/3492653-1307911071
RUNJOBID= node134-1307908842-14200
PBS_JOBID= 13559572
Free space on /tmp= 1424 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492653-1307911071/watcher-3492653-1307911071 -o /tmp/evaluation-result-3492653-1307911071/solver-3492653-1307911071 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492653-1307911071.wbo

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

MD5SUM BENCH= 014e6d9d1387f6cdb0c56035ad106b75
RANDOM SEED=149136163

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1592172 kB
Buffers:         73128 kB
Cached:       30238264 kB
SwapCached:      10044 kB
Active:       15495932 kB
Inactive:     14916780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1592172 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:             596 kB
Writeback:           0 kB
AnonPages:       98920 kB
Mapped:          18508 kB
Slab:           883632 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10538012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 1424 MiB
End job on node134 at 2011-06-12 22:40:40