Trace number 3492633

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 81.9595 80.5238

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo
MD5SUMda988fefd96faf0ea045ffc9072a875f
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.19982
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 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1229
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492633-1307911026.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c #vars     270
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.28/0.24	c SATISFIABLE
0.28/0.24	c OPTIMIZING...
0.28/0.24	c Got one! Elapsed wall clock time (in seconds):0.127
0.28/0.24	o 770
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.147
0.28/0.26	o 725
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.156
0.28/0.27	o 700
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.167
0.28/0.28	o 621
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.182
0.28/0.29	o 620
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.199
0.50/0.31	o 563
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.216
0.50/0.33	o 546
0.50/0.36	c Got one! Elapsed wall clock time (in seconds):0.252
0.50/0.36	o 519
0.50/0.37	c Got one! Elapsed wall clock time (in seconds):0.264
0.50/0.37	o 506
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.279
0.50/0.39	o 397
0.64/0.42	c Got one! Elapsed wall clock time (in seconds):0.31
0.64/0.42	o 357
0.85/0.61	c Got one! Elapsed wall clock time (in seconds):0.498
0.85/0.61	o 341
0.85/0.66	c Got one! Elapsed wall clock time (in seconds):0.553
0.85/0.66	o 337
1.05/0.83	c cleaning 4977 clauses out of 9953 with flag 2002/9953
1.41/1.15	c cleaning 5479 clauses out of 10975 with flag 8001/15952
1.81/1.56	c cleaning 6243 clauses out of 12498 with flag 15003/22954
1.93/1.64	c Got one! Elapsed wall clock time (in seconds):1.53
1.93/1.64	o 320
2.03/1.73	c Got one! Elapsed wall clock time (in seconds):1.621
2.03/1.73	o 315
2.24/1.91	c cleaning 6215 clauses out of 12446 with flag 3000/29145
2.24/1.96	c Got one! Elapsed wall clock time (in seconds):1.847
2.24/1.96	o 312
2.44/2.16	c Got one! Elapsed wall clock time (in seconds):2.05
2.44/2.16	o 294
2.55/2.20	c cleaning 6189 clauses out of 12385 with flag 1000/35299
2.74/2.46	c cleaning 6096 clauses out of 12197 with flag 7001/41300
3.14/2.83	c cleaning 6544 clauses out of 13100 with flag 14000/48299
3.44/3.17	c cleaning 7272 clauses out of 14556 with flag 22000/56299
3.75/3.41	c Got one! Elapsed wall clock time (in seconds):3.3
3.75/3.41	o 254
3.75/3.45	c cleaning 6477 clauses out of 12969 with flag 1001/61984
3.96/3.69	c cleaning 6239 clauses out of 12493 with flag 7002/67985
4.47/4.10	c cleaning 6623 clauses out of 13253 with flag 14001/74984
4.47/4.17	c Got one! Elapsed wall clock time (in seconds):4.064
4.47/4.17	o 240
4.67/4.31	c cleaning 5944 clauses out of 11899 with flag 4000/80253
4.87/4.53	c cleaning 5977 clauses out of 11955 with flag 10000/86253
5.17/4.88	c cleaning 6487 clauses out of 12979 with flag 17001/93254
5.27/4.99	c Got one! Elapsed wall clock time (in seconds):4.883
5.27/4.99	o 230
5.37/5.09	c cleaning 5928 clauses out of 11864 with flag 3004/98626
5.47/5.14	c Got one! Elapsed wall clock time (in seconds):5.029
5.47/5.14	o 218
5.57/5.27	c cleaning 5500 clauses out of 11019 with flag 4000/103709
5.87/5.56	c cleaning 5756 clauses out of 11522 with flag 10003/109712
6.27/5.91	c cleaning 6375 clauses out of 12764 with flag 17001/116710
6.67/6.31	c cleaning 7187 clauses out of 14388 with flag 25000/124709
6.87/6.55	c Got one! Elapsed wall clock time (in seconds):6.437
6.87/6.55	o 214
6.87/6.59	c cleaning 6588 clauses out of 13184 with flag 1003/130692
7.17/6.89	c cleaning 6293 clauses out of 12593 with flag 7000/136689
7.47/7.17	c Got one! Elapsed wall clock time (in seconds):7.063
7.47/7.17	o 211
7.67/7.35	c cleaning 8933 clauses out of 17876 with flag 5000/148265
7.77/7.47	c Got one! Elapsed wall clock time (in seconds):7.364
7.77/7.47	o 163
7.88/7.58	c cleaning 7354 clauses out of 14716 with flag 3000/154038
8.08/7.79	c cleaning 6673 clauses out of 13362 with flag 9000/160038
8.38/8.02	c Got one! Elapsed wall clock time (in seconds):7.914
8.38/8.02	o 161
8.38/8.06	c cleaning 6099 clauses out of 12208 with flag 1002/165557
8.61/8.27	c cleaning 6050 clauses out of 12108 with flag 7001/171556
8.92/8.52	c cleaning 6523 clauses out of 13058 with flag 14001/178556
8.92/8.53	c Got one! Elapsed wall clock time (in seconds):8.426
8.92/8.53	o 142
9.12/8.70	c cleaning 5777 clauses out of 11563 with flag 5000/183584
9.23/8.90	c cleaning 5888 clauses out of 11787 with flag 11001/189585
9.52/9.13	c cleaning 6446 clauses out of 12898 with flag 18000/196584
9.95/9.52	c cleaning 7212 clauses out of 14452 with flag 26000/204584
10.65/9.97	c cleaning 8117 clauses out of 16243 with flag 35003/213587
11.62/10.51	c cleaning 9052 clauses out of 18124 with flag 45001/223585
12.12/11.08	c cleaning 9523 clauses out of 19071 with flag 55000/233584
12.62/11.55	c cleaning 9764 clauses out of 19548 with flag 65000/243584
13.13/12.03	c cleaning 9883 clauses out of 19786 with flag 75002/253586
13.63/12.54	c cleaning 9948 clauses out of 19904 with flag 85003/263587
14.13/13.05	c cleaning 9969 clauses out of 19953 with flag 95000/273584
14.63/13.56	c cleaning 9983 clauses out of 19984 with flag 105000/283584
14.93/13.88	c Got one! Elapsed wall clock time (in seconds):13.77
14.93/13.88	o 137
15.13/14.00	c Got one! Elapsed wall clock time (in seconds):13.891
15.13/14.00	o 134
15.28/14.14	c cleaning 11185 clauses out of 22379 with flag 3001/295962
15.28/14.16	c Got one! Elapsed wall clock time (in seconds):14.05
15.28/14.16	o 126
15.48/14.35	c cleaning 8165 clauses out of 16343 with flag 5000/301111
15.78/14.64	c cleaning 7087 clauses out of 14179 with flag 11001/307112
16.10/14.95	c cleaning 7044 clauses out of 14095 with flag 18004/314115
16.50/15.39	c cleaning 7521 clauses out of 15052 with flag 26005/322116
16.71/15.56	c Got one! Elapsed wall clock time (in seconds):15.453
16.71/15.56	o 114
16.80/15.63	c cleaning 6398 clauses out of 12802 with flag 2001/327387
17.00/15.84	c cleaning 6196 clauses out of 12403 with flag 8000/333386
17.30/16.11	c cleaning 6599 clauses out of 13208 with flag 15001/340387
17.71/16.53	c cleaning 7299 clauses out of 14609 with flag 23001/348387
18.20/17.02	c cleaning 8147 clauses out of 16309 with flag 32000/357386
18.20/17.03	c Got one! Elapsed wall clock time (in seconds):16.922
18.20/17.03	o 112
18.30/17.19	c cleaning 6582 clauses out of 13174 with flag 5001/362398
18.51/17.40	c cleaning 6293 clauses out of 12594 with flag 11003/368400
18.81/17.63	c cleaning 6644 clauses out of 13299 with flag 18001/375398
18.91/17.70	c Got one! Elapsed wall clock time (in seconds):17.594
18.91/17.70	o 106
19.01/17.86	c cleaning 6236 clauses out of 12484 with flag 4001/381227
19.21/18.07	c cleaning 6122 clauses out of 12249 with flag 10002/387228
19.51/18.31	c cleaning 6559 clauses out of 13125 with flag 17000/394226
19.71/18.59	c cleaning 7279 clauses out of 14567 with flag 25001/402227
20.11/18.98	c cleaning 8137 clauses out of 16287 with flag 34000/411226
20.61/19.49	c Got one! Elapsed wall clock time (in seconds):19.385
20.61/19.49	o 95
20.91/19.72	c cleaning 11096 clauses out of 22198 with flag 5000/425274
21.11/19.93	c cleaning 8541 clauses out of 17102 with flag 11000/431274
21.31/20.17	c cleaning 7775 clauses out of 15561 with flag 18000/438274
21.61/20.45	c cleaning 7889 clauses out of 15788 with flag 26002/446276
21.91/20.78	c cleaning 8447 clauses out of 16899 with flag 35002/455276
22.31/21.17	c cleaning 9220 clauses out of 18450 with flag 45000/465274
22.82/21.65	c cleaning 9607 clauses out of 19230 with flag 55000/475274
23.33/22.15	c cleaning 9805 clauses out of 19623 with flag 65000/485274
23.92/22.71	c cleaning 9906 clauses out of 19821 with flag 75003/495277
24.43/23.23	c cleaning 9951 clauses out of 19912 with flag 85000/505274
24.92/23.78	c cleaning 9976 clauses out of 19965 with flag 95004/515278
25.02/23.81	c Got one! Elapsed wall clock time (in seconds):23.701
25.02/23.81	o 90
25.12/23.98	c cleaning 7668 clauses out of 15345 with flag 5001/520634
25.33/24.17	c cleaning 6836 clauses out of 13677 with flag 11001/526634
25.63/24.40	c cleaning 6918 clauses out of 13841 with flag 18001/533634
25.63/24.49	c Got one! Elapsed wall clock time (in seconds):24.382
25.63/24.49	o 85
25.73/24.59	c cleaning 6094 clauses out of 12196 with flag 3000/538907
25.93/24.78	c cleaning 6046 clauses out of 12104 with flag 9002/544909
26.23/25.01	c cleaning 6525 clauses out of 13057 with flag 16001/551908
26.43/25.29	c cleaning 7265 clauses out of 14536 with flag 24005/559912
26.83/25.64	c cleaning 8128 clauses out of 16268 with flag 33002/568909
27.33/26.19	c cleaning 9064 clauses out of 18140 with flag 43002/578909
27.93/26.73	c cleaning 9532 clauses out of 19074 with flag 53000/588907
28.43/27.21	c cleaning 9767 clauses out of 19542 with flag 63000/598907
28.84/27.64	c cleaning 9887 clauses out of 19781 with flag 73006/608913
29.34/28.14	c cleaning 9938 clauses out of 19888 with flag 83000/618907
29.64/28.40	c Got one! Elapsed wall clock time (in seconds):28.292
29.64/28.40	o 84
29.74/28.58	c cleaning 10148 clauses out of 20301 with flag 5003/629258
30.04/28.80	c cleaning 8070 clauses out of 16150 with flag 11000/635255
30.24/29.05	c cleaning 7535 clauses out of 15080 with flag 18000/642255
30.54/29.31	c cleaning 7769 clauses out of 15547 with flag 26002/650257
30.84/29.62	c cleaning 8384 clauses out of 16778 with flag 35002/659257
31.24/30.01	c cleaning 9192 clauses out of 18393 with flag 45001/669256
31.54/30.37	c cleaning 9598 clauses out of 19201 with flag 55001/679256
31.94/30.75	c cleaning 9797 clauses out of 19603 with flag 65001/689256
32.44/31.20	c cleaning 9899 clauses out of 19805 with flag 75000/699255
32.84/31.66	c cleaning 9948 clauses out of 19908 with flag 85002/709257
33.35/32.14	c cleaning 9967 clauses out of 19958 with flag 95000/719255
33.65/32.49	c Got one! Elapsed wall clock time (in seconds):32.38
33.65/32.49	o 75
33.86/32.68	c cleaning 11253 clauses out of 22514 with flag 5001/731778
34.06/32.89	c cleaning 8624 clauses out of 17261 with flag 11001/737778
34.36/33.15	c cleaning 7817 clauses out of 15639 with flag 18003/744780
34.76/33.50	c cleaning 7905 clauses out of 15819 with flag 26000/752777
34.86/33.62	c Got one! Elapsed wall clock time (in seconds):33.511
34.86/33.62	o 68
34.98/33.72	c cleaning 6765 clauses out of 13535 with flag 3001/758398
35.18/33.93	c cleaning 6383 clauses out of 12771 with flag 9002/764399
35.38/34.16	c cleaning 6689 clauses out of 13386 with flag 16000/771397
35.68/34.44	c cleaning 7340 clauses out of 14698 with flag 24001/779398
35.98/34.78	c Got one! Elapsed wall clock time (in seconds):34.667
35.98/34.78	o 60
36.18/34.97	c cleaning 9677 clauses out of 19364 with flag 5000/791404
36.38/35.18	c cleaning 7836 clauses out of 15688 with flag 11001/797405
36.68/35.42	c cleaning 7420 clauses out of 14851 with flag 18000/804404
36.88/35.69	c cleaning 7712 clauses out of 15431 with flag 26000/812404
37.28/36.02	c cleaning 8356 clauses out of 16721 with flag 35002/821406
37.69/36.46	c cleaning 9175 clauses out of 18364 with flag 45001/831405
38.08/36.87	c cleaning 9592 clauses out of 19193 with flag 55005/841409
38.48/37.27	c cleaning 9793 clauses out of 19597 with flag 65001/851405
38.88/37.64	c Got one! Elapsed wall clock time (in seconds):37.528
38.88/37.64	o 59
39.08/37.83	c cleaning 12232 clauses out of 24471 with flag 5001/866072
39.28/38.05	c cleaning 9113 clauses out of 18238 with flag 11000/872071
39.58/38.30	c cleaning 8053 clauses out of 16125 with flag 18000/879071
39.79/38.56	c cleaning 8031 clauses out of 16072 with flag 26000/887071
40.09/38.88	c cleaning 8511 clauses out of 17041 with flag 35000/896071
40.49/39.25	c cleaning 9262 clauses out of 18531 with flag 45001/906072
40.90/39.65	c cleaning 9630 clauses out of 19268 with flag 55000/916071
41.29/40.03	c cleaning 9815 clauses out of 19638 with flag 65000/926071
41.69/40.46	c cleaning 9905 clauses out of 19823 with flag 75000/936071
42.00/40.71	c Got one! Elapsed wall clock time (in seconds):40.602
42.00/40.71	o 52
42.20/40.90	c cleaning 10463 clauses out of 20934 with flag 5002/947087
42.40/41.11	c cleaning 8231 clauses out of 16471 with flag 11002/953087
42.60/41.34	c cleaning 7613 clauses out of 15238 with flag 18000/960085
42.90/41.61	c cleaning 7810 clauses out of 15625 with flag 26000/968085
43.20/41.92	c cleaning 8404 clauses out of 16815 with flag 35000/977085
43.50/42.29	c cleaning 9200 clauses out of 18411 with flag 45000/987085
43.90/42.66	c cleaning 9602 clauses out of 19213 with flag 55002/997087
44.30/43.03	c cleaning 9799 clauses out of 19609 with flag 65000/1007085
44.60/43.39	c cleaning 9899 clauses out of 19810 with flag 75000/1017085
45.00/43.74	c cleaning 9950 clauses out of 19912 with flag 85001/1027086
45.41/44.11	c cleaning 9974 clauses out of 19961 with flag 95000/1037085
45.60/44.37	c Got one! Elapsed wall clock time (in seconds):44.264
45.60/44.37	o 45
45.80/44.59	c cleaning 11378 clauses out of 22760 with flag 5000/1049858
46.10/44.82	c cleaning 8687 clauses out of 17382 with flag 11000/1055858
46.30/45.06	c cleaning 7841 clauses out of 15695 with flag 18000/1062858
46.60/45.36	c cleaning 7922 clauses out of 15854 with flag 26000/1070858
47.01/45.75	c cleaning 8462 clauses out of 16932 with flag 35000/1079858
47.41/46.14	c cleaning 9228 clauses out of 18471 with flag 45001/1089859
47.81/46.54	c cleaning 9617 clauses out of 19242 with flag 55000/1099858
48.21/46.93	c cleaning 9807 clauses out of 19626 with flag 65001/1109859
48.31/47.05	c Got one! Elapsed wall clock time (in seconds):46.938
48.31/47.05	o 44
48.41/47.12	c cleaning 7516 clauses out of 15038 with flag 2003/1115078
48.62/47.32	c cleaning 6756 clauses out of 13519 with flag 8000/1121075
48.81/47.55	c cleaning 6879 clauses out of 13765 with flag 15002/1128077
49.11/47.81	c cleaning 7438 clauses out of 14884 with flag 23000/1136075
49.41/48.10	c cleaning 8215 clauses out of 16446 with flag 32000/1145075
49.72/48.42	c Got one! Elapsed wall clock time (in seconds):48.314
49.72/48.42	o 43
49.91/48.69	c cleaning 10454 clauses out of 20920 with flag 5000/1157764
50.21/48.90	c cleaning 8226 clauses out of 16466 with flag 11000/1163764
50.41/49.14	c cleaning 7614 clauses out of 15240 with flag 18000/1170764
50.71/49.40	c cleaning 7809 clauses out of 15626 with flag 26000/1178764
51.01/49.71	c cleaning 8401 clauses out of 16817 with flag 35000/1187764
51.32/50.09	c cleaning 9200 clauses out of 18417 with flag 45001/1197765
51.42/50.17	c Got one! Elapsed wall clock time (in seconds):50.06
51.42/50.17	o 39
51.52/50.27	c cleaning 7229 clauses out of 14468 with flag 3001/1203016
51.72/50.47	c cleaning 6613 clauses out of 13239 with flag 9001/1209016
52.02/50.70	c cleaning 6808 clauses out of 13626 with flag 16001/1216016
52.22/50.96	c cleaning 7406 clauses out of 14819 with flag 24002/1224017
52.52/51.27	c cleaning 8200 clauses out of 16411 with flag 33000/1233015
52.92/51.66	c cleaning 9102 clauses out of 18214 with flag 43003/1243018
53.32/52.09	c cleaning 9553 clauses out of 19112 with flag 53003/1253018
53.72/52.46	c cleaning 9774 clauses out of 19556 with flag 63000/1263015
54.02/52.79	c Got one! Elapsed wall clock time (in seconds):52.679
54.02/52.79	o 36
54.32/53.05	c cleaning 12073 clauses out of 24156 with flag 5000/1277389
54.62/53.30	c cleaning 9039 clauses out of 18085 with flag 11002/1283391
54.82/53.54	c cleaning 8018 clauses out of 16045 with flag 18001/1290390
55.12/53.80	c cleaning 8009 clauses out of 16027 with flag 26001/1298390
55.43/54.10	c cleaning 8501 clauses out of 17018 with flag 35001/1307390
55.73/54.45	c cleaning 9251 clauses out of 18516 with flag 45000/1317389
56.13/54.80	c cleaning 9627 clauses out of 19265 with flag 55000/1327389
56.44/55.18	c cleaning 9811 clauses out of 19639 with flag 65001/1337390
56.83/55.54	c cleaning 9904 clauses out of 19827 with flag 75000/1347389
57.23/55.92	c cleaning 9958 clauses out of 19926 with flag 85003/1357392
57.63/56.32	c cleaning 9979 clauses out of 19965 with flag 95000/1367389
57.94/56.67	c cleaning 9984 clauses out of 19988 with flag 105002/1377391
58.14/56.86	c Got one! Elapsed wall clock time (in seconds):56.754
58.14/56.86	o 29
58.34/57.04	c cleaning 10350 clauses out of 20705 with flag 5000/1388092
58.54/57.25	c cleaning 8174 clauses out of 16357 with flag 11002/1394094
58.74/57.47	c cleaning 7587 clauses out of 15182 with flag 18001/1401093
59.04/57.73	c cleaning 7789 clauses out of 15594 with flag 26000/1409092
59.34/58.03	c cleaning 8400 clauses out of 16807 with flag 35002/1418094
59.64/58.40	c cleaning 9201 clauses out of 18407 with flag 45002/1428094
60.04/58.76	c cleaning 9597 clauses out of 19204 with flag 55000/1438092
60.44/59.14	c cleaning 9800 clauses out of 19609 with flag 65002/1448094
60.84/59.54	c cleaning 9900 clauses out of 19808 with flag 75001/1458093
61.24/59.90	c cleaning 9950 clauses out of 19909 with flag 85002/1468094
61.54/60.24	c cleaning 9974 clauses out of 19958 with flag 95001/1478093
61.95/60.61	c cleaning 9988 clauses out of 19984 with flag 105001/1488093
62.24/60.97	c cleaning 9993 clauses out of 19996 with flag 115001/1498093
62.64/61.34	c cleaning 9996 clauses out of 20003 with flag 125001/1508093
62.95/61.69	c cleaning 9999 clauses out of 20008 with flag 135002/1518094
63.34/62.05	c cleaning 9998 clauses out of 20008 with flag 145001/1528093
63.54/62.22	c Got one! Elapsed wall clock time (in seconds):62.108
63.54/62.22	o 20
63.74/62.42	c cleaning 10035 clauses out of 20084 with flag 5000/1538167
63.96/62.62	c cleaning 8022 clauses out of 16051 with flag 11002/1544169
64.16/62.84	c cleaning 7511 clauses out of 15027 with flag 18000/1551167
64.36/63.09	c cleaning 7755 clauses out of 15518 with flag 26002/1559169
64.66/63.36	c cleaning 8377 clauses out of 16762 with flag 35001/1568168
64.96/63.69	c cleaning 9188 clauses out of 18386 with flag 45002/1578169
65.36/64.03	c cleaning 9595 clauses out of 19198 with flag 55002/1588169
65.36/64.05	c Got one! Elapsed wall clock time (in seconds):63.944
65.36/64.05	o 12
65.58/64.21	c cleaning 7497 clauses out of 15003 with flag 5002/1593569
65.78/64.40	c cleaning 6750 clauses out of 13506 with flag 11002/1599569
65.98/64.62	c cleaning 6874 clauses out of 13756 with flag 18002/1606569
66.18/64.88	c cleaning 7437 clauses out of 14882 with flag 26002/1614569
66.48/65.18	c cleaning 8216 clauses out of 16446 with flag 35003/1623570
66.88/65.51	c cleaning 9110 clauses out of 18227 with flag 45000/1633567
67.18/65.86	c cleaning 9552 clauses out of 19117 with flag 55000/1643567
67.49/66.18	c cleaning 9778 clauses out of 19567 with flag 65002/1653569
67.79/66.45	c Got one! Elapsed wall clock time (in seconds):66.336
67.79/66.45	o 9
67.99/66.65	c cleaning 11508 clauses out of 23027 with flag 5000/1666807
68.19/66.85	c cleaning 8757 clauses out of 17520 with flag 11001/1672808
68.39/67.08	c cleaning 7878 clauses out of 15763 with flag 18001/1679808
68.69/67.33	c cleaning 7938 clauses out of 15884 with flag 26000/1687807
68.99/67.62	c cleaning 8469 clauses out of 16946 with flag 35000/1696807
69.29/67.97	c cleaning 9236 clauses out of 18478 with flag 45001/1706808
69.70/68.35	c cleaning 9617 clauses out of 19241 with flag 55000/1716807
70.09/68.70	c cleaning 9808 clauses out of 19625 with flag 65001/1726808
70.39/69.05	c cleaning 9905 clauses out of 19817 with flag 75001/1736808
70.70/69.38	c cleaning 9950 clauses out of 19911 with flag 85000/1746807
71.10/69.71	c cleaning 9976 clauses out of 19961 with flag 95000/1756807
71.40/70.06	c cleaning 9988 clauses out of 19985 with flag 105000/1766807
71.80/70.41	c cleaning 9994 clauses out of 19997 with flag 115000/1776807
72.10/70.75	c cleaning 9998 clauses out of 20004 with flag 125001/1786808
72.40/71.08	c cleaning 9999 clauses out of 20005 with flag 135000/1796807
72.80/71.41	c cleaning 10000 clauses out of 20008 with flag 145002/1806809
73.10/71.78	c cleaning 9999 clauses out of 20007 with flag 155001/1816808
73.40/72.02	c Got one! Elapsed wall clock time (in seconds):71.907
73.40/72.02	o 7
73.60/72.23	c cleaning 11045 clauses out of 22094 with flag 5000/1828894
73.80/72.44	c cleaning 8518 clauses out of 17049 with flag 11000/1834894
74.00/72.66	c cleaning 7760 clauses out of 15532 with flag 18001/1841895
74.30/72.92	c cleaning 7881 clauses out of 15771 with flag 26000/1849894
74.60/73.23	c cleaning 8434 clauses out of 16892 with flag 35002/1858896
74.90/73.58	c cleaning 9225 clauses out of 18459 with flag 45003/1868897
75.30/73.91	c cleaning 9606 clauses out of 19231 with flag 55000/1878894
75.60/74.24	c cleaning 9807 clauses out of 19626 with flag 65001/1888895
75.90/74.56	c cleaning 9906 clauses out of 19819 with flag 75001/1898895
76.21/74.88	c cleaning 9949 clauses out of 19912 with flag 85000/1908894
76.60/75.20	c cleaning 9978 clauses out of 19965 with flag 95002/1918896
76.91/75.55	c cleaning 9982 clauses out of 19985 with flag 105000/1928894
77.31/75.93	c cleaning 9998 clauses out of 20003 with flag 115000/1938894
77.61/76.27	c cleaning 10000 clauses out of 20005 with flag 125000/1948894
78.01/76.61	c cleaning 10000 clauses out of 20007 with flag 135002/1958896
78.31/76.94	c cleaning 9999 clauses out of 20005 with flag 145000/1968894
78.51/77.17	c Got one! Elapsed wall clock time (in seconds):77.058
78.51/77.17	o 2
78.71/77.39	c cleaning 10945 clauses out of 21897 with flag 5003/1980785
78.91/77.58	c cleaning 8472 clauses out of 16949 with flag 11000/1986782
79.21/77.80	c cleaning 7733 clauses out of 15477 with flag 18000/1993782
79.41/78.06	c cleaning 7865 clauses out of 15744 with flag 26000/2001782
79.71/78.36	c cleaning 8434 clauses out of 16879 with flag 35000/2010782
80.11/78.70	c cleaning 9220 clauses out of 18445 with flag 45000/2020782
80.41/79.06	c cleaning 9607 clauses out of 19224 with flag 55000/2030782
80.82/79.41	c cleaning 9806 clauses out of 19617 with flag 65000/2040782
81.12/79.74	c cleaning 9903 clauses out of 19811 with flag 75000/2050782
81.52/80.11	c cleaning 9953 clauses out of 19912 with flag 85004/2060786
81.83/80.45	c cleaning 9976 clauses out of 19955 with flag 95001/2070783
81.92/80.51	c starts		: 261
81.92/80.51	c conflicts		: 2072638
81.92/80.51	c decisions		: 3323794
81.92/80.51	c propagations		: 51099238
81.92/80.51	c inspects		: 453142075
81.92/80.51	c shortcuts		: 0
81.92/80.51	c learnt literals	: 6
81.92/80.51	c learnt binary clauses	: 104
81.92/80.51	c learnt ternary clauses	: 1123
81.92/80.51	c learnt constraints	: 2072631
81.92/80.51	c ignored constraints	: 0
81.92/80.51	c root simplifications	: 0
81.92/80.51	c removed literals (reason simplification)	: 12655161
81.92/80.51	c reason swapping (by a shorter reason)	: 0
81.92/80.51	c Calls to reduceDB	: 242
81.92/80.51	c number of reductions to clauses (during analyze)	: 0
81.92/80.51	c number of learned constraints concerned by reduction	: 0
81.92/80.51	c number of learning phase by resolution	: 0
81.92/80.51	c number of learning phase by cutting planes	: 0
81.92/80.51	c speed (assignments/second)	: 1.52671759784882E7
81.92/80.51	c non guided choices	2204
81.92/80.51	c learnt constraints type 
81.92/80.51	c constraints type 
81.92/80.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
81.92/80.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
81.92/80.51	s OPTIMUM FOUND
81.92/80.51	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 
81.92/80.51	c objective function=2
81.92/80.51	c Total wall clock time (in seconds): 80.406

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.91 2/195 6033
/proc/meminfo: memFree=1030100/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6033/stat : 6033 (java) R 6031 6033 2916 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 635293852 23580672 693 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268655699432 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6033/statm: 5757 693 509 9 0 124 0

[startup+0.103505 s]
/proc/loadavg: 2.00 2.01 1.91 2/195 6033
/proc/meminfo: memFree=1030100/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10539860 CPUtime=0.1 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 13098 0 1 0 9 1 0 0 25 0 18 0 635293852 10792816640 12757 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2634965 12757 2092 9 0 2625699 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539860

[startup+0.205532 s]
/proc/loadavg: 2.00 2.01 1.91 2/195 6033
/proc/meminfo: memFree=1030100/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543340 CPUtime=0.28 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 15436 0 1 0 26 2 0 0 25 0 19 0 635293852 10796380160 14646 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635835 14646 2200 9 0 2626569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10543340

[startup+0.300473 s]
/proc/loadavg: 2.00 2.01 1.91 2/195 6033
/proc/meminfo: memFree=1030100/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543340 CPUtime=0.5 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 15943 0 1 0 48 2 0 0 25 0 19 0 635293852 10796380160 14929 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635835 14929 2214 9 0 2626569 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543340

[startup+0.700411 s]
/proc/loadavg: 2.00 2.01 1.91 2/195 6033
/proc/meminfo: memFree=1030100/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543340 CPUtime=0.95 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 16646 0 1 0 93 2 0 0 25 0 19 0 635293852 10796380160 15605 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635835 15605 2218 9 0 2626569 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10543340

[startup+1.50127 s]
/proc/loadavg: 2.00 2.01 1.91 3/214 6052
/proc/meminfo: memFree=968680/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543064 CPUtime=1.81 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 17837 0 1 0 179 2 0 0 25 0 19 0 635293852 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635766 16659 2246 9 0 2626500 0
[pid=6033/tid=6035] ppid=6031 vsize=10543064 CPUtime=1.45 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12572 0 1 0 144 1 0 0 20 0 19 0 635293852 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505602477 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 225 0 0 0 0 0 0 0 16 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10543064 CPUtime=0.02 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 435 0 0 0 2 0 0 0 15 0 19 0 635293855 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10543064 CPUtime=0.15 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 1133 0 0 0 15 0 0 0 15 0 19 0 635293858 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10543064 CPUtime=0.17 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 1975 0 0 0 17 0 0 0 15 0 19 0 635293858 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293858 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10796097536 16659 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10543064

[startup+3.10098 s]
/proc/loadavg: 2.00 2.01 1.91 3/214 6053
/proc/meminfo: memFree=966696/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543064 CPUtime=3.44 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 17983 0 1 0 342 2 0 0 25 0 19 0 635293852 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635766 16800 2248 9 0 2626500 0
[pid=6033/tid=6035] ppid=6031 vsize=10543064 CPUtime=2.98 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12577 0 1 0 297 1 0 0 25 0 19 0 635293852 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505596324 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10543064 CPUtime=0.08 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 547 0 0 0 8 0 0 0 15 0 19 0 635293855 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10543064 CPUtime=0.15 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 1133 0 0 0 15 0 0 0 15 0 19 0 635293858 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10543064 CPUtime=0.19 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 1982 0 0 0 19 0 0 0 15 0 19 0 635293858 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293858 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10796097536 16800 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 10543064

[startup+6.30141 s]
/proc/loadavg: 2.00 2.01 1.91 3/214 6053
/proc/meminfo: memFree=965844/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10543064 CPUtime=6.67 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 18097 0 1 0 665 2 0 0 25 0 19 0 635293852 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2635766 16878 2248 9 0 2626500 0
[pid=6033/tid=6035] ppid=6031 vsize=10543064 CPUtime=6.03 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12590 0 1 0 602 1 0 0 18 0 19 0 635293852 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 163 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 635293854 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10543064 CPUtime=0.21 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 581 0 0 0 21 0 0 0 15 0 19 0 635293855 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10543064 CPUtime=0.15 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 1133 0 0 0 15 0 0 0 15 0 19 0 635293858 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10543064 CPUtime=0.2 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 1985 0 0 0 20 0 0 0 15 0 19 0 635293858 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635293858 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10543064 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10796097536 16878 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 10543064

[startup+12.7012 s]

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

/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 51 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 13 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 63 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 50 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 215 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 284 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 216 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10554200 CPUtime=3.24 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 1118 0 0 0 322 2 0 0 15 0 19 0 635293855 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10554200 CPUtime=0.96 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 9059 0 0 0 95 1 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10554200 CPUtime=0.26 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 2019 0 0 0 26 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 80.62
Current children cumulated vsize (KiB) 10554200

[startup+80.0014 s]
/proc/loadavg: 2.05 2.02 1.92 3/214 6055
/proc/meminfo: memFree=934000/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10554200 CPUtime=81.42 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 27075 0 1 0 8135 7 0 0 25 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2638550 20543 2251 9 0 2629284 0
[pid=6033/tid=6035] ppid=6031 vsize=10554200 CPUtime=76.39 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12815 0 1 0 7637 2 0 0 18 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505564048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 51 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 13 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 63 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 50 0 0 0 6 0 0 0 16 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10554200 CPUtime=0.07 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 16 0 0 0 7 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 215 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 284 0 0 0 5 0 0 0 16 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 216 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10554200 CPUtime=3.27 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 1118 0 0 0 325 2 0 0 15 0 19 0 635293855 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10554200 CPUtime=0.96 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 9059 0 0 0 95 1 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10554200 CPUtime=0.26 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 2019 0 0 0 26 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 81.42
Current children cumulated vsize (KiB) 10554200

[startup+80.4064 s]
/proc/loadavg: 2.05 2.02 1.92 3/214 6055
/proc/meminfo: memFree=933876/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10554200 CPUtime=81.83 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 27076 0 1 0 8176 7 0 0 25 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2638550 20543 2251 9 0 2629284 0
[pid=6033/tid=6035] ppid=6031 vsize=10554200 CPUtime=76.78 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12816 0 1 0 7676 2 0 0 18 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505537246 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10554200 CPUtime=0.07 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 51 0 0 0 7 0 0 0 16 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 13 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 63 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 50 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10554200 CPUtime=0.07 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 16 0 0 0 7 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 215 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 284 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 216 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10554200 CPUtime=3.28 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 1118 0 0 0 326 2 0 0 15 0 19 0 635293855 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10554200 CPUtime=0.96 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 9059 0 0 0 95 1 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10554200 CPUtime=0.26 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 2019 0 0 0 26 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 81.83
Current children cumulated vsize (KiB) 10554200

[startup+80.5014 s]
/proc/loadavg: 2.05 2.02 1.92 3/214 6055
/proc/meminfo: memFree=933876/32951124 swapFree=67055716/67111528
[pid=6033] ppid=6031 vsize=10554200 CPUtime=81.92 cores=1,3,5,7
/proc/6033/stat : 6033 (java) S 6031 6033 2916 0 -1 4202496 27077 0 1 0 8185 7 0 0 25 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6033/statm: 2638550 20543 2251 9 0 2629284 0
[pid=6033/tid=6035] ppid=6031 vsize=10554200 CPUtime=76.86 cores=1,3,5,7
/proc/6033/task/6035/stat : 6035 (java) R 6031 6033 2916 0 -1 4202560 12817 0 1 0 7684 2 0 0 18 0 19 0 635293852 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 46912505602489 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6033/tid=6036] ppid=6031 vsize=10554200 CPUtime=0.07 cores=1,3,5,7
/proc/6033/task/6036/stat : 6036 (java) S 6031 6033 2916 0 -1 4202560 51 0 0 0 7 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6037] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6037/stat : 6037 (java) S 6031 6033 2916 0 -1 4202560 13 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6038] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6038/stat : 6038 (java) S 6031 6033 2916 0 -1 4202560 63 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6039] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6039/stat : 6039 (java) S 6031 6033 2916 0 -1 4202560 50 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6040] ppid=6031 vsize=10554200 CPUtime=0.07 cores=1,3,5,7
/proc/6033/task/6040/stat : 6040 (java) S 6031 6033 2916 0 -1 4202560 16 0 0 0 7 0 0 0 16 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6041] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6041/stat : 6041 (java) S 6031 6033 2916 0 -1 4202560 215 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6042] ppid=6031 vsize=10554200 CPUtime=0.05 cores=1,3,5,7
/proc/6033/task/6042/stat : 6042 (java) S 6031 6033 2916 0 -1 4202560 284 0 0 0 5 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6043] ppid=6031 vsize=10554200 CPUtime=0.06 cores=1,3,5,7
/proc/6033/task/6043/stat : 6043 (java) S 6031 6033 2916 0 -1 4202560 216 0 0 0 6 0 0 0 15 0 19 0 635293854 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6044] ppid=6031 vsize=10554200 CPUtime=3.29 cores=1,3,5,7
/proc/6033/task/6044/stat : 6044 (java) S 6031 6033 2916 0 -1 4202560 1118 0 0 0 327 2 0 0 15 0 19 0 635293855 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 0 0 16800975 18446604454222990336 0 0 -1 3 0 0 0
[pid=6033/tid=6045] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6045/stat : 6045 (java) S 6031 6033 2916 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6046] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6046/stat : 6046 (java) S 6031 6033 2916 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 635293856 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 7 0 0 0
[pid=6033/tid=6047] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6047/stat : 6047 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672485809 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6048] ppid=6031 vsize=10554200 CPUtime=0.96 cores=1,3,5,7
/proc/6033/task/6048/stat : 6048 (java) S 6031 6033 2916 0 -1 4202560 9059 0 0 0 95 1 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 5 0 0 0
[pid=6033/tid=6049] ppid=6031 vsize=10554200 CPUtime=0.26 cores=1,3,5,7
/proc/6033/task/6049/stat : 6049 (java) S 6031 6033 2916 0 -1 4202560 2019 0 0 0 26 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6050] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6050/stat : 6050 (java) S 6031 6033 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478105 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6051] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6051/stat : 6051 (java) S 6031 6033 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635293858 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
[pid=6033/tid=6052] ppid=6031 vsize=10554200 CPUtime=0 cores=1,3,5,7
/proc/6033/task/6052/stat : 6052 (java) S 6031 6033 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635293869 10807500800 20543 33554432000 1073741824 1073778376 140735726002352 18446744073709551615 268672478720 0 4 0 16800975 18446604454222990336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 81.92
Current children cumulated vsize (KiB) 10554200

Child status: 30
Real time (s): 80.5238
CPU time (s): 81.9595
CPU user time (s): 81.8786
CPU system time (s): 0.080987
CPU usage (%): 101.783
Max. virtual memory (cumulated for all children) (KiB): 10565368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.8786
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27104
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= 8050
involuntary context switches= 4321

runsolver used 0.145977 second user time and 0.309952 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:37:06
IDJOB=3492633
IDBENCH=79200
IDSOLVER=1982
FILE ID=node107/3492633-1307911026
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= da988fefd96faf0ea045ffc9072a875f
RANDOM SEED=71442344

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1030388 kB
Buffers:         62676 kB
Cached:       30723684 kB
SwapCached:      20072 kB
Active:       15773852 kB
Inactive:     15187360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1030388 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             128 kB
Writeback:           0 kB
AnonPages:      172252 kB
Mapped:          21144 kB
Slab:           896728 kB
PageTables:       5104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10540632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:38:26