Trace number 3492669

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 83.6393 82.1582

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218308--soft-0-100-0.wbo
MD5SUM603b2ea4eb6e4b400f8febe44a5c96d8
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.66659
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 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1154
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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-3492669-1307911109.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
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.131
0.28/0.24	o 1054
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.153
0.28/0.26	o 761
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.163
0.28/0.27	o 498
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.173
0.28/0.28	o 478
0.87/0.61	c Got one! Elapsed wall clock time (in seconds):0.501
0.87/0.61	o 473
0.87/0.69	c cleaning 3255 clauses out of 6516 with flag 1001/6516
1.00/0.71	c Got one! Elapsed wall clock time (in seconds):0.604
1.00/0.71	o 447
1.00/0.75	c Got one! Elapsed wall clock time (in seconds):0.641
1.00/0.75	o 439
1.11/0.84	c Got one! Elapsed wall clock time (in seconds):0.727
1.11/0.84	o 437
1.11/0.86	c Got one! Elapsed wall clock time (in seconds):0.747
1.11/0.86	o 263
1.23/0.98	c cleaning 5115 clauses out of 10237 with flag 3002/13492
1.53/1.26	c cleaning 5556 clauses out of 11120 with flag 9000/19490
1.74/1.43	c Got one! Elapsed wall clock time (in seconds):1.325
1.74/1.43	o 255
1.84/1.52	c cleaning 5322 clauses out of 10651 with flag 2004/24577
2.16/1.83	c cleaning 5661 clauses out of 11325 with flag 8000/30573
2.16/1.85	c Got one! Elapsed wall clock time (in seconds):1.747
2.16/1.85	o 254
2.36/2.05	c cleaning 5510 clauses out of 11028 with flag 5001/35937
2.76/2.42	c Got one! Elapsed wall clock time (in seconds):2.31
2.76/2.42	o 245
2.87/2.52	c Got one! Elapsed wall clock time (in seconds):2.415
2.87/2.52	o 231
2.97/2.66	c cleaning 8646 clauses out of 17300 with flag 3000/47719
3.27/2.99	c cleaning 7314 clauses out of 14655 with flag 9001/53720
3.68/3.32	c cleaning 7164 clauses out of 14340 with flag 16000/60719
3.98/3.69	c Got one! Elapsed wall clock time (in seconds):3.583
3.98/3.69	o 224
4.18/3.89	c cleaning 9550 clauses out of 19107 with flag 5000/72650
4.28/3.94	c Got one! Elapsed wall clock time (in seconds):3.834
4.28/3.94	o 218
4.49/4.11	c cleaning 7298 clauses out of 14604 with flag 4000/77697
4.69/4.36	c cleaning 6651 clauses out of 13308 with flag 10002/83699
5.09/4.75	c cleaning 6816 clauses out of 13655 with flag 17000/90697
5.09/4.77	c Got one! Elapsed wall clock time (in seconds):4.659
5.09/4.77	o 216
5.29/4.91	c Got one! Elapsed wall clock time (in seconds):4.8
5.29/4.91	o 195
5.29/4.96	c cleaning 6063 clauses out of 12134 with flag 1004/95992
5.59/5.20	c cleaning 6027 clauses out of 12069 with flag 7002/101990
5.89/5.59	c cleaning 6512 clauses out of 13040 with flag 14000/108988
6.39/6.05	c cleaning 7261 clauses out of 14528 with flag 22000/116988
6.89/6.52	c cleaning 8131 clauses out of 16268 with flag 31001/125989
7.49/7.10	c cleaning 9063 clauses out of 18138 with flag 41002/135990
8.00/7.69	c cleaning 9529 clauses out of 19073 with flag 51000/145988
8.19/7.80	c Got one! Elapsed wall clock time (in seconds):7.694
8.19/7.80	o 193
8.31/7.95	c cleaning 7677 clauses out of 15360 with flag 4003/151804
8.51/8.19	c cleaning 6831 clauses out of 13680 with flag 10000/157801
8.81/8.46	c Got one! Elapsed wall clock time (in seconds):8.352
8.81/8.46	o 190
9.01/8.65	c cleaning 8669 clauses out of 17345 with flag 5000/168297
9.22/8.89	c cleaning 7333 clauses out of 14677 with flag 11001/174298
9.62/9.24	c cleaning 7162 clauses out of 14344 with flag 18001/181298
10.12/9.73	c cleaning 7579 clauses out of 15181 with flag 26000/189297
10.62/10.23	c cleaning 8299 clauses out of 16604 with flag 35002/198299
11.22/10.81	c cleaning 9150 clauses out of 18303 with flag 45000/208297
11.73/11.31	c cleaning 9569 clauses out of 19153 with flag 55000/218297
11.73/11.33	c Got one! Elapsed wall clock time (in seconds):11.219
11.73/11.33	o 186
11.93/11.50	c cleaning 7324 clauses out of 14655 with flag 5002/223368
12.13/11.77	c cleaning 6662 clauses out of 13329 with flag 11000/229366
12.53/12.18	c cleaning 6825 clauses out of 13668 with flag 18001/236367
13.03/12.61	c cleaning 7412 clauses out of 14842 with flag 26000/244366
13.03/12.68	c Got one! Elapsed wall clock time (in seconds):12.572
13.03/12.68	o 178
13.23/12.82	c cleaning 6278 clauses out of 12561 with flag 4001/249497
13.43/13.05	c cleaning 6138 clauses out of 12283 with flag 10001/255497
13.73/13.33	c cleaning 6567 clauses out of 13144 with flag 17000/262496
13.93/13.54	c Got one! Elapsed wall clock time (in seconds):13.431
13.93/13.54	o 168
14.13/13.74	c cleaning 8406 clauses out of 16819 with flag 5000/272738
14.34/13.98	c cleaning 7204 clauses out of 14413 with flag 11000/278738
14.64/14.28	c cleaning 7105 clauses out of 14216 with flag 18007/285745
14.94/14.59	c cleaning 7550 clauses out of 15108 with flag 26004/293742
15.34/14.98	c cleaning 8275 clauses out of 16556 with flag 35002/302740
15.64/15.25	c Got one! Elapsed wall clock time (in seconds):15.146
15.64/15.25	o 156
15.89/15.47	c cleaning 9237 clauses out of 18485 with flag 5003/312944
16.29/15.84	c cleaning 7610 clauses out of 15245 with flag 11000/318941
16.70/16.27	c cleaning 7308 clauses out of 14635 with flag 18000/325941
17.10/16.67	c Got one! Elapsed wall clock time (in seconds):16.559
17.10/16.67	o 152
17.30/16.86	c cleaning 9748 clauses out of 19506 with flag 5001/338120
17.60/17.10	c cleaning 7876 clauses out of 15760 with flag 11003/344122
17.70/17.23	c Got one! Elapsed wall clock time (in seconds):17.118
17.70/17.23	o 145
17.84/17.35	c cleaning 6873 clauses out of 13757 with flag 3004/349995
18.05/17.56	c cleaning 6437 clauses out of 12880 with flag 9000/355991
18.35/17.81	c cleaning 6716 clauses out of 13445 with flag 16002/362993
18.54/18.02	c Got one! Elapsed wall clock time (in seconds):17.909
18.54/18.02	o 131
18.54/18.07	c cleaning 6349 clauses out of 12705 with flag 1001/368969
18.74/18.29	c cleaning 6171 clauses out of 12356 with flag 7001/374969
19.04/18.54	c cleaning 6591 clauses out of 13187 with flag 14003/381971
19.34/18.87	c cleaning 7293 clauses out of 14594 with flag 22001/389969
19.75/19.27	c cleaning 8143 clauses out of 16301 with flag 31001/398969
20.35/19.82	c cleaning 9072 clauses out of 18158 with flag 41001/408969
20.85/20.36	c cleaning 9540 clauses out of 19085 with flag 51000/418968
21.45/20.90	c cleaning 9765 clauses out of 19545 with flag 61000/428968
21.95/21.45	c cleaning 9880 clauses out of 19782 with flag 71002/438970
22.45/21.95	c cleaning 9944 clauses out of 19900 with flag 81000/448968
23.05/22.51	c cleaning 9972 clauses out of 19956 with flag 91000/458968
23.25/22.75	c Got one! Elapsed wall clock time (in seconds):22.639
23.25/22.75	o 119
23.35/22.82	c cleaning 7810 clauses out of 15627 with flag 2001/464611
23.56/23.05	c cleaning 6902 clauses out of 13817 with flag 8001/470611
24.00/23.45	c cleaning 6949 clauses out of 13914 with flag 15000/477610
24.83/23.93	c cleaning 7481 clauses out of 14967 with flag 23002/485612
25.70/24.48	c cleaning 8233 clauses out of 16485 with flag 32001/494611
26.41/25.10	c cleaning 9118 clauses out of 18251 with flag 42000/504610
26.91/25.69	c cleaning 9562 clauses out of 19133 with flag 52000/514610
27.61/26.30	c cleaning 9779 clauses out of 19571 with flag 62000/524610
28.21/26.91	c cleaning 9892 clauses out of 19792 with flag 72000/534610
28.81/27.50	c cleaning 9946 clauses out of 19900 with flag 82000/544610
29.30/28.07	c cleaning 9973 clauses out of 19954 with flag 92000/554610
29.50/28.29	c Got one! Elapsed wall clock time (in seconds):28.179
29.50/28.29	o 118
29.60/28.33	c cleaning 7565 clauses out of 15137 with flag 1001/559766
29.81/28.55	c cleaning 6780 clauses out of 13571 with flag 7000/565765
30.11/28.83	c cleaning 6893 clauses out of 13794 with flag 14003/572768
30.41/29.12	c cleaning 7441 clauses out of 14898 with flag 22000/580765
30.81/29.50	c cleaning 8225 clauses out of 16458 with flag 31001/589766
31.21/29.94	c cleaning 9114 clauses out of 18233 with flag 41001/599766
31.51/30.29	c Got one! Elapsed wall clock time (in seconds):30.182
31.51/30.29	o 114
31.81/30.53	c cleaning 11046 clauses out of 22102 with flag 5001/612749
32.02/30.78	c cleaning 8522 clauses out of 17056 with flag 11001/618749
32.32/31.06	c cleaning 7763 clauses out of 15535 with flag 18002/625750
32.62/31.40	c cleaning 7882 clauses out of 15770 with flag 26000/633748
33.02/31.77	c cleaning 8442 clauses out of 16889 with flag 35001/642749
33.42/32.14	c cleaning 9221 clauses out of 18449 with flag 45003/652751
33.82/32.51	c cleaning 9606 clauses out of 19225 with flag 55000/662748
34.22/32.91	c cleaning 9804 clauses out of 19619 with flag 65000/672748
34.72/33.40	c cleaning 9905 clauses out of 19817 with flag 75002/682750
34.72/33.47	c Got one! Elapsed wall clock time (in seconds):33.357
34.72/33.47	o 101
34.92/33.61	c cleaning 7518 clauses out of 15039 with flag 4001/687877
35.02/33.72	c Got one! Elapsed wall clock time (in seconds):33.615
35.02/33.72	o 97
35.12/33.83	c cleaning 6632 clauses out of 13276 with flag 3000/693632
35.33/34.08	c cleaning 6315 clauses out of 12644 with flag 9000/699632
35.72/34.42	c cleaning 6660 clauses out of 13329 with flag 16000/706632
35.72/34.47	c Got one! Elapsed wall clock time (in seconds):34.363
35.72/34.47	o 96
35.92/34.64	c cleaning 6244 clauses out of 12496 with flag 5002/712459
36.12/34.86	c cleaning 6122 clauses out of 12251 with flag 11001/718458
36.53/35.22	c cleaning 6559 clauses out of 13129 with flag 18001/725458
36.92/35.65	c cleaning 7280 clauses out of 14569 with flag 26000/733457
37.42/36.11	c Got one! Elapsed wall clock time (in seconds):36.003
37.42/36.11	o 89
37.63/36.36	c cleaning 10168 clauses out of 20345 with flag 5002/746513
37.92/36.61	c cleaning 8084 clauses out of 16176 with flag 11001/752512
38.12/36.89	c cleaning 7542 clauses out of 15091 with flag 18000/759511
38.42/37.19	c cleaning 7769 clauses out of 15551 with flag 26002/767513
38.93/37.62	c cleaning 8384 clauses out of 16780 with flag 35000/776511
39.43/38.11	c cleaning 9193 clauses out of 18397 with flag 45001/786512
39.53/38.25	c Got one! Elapsed wall clock time (in seconds):38.139
39.53/38.25	o 67
39.63/38.36	c cleaning 7508 clauses out of 15028 with flag 3001/792336
39.83/38.58	c cleaning 6752 clauses out of 13519 with flag 9000/798335
40.13/38.84	c cleaning 6881 clauses out of 13768 with flag 16001/805336
40.43/39.12	c cleaning 7437 clauses out of 14886 with flag 24000/813335
40.73/39.48	c cleaning 8220 clauses out of 16451 with flag 33002/822337
41.13/39.88	c cleaning 9110 clauses out of 18229 with flag 43000/832335
41.63/40.34	c cleaning 9555 clauses out of 19119 with flag 53000/842335
42.13/40.82	c cleaning 9776 clauses out of 19564 with flag 63000/852335
42.54/41.27	c cleaning 9886 clauses out of 19788 with flag 73000/862335
43.04/41.75	c cleaning 9946 clauses out of 19904 with flag 83002/872337
43.54/42.20	c cleaning 9970 clauses out of 19956 with flag 93000/882335
43.84/42.54	c Got one! Elapsed wall clock time (in seconds):42.436
43.84/42.54	o 65
44.04/42.76	c cleaning 11309 clauses out of 22626 with flag 5002/894975
44.34/43.00	c cleaning 8655 clauses out of 17318 with flag 11003/900976
44.54/43.28	c cleaning 7825 clauses out of 15660 with flag 18000/907973
44.84/43.57	c cleaning 7915 clauses out of 15835 with flag 26000/915973
45.25/43.91	c cleaning 8455 clauses out of 16920 with flag 35000/924973
45.64/44.31	c cleaning 9230 clauses out of 18466 with flag 45001/934974
46.04/44.73	c cleaning 9611 clauses out of 19235 with flag 55000/944973
46.45/45.19	c cleaning 9803 clauses out of 19625 with flag 65001/954974
46.94/45.64	c cleaning 9906 clauses out of 19822 with flag 75001/964974
47.25/45.92	c Got one! Elapsed wall clock time (in seconds):45.808
47.25/45.92	o 61
47.45/46.12	c cleaning 10562 clauses out of 21132 with flag 5000/976190
47.65/46.36	c cleaning 8279 clauses out of 16571 with flag 11001/982191
47.96/46.65	c cleaning 7640 clauses out of 15294 with flag 18003/989193
48.26/46.94	c cleaning 7823 clauses out of 15651 with flag 26000/997190
48.56/47.28	c cleaning 8408 clauses out of 16828 with flag 35000/1006190
48.96/47.69	c cleaning 9206 clauses out of 18421 with flag 45001/1016191
49.36/48.09	c cleaning 9603 clauses out of 19214 with flag 55000/1026190
49.86/48.50	c cleaning 9801 clauses out of 19611 with flag 65000/1036190
50.26/48.99	c cleaning 9901 clauses out of 19812 with flag 75002/1046192
50.67/49.39	c cleaning 9952 clauses out of 19909 with flag 85000/1056190
51.07/49.78	c cleaning 9975 clauses out of 19957 with flag 95000/1066190
51.57/50.21	c cleaning 9985 clauses out of 19982 with flag 105000/1076190
51.67/50.34	c Got one! Elapsed wall clock time (in seconds):50.235
51.67/50.34	o 57
51.78/50.45	c cleaning 7832 clauses out of 15676 with flag 3000/1081869
51.99/50.69	c cleaning 6914 clauses out of 13845 with flag 9001/1087870
52.28/50.99	c cleaning 6957 clauses out of 13930 with flag 16000/1094869
52.68/51.32	c cleaning 7477 clauses out of 14973 with flag 24000/1102869
52.99/51.68	c cleaning 8241 clauses out of 16496 with flag 33000/1111869
53.28/51.90	c Got one! Elapsed wall clock time (in seconds):51.79
53.28/51.90	o 44
53.50/52.10	c cleaning 9510 clauses out of 19028 with flag 5001/1122642
53.70/52.34	c cleaning 7753 clauses out of 15517 with flag 11000/1128641
54.00/52.61	c cleaning 7376 clauses out of 14764 with flag 18000/1135641
54.30/52.91	c cleaning 7689 clauses out of 15388 with flag 26000/1143641
54.70/53.32	c cleaning 8345 clauses out of 16700 with flag 35001/1152642
55.10/53.74	c cleaning 9172 clauses out of 18357 with flag 45003/1162644
55.40/54.06	c Got one! Elapsed wall clock time (in seconds):53.948
55.40/54.06	o 42
55.60/54.29	c cleaning 11037 clauses out of 22078 with flag 5004/1175537
55.90/54.54	c cleaning 8512 clauses out of 17038 with flag 11001/1181534
56.20/54.81	c cleaning 7758 clauses out of 15525 with flag 18000/1188533
56.41/55.09	c cleaning 7878 clauses out of 15767 with flag 26000/1196533
56.80/55.43	c cleaning 8438 clauses out of 16889 with flag 35000/1205533
57.20/55.82	c cleaning 9223 clauses out of 18452 with flag 45001/1215534
57.61/56.23	c cleaning 9607 clauses out of 19228 with flag 55000/1225533
58.01/56.63	c cleaning 9808 clauses out of 19624 with flag 65003/1235536
58.41/57.00	c cleaning 9903 clauses out of 19813 with flag 75000/1245533
58.81/57.42	c cleaning 9950 clauses out of 19910 with flag 85000/1255533
58.91/57.55	c Got one! Elapsed wall clock time (in seconds):57.442
58.91/57.55	o 41
59.01/57.62	c cleaning 7596 clauses out of 15210 with flag 2002/1260783
59.21/57.83	c cleaning 6800 clauses out of 13612 with flag 8000/1266781
59.51/58.11	c cleaning 6901 clauses out of 13812 with flag 15000/1273781
59.72/58.39	c cleaning 7452 clauses out of 14911 with flag 23000/1281781
60.11/58.71	c cleaning 8226 clauses out of 16461 with flag 32002/1290783
60.41/59.08	c cleaning 9114 clauses out of 18237 with flag 42004/1300785
60.82/59.46	c cleaning 9556 clauses out of 19120 with flag 52001/1310782
61.21/59.85	c cleaning 9776 clauses out of 19563 with flag 62000/1320781
61.61/60.25	c cleaning 9891 clauses out of 19788 with flag 72001/1330782
62.02/60.65	c cleaning 9944 clauses out of 19898 with flag 82002/1340783
62.42/61.06	c cleaning 9972 clauses out of 19952 with flag 92000/1350781
62.83/61.46	c cleaning 9980 clauses out of 19980 with flag 102000/1360781
63.23/61.85	c cleaning 9995 clauses out of 20000 with flag 112000/1370781
63.33/61.97	c Got one! Elapsed wall clock time (in seconds):61.858
63.33/61.97	o 40
63.43/62.04	c cleaning 7587 clauses out of 15184 with flag 2000/1375960
63.63/62.25	c cleaning 6795 clauses out of 13597 with flag 8000/1381960
63.93/62.51	c cleaning 6900 clauses out of 13806 with flag 15004/1388964
64.14/62.78	c cleaning 7446 clauses out of 14905 with flag 23003/1396963
64.53/63.12	c cleaning 8226 clauses out of 16457 with flag 32001/1405961
64.93/63.50	c cleaning 9113 clauses out of 18231 with flag 42001/1415961
65.24/63.89	c cleaning 9555 clauses out of 19118 with flag 52001/1425961
65.73/64.30	c cleaning 9777 clauses out of 19562 with flag 62000/1435960
66.13/64.71	c cleaning 9889 clauses out of 19785 with flag 72000/1445960
66.53/65.11	c cleaning 9944 clauses out of 19896 with flag 82000/1455960
66.84/65.48	c cleaning 9974 clauses out of 19954 with flag 92002/1465962
67.24/65.86	c cleaning 9984 clauses out of 19979 with flag 102001/1475961
67.64/66.27	c cleaning 9994 clauses out of 19995 with flag 112001/1485961
68.04/66.65	c cleaning 9993 clauses out of 20000 with flag 122000/1495960
68.44/67.09	c cleaning 9996 clauses out of 20008 with flag 132001/1505961
68.94/67.58	c cleaning 10001 clauses out of 20011 with flag 142000/1515960
69.44/68.03	c cleaning 10001 clauses out of 20010 with flag 152000/1525960
69.94/68.52	c cleaning 9997 clauses out of 20010 with flag 162001/1535961
70.34/68.99	c cleaning 10001 clauses out of 20013 with flag 172001/1545961
70.75/69.37	c cleaning 9999 clauses out of 20011 with flag 182000/1555960
71.14/69.77	c cleaning 9998 clauses out of 20013 with flag 192001/1565961
71.54/70.19	c cleaning 9999 clauses out of 20014 with flag 202000/1575960
72.04/70.65	c cleaning 10001 clauses out of 20015 with flag 212000/1585960
72.54/71.10	c cleaning 10003 clauses out of 20015 with flag 222001/1595961
72.94/71.54	c cleaning 10001 clauses out of 20011 with flag 232000/1605960
73.34/71.95	c cleaning 10003 clauses out of 20012 with flag 242002/1615962
73.74/72.32	c cleaning 10000 clauses out of 20007 with flag 252000/1625960
74.05/72.63	c Got one! Elapsed wall clock time (in seconds):72.526
74.05/72.63	o 39
74.24/72.86	c cleaning 11773 clauses out of 23550 with flag 5001/1639503
74.44/73.09	c cleaning 8885 clauses out of 17777 with flag 11001/1645503
74.54/73.15	c Got one! Elapsed wall clock time (in seconds):73.045
74.54/73.15	o 30
74.64/73.29	c cleaning 7361 clauses out of 14731 with flag 4001/1651342
74.95/73.50	c cleaning 6681 clauses out of 13369 with flag 10000/1657341
75.06/73.67	c Got one! Elapsed wall clock time (in seconds):73.562
75.06/73.67	o 28
75.16/73.71	c cleaning 6252 clauses out of 12510 with flag 1001/1663163
75.36/73.91	c cleaning 6125 clauses out of 12258 with flag 7001/1669163
75.56/74.16	c cleaning 6562 clauses out of 13134 with flag 14002/1676164
75.96/74.54	c cleaning 7277 clauses out of 14571 with flag 22001/1684163
76.06/74.66	c Got one! Elapsed wall clock time (in seconds):74.556
76.06/74.66	o 2
76.16/74.73	c cleaning 6516 clauses out of 13049 with flag 2000/1689918
76.36/74.93	c cleaning 6264 clauses out of 12533 with flag 8000/1695918
76.56/75.18	c cleaning 6633 clauses out of 13272 with flag 15003/1702921
76.86/75.45	c cleaning 7313 clauses out of 14636 with flag 23000/1710918
77.16/75.77	c cleaning 8158 clauses out of 16325 with flag 32002/1719920
77.56/76.12	c cleaning 9076 clauses out of 18167 with flag 42002/1729920
77.56/76.17	c Got one! Elapsed wall clock time (in seconds):76.064
77.56/76.17	o 1
77.76/76.32	c cleaning 7239 clauses out of 14493 with flag 4001/1735322
77.96/76.52	c cleaning 6623 clauses out of 13253 with flag 10000/1741321
78.16/76.75	c cleaning 6809 clauses out of 13630 with flag 17000/1748321
78.47/77.02	c cleaning 7406 clauses out of 14821 with flag 25000/1756321
78.76/77.33	c cleaning 8201 clauses out of 16415 with flag 34000/1765321
79.16/77.70	c cleaning 9103 clauses out of 18214 with flag 44000/1775321
79.47/78.08	c cleaning 9552 clauses out of 19111 with flag 54000/1785321
79.87/78.45	c cleaning 9773 clauses out of 19560 with flag 64001/1795322
80.27/78.82	c cleaning 9887 clauses out of 19787 with flag 74001/1805322
80.57/79.18	c cleaning 9947 clauses out of 19899 with flag 84000/1815321
80.97/79.55	c cleaning 9972 clauses out of 19952 with flag 94000/1825321
81.37/79.90	c cleaning 9985 clauses out of 19980 with flag 104000/1835321
81.68/80.28	c cleaning 9993 clauses out of 19995 with flag 114000/1845321
82.18/80.72	c cleaning 9992 clauses out of 20002 with flag 124000/1855321
82.58/81.13	c cleaning 10004 clauses out of 20011 with flag 134001/1865322
82.98/81.54	c cleaning 9998 clauses out of 20006 with flag 144000/1875321
83.38/81.94	c cleaning 10000 clauses out of 20009 with flag 154001/1885322
83.58/82.14	c starts		: 254
83.58/82.14	c conflicts		: 1890588
83.58/82.14	c decisions		: 2914761
83.58/82.14	c propagations		: 51136927
83.58/82.14	c inspects		: 463589026
83.58/82.14	c shortcuts		: 0
83.58/82.14	c learnt literals	: 6
83.58/82.14	c learnt binary clauses	: 61
83.58/82.14	c learnt ternary clauses	: 1060
83.58/82.14	c learnt constraints	: 1890581
83.58/82.14	c ignored constraints	: 0
83.58/82.14	c root simplifications	: 0
83.58/82.14	c removed literals (reason simplification)	: 11856742
83.58/82.14	c reason swapping (by a shorter reason)	: 0
83.58/82.14	c Calls to reduceDB	: 224
83.58/82.14	c number of reductions to clauses (during analyze)	: 0
83.58/82.14	c number of learned constraints concerned by reduction	: 0
83.58/82.14	c number of learning phase by resolution	: 0
83.58/82.14	c number of learning phase by cutting planes	: 0
83.58/82.14	c speed (assignments/second)	: 8572829.337803856
83.58/82.14	c non guided choices	3070
83.58/82.14	c learnt constraints type 
83.58/82.14	c constraints type 
83.58/82.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
83.58/82.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
83.58/82.14	s OPTIMUM FOUND
83.58/82.14	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 
83.58/82.14	c objective function=1
83.58/82.14	c Total wall clock time (in seconds): 82.029

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492669-1307911109/watcher-3492669-1307911109 -o /var/tmp/evaluation-result-3492669-1307911109/solver-3492669-1307911109 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492669-1307911109.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.02 1.97 2/199 3411
/proc/meminfo: memFree=1267496/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3411/stat : 3411 (java) R 3409 3411 446 0 -1 4202496 671 0 0 0 0 0 0 0 25 0 1 0 902708825 23580672 414 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271545575168 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/3411/statm: 5757 425 323 9 0 124 0

[startup+0.0767329 s]
/proc/loadavg: 2.00 2.02 1.97 2/199 3411
/proc/meminfo: memFree=1267496/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 11925 0 1 0 5 1 0 0 25 0 18 0 902708825 10791550976 11621 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2634656 11622 1754 9 0 2625390 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624

[startup+0.100691 s]
/proc/loadavg: 2.00 2.02 1.97 2/199 3411
/proc/meminfo: memFree=1267496/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10540284 CPUtime=0.1 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 13085 0 1 0 9 1 0 0 25 0 18 0 902708825 10793250816 12756 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2635071 12757 2092 9 0 2625805 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540284

[startup+0.300691 s]
/proc/loadavg: 2.00 2.02 1.97 2/199 3411
/proc/meminfo: memFree=1267496/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10545032 CPUtime=0.53 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 16217 0 1 0 51 2 0 0 25 0 19 0 902708825 10798112768 14704 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636258 14705 2214 9 0 2626992 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545032

[startup+0.700619 s]
/proc/loadavg: 2.00 2.02 1.97 2/199 3411
/proc/meminfo: memFree=1267496/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10545032 CPUtime=1 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 17276 0 1 0 98 2 0 0 25 0 19 0 902708825 10798112768 15449 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636258 15449 2242 9 0 2626992 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10545032

[startup+1.50147 s]
/proc/loadavg: 2.00 2.02 1.97 3/218 3431
/proc/meminfo: memFree=1211204/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10545032 CPUtime=1.84 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 18150 0 1 0 182 2 0 0 25 0 19 0 902708825 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636258 16321 2246 9 0 2626992 0
[pid=3411/tid=3413] ppid=3409 vsize=10545032 CPUtime=1.44 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12221 0 1 0 143 1 0 0 25 0 19 0 902708826 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505637143 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10545032 CPUtime=0.03 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 468 0 0 0 3 0 0 0 15 0 19 0 902708828 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10545032 CPUtime=0.19 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 1818 0 0 0 19 0 0 0 15 0 19 0 902708831 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10545032 CPUtime=0.14 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 1808 0 0 0 14 0 0 0 15 0 19 0 902708831 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902708831 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10798112768 16321 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10545032

[startup+3.10118 s]
/proc/loadavg: 2.00 2.02 1.97 3/218 3431
/proc/meminfo: memFree=1210480/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10545032 CPUtime=3.47 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 18716 0 1 0 345 2 0 0 25 0 19 0 902708825 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636258 16881 2247 9 0 2626992 0
[pid=3411/tid=3413] ppid=3409 vsize=10545032 CPUtime=2.97 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12226 0 1 0 296 1 0 0 25 0 19 0 902708826 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505531725 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 902708827 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10545032 CPUtime=0.09 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 607 0 0 0 9 0 0 0 15 0 19 0 902708828 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10545032 CPUtime=0.2 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 1819 0 0 0 20 0 0 0 15 0 19 0 902708831 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10545032 CPUtime=0.16 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 1818 0 0 0 16 0 0 0 15 0 19 0 902708831 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902708831 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10545032 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10798112768 16881 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10545032

[startup+6.3006 s]
/proc/loadavg: 2.00 2.02 1.97 3/218 3431
/proc/meminfo: memFree=1206984/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10544044 CPUtime=6.69 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 18759 0 1 0 667 2 0 0 25 0 19 0 902708825 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636011 16673 2248 9 0 2626745 0
[pid=3411/tid=3413] ppid=3409 vsize=10544044 CPUtime=6.05 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12236 0 1 0 604 1 0 0 20 0 19 0 902708826 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505588056 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 190 0 0 0 0 0 0 0 16 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 340 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 902708827 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10544044 CPUtime=0.2 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 631 0 0 0 20 0 0 0 15 0 19 0 902708828 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10544044 CPUtime=0.2 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 1819 0 0 0 20 0 0 0 15 0 19 0 902708831 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10544044 CPUtime=0.17 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 1822 0 0 0 17 0 0 0 15 0 19 0 902708831 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902708831 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10544044 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10797101056 16673 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 10544044

[startup+12.7014 s]

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

/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 197 0 0 0 6 0 0 0 16 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 7 0 0 0 16 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 177 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 87 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 23 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 359 0 0 0 5 0 0 0 16 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10544336 CPUtime=2.99 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 1159 0 0 0 296 3 0 0 15 0 19 0 902708828 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10544336 CPUtime=0.93 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 14645 0 0 0 92 1 0 0 15 0 19 0 902708831 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10544336 CPUtime=0.31 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 2496 0 0 0 31 0 0 0 15 0 19 0 902708831 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902708831 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10797400064 20520 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 81.37
Current children cumulated vsize (KiB) 10544336

[startup+81.5009 s]
/proc/loadavg: 2.03 2.03 1.98 3/218 3433
/proc/meminfo: memFree=1188552/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10544336 CPUtime=82.98 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 33062 0 1 0 8289 9 0 0 25 0 19 0 902708825 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636084 20524 2250 9 0 2626818 0
[pid=3411/tid=3413] ppid=3409 vsize=10544336 CPUtime=78.14 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12443 0 1 0 7812 2 0 0 18 0 19 0 902708826 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505535313 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 197 0 0 0 6 0 0 0 16 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 177 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 88 0 0 0 6 0 0 0 16 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 23 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 359 0 0 0 5 0 0 0 16 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10544336 CPUtime=3.05 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 1162 0 0 0 302 3 0 0 15 0 19 0 902708828 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10544336 CPUtime=0.93 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 14645 0 0 0 92 1 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10544336 CPUtime=0.31 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 2496 0 0 0 31 0 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 82.98
Current children cumulated vsize (KiB) 10544336

[startup+81.9009 s]
/proc/loadavg: 2.03 2.03 1.98 3/218 3433
/proc/meminfo: memFree=1188552/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10544336 CPUtime=83.38 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 33063 0 1 0 8329 9 0 0 25 0 19 0 902708825 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636084 20524 2250 9 0 2626818 0
[pid=3411/tid=3413] ppid=3409 vsize=10544336 CPUtime=78.52 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12444 0 1 0 7850 2 0 0 18 0 19 0 902708826 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505366471 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 197 0 0 0 6 0 0 0 16 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 177 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 88 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 23 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 359 0 0 0 5 0 0 0 16 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10544336 CPUtime=3.06 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 1162 0 0 0 303 3 0 0 15 0 19 0 902708828 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10544336 CPUtime=0.93 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 14645 0 0 0 92 1 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10544336 CPUtime=0.31 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 2496 0 0 0 31 0 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902708831 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10797400064 20524 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 83.38
Current children cumulated vsize (KiB) 10544336

[startup+82.1008 s]
/proc/loadavg: 2.03 2.03 1.98 3/218 3433
/proc/meminfo: memFree=1188552/32951124 swapFree=67054536/67111528
[pid=3411] ppid=3409 vsize=10544336 CPUtime=83.58 cores=1,3,5,7
/proc/3411/stat : 3411 (java) S 3409 3411 446 0 -1 4202496 33066 0 1 0 8349 9 0 0 25 0 19 0 902708825 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3411/statm: 2636084 20526 2250 9 0 2626818 0
[pid=3411/tid=3413] ppid=3409 vsize=10544336 CPUtime=78.7 cores=1,3,5,7
/proc/3411/task/3413/stat : 3413 (java) R 3409 3411 446 0 -1 4202560 12447 0 1 0 7868 2 0 0 17 0 19 0 902708826 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 46912505588455 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 446 0 -1 4202560 197 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 446 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=10544336 CPUtime=0.07 cores=1,3,5,7
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 446 0 -1 4202560 177 0 0 0 7 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 446 0 -1 4202560 88 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 446 0 -1 4202560 23 0 0 0 5 0 0 0 16 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3420] ppid=3409 vsize=10544336 CPUtime=0.05 cores=1,3,5,7
/proc/3411/task/3420/stat : 3420 (java) S 3409 3411 446 0 -1 4202560 359 0 0 0 5 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3421] ppid=3409 vsize=10544336 CPUtime=0.06 cores=1,3,5,7
/proc/3411/task/3421/stat : 3421 (java) S 3409 3411 446 0 -1 4202560 293 0 0 0 6 0 0 0 15 0 19 0 902708827 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3422] ppid=3409 vsize=10544336 CPUtime=3.07 cores=1,3,5,7
/proc/3411/task/3422/stat : 3422 (java) S 3409 3411 446 0 -1 4202560 1162 0 0 0 304 3 0 0 15 0 19 0 902708828 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 0 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3423] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3423/stat : 3423 (java) S 3409 3411 446 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3424] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3424/stat : 3424 (java) S 3409 3411 446 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 902708829 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3426] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3426/stat : 3426 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562361265 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3427] ppid=3409 vsize=10544336 CPUtime=0.93 cores=1,3,5,7
/proc/3411/task/3427/stat : 3427 (java) S 3409 3411 446 0 -1 4202560 14645 0 0 0 92 1 0 0 15 0 19 0 902708831 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3428] ppid=3409 vsize=10544336 CPUtime=0.31 cores=1,3,5,7
/proc/3411/task/3428/stat : 3428 (java) S 3409 3411 446 0 -1 4202560 2496 0 0 0 31 0 0 0 15 0 19 0 902708831 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 1 0 0 0
[pid=3411/tid=3429] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3429/stat : 3429 (java) S 3409 3411 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902708831 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562353561 0 4 0 16800975 18446604460684961664 0 0 -1 3 0 0 0
[pid=3411/tid=3430] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3430/stat : 3430 (java) S 3409 3411 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902708831 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 5 0 0 0
[pid=3411/tid=3431] ppid=3409 vsize=10544336 CPUtime=0 cores=1,3,5,7
/proc/3411/task/3431/stat : 3431 (java) S 3409 3411 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902708842 10797400064 20526 33554432000 1073741824 1073778376 140737305295904 18446744073709551615 271562354176 0 4 0 16800975 18446604460684961664 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 83.58
Current children cumulated vsize (KiB) 10544336

Child status: 30
Real time (s): 82.1582
CPU time (s): 83.6393
CPU user time (s): 83.5363
CPU system time (s): 0.102984
CPU usage (%): 101.803
Max. virtual memory (cumulated for all children) (KiB): 10545772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.5363
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33086
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= 7617
involuntary context switches= 4182

runsolver used 0.151976 second user time and 0.311952 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-12 22:38:29
IDJOB=3492669
IDBENCH=79218
IDSOLVER=1982
FILE ID=node133/3492669-1307911109
RUNJOBID= node133-1307908244-2827
PBS_JOBID= 13559573
Free space on /var/tmp= 2896 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308--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-3492669-1307911109/watcher-3492669-1307911109 -o /var/tmp/evaluation-result-3492669-1307911109/solver-3492669-1307911109 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492669-1307911109.wbo

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

MD5SUM BENCH= 603b2ea4eb6e4b400f8febe44a5c96d8
RANDOM SEED=1055373920

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1267676 kB
Buffers:         67192 kB
Cached:       30444396 kB
SwapCached:      10288 kB
Active:       15680640 kB
Inactive:     15052732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1267676 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:             136 kB
Writeback:           4 kB
AnonPages:      219248 kB
Mapped:          21144 kB
Slab:           886920 kB
PageTables:       5284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10546704 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 /var/tmp at the end= 2896 MiB
End job on node133 at 2011-06-12 22:39:52