Trace number 3492345

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 92.118 90.7832

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo
MD5SUM8b066002eb3185cd3fd0fbc9dbe06f59
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark1.3038
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 constraints42
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 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1255
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492345-1307909592.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.053s.
0.10/0.16	c #vars     211
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 => 27
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.54/0.36	c SATISFIABLE
0.54/0.36	c OPTIMIZING...
0.54/0.36	c Got one! Elapsed wall clock time (in seconds):0.252
0.54/0.36	o 763
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.304
0.69/0.41	o 470
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.336
0.69/0.44	o 467
0.82/0.50	c cleaning 3282 clauses out of 6567 with flag 1001/6567
0.82/0.55	c Got one! Elapsed wall clock time (in seconds):0.443
0.82/0.55	o 400
0.93/0.67	c cleaning 4267 clauses out of 8549 with flag 4000/11831
1.05/0.71	c Got one! Elapsed wall clock time (in seconds):0.604
1.05/0.71	o 383
1.15/0.82	c cleaning 4657 clauses out of 9320 with flag 4000/16869
1.26/0.91	c Got one! Elapsed wall clock time (in seconds):0.803
1.26/0.91	o 350
1.26/1.00	c cleaning 5129 clauses out of 10265 with flag 3000/22471
1.49/1.18	c cleaning 5564 clauses out of 11136 with flag 9000/28471
1.58/1.23	c Got one! Elapsed wall clock time (in seconds):1.128
1.58/1.23	o 321
1.68/1.35	c cleaning 5486 clauses out of 10978 with flag 4001/33877
1.88/1.53	c cleaning 5741 clauses out of 11491 with flag 10000/39876
2.08/1.75	c cleaning 6371 clauses out of 12752 with flag 17002/46878
2.08/1.79	c Got one! Elapsed wall clock time (in seconds):1.691
2.08/1.79	o 294
2.29/1.92	c cleaning 5857 clauses out of 11722 with flag 4000/52219
2.38/2.10	c cleaning 5929 clauses out of 11865 with flag 10000/58219
2.69/2.31	c cleaning 6463 clauses out of 12937 with flag 17001/65220
2.69/2.40	c Got one! Elapsed wall clock time (in seconds):2.292
2.69/2.40	o 245
2.79/2.49	c cleaning 6108 clauses out of 12225 with flag 3003/70971
2.98/2.69	c cleaning 6047 clauses out of 12116 with flag 9002/76970
3.18/2.86	c Got one! Elapsed wall clock time (in seconds):2.76
3.18/2.86	o 222
3.38/3.06	c cleaning 8100 clauses out of 16206 with flag 5000/87107
3.59/3.25	c cleaning 7049 clauses out of 14106 with flag 11000/93107
3.79/3.46	c cleaning 7020 clauses out of 14057 with flag 18000/100107
3.99/3.65	c Got one! Elapsed wall clock time (in seconds):3.542
3.99/3.65	o 213
4.19/3.88	c cleaning 9242 clauses out of 18490 with flag 5004/111560
4.27/3.97	c Got one! Elapsed wall clock time (in seconds):3.862
4.27/3.97	o 154
4.37/4.08	c cleaning 7466 clauses out of 14942 with flag 3000/117254
4.57/4.27	c cleaning 6736 clauses out of 13478 with flag 9002/123256
5.15/4.63	c cleaning 6867 clauses out of 13743 with flag 16003/130257
5.45/4.90	c cleaning 7431 clauses out of 14874 with flag 24001/138255
5.65/5.19	c cleaning 8219 clauses out of 16442 with flag 33000/147254
6.06/5.52	c cleaning 9107 clauses out of 18223 with flag 43000/157254
6.35/5.86	c cleaning 9554 clauses out of 19116 with flag 53000/167254
6.65/6.19	c cleaning 9775 clauses out of 19562 with flag 63000/177254
7.06/6.52	c cleaning 9887 clauses out of 19787 with flag 73000/187254
7.35/6.84	c cleaning 9944 clauses out of 19900 with flag 83000/197254
7.65/7.19	c cleaning 9975 clauses out of 19959 with flag 93003/207257
8.05/7.51	c cleaning 9987 clauses out of 19982 with flag 103001/217255
8.36/7.84	c cleaning 9992 clauses out of 19998 with flag 113004/227258
8.66/8.16	c cleaning 9997 clauses out of 20003 with flag 123001/237255
9.06/8.50	c cleaning 9999 clauses out of 20008 with flag 133003/247257
9.36/8.84	c cleaning 9998 clauses out of 20006 with flag 143000/257254
9.66/9.16	c cleaning 9998 clauses out of 20009 with flag 153001/267255
9.97/9.46	c cleaning 9999 clauses out of 20010 with flag 163000/277254
10.28/9.79	c cleaning 10002 clauses out of 20011 with flag 173000/287254
10.68/10.10	c cleaning 10001 clauses out of 20010 with flag 183001/297255
10.98/10.44	c cleaning 10000 clauses out of 20009 with flag 193001/307255
11.28/10.79	c cleaning 10002 clauses out of 20011 with flag 203003/317257
11.68/11.10	c cleaning 9999 clauses out of 20006 with flag 213000/327254
11.98/11.41	c cleaning 9999 clauses out of 20010 with flag 223003/337257
12.28/11.73	c cleaning 10000 clauses out of 20009 with flag 233001/347255
12.59/12.06	c cleaning 9998 clauses out of 20008 with flag 243000/357254
12.89/12.38	c cleaning 10002 clauses out of 20011 with flag 253001/367255
13.19/12.69	c cleaning 9997 clauses out of 20009 with flag 263001/377255
13.59/13.02	c cleaning 10000 clauses out of 20011 with flag 273000/387254
13.89/13.34	c cleaning 10002 clauses out of 20013 with flag 283002/397256
14.19/13.66	c cleaning 9998 clauses out of 20009 with flag 293000/407254
14.49/13.98	c cleaning 10001 clauses out of 20011 with flag 303000/417254
14.90/14.31	c cleaning 9998 clauses out of 20011 with flag 313001/427255
15.19/14.64	c cleaning 10000 clauses out of 20012 with flag 323000/437254
15.49/14.96	c cleaning 10002 clauses out of 20012 with flag 333000/447254
15.90/15.30	c cleaning 10000 clauses out of 20013 with flag 343003/457257
16.19/15.66	c cleaning 9998 clauses out of 20010 with flag 353000/467254
16.49/15.98	c cleaning 10001 clauses out of 20012 with flag 363000/477254
16.80/16.29	c cleaning 10001 clauses out of 20011 with flag 373000/487254
17.20/16.63	c cleaning 9998 clauses out of 20010 with flag 383000/497254
17.51/16.97	c cleaning 10002 clauses out of 20014 with flag 393002/507256
17.81/17.29	c cleaning 10002 clauses out of 20013 with flag 403003/517257
18.22/17.61	c cleaning 10000 clauses out of 20008 with flag 413000/527254
18.51/17.93	c cleaning 9999 clauses out of 20009 with flag 423001/537255
18.81/18.25	c cleaning 10000 clauses out of 20009 with flag 433000/547254
19.11/18.59	c cleaning 10001 clauses out of 20010 with flag 443001/557255
19.52/18.92	c cleaning 9996 clauses out of 20008 with flag 453000/567254
19.82/19.24	c Got one! Elapsed wall clock time (in seconds):19.132
19.82/19.24	o 149
20.02/19.45	c cleaning 12379 clauses out of 24763 with flag 5000/582005
20.22/19.66	c cleaning 9185 clauses out of 18384 with flag 11000/588005
20.43/19.89	c cleaning 8096 clauses out of 16199 with flag 18000/595005
20.72/20.16	c cleaning 8047 clauses out of 16103 with flag 26000/603005
21.02/20.47	c cleaning 8524 clauses out of 17056 with flag 35000/612005
21.42/20.84	c cleaning 9261 clauses out of 18532 with flag 45000/622005
21.72/21.18	c cleaning 9632 clauses out of 19271 with flag 55000/632005
22.12/21.53	c cleaning 9815 clauses out of 19639 with flag 65000/642005
22.42/21.86	c cleaning 9906 clauses out of 19824 with flag 75000/652005
22.72/22.18	c cleaning 9951 clauses out of 19918 with flag 85000/662005
23.12/22.51	c cleaning 9976 clauses out of 19967 with flag 95000/672005
23.42/22.86	c cleaning 9990 clauses out of 19991 with flag 105000/682005
23.82/23.21	c cleaning 9997 clauses out of 20004 with flag 115003/692008
24.12/23.51	c Got one! Elapsed wall clock time (in seconds):23.402
24.12/23.51	o 142
24.32/23.70	c cleaning 11891 clauses out of 23787 with flag 5001/705788
24.52/23.91	c cleaning 8942 clauses out of 17896 with flag 11001/711788
24.74/24.14	c cleaning 7968 clauses out of 15954 with flag 18001/718788
24.93/24.39	c cleaning 7986 clauses out of 15985 with flag 26000/726787
25.33/24.71	c cleaning 8487 clauses out of 17001 with flag 35002/735789
25.63/25.06	c cleaning 9250 clauses out of 18512 with flag 45000/745787
26.03/25.40	c cleaning 9622 clauses out of 19262 with flag 55000/755787
26.33/25.74	c cleaning 9816 clauses out of 19641 with flag 65001/765788
26.63/26.08	c cleaning 9907 clauses out of 19825 with flag 75001/775788
27.04/26.42	c cleaning 9952 clauses out of 19920 with flag 85003/785790
27.33/26.78	c cleaning 9978 clauses out of 19965 with flag 95000/795787
27.73/27.12	c cleaning 9991 clauses out of 19993 with flag 105006/805793
28.04/27.44	c cleaning 9992 clauses out of 19996 with flag 115000/815787
28.34/27.77	c cleaning 9998 clauses out of 20007 with flag 125003/825790
28.64/28.10	c cleaning 9998 clauses out of 20007 with flag 135001/835788
29.04/28.43	c cleaning 9998 clauses out of 20008 with flag 145000/845787
29.34/28.76	c cleaning 9999 clauses out of 20010 with flag 155000/855787
29.64/29.07	c cleaning 9999 clauses out of 20012 with flag 165001/865788
30.04/29.42	c cleaning 9999 clauses out of 20012 with flag 175000/875787
30.35/29.74	c cleaning 10000 clauses out of 20013 with flag 185000/885787
30.65/30.07	c cleaning 9998 clauses out of 20013 with flag 195000/895787
31.05/30.42	c cleaning 10002 clauses out of 20015 with flag 205000/905787
31.45/30.81	c cleaning 9999 clauses out of 20013 with flag 215000/915787
31.75/31.16	c cleaning 10002 clauses out of 20016 with flag 225002/925789
32.15/31.50	c cleaning 10000 clauses out of 20012 with flag 235000/935787
32.46/31.83	c cleaning 9998 clauses out of 20012 with flag 245000/945787
32.75/32.18	c cleaning 10003 clauses out of 20014 with flag 255000/955787
33.15/32.52	c cleaning 10001 clauses out of 20016 with flag 265005/965792
33.45/32.86	c cleaning 9999 clauses out of 20010 with flag 275000/975787
33.85/33.21	c cleaning 10001 clauses out of 20011 with flag 285000/985787
34.16/33.54	c cleaning 9999 clauses out of 20011 with flag 295001/995788
34.46/33.87	c cleaning 9997 clauses out of 20012 with flag 305001/1005788
34.86/34.22	c cleaning 10005 clauses out of 20015 with flag 315001/1015788
35.16/34.58	c cleaning 9997 clauses out of 20009 with flag 325000/1025787
35.56/34.93	c cleaning 9997 clauses out of 20013 with flag 335001/1035788
35.86/35.26	c cleaning 10007 clauses out of 20017 with flag 345002/1045789
36.16/35.60	c cleaning 10000 clauses out of 20010 with flag 355002/1055789
36.56/35.93	c cleaning 10001 clauses out of 20010 with flag 365002/1065789
36.86/36.27	c cleaning 9997 clauses out of 20007 with flag 375000/1075787
37.26/36.61	c cleaning 10001 clauses out of 20010 with flag 385000/1085787
37.56/36.95	c cleaning 10000 clauses out of 20009 with flag 395000/1095787
37.86/37.28	c cleaning 10000 clauses out of 20009 with flag 405000/1105787
38.26/37.63	c cleaning 10001 clauses out of 20012 with flag 415003/1115790
38.56/37.96	c cleaning 10000 clauses out of 20008 with flag 425000/1125787
38.86/38.29	c cleaning 10001 clauses out of 20009 with flag 435001/1135788
39.26/38.60	c cleaning 9999 clauses out of 20009 with flag 445002/1145789
39.56/38.94	c cleaning 9998 clauses out of 20008 with flag 455000/1155787
39.86/39.27	c cleaning 10000 clauses out of 20010 with flag 465000/1165787
40.17/39.59	c cleaning 9997 clauses out of 20010 with flag 475000/1175787
40.56/39.92	c cleaning 10002 clauses out of 20013 with flag 485000/1185787
40.86/40.23	c cleaning 9998 clauses out of 20012 with flag 495001/1195788
41.16/40.55	c cleaning 9999 clauses out of 20013 with flag 505000/1205787
41.57/40.92	c cleaning 10004 clauses out of 20015 with flag 515001/1215788
41.88/41.27	c cleaning 9999 clauses out of 20011 with flag 525001/1225788
41.98/41.34	c Got one! Elapsed wall clock time (in seconds):41.234
41.98/41.34	o 123
42.08/41.44	c cleaning 7534 clauses out of 15078 with flag 3000/1230854
42.28/41.62	c cleaning 6769 clauses out of 13546 with flag 9002/1236856
42.49/41.86	c cleaning 6882 clauses out of 13775 with flag 16000/1243854
42.78/42.13	c cleaning 7441 clauses out of 14893 with flag 24000/1251854
43.08/42.44	c cleaning 8221 clauses out of 16452 with flag 33000/1260854
43.38/42.78	c cleaning 9111 clauses out of 18231 with flag 43000/1270854
43.79/43.13	c cleaning 9558 clauses out of 19121 with flag 53001/1280855
44.09/43.49	c cleaning 9775 clauses out of 19562 with flag 63000/1290854
44.49/43.83	c cleaning 9885 clauses out of 19787 with flag 73000/1300854
44.79/44.18	c cleaning 9948 clauses out of 19903 with flag 83001/1310855
45.19/44.54	c cleaning 9972 clauses out of 19955 with flag 93001/1320855
45.50/44.90	c cleaning 9988 clauses out of 19983 with flag 103001/1330855
46.00/45.32	c cleaning 9987 clauses out of 19994 with flag 113000/1340854
46.41/45.73	c cleaning 9996 clauses out of 20008 with flag 123001/1350855
46.82/46.10	c cleaning 10001 clauses out of 20012 with flag 133001/1360855
47.11/46.43	c cleaning 9999 clauses out of 20010 with flag 143000/1370854
47.41/46.79	c cleaning 9999 clauses out of 20013 with flag 153002/1380856
47.81/47.14	c cleaning 10002 clauses out of 20014 with flag 163002/1390856
48.21/47.52	c cleaning 9996 clauses out of 20011 with flag 173001/1400855
48.52/47.87	c cleaning 10002 clauses out of 20014 with flag 183000/1410854
48.92/48.24	c cleaning 9998 clauses out of 20012 with flag 193000/1420854
49.22/48.59	c cleaning 10001 clauses out of 20014 with flag 203000/1430854
49.62/48.96	c cleaning 10003 clauses out of 20014 with flag 213001/1440855
50.02/49.31	c cleaning 9999 clauses out of 20014 with flag 223004/1450858
50.32/49.65	c cleaning 9996 clauses out of 20012 with flag 233001/1460855
50.62/49.99	c cleaning 10003 clauses out of 20017 with flag 243002/1470856
51.02/50.34	c cleaning 10005 clauses out of 20014 with flag 253002/1480856
51.32/50.68	c cleaning 9998 clauses out of 20008 with flag 263001/1490855
51.72/51.05	c cleaning 9999 clauses out of 20011 with flag 273002/1500856
51.82/51.16	c Got one! Elapsed wall clock time (in seconds):51.053
51.82/51.16	o 117
51.92/51.22	c cleaning 7549 clauses out of 15104 with flag 2004/1505948
52.12/51.41	c cleaning 6772 clauses out of 13552 with flag 8001/1511945
52.33/51.64	c cleaning 6886 clauses out of 13780 with flag 15001/1518945
52.63/51.91	c cleaning 7445 clauses out of 14896 with flag 23003/1526947
52.93/52.23	c cleaning 8221 clauses out of 16448 with flag 32000/1535944
53.33/52.60	c cleaning 9110 clauses out of 18227 with flag 42000/1545944
53.64/52.95	c cleaning 9553 clauses out of 19120 with flag 52003/1555947
54.04/53.30	c cleaning 9781 clauses out of 19565 with flag 62001/1565945
54.34/53.67	c cleaning 9888 clauses out of 19783 with flag 72000/1575944
54.74/54.02	c cleaning 9942 clauses out of 19895 with flag 82000/1585944
55.04/54.39	c cleaning 9971 clauses out of 19953 with flag 92000/1595944
55.44/54.75	c cleaning 9984 clauses out of 19982 with flag 102000/1605944
55.85/55.10	c cleaning 9995 clauses out of 19999 with flag 112001/1615945
56.15/55.44	c cleaning 10000 clauses out of 20005 with flag 122002/1625946
56.55/55.82	c cleaning 9994 clauses out of 20004 with flag 132001/1635945
56.95/56.22	c cleaning 10000 clauses out of 20009 with flag 142000/1645944
57.35/56.67	c cleaning 10001 clauses out of 20009 with flag 152000/1655944
57.75/57.03	c cleaning 9999 clauses out of 20010 with flag 162002/1665946
58.05/57.37	c cleaning 9998 clauses out of 20009 with flag 172000/1675944
58.45/57.70	c cleaning 10002 clauses out of 20013 with flag 182002/1685946
58.75/58.07	c cleaning 10001 clauses out of 20009 with flag 192000/1695944
59.16/58.40	c cleaning 9998 clauses out of 20008 with flag 202000/1705944
59.46/58.73	c cleaning 9999 clauses out of 20011 with flag 212001/1715945
59.76/59.06	c cleaning 10000 clauses out of 20012 with flag 222001/1725945
60.06/59.39	c cleaning 10003 clauses out of 20011 with flag 232000/1735944
60.46/59.75	c cleaning 9996 clauses out of 20009 with flag 242001/1745945
60.76/60.09	c cleaning 9999 clauses out of 20012 with flag 252000/1755944
61.16/60.42	c cleaning 10002 clauses out of 20014 with flag 262001/1765945
61.46/60.77	c cleaning 10003 clauses out of 20011 with flag 272000/1775944
61.86/61.11	c cleaning 10001 clauses out of 20008 with flag 282000/1785944
62.16/61.44	c cleaning 9998 clauses out of 20008 with flag 292001/1795945
62.56/61.81	c cleaning 10000 clauses out of 20010 with flag 302001/1805945
62.86/62.18	c cleaning 9999 clauses out of 20009 with flag 312000/1815944
63.26/62.52	c cleaning 10000 clauses out of 20010 with flag 322000/1825944
63.56/62.87	c cleaning 9998 clauses out of 20011 with flag 332001/1835945
63.66/62.91	c Got one! Elapsed wall clock time (in seconds):62.81
63.66/62.91	o 114
63.76/63.08	c cleaning 7965 clauses out of 15942 with flag 5000/1841874
63.96/63.28	c cleaning 6984 clauses out of 13977 with flag 11000/1847874
64.26/63.51	c cleaning 6992 clauses out of 13994 with flag 18001/1854875
64.46/63.78	c cleaning 7495 clauses out of 15002 with flag 26001/1862875
64.76/64.09	c cleaning 8253 clauses out of 16511 with flag 35005/1871879
65.16/64.47	c cleaning 9120 clauses out of 18254 with flag 45001/1881875
65.57/64.84	c cleaning 9562 clauses out of 19134 with flag 55001/1891875
65.96/65.21	c cleaning 9781 clauses out of 19573 with flag 65002/1901876
66.26/65.56	c cleaning 9889 clauses out of 19790 with flag 75000/1911874
66.67/65.91	c cleaning 9946 clauses out of 19902 with flag 85001/1921875
66.97/66.28	c cleaning 9970 clauses out of 19955 with flag 95000/1931874
67.38/66.62	c cleaning 9987 clauses out of 19985 with flag 105000/1941874
67.68/66.98	c cleaning 9996 clauses out of 20002 with flag 115004/1951878
68.08/67.31	c cleaning 9997 clauses out of 20005 with flag 125003/1961877
68.38/67.65	c cleaning 10000 clauses out of 20007 with flag 135002/1971876
68.78/68.03	c cleaning 10000 clauses out of 20006 with flag 145001/1981875
69.08/68.39	c cleaning 9998 clauses out of 20006 with flag 155001/1991875
69.48/68.74	c cleaning 9997 clauses out of 20007 with flag 165000/2001874
69.88/69.10	c cleaning 10001 clauses out of 20011 with flag 175001/2011875
70.18/69.44	c cleaning 10003 clauses out of 20009 with flag 185000/2021874
70.58/69.83	c cleaning 10000 clauses out of 20007 with flag 195001/2031875
70.88/70.18	c cleaning 9996 clauses out of 20007 with flag 205001/2041875
71.28/70.54	c cleaning 10000 clauses out of 20011 with flag 215001/2051875
71.68/70.93	c cleaning 10000 clauses out of 20010 with flag 225000/2061874
71.98/71.25	c Got one! Elapsed wall clock time (in seconds):71.146
71.98/71.25	o 58
72.19/71.46	c cleaning 11924 clauses out of 23855 with flag 5000/2075719
72.38/71.68	c cleaning 8959 clauses out of 17932 with flag 11001/2081720
72.68/71.90	c cleaning 7980 clauses out of 15972 with flag 18000/2088719
72.88/72.16	c cleaning 7990 clauses out of 15992 with flag 26000/2096719
73.19/72.47	c cleaning 8497 clauses out of 17003 with flag 35001/2105720
73.59/72.83	c cleaning 9250 clauses out of 18505 with flag 45000/2115719
73.89/73.18	c cleaning 9624 clauses out of 19259 with flag 55004/2125723
74.29/73.51	c cleaning 9812 clauses out of 19632 with flag 65001/2135720
74.59/73.85	c cleaning 9908 clauses out of 19823 with flag 75004/2145723
74.89/74.20	c cleaning 9954 clauses out of 19913 with flag 85002/2155721
75.29/74.55	c cleaning 9975 clauses out of 19957 with flag 95000/2165719
75.60/74.88	c cleaning 9988 clauses out of 19984 with flag 105002/2175721
75.99/75.22	c cleaning 9992 clauses out of 19994 with flag 115000/2185719
76.29/75.58	c cleaning 9998 clauses out of 20003 with flag 125001/2195720
76.70/75.91	c cleaning 9997 clauses out of 20004 with flag 135000/2205719
77.00/76.25	c cleaning 10000 clauses out of 20007 with flag 145000/2215719
77.40/76.60	c cleaning 10001 clauses out of 20008 with flag 155001/2225720
77.70/76.96	c cleaning 9996 clauses out of 20007 with flag 165001/2235720
78.10/77.31	c cleaning 9999 clauses out of 20012 with flag 175002/2245721
78.40/77.64	c cleaning 10000 clauses out of 20012 with flag 185001/2255720
78.70/77.97	c cleaning 10002 clauses out of 20011 with flag 195000/2265719
79.10/78.32	c cleaning 9998 clauses out of 20009 with flag 205000/2275719
79.40/78.68	c cleaning 10002 clauses out of 20011 with flag 215000/2285719
79.81/79.03	c cleaning 9997 clauses out of 20009 with flag 225000/2295719
80.21/79.40	c cleaning 9996 clauses out of 20012 with flag 235000/2305719
80.51/79.74	c cleaning 10002 clauses out of 20016 with flag 245000/2315719
80.80/80.09	c cleaning 10002 clauses out of 20014 with flag 255000/2325719
81.21/80.42	c cleaning 10002 clauses out of 20013 with flag 265001/2335720
81.52/80.76	c cleaning 10001 clauses out of 20010 with flag 275000/2345719
81.82/81.09	c cleaning 10001 clauses out of 20009 with flag 285000/2355719
82.22/81.44	c cleaning 10001 clauses out of 20009 with flag 295001/2365720
82.52/81.77	c cleaning 9998 clauses out of 20007 with flag 305000/2375719
82.92/82.11	c cleaning 10001 clauses out of 20009 with flag 315000/2385719
83.23/82.48	c cleaning 9996 clauses out of 20010 with flag 325002/2395721
83.62/82.81	c cleaning 10004 clauses out of 20013 with flag 335001/2405720
83.92/83.14	c cleaning 9996 clauses out of 20010 with flag 345002/2415721
84.22/83.46	c cleaning 10001 clauses out of 20012 with flag 355000/2425719
84.52/83.79	c cleaning 10001 clauses out of 20012 with flag 365001/2435720
84.92/84.13	c cleaning 9999 clauses out of 20010 with flag 375000/2445719
85.22/84.47	c cleaning 10001 clauses out of 20011 with flag 385000/2455719
85.53/84.80	c cleaning 10003 clauses out of 20012 with flag 395002/2465721
85.93/85.14	c cleaning 9996 clauses out of 20007 with flag 405000/2475719
86.23/85.49	c cleaning 10001 clauses out of 20012 with flag 415001/2485720
86.63/85.83	c cleaning 10001 clauses out of 20011 with flag 425001/2495720
86.92/86.18	c cleaning 9999 clauses out of 20009 with flag 435000/2505719
87.33/86.53	c cleaning 9998 clauses out of 20010 with flag 445000/2515719
87.63/86.87	c cleaning 10003 clauses out of 20013 with flag 455001/2525720
88.03/87.21	c cleaning 10000 clauses out of 20011 with flag 465002/2535721
88.33/87.56	c cleaning 9998 clauses out of 20010 with flag 475001/2545720
88.73/87.92	c cleaning 10001 clauses out of 20014 with flag 485003/2555722
89.03/88.24	c cleaning 10002 clauses out of 20010 with flag 495000/2565719
89.33/88.57	c cleaning 9999 clauses out of 20009 with flag 505001/2575720
89.73/88.93	c cleaning 10000 clauses out of 20009 with flag 515000/2585719
90.03/89.26	c cleaning 9998 clauses out of 20009 with flag 525000/2595719
90.43/89.60	c cleaning 10004 clauses out of 20014 with flag 535003/2605722
90.73/89.95	c cleaning 9997 clauses out of 20007 with flag 545000/2615719
91.18/90.33	c cleaning 9999 clauses out of 20010 with flag 555000/2625719
91.99/90.72	c cleaning 10005 clauses out of 20011 with flag 565002/2635721
91.99/90.77	c starts		: 247
91.99/90.77	c conflicts		: 2636706
91.99/90.77	c decisions		: 4113097
91.99/90.77	c propagations		: 64951109
91.99/90.77	c inspects		: 551188751
91.99/90.77	c shortcuts		: 0
91.99/90.77	c learnt literals	: 7
91.99/90.77	c learnt binary clauses	: 19
91.99/90.77	c learnt ternary clauses	: 1102
91.99/90.77	c learnt constraints	: 2636698
91.99/90.77	c ignored constraints	: 0
91.99/90.77	c root simplifications	: 0
91.99/90.77	c removed literals (reason simplification)	: 17689188
91.99/90.77	c reason swapping (by a shorter reason)	: 0
91.99/90.77	c Calls to reduceDB	: 277
91.99/90.77	c number of reductions to clauses (during analyze)	: 0
91.99/90.77	c number of learned constraints concerned by reduction	: 0
91.99/90.77	c number of learning phase by resolution	: 0
91.99/90.77	c number of learning phase by cutting planes	: 0
91.99/90.77	c speed (assignments/second)	: 3326902.0642319317
91.99/90.77	c non guided choices	895
91.99/90.77	c learnt constraints type 
91.99/90.77	c constraints type 
91.99/90.77	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
91.99/90.77	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
91.99/90.77	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
91.99/90.77	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
91.99/90.77	s OPTIMUM FOUND
91.99/90.77	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 
91.99/90.77	c objective function=58
91.99/90.77	c Total wall clock time (in seconds): 90.67

Verifier Data 

OK	58

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 1.95 2/193 22840
/proc/meminfo: memFree=12041056/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 902558833 31272960 959 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 7635 959 732 9 0 386 0
[pid=22840/tid=22841] ppid=22838 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 902558834 31272960 960 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274664808251 0 0 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.08794 s]
/proc/loadavg: 2.02 2.02 1.95 2/193 22840
/proc/meminfo: memFree=12041056/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10540304 CPUtime=0.09 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 12911 0 1 0 8 1 0 0 25 0 18 0 902558833 10793271296 12586 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2635076 12587 2083 9 0 2625810 0
[pid=22840/tid=22841] ppid=22838 vsize=10540304 CPUtime=0.07 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 11008 0 1 0 6 1 0 0 18 0 18 0 902558834 10793271296 12588 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 47725678603091 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540304

[startup+0.100624 s]
/proc/loadavg: 2.02 2.02 1.95 2/193 22840
/proc/meminfo: memFree=12041056/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10540304 CPUtime=0.1 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 13119 0 1 0 9 1 0 0 25 0 18 0 902558833 10793271296 12794 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2635076 12794 2092 9 0 2625810 0
[pid=22840/tid=22841] ppid=22838 vsize=10540304 CPUtime=0.08 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 11204 0 1 0 7 1 0 0 18 0 18 0 902558834 10793271296 12794 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676635083 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540304

[startup+0.300617 s]
/proc/loadavg: 2.02 2.02 1.95 2/193 22840
/proc/meminfo: memFree=12041056/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544332 CPUtime=0.54 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 16158 0 1 0 52 2 0 0 25 0 19 0 902558833 10797395968 14843 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636083 14843 2214 9 0 2626817 0
[pid=22840/tid=22841] ppid=22838 vsize=10544332 CPUtime=0.28 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 11765 0 1 0 27 1 0 0 19 0 19 0 902558834 10797395968 14843 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505329457 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10544332

[startup+0.700536 s]
/proc/loadavg: 2.02 2.02 1.95 2/193 22840
/proc/meminfo: memFree=12041056/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544332 CPUtime=1.05 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 17264 0 1 0 102 3 0 0 25 0 19 0 902558833 10797395968 15890 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636083 15890 2246 9 0 2626817 0
[pid=22840/tid=22841] ppid=22838 vsize=10544332 CPUtime=0.65 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12073 0 1 0 64 1 0 0 17 0 19 0 902558834 10797395968 15890 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505534478 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 10544332

[startup+1.50142 s]
/proc/loadavg: 2.02 2.02 1.95 4/212 22859
/proc/meminfo: memFree=11986244/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544176 CPUtime=1.88 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 17440 0 1 0 185 3 0 0 25 0 19 0 902558833 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636044 15968 2247 9 0 2626778 0
[pid=22840/tid=22841] ppid=22838 vsize=10544176 CPUtime=1.4 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12075 0 1 0 139 1 0 0 18 0 19 0 902558834 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505576764 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544176 CPUtime=0.07 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 373 0 0 0 7 0 0 0 15 0 19 0 902558836 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544176 CPUtime=0.19 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) S 22838 22840 19566 0 -1 4202560 1412 0 0 0 19 0 0 0 19 0 19 0 902558839 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544176 CPUtime=0.18 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2009 0 0 0 18 0 0 0 15 0 19 0 902558839 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902558839 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10797236224 15968 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10544176

[startup+3.10113 s]
/proc/loadavg: 2.02 2.02 1.95 3/212 22859
/proc/meminfo: memFree=11984880/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544176 CPUtime=3.49 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 17738 0 1 0 346 3 0 0 25 0 19 0 902558833 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636044 16258 2247 9 0 2626778 0
[pid=22840/tid=22841] ppid=22838 vsize=10544176 CPUtime=2.89 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12083 0 1 0 288 1 0 0 19 0 19 0 902558834 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505607287 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 902558835 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544176 CPUtime=0.16 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 499 0 0 0 16 0 0 0 15 0 19 0 902558836 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544176 CPUtime=0.19 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) S 22838 22840 19566 0 -1 4202560 1412 0 0 0 19 0 0 0 19 0 19 0 902558839 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544176 CPUtime=0.18 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2009 0 0 0 18 0 0 0 15 0 19 0 902558839 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902558839 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10797236224 16258 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10544176

[startup+6.30158 s]
/proc/loadavg: 2.02 2.02 1.95 3/212 22860
/proc/meminfo: memFree=11964920/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544176 CPUtime=6.85 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 17884 0 1 0 680 5 0 0 25 0 19 0 902558833 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636044 16232 2247 9 0 2626778 0
[pid=22840/tid=22841] ppid=22838 vsize=10544176 CPUtime=5.82 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12096 0 1 0 580 2 0 0 18 0 19 0 902558834 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505516065 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10544176 CPUtime=0.03 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 72 0 0 0 3 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544176 CPUtime=0.03 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 58 0 0 0 3 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544176 CPUtime=0.04 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 147 0 0 0 4 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544176 CPUtime=0.03 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 5 0 0 0 3 0 0 0 16 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544176 CPUtime=0.03 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 25 0 0 0 3 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544176 CPUtime=0.05 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 184 0 0 0 5 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544176 CPUtime=0.02 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 44 0 0 0 2 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544176 CPUtime=0.03 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 87 0 0 0 3 0 0 0 15 0 19 0 902558835 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544176 CPUtime=0.31 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 594 0 0 0 31 0 0 0 15 0 19 0 902558836 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544176 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544176 CPUtime=0.19 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) S 22838 22840 19566 0 -1 4202560 1412 0 0 0 19 0 0 0 19 0 19 0 902558839 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544176 CPUtime=0.18 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2009 0 0 0 18 0 0 0 15 0 19 0 902558839 10797236224 16232 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0

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

/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 82 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 141 0 0 0 9 1 0 0 16 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544468 CPUtime=0.12 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 15 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544468 CPUtime=0.11 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 246 0 0 0 11 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544468 CPUtime=0.13 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 193 0 0 0 13 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544468 CPUtime=0.09 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 53 0 0 0 9 0 0 0 16 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 93 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544468 CPUtime=3.9 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 1124 0 0 0 386 4 0 0 15 0 19 0 902558836 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544468 CPUtime=0.22 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) S 22838 22840 19566 0 -1 4202560 1449 0 0 0 22 0 0 0 17 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544468 CPUtime=0.18 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2009 0 0 0 18 0 0 0 15 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 88.73
Current children cumulated vsize (KiB) 10544468

[startup+89.5012 s]
/proc/loadavg: 2.09 2.04 1.96 3/212 23033
/proc/meminfo: memFree=11964824/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544468 CPUtime=90.33 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 19063 0 1 0 9021 12 0 0 25 0 19 0 902558833 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636117 17151 2248 9 0 2626851 0
[pid=22840/tid=22841] ppid=22838 vsize=10544468 CPUtime=85 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12343 0 1 0 8498 2 0 0 25 0 19 0 902558834 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505576844 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 82 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 141 0 0 0 9 1 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544468 CPUtime=0.12 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 15 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544468 CPUtime=0.11 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 246 0 0 0 11 0 0 0 16 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544468 CPUtime=0.13 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 193 0 0 0 13 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544468 CPUtime=0.09 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 53 0 0 0 9 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 93 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544468 CPUtime=3.97 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 1124 0 0 0 393 4 0 0 15 0 19 0 902558836 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544468 CPUtime=0.22 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) S 22838 22840 19566 0 -1 4202560 1449 0 0 0 22 0 0 0 17 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544468 CPUtime=0.18 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2009 0 0 0 18 0 0 0 15 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902558839 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10797535232 17151 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 90.33
Current children cumulated vsize (KiB) 10544468

[startup+90.306 s]
/proc/loadavg: 2.09 2.04 1.96 3/212 23033
/proc/meminfo: memFree=11964700/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10544468 CPUtime=91.18 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 19079 0 1 0 9106 12 0 0 25 0 19 0 902558833 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2636117 17163 2250 9 0 2626851 0
[pid=22840/tid=22841] ppid=22838 vsize=10544468 CPUtime=85.77 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12347 0 1 0 8575 2 0 0 25 0 19 0 902558834 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505191184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 82 0 0 0 10 0 0 0 16 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 141 0 0 0 9 1 0 0 15 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10544468 CPUtime=0.12 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 15 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10544468 CPUtime=0.11 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 246 0 0 0 11 0 0 0 16 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10544468 CPUtime=0.13 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 193 0 0 0 13 0 0 0 16 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10544468 CPUtime=0.09 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 53 0 0 0 9 0 0 0 15 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10544468 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 93 0 0 0 10 0 0 0 15 0 19 0 902558835 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10544468 CPUtime=4 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 1125 0 0 0 396 4 0 0 15 0 19 0 902558836 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10544468 CPUtime=0.24 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) R 22838 22840 19566 0 -1 4202560 1454 0 0 0 24 0 0 0 15 0 19 0 902558839 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 47725673371871 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10544468 CPUtime=0.2 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) R 22838 22840 19566 0 -1 4202560 2015 0 0 0 20 0 0 0 15 0 19 0 902558839 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 47725673446401 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902558839 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10544468 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10797535232 17163 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 91.18
Current children cumulated vsize (KiB) 10544468

[startup+90.701 s]
/proc/loadavg: 2.09 2.04 1.96 3/212 23033
/proc/meminfo: memFree=11964700/32951132 swapFree=67054624/67111528
[pid=22840] ppid=22838 vsize=10563756 CPUtime=91.99 cores=0,2,4,6
/proc/22840/stat : 22840 (java) S 22838 22840 19566 0 -1 4202496 25535 0 1 0 9186 13 0 0 25 0 19 0 902558833 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22840/statm: 2640939 21835 2250 9 0 2631673 0
[pid=22840/tid=22841] ppid=22838 vsize=10563756 CPUtime=86.14 cores=0,2,4,6
/proc/22840/task/22841/stat : 22841 (java) R 22838 22840 19566 0 -1 4202560 12348 0 1 0 8612 2 0 0 25 0 19 0 902558834 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22840/tid=22843] ppid=22838 vsize=10563756 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22843/stat : 22843 (java) S 22838 22840 19566 0 -1 4202560 82 0 0 0 10 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22844] ppid=22838 vsize=10563756 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22844/stat : 22844 (java) S 22838 22840 19566 0 -1 4202560 141 0 0 0 9 1 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22845] ppid=22838 vsize=10563756 CPUtime=0.12 cores=0,2,4,6
/proc/22840/task/22845/stat : 22845 (java) S 22838 22840 19566 0 -1 4202560 158 0 0 0 12 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 6 0 0 0
[pid=22840/tid=22846] ppid=22838 vsize=10563756 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22846/stat : 22846 (java) S 22838 22840 19566 0 -1 4202560 15 0 0 0 10 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22847] ppid=22838 vsize=10563756 CPUtime=0.11 cores=0,2,4,6
/proc/22840/task/22847/stat : 22847 (java) S 22838 22840 19566 0 -1 4202560 246 0 0 0 11 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22848] ppid=22838 vsize=10563756 CPUtime=0.13 cores=0,2,4,6
/proc/22840/task/22848/stat : 22848 (java) S 22838 22840 19566 0 -1 4202560 193 0 0 0 13 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22849] ppid=22838 vsize=10563756 CPUtime=0.09 cores=0,2,4,6
/proc/22840/task/22849/stat : 22849 (java) S 22838 22840 19566 0 -1 4202560 53 0 0 0 9 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22850] ppid=22838 vsize=10563756 CPUtime=0.1 cores=0,2,4,6
/proc/22840/task/22850/stat : 22850 (java) S 22838 22840 19566 0 -1 4202560 93 0 0 0 10 0 0 0 15 0 19 0 902558835 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22851] ppid=22838 vsize=10563756 CPUtime=4.02 cores=0,2,4,6
/proc/22840/task/22851/stat : 22851 (java) S 22838 22840 19566 0 -1 4202560 1147 0 0 0 398 4 0 0 16 0 19 0 902558836 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 0 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22852] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22852/stat : 22852 (java) S 22838 22840 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902558837 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22853] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22853/stat : 22853 (java) S 22838 22840 19566 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902558837 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 0 0 0 0
[pid=22840/tid=22854] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22854/stat : 22854 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676631985 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22855] ppid=22838 vsize=10563756 CPUtime=0.63 cores=0,2,4,6
/proc/22840/task/22855/stat : 22855 (java) R 22838 22840 19566 0 -1 4202560 7353 0 0 0 62 1 0 0 16 0 19 0 902558839 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 47725677825491 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22840/tid=22856] ppid=22838 vsize=10563756 CPUtime=0.22 cores=0,2,4,6
/proc/22840/task/22856/stat : 22856 (java) S 22838 22840 19566 0 -1 4202560 2549 0 0 0 22 0 0 0 15 0 19 0 902558839 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22857] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22857/stat : 22857 (java) S 22838 22840 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902558839 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624281 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22858] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22858/stat : 22858 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902558839 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 2 0 0 0
[pid=22840/tid=22859] ppid=22838 vsize=10563756 CPUtime=0 cores=0,2,4,6
/proc/22840/task/22859/stat : 22859 (java) S 22838 22840 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902558850 10817286144 21835 33554432000 1073741824 1073778376 140733902188656 18446744073709551615 274676624896 0 4 0 16800975 18446604443456211136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 91.99
Current children cumulated vsize (KiB) 10563756

Child status: 30
Real time (s): 90.7832
CPU time (s): 92.118
CPU user time (s): 91.983
CPU system time (s): 0.134979
CPU usage (%): 101.47
Max. virtual memory (cumulated for all children) (KiB): 10563756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.983
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25704
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= 8988
involuntary context switches= 6786

runsolver used 0.166974 second user time and 0.348946 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-12 22:13:12
IDJOB=3492345
IDBENCH=78771
IDSOLVER=1982
FILE ID=node131/3492345-1307909592
RUNJOBID= node131-1307907581-21984
PBS_JOBID= 13559575
Free space on /tmp= 56584 MiB

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

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

MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59
RANDOM SEED=128310617

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12041220 kB
Buffers:        332948 kB
Cached:       19808988 kB
SwapCached:       9816 kB
Active:       15663308 kB
Inactive:      4561748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12041220 kB
SwapTotal:    67111528 kB
SwapFree:     67054624 kB
Dirty:             284 kB
Writeback:           0 kB
AnonPages:       81344 kB
Mapped:          21476 kB
Slab:           622144 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 10550164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 56584 MiB
End job on node131 at 2011-06-12 22:14:43