Trace number 3492474

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 80.7357 79.4186

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo
MD5SUM14512bd829ee0bf054bc16c7157cd521
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.867867
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492474-1307909880.wbo
0.11/0.11	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.054s.
0.11/0.16	c #vars     233
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
0.29/0.22	c SATISFIABLE
0.29/0.22	c OPTIMIZING...
0.29/0.22	c Got one! Elapsed wall clock time (in seconds):0.108
0.29/0.22	o 820
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.155
0.29/0.26	o 662
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.177
0.29/0.29	o 652
0.54/0.30	c Got one! Elapsed wall clock time (in seconds):0.192
0.54/0.30	o 647
0.54/0.31	c Got one! Elapsed wall clock time (in seconds):0.205
0.54/0.31	o 615
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.244
0.54/0.35	o 581
0.54/0.38	c Got one! Elapsed wall clock time (in seconds):0.276
0.54/0.38	o 514
0.68/0.40	c Got one! Elapsed wall clock time (in seconds):0.296
0.68/0.40	o 452
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.334
0.68/0.44	o 434
0.68/0.49	c Got one! Elapsed wall clock time (in seconds):0.378
0.68/0.49	o 407
0.89/0.62	c cleaning 4600 clauses out of 9202 with flag 3000/9202
0.89/0.67	c Got one! Elapsed wall clock time (in seconds):0.562
0.89/0.67	o 388
1.03/0.77	c Got one! Elapsed wall clock time (in seconds):0.665
1.03/0.77	o 354
1.13/0.82	c cleaning 5111 clauses out of 10231 with flag 1000/14831
1.34/1.02	c Got one! Elapsed wall clock time (in seconds):0.914
1.34/1.02	o 297
1.54/1.24	c cleaning 8042 clauses out of 16096 with flag 5000/25807
1.54/1.26	c Got one! Elapsed wall clock time (in seconds):1.15
1.54/1.26	o 292
1.80/1.41	c cleaning 6523 clauses out of 13055 with flag 5000/30808
1.80/1.45	c Got one! Elapsed wall clock time (in seconds):1.345
1.80/1.45	o 267
2.03/1.61	c cleaning 6127 clauses out of 12264 with flag 5001/36540
2.23/1.81	c cleaning 6062 clauses out of 12136 with flag 11000/42539
2.23/1.87	c Got one! Elapsed wall clock time (in seconds):1.765
2.23/1.87	o 256
2.45/2.01	c cleaning 5839 clauses out of 11693 with flag 4000/48158
2.65/2.27	c cleaning 5926 clauses out of 11860 with flag 10006/54164
2.75/2.39	c Got one! Elapsed wall clock time (in seconds):2.283
2.75/2.39	o 251
2.85/2.46	c cleaning 5663 clauses out of 11336 with flag 2000/59566
2.95/2.53	c Got one! Elapsed wall clock time (in seconds):2.418
2.95/2.53	o 240
3.05/2.66	c cleaning 5668 clauses out of 11350 with flag 4002/65243
3.15/2.79	c Got one! Elapsed wall clock time (in seconds):2.682
3.15/2.79	o 239
3.25/2.84	c cleaning 5386 clauses out of 10777 with flag 1000/70338
3.45/3.03	c cleaning 5692 clauses out of 11391 with flag 7000/76338
3.76/3.31	c cleaning 6345 clauses out of 12702 with flag 14003/83341
3.76/3.36	c Got one! Elapsed wall clock time (in seconds):3.254
3.76/3.36	o 198
3.96/3.51	c cleaning 5687 clauses out of 11390 with flag 4000/88374
4.06/3.61	c Got one! Elapsed wall clock time (in seconds):3.506
4.06/3.61	o 193
4.18/3.72	c cleaning 5843 clauses out of 11694 with flag 3000/94365
4.38/3.93	c cleaning 5923 clauses out of 11852 with flag 9001/100366
4.58/4.18	c cleaning 6458 clauses out of 12930 with flag 16002/107367
4.89/4.47	c cleaning 7226 clauses out of 14470 with flag 24000/115365
5.18/4.77	c cleaning 8118 clauses out of 16246 with flag 33002/124367
5.29/4.83	c Got one! Elapsed wall clock time (in seconds):4.723
5.29/4.83	o 166
5.39/4.96	c cleaning 6867 clauses out of 13742 with flag 4001/129981
5.59/5.18	c cleaning 6426 clauses out of 12874 with flag 10000/135980
5.79/5.39	c cleaning 6718 clauses out of 13448 with flag 17000/142980
6.09/5.69	c cleaning 7353 clauses out of 14731 with flag 25001/150981
6.49/6.02	c cleaning 8180 clauses out of 16377 with flag 34000/159980
6.69/6.29	c Got one! Elapsed wall clock time (in seconds):6.186
6.69/6.29	o 161
6.99/6.51	c cleaning 10720 clauses out of 21449 with flag 5000/173232
7.19/6.73	c cleaning 8357 clauses out of 16729 with flag 11000/179232
7.39/6.97	c cleaning 7678 clauses out of 15372 with flag 18000/186232
7.69/7.25	c cleaning 7842 clauses out of 15694 with flag 26000/194232
7.99/7.58	c cleaning 8424 clauses out of 16854 with flag 35002/203234
8.39/7.97	c cleaning 9205 clauses out of 18428 with flag 45000/213232
8.89/8.40	c cleaning 9607 clauses out of 19225 with flag 55002/223234
9.10/8.61	c Got one! Elapsed wall clock time (in seconds):8.506
9.10/8.61	o 137
9.31/8.80	c cleaning 10219 clauses out of 20453 with flag 5001/234069
9.51/9.02	c cleaning 8112 clauses out of 16234 with flag 11001/240069
9.71/9.26	c cleaning 7555 clauses out of 15122 with flag 18001/247069
9.81/9.34	c Got one! Elapsed wall clock time (in seconds):9.231
9.81/9.34	o 133
9.91/9.45	c cleaning 6363 clauses out of 12731 with flag 3000/252233
10.11/9.66	c cleaning 6181 clauses out of 12368 with flag 9000/258233
10.31/9.89	c cleaning 6587 clauses out of 13187 with flag 16000/265233
10.62/10.16	c cleaning 7296 clauses out of 14601 with flag 24001/273234
10.92/10.46	c cleaning 8150 clauses out of 16304 with flag 33000/282233
11.32/10.84	c cleaning 9067 clauses out of 18154 with flag 43000/292233
11.72/11.22	c cleaning 9537 clauses out of 19087 with flag 53000/302233
12.12/11.62	c cleaning 9768 clauses out of 19550 with flag 63000/312233
12.42/12.00	c cleaning 9884 clauses out of 19782 with flag 73000/322233
12.93/12.41	c cleaning 9946 clauses out of 19901 with flag 83003/332236
13.33/12.81	c cleaning 9964 clauses out of 19952 with flag 93000/342233
13.65/13.20	c cleaning 9987 clauses out of 19989 with flag 103001/352234
14.15/13.60	c cleaning 9998 clauses out of 20001 with flag 113000/362233
14.45/13.94	c Got one! Elapsed wall clock time (in seconds):13.833
14.45/13.94	o 121
14.65/14.15	c cleaning 12266 clauses out of 24544 with flag 5001/376774
14.86/14.39	c cleaning 9136 clauses out of 18280 with flag 11003/382776
15.16/14.64	c cleaning 8062 clauses out of 16142 with flag 18001/389774
15.46/14.92	c cleaning 8036 clauses out of 16079 with flag 26000/397773
15.76/15.25	c cleaning 8518 clauses out of 17044 with flag 35001/406774
16.16/15.62	c cleaning 9258 clauses out of 18525 with flag 45000/416773
16.46/16.00	c cleaning 9628 clauses out of 19267 with flag 55000/426773
16.86/16.39	c cleaning 9817 clauses out of 19640 with flag 65001/436774
17.26/16.75	c cleaning 9906 clauses out of 19823 with flag 75001/446774
17.66/17.14	c cleaning 9943 clauses out of 19918 with flag 85002/456775
18.07/17.54	c cleaning 9981 clauses out of 19973 with flag 95000/466773
18.47/17.94	c cleaning 9994 clauses out of 19994 with flag 105002/476775
18.86/18.33	c cleaning 9996 clauses out of 19999 with flag 115001/486774
19.27/18.76	c cleaning 9994 clauses out of 20002 with flag 125000/496773
19.68/19.13	c cleaning 9998 clauses out of 20009 with flag 135001/506774
20.08/19.51	c cleaning 10001 clauses out of 20010 with flag 145000/516773
20.48/19.93	c cleaning 9997 clauses out of 20009 with flag 155000/526773
20.88/20.33	c cleaning 10002 clauses out of 20013 with flag 165001/536774
21.18/20.64	c Got one! Elapsed wall clock time (in seconds):20.531
21.18/20.64	o 85
21.39/20.83	c cleaning 11846 clauses out of 23700 with flag 5001/550463
21.58/21.07	c cleaning 8924 clauses out of 17855 with flag 11002/556464
21.88/21.30	c cleaning 7961 clauses out of 15933 with flag 18004/563466
22.08/21.57	c cleaning 7982 clauses out of 15968 with flag 26000/571462
22.49/21.92	c cleaning 8489 clauses out of 16986 with flag 35000/580462
22.78/22.29	c cleaning 9243 clauses out of 18497 with flag 45000/590462
23.29/22.70	c cleaning 9622 clauses out of 19255 with flag 55001/600463
23.59/23.09	c cleaning 9813 clauses out of 19634 with flag 65002/610464
23.99/23.48	c cleaning 9903 clauses out of 19820 with flag 75001/620463
24.39/23.86	c cleaning 9950 clauses out of 19917 with flag 85001/630463
24.80/24.25	c cleaning 9980 clauses out of 19966 with flag 95000/640462
25.19/24.64	c cleaning 9987 clauses out of 19986 with flag 105000/650462
25.49/24.98	c cleaning 9999 clauses out of 20002 with flag 115003/660465
25.90/25.33	c Got one! Elapsed wall clock time (in seconds):25.22
25.90/25.33	o 75
26.09/25.54	c cleaning 12272 clauses out of 24552 with flag 5000/675014
26.40/25.80	c cleaning 9135 clauses out of 18281 with flag 11001/681015
26.60/26.05	c cleaning 8068 clauses out of 16145 with flag 18000/688014
26.90/26.36	c cleaning 8034 clauses out of 16078 with flag 26001/696015
27.20/26.69	c cleaning 8511 clauses out of 17046 with flag 35003/705017
27.60/27.07	c cleaning 9260 clauses out of 18532 with flag 45000/715014
28.01/27.49	c cleaning 9633 clauses out of 19273 with flag 55001/725015
28.40/27.87	c cleaning 9814 clauses out of 19639 with flag 65000/735014
28.81/28.27	c cleaning 9907 clauses out of 19825 with flag 75000/745014
29.31/28.70	c cleaning 9952 clauses out of 19919 with flag 85001/755015
29.71/29.11	c cleaning 9978 clauses out of 19967 with flag 95001/765015
30.11/29.51	c cleaning 9982 clauses out of 19988 with flag 105000/775014
30.11/29.58	c Got one! Elapsed wall clock time (in seconds):29.468
30.11/29.58	o 74
30.32/29.71	c cleaning 7836 clauses out of 15682 with flag 4000/780690
30.51/29.93	c cleaning 6924 clauses out of 13851 with flag 10005/786695
30.71/30.17	c cleaning 6958 clauses out of 13924 with flag 17002/793692
31.01/30.45	c cleaning 7474 clauses out of 14964 with flag 25000/801690
31.32/30.78	c cleaning 8244 clauses out of 16491 with flag 34001/810691
31.71/31.15	c cleaning 9117 clauses out of 18249 with flag 44003/820693
32.12/31.59	c cleaning 9562 clauses out of 19130 with flag 54001/830691
32.62/32.03	c cleaning 9775 clauses out of 19567 with flag 64000/840690
32.82/32.27	c Got one! Elapsed wall clock time (in seconds):32.157
32.82/32.27	o 71
33.02/32.47	c cleaning 10887 clauses out of 21789 with flag 5000/852687
33.21/32.69	c cleaning 8449 clauses out of 16904 with flag 11002/858689
33.52/32.94	c cleaning 7723 clauses out of 15454 with flag 18001/865688
33.82/33.22	c cleaning 7863 clauses out of 15731 with flag 26001/873688
34.12/33.55	c cleaning 8431 clauses out of 16867 with flag 35000/882687
34.52/33.93	c cleaning 9212 clauses out of 18436 with flag 45000/892687
34.92/34.30	c cleaning 9607 clauses out of 19224 with flag 55000/902687
35.22/34.68	c cleaning 9803 clauses out of 19617 with flag 65000/912687
35.73/35.17	c cleaning 9904 clauses out of 19814 with flag 75000/922687
36.12/35.58	c cleaning 9946 clauses out of 19912 with flag 85002/932689
36.52/35.98	c cleaning 9976 clauses out of 19964 with flag 95000/942687
36.93/36.38	c cleaning 9990 clauses out of 19990 with flag 105002/952689
37.32/36.76	c cleaning 9990 clauses out of 19998 with flag 115000/962687
37.73/37.16	c cleaning 9999 clauses out of 20010 with flag 125002/972689
38.14/37.56	c cleaning 9997 clauses out of 20010 with flag 135001/982688
38.54/37.93	c cleaning 10001 clauses out of 20012 with flag 145000/992687
38.94/38.34	c cleaning 10001 clauses out of 20013 with flag 155002/1002689
39.34/38.75	c cleaning 9996 clauses out of 20010 with flag 165000/1012687
39.74/39.12	c cleaning 10002 clauses out of 20015 with flag 175001/1022688
40.14/39.51	c cleaning 10003 clauses out of 20012 with flag 185000/1032687
40.44/39.88	c cleaning 10001 clauses out of 20013 with flag 195004/1042691
40.84/40.27	c cleaning 9999 clauses out of 20008 with flag 205000/1052687
41.25/40.65	c cleaning 9998 clauses out of 20009 with flag 215000/1062687
41.64/41.02	c cleaning 9999 clauses out of 20011 with flag 225000/1072687
42.04/41.43	c cleaning 10003 clauses out of 20013 with flag 235001/1082688
42.45/41.82	c cleaning 10003 clauses out of 20010 with flag 245001/1092688
42.85/42.21	c cleaning 9996 clauses out of 20006 with flag 255000/1102687
43.25/42.60	c cleaning 10002 clauses out of 20011 with flag 265001/1112688
43.65/43.01	c cleaning 10002 clauses out of 20009 with flag 275001/1122688
43.95/43.38	c cleaning 9995 clauses out of 20006 with flag 285000/1132687
44.35/43.74	c cleaning 10002 clauses out of 20012 with flag 295001/1142688
44.75/44.13	c cleaning 9997 clauses out of 20010 with flag 305001/1152688
45.15/44.55	c cleaning 10001 clauses out of 20012 with flag 315000/1162687
45.56/44.92	c cleaning 9993 clauses out of 20011 with flag 325000/1172687
45.96/45.31	c cleaning 9999 clauses out of 20018 with flag 335000/1182687
46.25/45.69	c cleaning 10003 clauses out of 20020 with flag 345001/1192688
46.76/46.12	c cleaning 10004 clauses out of 20016 with flag 355000/1202687
47.05/46.48	c cleaning 10003 clauses out of 20013 with flag 365001/1212688
47.46/46.87	c cleaning 10002 clauses out of 20013 with flag 375004/1222691
47.86/47.24	c cleaning 9996 clauses out of 20007 with flag 385000/1232687
48.26/47.62	c cleaning 10003 clauses out of 20014 with flag 395003/1242690
48.56/47.95	c Got one! Elapsed wall clock time (in seconds):47.846
48.56/47.95	o 64
48.76/48.16	c cleaning 12121 clauses out of 24251 with flag 5000/1256930
48.97/48.40	c cleaning 9057 clauses out of 18130 with flag 11000/1262930
49.27/48.65	c cleaning 8032 clauses out of 16075 with flag 18002/1269932
49.57/48.93	c cleaning 8014 clauses out of 16041 with flag 26000/1277930
49.87/49.25	c cleaning 8509 clauses out of 17027 with flag 35000/1286930
50.27/49.61	c cleaning 9254 clauses out of 18518 with flag 45000/1296930
50.57/49.97	c cleaning 9627 clauses out of 19265 with flag 55001/1306931
50.97/50.35	c cleaning 9814 clauses out of 19637 with flag 65000/1316930
51.37/50.72	c cleaning 9908 clauses out of 19823 with flag 75000/1326930
51.67/51.09	c cleaning 9954 clauses out of 19915 with flag 85000/1336930
52.07/51.46	c cleaning 9976 clauses out of 19962 with flag 95001/1346931
52.47/51.85	c cleaning 9990 clauses out of 19986 with flag 105001/1356931
52.87/52.26	c cleaning 9992 clauses out of 19995 with flag 115000/1366930
53.27/52.68	c cleaning 9998 clauses out of 20005 with flag 125002/1376932
53.67/53.06	c cleaning 9995 clauses out of 20005 with flag 135000/1386930
54.07/53.43	c cleaning 9996 clauses out of 20011 with flag 145001/1396931
54.48/53.85	c cleaning 10000 clauses out of 20014 with flag 155000/1406930
54.68/54.02	c Got one! Elapsed wall clock time (in seconds):53.915
54.68/54.02	o 55
54.68/54.06	c cleaning 7829 clauses out of 15664 with flag 1001/1412580
54.88/54.26	c cleaning 6911 clauses out of 13834 with flag 7000/1418579
55.18/54.51	c cleaning 6959 clauses out of 13925 with flag 14002/1425581
55.38/54.77	c cleaning 7478 clauses out of 14965 with flag 22001/1433580
55.69/55.07	c cleaning 8238 clauses out of 16487 with flag 31001/1442580
56.09/55.42	c cleaning 9122 clauses out of 18248 with flag 41000/1452579
56.39/55.78	c cleaning 9560 clauses out of 19127 with flag 51001/1462580
56.79/56.14	c cleaning 9780 clauses out of 19566 with flag 61000/1472579
57.19/56.52	c cleaning 9888 clauses out of 19786 with flag 71000/1482579
57.49/56.88	c cleaning 9946 clauses out of 19902 with flag 81004/1492583
57.90/57.24	c cleaning 9969 clauses out of 19952 with flag 91000/1502579
58.19/57.59	c cleaning 9988 clauses out of 19985 with flag 101002/1512581
58.59/57.93	c cleaning 9992 clauses out of 19995 with flag 111000/1522579
58.90/58.29	c cleaning 9998 clauses out of 20003 with flag 121000/1532579
59.30/58.63	c cleaning 10000 clauses out of 20006 with flag 131001/1542580
59.70/59.00	c cleaning 9998 clauses out of 20005 with flag 141000/1552579
60.00/59.34	c cleaning 10004 clauses out of 20009 with flag 151002/1562581
60.30/59.69	c cleaning 9999 clauses out of 20004 with flag 161001/1572580
60.70/60.03	c cleaning 9997 clauses out of 20005 with flag 171001/1582580
61.00/60.37	c cleaning 9999 clauses out of 20007 with flag 181000/1592579
61.40/60.70	c cleaning 9997 clauses out of 20008 with flag 191000/1602579
61.70/61.06	c cleaning 9998 clauses out of 20011 with flag 201000/1612579
61.80/61.14	c Got one! Elapsed wall clock time (in seconds):61.029
61.80/61.14	o 40
61.90/61.23	c cleaning 7651 clauses out of 15307 with flag 3000/1617873
62.10/61.44	c cleaning 6823 clauses out of 13656 with flag 9000/1623873
62.31/61.68	c cleaning 6914 clauses out of 13835 with flag 16002/1630875
62.60/61.96	c cleaning 7454 clauses out of 14920 with flag 24001/1638874
63.00/62.30	c cleaning 8226 clauses out of 16465 with flag 33000/1647873
63.31/62.64	c cleaning 9112 clauses out of 18239 with flag 43000/1657873
63.61/62.99	c cleaning 9557 clauses out of 19127 with flag 53000/1667873
64.01/63.30	c Got one! Elapsed wall clock time (in seconds):63.19
64.01/63.30	o 35
64.21/63.51	c cleaning 12007 clauses out of 24022 with flag 5001/1682325
64.41/63.74	c cleaning 9004 clauses out of 18015 with flag 11001/1688325
64.60/63.97	c cleaning 7999 clauses out of 16012 with flag 18002/1695326
64.91/64.25	c cleaning 8002 clauses out of 16012 with flag 26001/1703325
65.21/64.56	c cleaning 8501 clauses out of 17009 with flag 35000/1712324
65.61/64.90	c cleaning 9249 clauses out of 18508 with flag 45000/1722324
65.91/65.26	c cleaning 9626 clauses out of 19261 with flag 55002/1732326
66.31/65.61	c cleaning 9814 clauses out of 19634 with flag 65001/1742325
66.62/65.95	c cleaning 9906 clauses out of 19821 with flag 75002/1752326
67.01/66.31	c cleaning 9949 clauses out of 19914 with flag 85001/1762325
67.31/66.66	c cleaning 9977 clauses out of 19964 with flag 95000/1772324
67.72/67.02	c cleaning 9987 clauses out of 19987 with flag 105000/1782324
68.02/67.36	c cleaning 9996 clauses out of 20000 with flag 115000/1792324
68.32/67.69	c cleaning 9997 clauses out of 20004 with flag 125000/1802324
68.72/68.04	c cleaning 9999 clauses out of 20012 with flag 135005/1812329
69.03/68.39	c cleaning 10000 clauses out of 20010 with flag 145002/1822326
69.43/68.73	c cleaning 10003 clauses out of 20012 with flag 155004/1832328
69.73/69.08	c cleaning 9999 clauses out of 20005 with flag 165000/1842324
70.13/69.43	c cleaning 9999 clauses out of 20008 with flag 175002/1852326
70.53/69.81	c cleaning 9999 clauses out of 20008 with flag 185001/1862325
70.83/70.17	c cleaning 10004 clauses out of 20011 with flag 195003/1872327
71.23/70.53	c cleaning 9996 clauses out of 20005 with flag 205001/1882325
71.53/70.86	c cleaning 9997 clauses out of 20009 with flag 215001/1892325
71.83/71.19	c cleaning 9999 clauses out of 20012 with flag 225001/1902325
72.24/71.51	c cleaning 10004 clauses out of 20012 with flag 235000/1912324
72.33/71.67	c Got one! Elapsed wall clock time (in seconds):71.562
72.33/71.67	o 29
72.43/71.71	c cleaning 7859 clauses out of 15728 with flag 1000/1918044
72.63/71.91	c cleaning 6931 clauses out of 13869 with flag 7000/1924044
72.84/72.14	c cleaning 6964 clauses out of 13938 with flag 14000/1931044
73.14/72.40	c cleaning 7484 clauses out of 14975 with flag 22001/1939045
73.34/72.70	c cleaning 8239 clauses out of 16490 with flag 31000/1948044
73.74/73.02	c cleaning 9123 clauses out of 18254 with flag 41003/1958047
74.04/73.38	c cleaning 9558 clauses out of 19128 with flag 51000/1968044
74.45/73.73	c cleaning 9781 clauses out of 19572 with flag 61002/1978046
74.74/74.09	c cleaning 9890 clauses out of 19790 with flag 71001/1988045
75.14/74.43	c cleaning 9943 clauses out of 19900 with flag 81001/1998045
75.45/74.79	c cleaning 9975 clauses out of 19958 with flag 91002/2008046
75.85/75.15	c cleaning 9986 clauses out of 19983 with flag 101002/2018046
76.15/75.48	c cleaning 9991 clauses out of 19995 with flag 111000/2028044
76.55/75.81	c cleaning 9998 clauses out of 20004 with flag 121000/2038044
76.85/76.15	c cleaning 9997 clauses out of 20006 with flag 131000/2048044
77.15/76.48	c cleaning 9997 clauses out of 20010 with flag 141001/2058045
77.55/76.81	c cleaning 10001 clauses out of 20012 with flag 151000/2068044
77.85/77.15	c cleaning 10000 clauses out of 20012 with flag 161001/2078045
78.15/77.49	c cleaning 10001 clauses out of 20011 with flag 171000/2088044
78.56/77.89	c cleaning 10001 clauses out of 20010 with flag 181000/2098044
79.36/78.29	c cleaning 10002 clauses out of 20012 with flag 191004/2108048
79.90/78.64	c cleaning 9997 clauses out of 20006 with flag 201000/2118044
80.30/79.01	c cleaning 10005 clauses out of 20009 with flag 211000/2128044
80.60/79.37	c cleaning 10002 clauses out of 20003 with flag 221000/2138044
80.70/79.41	c starts		: 245
80.70/79.41	c conflicts		: 2138553
80.70/79.41	c decisions		: 3396410
80.70/79.41	c propagations		: 52717451
80.70/79.41	c inspects		: 490126207
80.70/79.41	c shortcuts		: 0
80.70/79.41	c learnt literals	: 10
80.70/79.41	c learnt binary clauses	: 31
80.70/79.41	c learnt ternary clauses	: 1400
80.70/79.41	c learnt constraints	: 2138542
80.70/79.41	c ignored constraints	: 0
80.70/79.41	c root simplifications	: 0
80.70/79.41	c removed literals (reason simplification)	: 15546235
80.70/79.41	c reason swapping (by a shorter reason)	: 0
80.70/79.41	c Calls to reduceDB	: 234
80.70/79.41	c number of reductions to clauses (during analyze)	: 0
80.70/79.41	c number of learned constraints concerned by reduction	: 0
80.70/79.41	c number of learning phase by resolution	: 0
80.70/79.41	c number of learning phase by cutting planes	: 0
80.70/79.41	c speed (assignments/second)	: 6813681.142561716
80.70/79.41	c non guided choices	1328
80.70/79.41	c learnt constraints type 
80.70/79.41	c constraints type 
80.70/79.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
80.70/79.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
80.70/79.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
80.70/79.41	s OPTIMUM FOUND
80.70/79.41	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 
80.70/79.41	c objective function=29
80.70/79.41	c Total wall clock time (in seconds): 79.301

Verifier Data 

OK	29

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-3492474-1307909880/watcher-3492474-1307909880 -o /var/tmp/evaluation-result-3492474-1307909880/solver-3492474-1307909880 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492474-1307909880.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.04 2.03 1.93 4/195 14191
/proc/meminfo: memFree=2998560/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14191/stat : 14191 (java) R 14189 14191 12607 0 -1 4202496 954 0 0 0 0 0 0 0 17 0 1 0 883403876 23580672 697 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233505334760 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14191/statm: 5757 697 514 9 0 124 0

[startup+0.0251461 s]
/proc/loadavg: 2.04 2.03 1.93 4/195 14191
/proc/meminfo: memFree=2998560/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 10003 0 1 0 0 1 0 0 17 0 10 0 883403876 10703900672 9704 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2613257 9705 984 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.101138 s]
/proc/loadavg: 2.04 2.03 1.93 4/195 14191
/proc/meminfo: memFree=2998560/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10540328 CPUtime=0.11 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 13100 0 1 0 9 2 0 0 17 0 18 0 883403876 10793295872 12765 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2635082 12765 2093 9 0 2625816 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540328

[startup+0.301115 s]
/proc/loadavg: 2.04 2.03 1.93 4/195 14191
/proc/meminfo: memFree=2998560/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10543920 CPUtime=0.54 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 16174 0 1 0 52 2 0 0 17 0 19 0 883403876 10796974080 14805 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2635980 14805 2215 9 0 2626714 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10543920

[startup+0.701037 s]
/proc/loadavg: 2.04 2.03 1.93 4/195 14191
/proc/meminfo: memFree=2998560/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10543920 CPUtime=1.03 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 17595 0 1 0 101 2 0 0 17 0 19 0 883403876 10796974080 15942 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2635980 15942 2247 9 0 2626714 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10543920

[startup+1.50089 s]
/proc/loadavg: 2.04 2.03 1.93 4/214 14210
/proc/meminfo: memFree=2942012/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10544564 CPUtime=1.93 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 19092 0 1 0 191 2 0 0 17 0 19 0 883403876 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2636141 16762 2249 9 0 2626875 0
[pid=14191/tid=14193] ppid=14189 vsize=10544564 CPUtime=1.43 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12330 0 1 0 141 2 0 0 18 0 19 0 883403877 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505602498 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10544564 CPUtime=0.05 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 555 0 0 0 5 0 0 0 15 0 19 0 883403880 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10544564 CPUtime=0.24 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 1815 0 0 0 24 0 0 0 15 0 19 0 883403882 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10544564 CPUtime=0.19 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 2525 0 0 0 19 0 0 0 15 0 19 0 883403882 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883403882 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10797633536 16762 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10544564

[startup+3.10059 s]
/proc/loadavg: 2.04 2.03 1.93 3/214 14210
/proc/meminfo: memFree=2939044/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10544564 CPUtime=3.55 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 19112 0 1 0 352 3 0 0 17 0 19 0 883403876 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2636141 16774 2249 9 0 2626875 0
[pid=14191/tid=14193] ppid=14189 vsize=10544564 CPUtime=2.92 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12338 0 1 0 290 2 0 0 20 0 19 0 883403877 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505541024 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 883403879 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10544564 CPUtime=0.14 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 555 0 0 0 14 0 0 0 15 0 19 0 883403880 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10544564 CPUtime=0.25 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 1815 0 0 0 25 0 0 0 15 0 19 0 883403882 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10544564 CPUtime=0.19 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 2525 0 0 0 19 0 0 0 15 0 19 0 883403882 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883403882 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10797633536 16774 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 10544564

[startup+6.30102 s]
/proc/loadavg: 2.04 2.03 1.93 3/214 14210
/proc/meminfo: memFree=2938720/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10544564 CPUtime=6.79 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 19167 0 1 0 676 3 0 0 17 0 19 0 883403876 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2636141 16714 2250 9 0 2626875 0
[pid=14191/tid=14193] ppid=14189 vsize=10544564 CPUtime=5.96 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12351 0 1 0 594 2 0 0 19 0 19 0 883403877 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505555208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 883403879 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10544564 CPUtime=0.28 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 588 0 0 0 28 0 0 0 16 0 19 0 883403880 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10544564 CPUtime=0.26 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 1816 0 0 0 26 0 0 0 15 0 19 0 883403882 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10544564 CPUtime=0.2 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 2526 0 0 0 20 0 0 0 15 0 19 0 883403882 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883403882 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10544564 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10797633536 16714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 10544564

[startup+12.7009 s]

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

/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 232 0 0 0 6 0 0 0 16 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10563552 CPUtime=0.07 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 7 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10563552 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 58 0 0 0 6 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10563552 CPUtime=0.05 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10563552 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 118 0 0 0 6 0 0 0 16 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10563552 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 108 0 0 0 6 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10563552 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 92 0 0 0 6 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10563552 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 883403879 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10563552 CPUtime=3.11 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) R 14189 14191 12607 0 -1 4202560 1162 0 0 0 309 2 0 0 15 0 19 0 883403880 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46985642612344 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10563552 CPUtime=0.7 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) R 14189 14191 12607 0 -1 4202560 7370 0 0 0 70 0 0 0 16 0 19 0 883403882 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46985643300352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10563552 CPUtime=0.29 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 3646 0 0 0 29 0 0 0 15 0 19 0 883403882 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883403882 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10563552 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10817077248 21714 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (KiB) 10563552

[startup+79.1009 s]
/proc/loadavg: 2.01 2.02 1.93 3/214 14212
/proc/meminfo: memFree=2910220/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10564104 CPUtime=80.41 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 26908 0 1 0 8033 8 0 0 17 0 19 0 883403876 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2641026 21890 2251 9 0 2631760 0
[pid=14191/tid=14193] ppid=14189 vsize=10564104 CPUtime=75.65 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12565 0 1 0 7562 3 0 0 19 0 19 0 883403877 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505536396 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 232 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10564104 CPUtime=0.07 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 7 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 58 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10564104 CPUtime=0.05 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 118 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 108 0 0 0 6 0 0 0 16 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 92 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10564104 CPUtime=3.15 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 1180 0 0 0 313 2 0 0 16 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10564104 CPUtime=0.73 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 7519 0 0 0 73 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10564104 CPUtime=0.3 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 3655 0 0 0 30 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 80.41
Current children cumulated vsize (KiB) 10564104

[startup+79.3009 s]
/proc/loadavg: 2.01 2.02 1.93 3/214 14212
/proc/meminfo: memFree=2910220/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10564104 CPUtime=80.6 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 26908 0 1 0 8052 8 0 0 17 0 19 0 883403876 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2641026 21890 2251 9 0 2631760 0
[pid=14191/tid=14193] ppid=14189 vsize=10564104 CPUtime=75.85 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12565 0 1 0 7582 3 0 0 19 0 19 0 883403877 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505536989 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 232 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10564104 CPUtime=0.07 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 7 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 58 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10564104 CPUtime=0.05 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 118 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 108 0 0 0 6 0 0 0 16 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 92 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10564104 CPUtime=3.15 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 1180 0 0 0 313 2 0 0 16 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10564104 CPUtime=0.73 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 7519 0 0 0 73 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10564104 CPUtime=0.3 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 3655 0 0 0 30 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 80.6
Current children cumulated vsize (KiB) 10564104

[startup+79.4009 s]
/proc/loadavg: 2.01 2.02 1.93 3/214 14212
/proc/meminfo: memFree=2910220/32951124 swapFree=67054264/67111528
[pid=14191] ppid=14189 vsize=10564104 CPUtime=80.7 cores=1,3,5,7
/proc/14191/stat : 14191 (java) S 14189 14191 12607 0 -1 4202496 26909 0 1 0 8062 8 0 0 17 0 19 0 883403876 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14191/statm: 2641026 21890 2251 9 0 2631760 0
[pid=14191/tid=14193] ppid=14189 vsize=10564104 CPUtime=75.93 cores=1,3,5,7
/proc/14191/task/14193/stat : 14193 (java) R 14189 14191 12607 0 -1 4202560 12566 0 1 0 7590 3 0 0 19 0 19 0 883403877 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 46912505531254 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14191/tid=14194] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14194/stat : 14194 (java) S 14189 14191 12607 0 -1 4202560 232 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14195] ppid=14189 vsize=10564104 CPUtime=0.07 cores=1,3,5,7
/proc/14191/task/14195/stat : 14195 (java) S 14189 14191 12607 0 -1 4202560 100 0 0 0 7 0 0 0 16 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14196] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14196/stat : 14196 (java) S 14189 14191 12607 0 -1 4202560 58 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14197] ppid=14189 vsize=10564104 CPUtime=0.05 cores=1,3,5,7
/proc/14191/task/14197/stat : 14197 (java) S 14189 14191 12607 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14198] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14198/stat : 14198 (java) S 14189 14191 12607 0 -1 4202560 118 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14199] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14199/stat : 14199 (java) S 14189 14191 12607 0 -1 4202560 108 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14200] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14200/stat : 14200 (java) S 14189 14191 12607 0 -1 4202560 92 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14201] ppid=14189 vsize=10564104 CPUtime=0.06 cores=1,3,5,7
/proc/14191/task/14201/stat : 14201 (java) S 14189 14191 12607 0 -1 4202560 96 0 0 0 6 0 0 0 15 0 19 0 883403879 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14202] ppid=14189 vsize=10564104 CPUtime=3.17 cores=1,3,5,7
/proc/14191/task/14202/stat : 14202 (java) S 14189 14191 12607 0 -1 4202560 1180 0 0 0 315 2 0 0 16 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 0 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14203] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14203/stat : 14203 (java) S 14189 14191 12607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14204] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14204/stat : 14204 (java) S 14189 14191 12607 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883403880 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14205] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14205/stat : 14205 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522121137 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14206] ppid=14189 vsize=10564104 CPUtime=0.73 cores=1,3,5,7
/proc/14191/task/14206/stat : 14206 (java) S 14189 14191 12607 0 -1 4202560 7519 0 0 0 73 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
[pid=14191/tid=14207] ppid=14189 vsize=10564104 CPUtime=0.3 cores=1,3,5,7
/proc/14191/task/14207/stat : 14207 (java) S 14189 14191 12607 0 -1 4202560 3655 0 0 0 30 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 5 0 0 0
[pid=14191/tid=14208] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14208/stat : 14208 (java) S 14189 14191 12607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522113433 0 4 0 16800975 18446604456755886912 0 0 -1 1 0 0 0
[pid=14191/tid=14209] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14209/stat : 14209 (java) S 14189 14191 12607 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883403882 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 7 0 0 0
[pid=14191/tid=14210] ppid=14189 vsize=10564104 CPUtime=0 cores=1,3,5,7
/proc/14191/task/14210/stat : 14210 (java) S 14189 14191 12607 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883403893 10817642496 21890 33554432000 1073741824 1073778376 140733210458240 18446744073709551615 233522114048 0 4 0 16800975 18446604456755886912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 80.7
Current children cumulated vsize (KiB) 10564104

Child status: 30
Real time (s): 79.4186
CPU time (s): 80.7357
CPU user time (s): 80.6437
CPU system time (s): 0.091986
CPU usage (%): 101.658
Max. virtual memory (cumulated for all children) (KiB): 10564104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.6437
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26929
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= 8620
involuntary context switches= 4252

runsolver used 0.137979 second user time and 0.312952 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-12 22:18:00
IDJOB=3492474
IDBENCH=78833
IDSOLVER=1982
FILE ID=node145/3492474-1307909880
RUNJOBID= node145-1307907979-13799
PBS_JOBID= 13559605
Free space on /var/tmp= 2912 MiB

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

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

MD5SUM BENCH= 14512bd829ee0bf054bc16c7157cd521
RANDOM SEED=1018050726

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2998484 kB
Buffers:         63944 kB
Cached:       28760856 kB
SwapCached:       9324 kB
Active:       14118524 kB
Inactive:     14927360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2998484 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:             136 kB
Writeback:          12 kB
AnonPages:      218972 kB
Mapped:          21132 kB
Slab:           842200 kB
PageTables:       4956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10545880 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node145 at 2011-06-12 22:19:20