Trace number 3492623

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 86.8568 85.1178

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo
MD5SUM86727f41c04b3a3cda96c180ef39a0ad
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark2.54961
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
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.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-3492623-1307911005.wbo
0.11/0.11	c reading problem ... 
0.11/0.17	c ... done. Wall clock time 0.06s.
0.11/0.17	c #vars     270
0.11/0.17	c #constraints  101
0.11/0.17	c constraints type 
0.11/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.28/0.22	c SATISFIABLE
0.28/0.22	c OPTIMIZING...
0.28/0.22	c Got one! Elapsed wall clock time (in seconds):0.111
0.28/0.22	o 886
0.28/0.24	c Got one! Elapsed wall clock time (in seconds):0.135
0.28/0.24	o 792
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.156
0.28/0.26	o 655
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.175
0.28/0.28	o 554
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.185
0.28/0.29	o 552
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.199
0.52/0.31	o 532
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.214
0.52/0.32	o 466
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.243
0.52/0.35	o 453
0.66/0.44	c Got one! Elapsed wall clock time (in seconds):0.33
0.66/0.44	o 418
0.66/0.46	c Got one! Elapsed wall clock time (in seconds):0.349
0.66/0.46	o 365
0.77/0.51	c Got one! Elapsed wall clock time (in seconds):0.407
0.77/0.51	o 351
0.77/0.54	c Got one! Elapsed wall clock time (in seconds):0.429
0.77/0.54	o 336
0.97/0.74	c cleaning 4271 clauses out of 8546 with flag 3000/8546
1.32/1.02	c cleaning 5134 clauses out of 10275 with flag 9000/14546
1.32/1.10	c Got one! Elapsed wall clock time (in seconds):0.993
1.32/1.10	o 301
1.43/1.14	c Got one! Elapsed wall clock time (in seconds):1.028
1.43/1.14	o 293
1.53/1.27	c cleaning 5293 clauses out of 10596 with flag 3001/20001
1.65/1.34	c Got one! Elapsed wall clock time (in seconds):1.231
1.65/1.34	o 279
1.90/1.50	c cleaning 5498 clauses out of 11004 with flag 4001/25702
1.90/1.55	c Got one! Elapsed wall clock time (in seconds):1.444
1.90/1.55	o 275
1.90/1.59	c Got one! Elapsed wall clock time (in seconds):1.479
1.90/1.59	o 266
2.22/1.88	c cleaning 5928 clauses out of 11886 with flag 5007/32082
2.52/2.16	c cleaning 5965 clauses out of 11951 with flag 11000/38075
2.63/2.21	c Got one! Elapsed wall clock time (in seconds):2.102
2.63/2.21	o 262
2.85/2.42	c cleaning 5957 clauses out of 11923 with flag 5001/44012
3.15/2.72	c cleaning 5975 clauses out of 11965 with flag 11000/50011
3.25/2.81	c Got one! Elapsed wall clock time (in seconds):2.703
3.25/2.81	o 257
3.35/2.94	c cleaning 5723 clauses out of 11453 with flag 4002/55474
3.65/3.20	c cleaning 5853 clauses out of 11728 with flag 10000/61472
3.65/3.26	c Got one! Elapsed wall clock time (in seconds):3.15
3.65/3.26	o 237
3.86/3.47	c cleaning 5850 clauses out of 11719 with flag 5000/67316
3.95/3.55	c Got one! Elapsed wall clock time (in seconds):3.441
3.95/3.55	o 229
4.05/3.68	c cleaning 5483 clauses out of 10982 with flag 4001/72429
4.36/3.94	c Got one! Elapsed wall clock time (in seconds):3.834
4.36/3.94	o 218
4.56/4.12	c cleaning 7870 clauses out of 15749 with flag 5001/82679
4.66/4.22	c Got one! Elapsed wall clock time (in seconds):4.113
4.66/4.22	o 210
4.81/4.34	c cleaning 6471 clauses out of 12949 with flag 3002/87749
5.01/4.56	c cleaning 6232 clauses out of 12476 with flag 9000/93747
5.41/4.90	c cleaning 6615 clauses out of 13244 with flag 16000/100747
5.41/4.94	c Got one! Elapsed wall clock time (in seconds):4.832
5.41/4.94	o 194
5.61/5.13	c cleaning 6066 clauses out of 12145 with flag 5000/106263
5.91/5.47	c cleaning 6029 clauses out of 12079 with flag 11000/112263
6.31/5.80	c cleaning 6524 clauses out of 13052 with flag 18002/119265
6.71/6.30	c cleaning 7256 clauses out of 14526 with flag 26000/127263
7.31/6.81	c cleaning 8133 clauses out of 16271 with flag 35001/136264
7.81/7.30	c cleaning 9064 clauses out of 18137 with flag 45000/146263
8.22/7.71	c cleaning 9532 clauses out of 19074 with flag 55001/156264
8.72/8.26	c cleaning 9763 clauses out of 19542 with flag 65001/166264
9.22/8.72	c Got one! Elapsed wall clock time (in seconds):8.608
9.22/8.72	o 176
9.46/8.92	c cleaning 11246 clauses out of 22498 with flag 5002/178983
9.66/9.16	c cleaning 8619 clauses out of 17250 with flag 11000/184981
9.96/9.42	c cleaning 7812 clauses out of 15633 with flag 18002/191983
10.36/9.81	c cleaning 7895 clauses out of 15819 with flag 26000/199981
10.36/9.86	c Got one! Elapsed wall clock time (in seconds):9.75
10.36/9.86	o 148
10.57/10.04	c cleaning 6827 clauses out of 13670 with flag 5000/205727
10.86/10.34	c cleaning 6417 clauses out of 12844 with flag 11001/211728
11.16/10.66	c cleaning 6707 clauses out of 13427 with flag 18001/218728
11.57/11.04	c cleaning 7356 clauses out of 14719 with flag 26000/226727
11.76/11.26	c Got one! Elapsed wall clock time (in seconds):11.152
11.76/11.26	o 142
11.86/11.30	c cleaning 6307 clauses out of 12624 with flag 1001/231988
12.06/11.52	c cleaning 6154 clauses out of 12316 with flag 7000/237987
12.26/11.79	c cleaning 6576 clauses out of 13165 with flag 14003/244990
12.67/12.18	c cleaning 7286 clauses out of 14588 with flag 22002/252989
13.16/12.63	c cleaning 8144 clauses out of 16300 with flag 31000/261987
13.78/13.20	c cleaning 9071 clauses out of 18156 with flag 41000/271987
14.27/13.75	c Got one! Elapsed wall clock time (in seconds):13.646
14.27/13.75	o 126
14.47/13.98	c cleaning 11892 clauses out of 23793 with flag 5002/286695
14.77/14.25	c cleaning 8945 clauses out of 17900 with flag 11001/292694
15.07/14.54	c cleaning 7973 clauses out of 15954 with flag 18000/299693
15.37/14.87	c cleaning 7988 clauses out of 15984 with flag 26003/307696
15.87/15.31	c cleaning 8493 clauses out of 16993 with flag 35000/316693
16.10/15.57	c Got one! Elapsed wall clock time (in seconds):15.467
16.10/15.57	o 124
16.29/15.76	c cleaning 9319 clauses out of 18647 with flag 5000/326840
16.60/16.06	c cleaning 7653 clauses out of 15328 with flag 11000/332840
17.00/16.44	c cleaning 7332 clauses out of 14676 with flag 18001/339841
17.00/16.48	c Got one! Elapsed wall clock time (in seconds):16.371
17.00/16.48	o 111
17.20/16.64	c cleaning 6477 clauses out of 12959 with flag 5001/345456
17.40/16.84	c cleaning 6237 clauses out of 12483 with flag 11002/351457
17.70/17.18	c cleaning 6617 clauses out of 13245 with flag 18001/358456
17.90/17.30	c Got one! Elapsed wall clock time (in seconds):17.196
17.90/17.30	o 104
18.00/17.40	c cleaning 6099 clauses out of 12201 with flag 3001/364029
18.20/17.62	c cleaning 6049 clauses out of 12103 with flag 9002/370030
18.40/17.89	c cleaning 6522 clauses out of 13054 with flag 16002/377030
18.80/18.22	c cleaning 7263 clauses out of 14531 with flag 24001/385029
19.00/18.41	c Got one! Elapsed wall clock time (in seconds):18.298
19.00/18.41	o 97
19.00/18.48	c cleaning 6503 clauses out of 13012 with flag 2001/390773
19.20/18.70	c cleaning 6250 clauses out of 12508 with flag 8000/396772
19.50/18.97	c cleaning 6625 clauses out of 13259 with flag 15001/403773
19.80/19.27	c cleaning 7315 clauses out of 14636 with flag 23003/411775
20.20/19.65	c cleaning 8154 clauses out of 16318 with flag 32000/420772
20.86/20.21	c cleaning 9077 clauses out of 18167 with flag 42003/430775
21.47/20.51	c Got one! Elapsed wall clock time (in seconds):20.406
21.47/20.51	o 81
21.79/20.72	c cleaning 9717 clauses out of 19443 with flag 5000/441128
22.19/20.97	c cleaning 7855 clauses out of 15727 with flag 11001/447129
22.68/21.24	c cleaning 7432 clauses out of 14871 with flag 18000/454128
22.98/21.55	c cleaning 7719 clauses out of 15443 with flag 26004/462132
23.28/21.87	c cleaning 8354 clauses out of 16720 with flag 35000/471128
23.68/22.26	c cleaning 9176 clauses out of 18366 with flag 45000/481128
24.21/22.73	c cleaning 9591 clauses out of 19192 with flag 55002/491130
24.62/23.20	c cleaning 9796 clauses out of 19601 with flag 65002/501130
25.12/23.66	c cleaning 9896 clauses out of 19803 with flag 75000/511128
25.32/23.88	c Got one! Elapsed wall clock time (in seconds):23.776
25.32/23.88	o 78
25.42/23.93	c cleaning 7835 clauses out of 15677 with flag 1001/516898
25.62/24.13	c cleaning 6918 clauses out of 13843 with flag 7002/522899
25.83/24.39	c cleaning 6954 clauses out of 13925 with flag 14002/529899
26.22/24.70	c cleaning 7478 clauses out of 14969 with flag 22000/537897
26.52/25.09	c cleaning 8240 clauses out of 16491 with flag 31000/546897
27.03/25.56	c cleaning 9121 clauses out of 18252 with flag 41001/556898
27.53/26.03	c cleaning 9560 clauses out of 19131 with flag 51001/566898
27.93/26.47	c cleaning 9778 clauses out of 19570 with flag 61000/576897
28.43/26.96	c cleaning 9893 clauses out of 19793 with flag 71001/586898
28.93/27.46	c cleaning 9942 clauses out of 19900 with flag 81001/596898
29.43/27.96	c cleaning 9961 clauses out of 19958 with flag 91001/606898
29.93/28.45	c cleaning 9975 clauses out of 19996 with flag 101000/616897
30.43/28.97	c cleaning 10007 clauses out of 20021 with flag 111000/626897
31.03/29.55	c cleaning 10006 clauses out of 20015 with flag 121001/636898
31.64/30.11	c cleaning 10003 clauses out of 20010 with flag 131002/646899
31.84/30.36	c Got one! Elapsed wall clock time (in seconds):30.25
31.84/30.36	o 75
32.04/30.54	c cleaning 10284 clauses out of 20574 with flag 5000/657466
32.24/30.77	c cleaning 8142 clauses out of 16291 with flag 11001/663467
32.54/31.03	c cleaning 7570 clauses out of 15149 with flag 18001/670467
32.83/31.31	c cleaning 7786 clauses out of 15579 with flag 26001/678467
33.13/31.64	c cleaning 8393 clauses out of 16795 with flag 35003/687469
33.54/32.03	c cleaning 9192 clauses out of 18399 with flag 45000/697466
33.94/32.42	c cleaning 9597 clauses out of 19207 with flag 55000/707466
34.24/32.79	c cleaning 9803 clauses out of 19611 with flag 65001/717467
34.74/33.24	c cleaning 9900 clauses out of 19807 with flag 75000/727466
35.14/33.69	c cleaning 9952 clauses out of 19908 with flag 85001/737467
35.64/34.16	c cleaning 9967 clauses out of 19956 with flag 95001/747467
36.14/34.62	c cleaning 9992 clauses out of 19988 with flag 105000/757466
36.64/35.11	c cleaning 9995 clauses out of 19998 with flag 115002/767468
37.05/35.59	c cleaning 9995 clauses out of 20002 with flag 125001/777467
37.55/36.04	c cleaning 9998 clauses out of 20006 with flag 135000/787466
38.05/36.52	c cleaning 9997 clauses out of 20009 with flag 145001/797467
38.45/36.93	c Got one! Elapsed wall clock time (in seconds):36.818
38.45/36.93	o 68
38.65/37.15	c cleaning 11508 clauses out of 23024 with flag 5002/810479
38.85/37.39	c cleaning 8754 clauses out of 17515 with flag 11001/816478
39.15/37.66	c cleaning 7878 clauses out of 15760 with flag 18000/823477
39.45/37.93	c cleaning 7934 clauses out of 15882 with flag 26000/831477
39.76/38.27	c cleaning 8470 clauses out of 16949 with flag 35001/840478
39.96/38.45	c Got one! Elapsed wall clock time (in seconds):38.339
39.96/38.45	o 65
39.96/38.49	c cleaning 6917 clauses out of 13842 with flag 1000/845841
40.17/38.69	c cleaning 6460 clauses out of 12925 with flag 7000/851841
40.46/38.95	c cleaning 6727 clauses out of 13465 with flag 14000/858841
40.77/39.25	c cleaning 7367 clauses out of 14742 with flag 22004/866845
41.06/39.58	c cleaning 8183 clauses out of 16374 with flag 31003/875844
41.46/39.97	c cleaning 9091 clauses out of 18189 with flag 41001/885842
41.96/40.50	c cleaning 9541 clauses out of 19100 with flag 51003/895844
42.27/40.71	c Got one! Elapsed wall clock time (in seconds):40.603
42.27/40.71	o 63
42.27/40.75	c cleaning 7673 clauses out of 15350 with flag 1005/901635
42.49/40.97	c cleaning 6829 clauses out of 13672 with flag 7000/907630
42.79/41.22	c cleaning 6918 clauses out of 13846 with flag 14003/914633
43.09/41.52	c cleaning 7458 clauses out of 14925 with flag 22000/922630
43.39/41.86	c cleaning 8230 clauses out of 16467 with flag 31000/931630
43.79/42.25	c cleaning 9116 clauses out of 18239 with flag 41002/941632
44.19/42.64	c cleaning 9557 clauses out of 19121 with flag 51000/951630
44.60/43.03	c cleaning 9777 clauses out of 19565 with flag 61001/961631
44.99/43.43	c cleaning 9889 clauses out of 19787 with flag 71000/971630
45.49/43.90	c cleaning 9946 clauses out of 19899 with flag 81001/981631
45.89/44.31	c cleaning 9971 clauses out of 19953 with flag 91001/991631
45.89/44.39	c Got one! Elapsed wall clock time (in seconds):44.279
45.89/44.39	o 56
46.09/44.52	c cleaning 7946 clauses out of 15903 with flag 4000/997552
46.29/44.74	c cleaning 6972 clauses out of 13957 with flag 10000/1003552
46.49/44.99	c cleaning 6989 clauses out of 13985 with flag 17000/1010552
46.80/45.26	c cleaning 7490 clauses out of 14996 with flag 25000/1018552
47.19/45.60	c cleaning 8250 clauses out of 16506 with flag 34000/1027552
47.49/45.99	c cleaning 9123 clauses out of 18256 with flag 44000/1037552
47.89/46.37	c cleaning 9557 clauses out of 19133 with flag 54000/1047552
48.29/46.73	c cleaning 9787 clauses out of 19579 with flag 64003/1057555
48.59/47.09	c cleaning 9891 clauses out of 19790 with flag 74001/1067553
49.00/47.44	c cleaning 9944 clauses out of 19898 with flag 84000/1077552
49.40/47.80	c cleaning 9974 clauses out of 19956 with flag 94002/1087554
49.70/48.19	c cleaning 9983 clauses out of 19980 with flag 104000/1097552
50.20/48.65	c cleaning 9994 clauses out of 19997 with flag 114000/1107552
50.61/49.03	c cleaning 9995 clauses out of 20005 with flag 124002/1117554
51.01/49.47	c cleaning 10002 clauses out of 20009 with flag 134001/1127553
51.51/49.95	c cleaning 9999 clauses out of 20007 with flag 144001/1137553
51.91/50.37	c cleaning 9999 clauses out of 20008 with flag 154001/1147553
52.31/50.79	c cleaning 9998 clauses out of 20010 with flag 164002/1157554
52.81/51.22	c cleaning 9998 clauses out of 20012 with flag 174002/1167554
52.91/51.37	c Got one! Elapsed wall clock time (in seconds):51.263
52.91/51.37	o 54
53.01/51.44	c cleaning 7789 clauses out of 15585 with flag 2003/1173125
53.21/51.66	c cleaning 6893 clauses out of 13793 with flag 8000/1179122
53.51/51.92	c cleaning 6945 clauses out of 13900 with flag 15000/1186122
53.81/52.20	c cleaning 7473 clauses out of 14955 with flag 23000/1194122
54.11/52.51	c Got one! Elapsed wall clock time (in seconds):52.407
54.11/52.51	o 45
54.31/52.76	c cleaning 10654 clauses out of 21315 with flag 5000/1207955
54.52/52.99	c cleaning 8323 clauses out of 16661 with flag 11000/1213955
54.81/53.24	c cleaning 7666 clauses out of 15339 with flag 18001/1220956
55.11/53.53	c cleaning 7832 clauses out of 15674 with flag 26002/1228957
55.42/53.85	c cleaning 8416 clauses out of 16840 with flag 35000/1237955
55.82/54.21	c cleaning 9209 clauses out of 18425 with flag 45001/1247956
56.22/54.64	c cleaning 9604 clauses out of 19216 with flag 55001/1257956
56.62/55.03	c cleaning 9798 clauses out of 19613 with flag 65002/1267957
57.02/55.41	c cleaning 9901 clauses out of 19814 with flag 75001/1277956
57.42/55.81	c cleaning 9953 clauses out of 19913 with flag 85001/1287956
57.73/56.18	c cleaning 9976 clauses out of 19960 with flag 95001/1297956
58.12/56.56	c cleaning 9985 clauses out of 19983 with flag 105000/1307955
58.53/56.91	c cleaning 9996 clauses out of 19999 with flag 115001/1317956
58.63/57.01	c Got one! Elapsed wall clock time (in seconds):56.907
58.63/57.01	o 38
58.63/57.08	c cleaning 7544 clauses out of 15095 with flag 2000/1323048
58.84/57.29	c cleaning 6772 clauses out of 13552 with flag 8001/1329049
59.13/57.54	c cleaning 6885 clauses out of 13780 with flag 15001/1336049
59.43/57.82	c cleaning 7444 clauses out of 14895 with flag 23001/1344049
59.73/58.15	c cleaning 8223 clauses out of 16450 with flag 32000/1353048
60.13/58.51	c cleaning 9109 clauses out of 18228 with flag 42001/1363049
60.44/58.89	c cleaning 9554 clauses out of 19118 with flag 52000/1373048
60.84/59.26	c cleaning 9778 clauses out of 19564 with flag 62000/1383048
61.24/59.60	c cleaning 9888 clauses out of 19788 with flag 72002/1393050
61.54/59.94	c cleaning 9946 clauses out of 19899 with flag 82001/1403049
61.84/60.28	c cleaning 9973 clauses out of 19955 with flag 92003/1413051
62.25/60.61	c cleaning 9982 clauses out of 19979 with flag 102000/1423048
62.55/60.98	c cleaning 9994 clauses out of 19999 with flag 112002/1433050
62.95/61.33	c cleaning 9997 clauses out of 20005 with flag 122002/1443050
63.05/61.46	c Got one! Elapsed wall clock time (in seconds):61.354
63.05/61.46	o 37
63.15/61.53	c cleaning 7891 clauses out of 15785 with flag 2001/1448827
63.35/61.74	c cleaning 6944 clauses out of 13893 with flag 8000/1454826
63.54/61.99	c cleaning 6970 clauses out of 13949 with flag 15000/1461826
63.85/62.27	c cleaning 7488 clauses out of 14981 with flag 23002/1469828
64.15/62.58	c cleaning 8239 clauses out of 16491 with flag 32000/1478826
64.55/62.94	c cleaning 9122 clauses out of 18253 with flag 42001/1488827
64.85/63.30	c cleaning 9561 clauses out of 19130 with flag 52000/1498826
65.25/63.65	c cleaning 9779 clauses out of 19569 with flag 62000/1508826
65.56/64.00	c cleaning 9890 clauses out of 19790 with flag 72000/1518826
65.95/64.34	c cleaning 9946 clauses out of 19900 with flag 82000/1528826
66.35/64.70	c cleaning 9974 clauses out of 19955 with flag 92001/1538827
66.66/65.06	c cleaning 9987 clauses out of 19984 with flag 102004/1548830
67.06/65.43	c cleaning 9994 clauses out of 19995 with flag 112002/1558828
67.36/65.79	c cleaning 9994 clauses out of 20000 with flag 122001/1568827
67.77/66.14	c cleaning 9999 clauses out of 20008 with flag 132003/1578829
68.06/66.49	c cleaning 9996 clauses out of 20006 with flag 142000/1588826
68.46/66.82	c cleaning 9999 clauses out of 20010 with flag 152000/1598826
68.77/67.17	c cleaning 10000 clauses out of 20011 with flag 162000/1608826
69.16/67.51	c cleaning 10003 clauses out of 20011 with flag 172000/1618826
69.47/67.84	c cleaning 9996 clauses out of 20008 with flag 182000/1628826
69.77/68.16	c cleaning 10000 clauses out of 20013 with flag 192001/1638827
70.17/68.50	c cleaning 10004 clauses out of 20013 with flag 202001/1648827
70.47/68.84	c cleaning 10003 clauses out of 20011 with flag 212003/1658829
70.77/69.19	c cleaning 9994 clauses out of 20006 with flag 222001/1668827
71.17/69.54	c cleaning 10002 clauses out of 20014 with flag 232003/1678829
71.47/69.88	c cleaning 10002 clauses out of 20009 with flag 242000/1688826
71.87/70.22	c cleaning 9999 clauses out of 20008 with flag 252001/1698827
72.18/70.53	c Got one! Elapsed wall clock time (in seconds):70.426
72.18/70.53	o 35
72.38/70.75	c cleaning 12368 clauses out of 24744 with flag 5000/1713562
72.58/70.98	c cleaning 9185 clauses out of 18377 with flag 11001/1719563
72.88/71.24	c cleaning 8090 clauses out of 16191 with flag 18000/1726562
73.19/71.51	c cleaning 8045 clauses out of 16101 with flag 26000/1734562
73.48/71.82	c cleaning 8524 clauses out of 17056 with flag 35000/1743562
73.78/72.18	c cleaning 9265 clauses out of 18533 with flag 45001/1753563
74.18/72.59	c cleaning 9630 clauses out of 19267 with flag 55000/1763562
74.59/72.97	c cleaning 9813 clauses out of 19637 with flag 65000/1773562
74.69/73.07	c Got one! Elapsed wall clock time (in seconds):72.966
74.69/73.07	o 29
74.79/73.18	c cleaning 7871 clauses out of 15749 with flag 3002/1779487
74.99/73.39	c cleaning 6935 clauses out of 13876 with flag 9000/1785485
75.29/73.64	c cleaning 6969 clauses out of 13945 with flag 16004/1792489
75.59/73.91	c cleaning 7484 clauses out of 14976 with flag 24004/1800489
75.89/74.21	c cleaning 8240 clauses out of 16489 with flag 33001/1809486
76.19/74.56	c cleaning 9120 clauses out of 18248 with flag 43000/1819485
76.60/74.91	c cleaning 9559 clauses out of 19131 with flag 53003/1829488
76.89/75.26	c cleaning 9781 clauses out of 19570 with flag 63001/1839486
77.20/75.60	c cleaning 9886 clauses out of 19788 with flag 73000/1849485
77.60/75.93	c cleaning 9946 clauses out of 19902 with flag 83000/1859485
77.90/76.25	c cleaning 9974 clauses out of 19957 with flag 93001/1869486
78.20/76.58	c cleaning 9989 clauses out of 19986 with flag 103004/1879489
78.60/76.90	c cleaning 9993 clauses out of 19994 with flag 113001/1889486
78.91/77.23	c cleaning 9994 clauses out of 20000 with flag 123000/1899485
79.21/77.56	c cleaning 9998 clauses out of 20006 with flag 133000/1909485
79.61/77.91	c cleaning 9997 clauses out of 20008 with flag 143000/1919485
79.91/78.27	c cleaning 9997 clauses out of 20011 with flag 153000/1929485
80.31/78.63	c cleaning 10004 clauses out of 20015 with flag 163001/1939486
80.61/78.98	c cleaning 10002 clauses out of 20010 with flag 173000/1949485
81.02/79.33	c cleaning 10002 clauses out of 20010 with flag 183002/1959487
81.31/79.66	c cleaning 9996 clauses out of 20007 with flag 193001/1969486
81.72/80.01	c cleaning 10000 clauses out of 20010 with flag 203000/1979485
81.92/80.29	c Got one! Elapsed wall clock time (in seconds):80.187
81.92/80.29	o 21
82.22/80.50	c cleaning 11772 clauses out of 23549 with flag 5000/1993024
82.42/80.71	c cleaning 8885 clauses out of 17777 with flag 11000/1999024
82.62/80.97	c cleaning 7944 clauses out of 15893 with flag 18001/2006025
82.92/81.26	c cleaning 7973 clauses out of 15951 with flag 26003/2014027
83.23/81.56	c cleaning 8483 clauses out of 16975 with flag 35000/2023024
83.62/81.95	c cleaning 9243 clauses out of 18493 with flag 45001/2033025
84.02/82.30	c cleaning 9621 clauses out of 19250 with flag 55001/2043025
84.33/82.65	c cleaning 9808 clauses out of 19628 with flag 65000/2053024
84.73/83.00	c cleaning 9905 clauses out of 19820 with flag 75000/2063024
85.03/83.37	c cleaning 9952 clauses out of 19916 with flag 85001/2073025
85.43/83.72	c cleaning 9975 clauses out of 19963 with flag 95000/2083024
85.73/84.06	c cleaning 9985 clauses out of 19988 with flag 105000/2093024
86.13/84.43	c cleaning 9998 clauses out of 20003 with flag 115000/2103024
86.43/84.79	c cleaning 9996 clauses out of 20005 with flag 125000/2113024
86.73/85.09	c Got one! Elapsed wall clock time (in seconds):84.982
86.73/85.09	o 2
86.83/85.11	c starts		: 255
86.83/85.11	c conflicts		: 2121988
86.83/85.11	c decisions		: 3404725
86.83/85.11	c propagations		: 54505286
86.83/85.11	c inspects		: 474701349
86.83/85.11	c shortcuts		: 0
86.83/85.11	c learnt literals	: 0
86.83/85.11	c learnt binary clauses	: 64
86.83/85.11	c learnt ternary clauses	: 1074
86.83/85.11	c learnt constraints	: 2121988
86.83/85.11	c ignored constraints	: 0
86.83/85.11	c root simplifications	: 0
86.83/85.11	c removed literals (reason simplification)	: 11773817
86.83/85.11	c reason swapping (by a shorter reason)	: 0
86.83/85.11	c Calls to reduceDB	: 243
86.83/85.11	c number of reductions to clauses (during analyze)	: 0
86.83/85.11	c number of learned constraints concerned by reduction	: 0
86.83/85.11	c number of learning phase by resolution	: 0
86.83/85.11	c number of learning phase by cutting planes	: 0
86.83/85.11	c speed (assignments/second)	: 3.2061932941176467E9
86.83/85.11	c non guided choices	2645
86.83/85.11	c learnt constraints type 
86.83/85.11	c constraints type 
86.83/85.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
86.83/85.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
86.83/85.11	s OPTIMUM FOUND
86.83/85.11	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 
86.83/85.11	c objective function=2
86.83/85.11	c Total wall clock time (in seconds): 85.001

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.96 2/192 30386
/proc/meminfo: memFree=1427640/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 981331011 31268864 958 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 7635 959 732 9 0 386 0
[pid=30386/tid=30387] ppid=30384 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 981331012 31272960 959 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458065723 0 0 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.105159 s]
/proc/loadavg: 2.00 2.02 1.96 2/192 30386
/proc/meminfo: memFree=1427640/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10540308 CPUtime=0.11 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 13144 0 1 0 9 2 0 0 25 0 18 0 981331011 10793275392 12822 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2635077 12792 2093 9 0 2625811 0
[pid=30386/tid=30387] ppid=30384 vsize=10540308 CPUtime=0.09 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 11215 0 1 0 7 2 0 0 18 0 18 0 981331012 10793275392 12792 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540308

[startup+0.206142 s]
/proc/loadavg: 2.00 2.02 1.96 2/192 30386
/proc/meminfo: memFree=1427640/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544280 CPUtime=0.28 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 15406 0 1 0 26 2 0 0 25 0 19 0 981331011 10797342720 14556 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636070 14557 2199 9 0 2626804 0
[pid=30386/tid=30387] ppid=30384 vsize=10544280 CPUtime=0.19 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 11703 0 1 0 17 2 0 0 19 0 19 0 981331012 10797342720 14558 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505181942 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10544280

[startup+0.301147 s]
/proc/loadavg: 2.00 2.02 1.96 2/192 30386
/proc/meminfo: memFree=1427640/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544280 CPUtime=0.52 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 15998 0 1 0 49 3 0 0 25 0 19 0 981331011 10797342720 14924 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636070 14924 2215 9 0 2626804 0
[pid=30386/tid=30387] ppid=30384 vsize=10544280 CPUtime=0.29 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 11849 0 1 0 27 2 0 0 19 0 19 0 981331012 10797342720 14924 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505586366 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544280

[startup+0.701077 s]
/proc/loadavg: 2.00 2.02 1.96 2/192 30386
/proc/meminfo: memFree=1427640/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544280 CPUtime=0.97 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 16660 0 1 0 94 3 0 0 25 0 19 0 981331011 10797342720 15533 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636070 15533 2219 9 0 2626804 0
[pid=30386/tid=30387] ppid=30384 vsize=10544280 CPUtime=0.68 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 12413 0 1 0 66 2 0 0 19 0 19 0 981331012 10797342720 15533 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505556870 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10544280

[startup+1.50093 s]
/proc/loadavg: 2.00 2.02 1.96 4/211 30405
/proc/meminfo: memFree=1370776/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544836 CPUtime=1.9 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 18538 0 1 0 187 3 0 0 25 0 19 0 981331011 10797912064 16727 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636209 16727 2250 9 0 2626943 0
[pid=30386/tid=30387] ppid=30384 vsize=10544836 CPUtime=1.44 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 12432 0 1 0 142 2 0 0 20 0 19 0 981331012 10797912064 16727 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505735290 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16727 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10544836 CPUtime=0.03 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 447 0 0 0 3 0 0 0 15 0 19 0 981331014 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 0 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10544836 CPUtime=0.2 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) R 30384 30386 27812 0 -1 4202560 2010 0 0 0 20 0 0 0 15 0 19 0 981331017 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252457759700 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10544836 CPUtime=0.19 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 1962 0 0 0 19 0 0 0 15 0 19 0 981331017 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981331017 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10797912064 16728 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10544836

[startup+3.10163 s]
/proc/loadavg: 2.00 2.02 1.96 3/211 30405
/proc/meminfo: memFree=1368296/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544836 CPUtime=3.55 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 18669 0 1 0 352 3 0 0 25 0 19 0 981331011 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636209 16817 2250 9 0 2626943 0
[pid=30386/tid=30387] ppid=30384 vsize=10544836 CPUtime=2.96 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 12439 0 1 0 294 2 0 0 25 0 19 0 981331012 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505591880 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10544836 CPUtime=0.1 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 515 0 0 0 10 0 0 0 16 0 19 0 981331014 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 0 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10544836 CPUtime=0.23 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 2056 0 0 0 23 0 0 0 15 0 19 0 981331017 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10544836 CPUtime=0.2 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 1962 0 0 0 20 0 0 0 15 0 19 0 981331017 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981331017 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10797912064 16817 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 10544836

[startup+6.30131 s]
/proc/loadavg: 2.00 2.02 1.96 3/211 30405
/proc/meminfo: memFree=1366036/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10544836 CPUtime=6.81 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 20263 0 1 0 678 3 0 0 25 0 19 0 981331011 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2636209 17422 2250 9 0 2626943 0
[pid=30386/tid=30387] ppid=30384 vsize=10544836 CPUtime=6.03 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) S 30384 30386 27812 0 -1 4202560 12450 0 1 0 601 2 0 0 25 0 19 0 981331012 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) R 30384 30386 27812 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) R 30384 30386 27812 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) R 30384 30386 27812 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) R 30384 30386 27812 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) R 30384 30386 27812 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) R 30384 30386 27812 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) R 30384 30386 27812 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 981331013 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252458019127 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10544836 CPUtime=0.22 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 658 0 0 0 22 0 0 0 15 0 19 0 981331014 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 0 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10544836 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10544836 CPUtime=0.29 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 3021 0 0 0 29 0 0 0 15 0 19 0 981331017 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10544836 CPUtime=0.2 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 1962 0 0 0 20 0 0 0 15 0 19 0 981331017 10797912064 17422 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0

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

/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 168 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 220 0 0 0 6 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 325 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 237 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 30 0 0 0 6 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 83 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 10 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 252 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10554784 CPUtime=3.26 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 1164 0 0 0 324 2 0 0 16 0 19 0 981331014 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 0 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10554784 CPUtime=0.33 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 3189 0 0 0 33 0 0 0 15 0 19 0 981331017 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10554784 CPUtime=1.13 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 9933 0 0 0 112 1 0 0 15 0 19 0 981331017 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981331017 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10808098816 20789 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 85.73
Current children cumulated vsize (KiB) 10554784

[startup+84.8064 s]
/proc/loadavg: 2.00 2.01 1.96 3/211 30407
/proc/meminfo: memFree=1350716/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10554784 CPUtime=86.53 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 29446 0 1 0 8644 9 0 0 25 0 19 0 981331011 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2638696 20794 2252 9 0 2629430 0
[pid=30386/tid=30387] ppid=30384 vsize=10554784 CPUtime=81.12 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) S 30384 30386 27812 0 -1 4202560 12673 0 1 0 8109 3 0 0 25 0 19 0 981331012 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 168 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 220 0 0 0 6 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 325 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 242 0 0 0 7 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 30 0 0 0 6 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 83 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 252 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10554784 CPUtime=3.31 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) R 30384 30386 27812 0 -1 4202560 1164 0 0 0 329 2 0 0 15 0 19 0 981331014 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252457759796 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10554784 CPUtime=0.33 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 3189 0 0 0 33 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10554784 CPUtime=1.13 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 9933 0 0 0 112 1 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 86.53
Current children cumulated vsize (KiB) 10554784

[startup+85.0014 s]
/proc/loadavg: 2.00 2.01 1.96 3/211 30407
/proc/meminfo: memFree=1350716/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10554784 CPUtime=86.73 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 29447 0 1 0 8664 9 0 0 25 0 19 0 981331011 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2638696 20794 2252 9 0 2629430 0
[pid=30386/tid=30387] ppid=30384 vsize=10554784 CPUtime=81.31 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 12674 0 1 0 8128 3 0 0 25 0 19 0 981331012 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505859942 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 168 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 220 0 0 0 6 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 325 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 242 0 0 0 7 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 30 0 0 0 6 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 83 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 252 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10554784 CPUtime=3.31 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 1164 0 0 0 329 2 0 0 15 0 19 0 981331014 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 0 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10554784 CPUtime=0.33 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 3189 0 0 0 33 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10554784 CPUtime=1.13 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 9933 0 0 0 112 1 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 86.73
Current children cumulated vsize (KiB) 10554784

[startup+85.1014 s]
/proc/loadavg: 2.00 2.01 1.96 3/211 30407
/proc/meminfo: memFree=1350716/32951124 swapFree=67062556/67111528
[pid=30386] ppid=30384 vsize=10554784 CPUtime=86.83 cores=0,2,4,6
/proc/30386/stat : 30386 (java) S 30384 30386 27812 0 -1 4202496 29447 0 1 0 8674 9 0 0 25 0 19 0 981331011 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30386/statm: 2638696 20794 2252 9 0 2629430 0
[pid=30386/tid=30387] ppid=30384 vsize=10554784 CPUtime=81.41 cores=0,2,4,6
/proc/30386/task/30387/stat : 30387 (java) R 30384 30386 27812 0 -1 4202560 12674 0 1 0 8138 3 0 0 25 0 19 0 981331012 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 46912505718884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30386/tid=30389] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30389/stat : 30389 (java) S 30384 30386 27812 0 -1 4202560 168 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30390] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30390/stat : 30390 (java) S 30384 30386 27812 0 -1 4202560 220 0 0 0 6 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30391] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30391/stat : 30391 (java) S 30384 30386 27812 0 -1 4202560 325 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30392] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30392/stat : 30392 (java) S 30384 30386 27812 0 -1 4202560 242 0 0 0 7 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30393] ppid=30384 vsize=10554784 CPUtime=0.06 cores=0,2,4,6
/proc/30386/task/30393/stat : 30393 (java) S 30384 30386 27812 0 -1 4202560 30 0 0 0 6 0 0 0 16 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 2 0 0 0
[pid=30386/tid=30394] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30394/stat : 30394 (java) S 30384 30386 27812 0 -1 4202560 83 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30395] ppid=30384 vsize=10554784 CPUtime=0.08 cores=0,2,4,6
/proc/30386/task/30395/stat : 30395 (java) S 30384 30386 27812 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30396] ppid=30384 vsize=10554784 CPUtime=0.07 cores=0,2,4,6
/proc/30386/task/30396/stat : 30396 (java) S 30384 30386 27812 0 -1 4202560 252 0 0 0 7 0 0 0 15 0 19 0 981331013 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30397] ppid=30384 vsize=10554784 CPUtime=3.31 cores=0,2,4,6
/proc/30386/task/30397/stat : 30397 (java) S 30384 30386 27812 0 -1 4202560 1164 0 0 0 329 2 0 0 15 0 19 0 981331014 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 0 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30398] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30398/stat : 30398 (java) S 30384 30386 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30399] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30399/stat : 30399 (java) S 30384 30386 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981331015 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30400] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30400/stat : 30400 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469889457 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30401] ppid=30384 vsize=10554784 CPUtime=0.33 cores=0,2,4,6
/proc/30386/task/30401/stat : 30401 (java) S 30384 30386 27812 0 -1 4202560 3189 0 0 0 33 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 4 0 0 0
[pid=30386/tid=30402] ppid=30384 vsize=10554784 CPUtime=1.13 cores=0,2,4,6
/proc/30386/task/30402/stat : 30402 (java) S 30384 30386 27812 0 -1 4202560 9933 0 0 0 112 1 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30403] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30403/stat : 30403 (java) S 30384 30386 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469881753 0 4 0 16800975 18446604453877590848 0 0 -1 6 0 0 0
[pid=30386/tid=30404] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30404/stat : 30404 (java) S 30384 30386 27812 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981331017 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
[pid=30386/tid=30405] ppid=30384 vsize=10554784 CPUtime=0 cores=0,2,4,6
/proc/30386/task/30405/stat : 30405 (java) S 30384 30386 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981331029 10808098816 20794 33554432000 1073741824 1073778376 140736408765296 18446744073709551615 252469882368 0 4 0 16800975 18446604453877590848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 86.83
Current children cumulated vsize (KiB) 10554784

Child status: 30
Real time (s): 85.1178
CPU time (s): 86.8568
CPU user time (s): 86.7578
CPU system time (s): 0.098984
CPU usage (%): 102.043
Max. virtual memory (cumulated for all children) (KiB): 10568004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.7578
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29474
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= 8554
involuntary context switches= 4124

runsolver used 0.172973 second user time and 0.309952 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-12 22:36:45
IDJOB=3492623
IDBENCH=79195
IDSOLVER=1982
FILE ID=node111/3492623-1307911005
RUNJOBID= node111-1307908264-29684
PBS_JOBID= 13559593
Free space on /var/tmp= 2876 MiB

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

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

MD5SUM BENCH= 86727f41c04b3a3cda96c180ef39a0ad
RANDOM SEED=373440034

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1427928 kB
Buffers:         62620 kB
Cached:       29542836 kB
SwapCached:      11248 kB
Active:       15609240 kB
Inactive:     14982976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1427928 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:             472 kB
Writeback:           0 kB
AnonPages:      984364 kB
Mapped:          18208 kB
Slab:           865280 kB
PageTables:       6200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10519320 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= 2876 MiB
End job on node111 at 2011-06-12 22:38:11