Trace number 3492649

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 75.4535 73.8374

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111222257--soft-0-100-0.wbo
MD5SUMcb8903274dd3202a5ed158c7997a289b
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.75943
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 1262
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/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@13d4c61c
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-3492649-1307911065.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     270
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.31/0.21	c SATISFIABLE
0.31/0.21	c OPTIMIZING...
0.31/0.21	c Got one! Elapsed wall clock time (in seconds):0.109
0.31/0.21	o 613
0.31/0.26	c Got one! Elapsed wall clock time (in seconds):0.161
0.31/0.26	o 600
0.31/0.28	c Got one! Elapsed wall clock time (in seconds):0.182
0.31/0.28	o 576
0.54/0.32	c Got one! Elapsed wall clock time (in seconds):0.217
0.54/0.32	o 545
0.54/0.34	c Got one! Elapsed wall clock time (in seconds):0.236
0.54/0.34	o 543
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.242
0.54/0.35	o 525
0.54/0.37	c Got one! Elapsed wall clock time (in seconds):0.263
0.54/0.37	o 493
0.68/0.40	c Got one! Elapsed wall clock time (in seconds):0.293
0.68/0.40	o 489
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.338
0.68/0.44	o 444
0.68/0.47	c Got one! Elapsed wall clock time (in seconds):0.368
0.68/0.47	o 437
0.79/0.53	c Got one! Elapsed wall clock time (in seconds):0.425
0.79/0.53	o 428
0.89/0.69	c Got one! Elapsed wall clock time (in seconds):0.584
0.89/0.69	o 350
1.02/0.76	c cleaning 5570 clauses out of 11148 with flag 1000/11148
1.15/0.80	c Got one! Elapsed wall clock time (in seconds):0.695
1.15/0.80	o 311
1.25/0.96	c Got one! Elapsed wall clock time (in seconds):0.86
1.25/0.96	o 288
1.36/1.04	c cleaning 6049 clauses out of 12102 with flag 2000/17672
1.66/1.36	c cleaning 6024 clauses out of 12055 with flag 8002/23674
1.89/1.56	c Got one! Elapsed wall clock time (in seconds):1.458
1.89/1.56	o 279
2.00/1.60	c cleaning 5678 clauses out of 11359 with flag 1000/29002
2.20/1.88	c cleaning 5836 clauses out of 11683 with flag 7002/35004
2.40/2.07	c Got one! Elapsed wall clock time (in seconds):1.969
2.40/2.07	o 262
2.50/2.15	c cleaning 5606 clauses out of 11229 with flag 2002/40386
2.80/2.42	c cleaning 5809 clauses out of 11621 with flag 8000/46384
3.10/2.73	c cleaning 6388 clauses out of 12812 with flag 15000/53384
3.41/3.08	c cleaning 7209 clauses out of 14424 with flag 23000/61384
3.61/3.25	c Got one! Elapsed wall clock time (in seconds):3.148
3.61/3.25	o 261
3.71/3.32	c cleaning 6340 clauses out of 12688 with flag 2000/66857
3.91/3.58	c cleaning 6167 clauses out of 12353 with flag 8005/72862
4.31/3.97	c cleaning 6587 clauses out of 13186 with flag 15005/79862
4.72/4.38	c cleaning 7291 clauses out of 14595 with flag 23001/87858
5.11/4.79	c cleaning 8148 clauses out of 16304 with flag 32001/96858
5.21/4.87	c Got one! Elapsed wall clock time (in seconds):4.762
5.21/4.87	o 244
5.43/5.00	c cleaning 6726 clauses out of 13459 with flag 4000/102161
5.63/5.28	c cleaning 6358 clauses out of 12734 with flag 10001/108162
6.03/5.62	c cleaning 6674 clauses out of 13376 with flag 17001/115162
6.03/5.69	c Got one! Elapsed wall clock time (in seconds):5.583
6.03/5.69	o 214
6.23/5.82	c cleaning 5918 clauses out of 11846 with flag 4001/120306
6.43/6.03	c cleaning 5957 clauses out of 11928 with flag 10001/126306
6.73/6.33	c cleaning 6481 clauses out of 12971 with flag 17001/133306
7.14/6.70	c cleaning 7241 clauses out of 14489 with flag 25000/141305
7.24/6.84	c Got one! Elapsed wall clock time (in seconds):6.741
7.24/6.84	o 209
7.34/6.95	c cleaning 6503 clauses out of 13016 with flag 3001/147073
7.54/7.16	c Got one! Elapsed wall clock time (in seconds):7.06
7.54/7.16	o 208
7.74/7.37	c cleaning 8378 clauses out of 16767 with flag 5000/157327
8.04/7.63	c cleaning 7185 clauses out of 14391 with flag 11002/163329
8.14/7.78	c Got one! Elapsed wall clock time (in seconds):7.676
8.14/7.78	o 205
8.24/7.89	c cleaning 6532 clauses out of 13069 with flag 3000/169192
8.54/8.10	c cleaning 6264 clauses out of 12538 with flag 9001/175193
8.74/8.38	c Got one! Elapsed wall clock time (in seconds):8.273
8.74/8.38	o 181
9.10/8.62	c cleaning 9028 clauses out of 18064 with flag 5000/186983
9.32/8.84	c cleaning 7514 clauses out of 15036 with flag 11000/192983
9.61/9.10	c cleaning 7257 clauses out of 14523 with flag 18001/199984
9.91/9.45	c cleaning 7624 clauses out of 15266 with flag 26001/207984
10.32/9.86	c cleaning 8316 clauses out of 16641 with flag 35000/216983
10.51/10.10	c Got one! Elapsed wall clock time (in seconds):9.993
10.51/10.10	o 167
10.61/10.14	c cleaning 6928 clauses out of 13859 with flag 1001/222517
10.82/10.35	c cleaning 6456 clauses out of 12930 with flag 7000/228516
11.02/10.53	c Got one! Elapsed wall clock time (in seconds):10.429
11.02/10.53	o 153
11.02/10.57	c cleaning 5872 clauses out of 11751 with flag 1001/233793
11.36/10.81	c cleaning 5935 clauses out of 11878 with flag 7000/239792
11.56/11.06	c cleaning 6464 clauses out of 12943 with flag 14000/246792
11.96/11.46	c cleaning 7234 clauses out of 14479 with flag 22000/254792
12.36/11.89	c cleaning 8115 clauses out of 16245 with flag 31000/263792
12.86/12.35	c cleaning 9059 clauses out of 18130 with flag 41000/273792
13.26/12.79	c Got one! Elapsed wall clock time (in seconds):12.686
13.26/12.79	o 143
13.56/13.00	c cleaning 11509 clauses out of 23030 with flag 5001/287751
13.77/13.24	c cleaning 8757 clauses out of 17523 with flag 11003/293753
14.07/13.50	c cleaning 7879 clauses out of 15765 with flag 18002/300752
14.27/13.78	c cleaning 7939 clauses out of 15884 with flag 26000/308750
14.67/14.13	c cleaning 8470 clauses out of 16948 with flag 35003/317753
15.17/14.60	c cleaning 9231 clauses out of 18476 with flag 45001/327751
15.59/15.08	c cleaning 9616 clauses out of 19244 with flag 55000/337750
15.69/15.16	c Got one! Elapsed wall clock time (in seconds):15.059
15.69/15.16	o 136
15.79/15.30	c cleaning 7532 clauses out of 15069 with flag 4000/343191
16.09/15.50	c cleaning 6768 clauses out of 13541 with flag 10004/349195
16.29/15.79	c cleaning 6876 clauses out of 13769 with flag 17000/356191
16.49/15.96	c Got one! Elapsed wall clock time (in seconds):15.859
16.49/15.96	o 130
16.59/16.03	c cleaning 6365 clauses out of 12743 with flag 2000/362041
16.79/16.25	c cleaning 6187 clauses out of 12379 with flag 8001/368042
17.00/16.49	c cleaning 6593 clauses out of 13194 with flag 15003/375044
17.30/16.76	c Got one! Elapsed wall clock time (in seconds):16.654
17.30/16.76	o 102
17.50/16.98	c cleaning 9342 clauses out of 18692 with flag 5001/387135
17.80/17.22	c cleaning 7671 clauses out of 15349 with flag 11000/393134
18.00/17.48	c cleaning 7336 clauses out of 14679 with flag 18001/400135
18.30/17.78	c cleaning 7667 clauses out of 15342 with flag 26000/408134
18.70/18.17	c cleaning 8335 clauses out of 16676 with flag 35001/417135
19.23/18.69	c cleaning 9166 clauses out of 18341 with flag 45001/427135
20.22/19.21	c cleaning 9583 clauses out of 19174 with flag 55000/437134
21.11/19.75	c cleaning 9794 clauses out of 19593 with flag 65002/447136
21.61/20.20	c cleaning 9893 clauses out of 19798 with flag 75001/457135
22.01/20.65	c cleaning 9943 clauses out of 19905 with flag 85001/467135
22.41/21.09	c cleaning 9974 clauses out of 19961 with flag 95000/477134
22.92/21.53	c cleaning 9988 clauses out of 19988 with flag 105001/487135
23.32/21.99	c cleaning 9997 clauses out of 20000 with flag 115001/497135
23.92/22.50	c cleaning 9999 clauses out of 20005 with flag 125003/507137
24.42/23.01	c cleaning 9998 clauses out of 20003 with flag 135000/517134
24.92/23.54	c cleaning 10001 clauses out of 20007 with flag 145002/527136
25.42/24.06	c cleaning 9997 clauses out of 20005 with flag 155001/537135
25.92/24.56	c cleaning 10001 clauses out of 20009 with flag 165002/547136
26.42/25.08	c cleaning 9995 clauses out of 20006 with flag 175000/557134
26.83/25.43	c Got one! Elapsed wall clock time (in seconds):25.324
26.83/25.43	o 101
27.03/25.62	c cleaning 11035 clauses out of 22079 with flag 5000/569202
27.23/25.84	c cleaning 8520 clauses out of 17044 with flag 11000/575202
27.53/26.11	c cleaning 7756 clauses out of 15526 with flag 18002/582204
27.83/26.40	c cleaning 7877 clauses out of 15769 with flag 26001/590203
28.13/26.74	c cleaning 8441 clauses out of 16891 with flag 35000/599202
28.53/27.14	c cleaning 9219 clauses out of 18450 with flag 45000/609202
28.63/27.29	c Got one! Elapsed wall clock time (in seconds):27.191
28.63/27.29	o 86
28.73/27.37	c cleaning 7227 clauses out of 14465 with flag 2001/614436
28.94/27.59	c cleaning 6610 clauses out of 13237 with flag 8000/620435
29.23/27.85	c cleaning 6813 clauses out of 13633 with flag 15006/627441
29.53/28.15	c cleaning 7406 clauses out of 14820 with flag 23006/635441
29.83/28.47	c cleaning 8200 clauses out of 16409 with flag 32001/644436
30.23/28.85	c cleaning 9099 clauses out of 18209 with flag 42001/654436
30.63/29.25	c cleaning 9551 clauses out of 19110 with flag 52001/664436
31.04/29.68	c cleaning 9774 clauses out of 19558 with flag 62000/674435
31.43/30.09	c cleaning 9889 clauses out of 19786 with flag 72002/684437
31.94/30.54	c cleaning 9945 clauses out of 19896 with flag 82001/694436
32.55/31.10	c cleaning 9972 clauses out of 19951 with flag 92001/704436
32.95/31.58	c cleaning 9987 clauses out of 19981 with flag 102003/714438
33.45/32.07	c cleaning 9994 clauses out of 19994 with flag 112003/724438
34.05/32.60	c cleaning 9991 clauses out of 19997 with flag 122000/734435
34.35/32.99	c Got one! Elapsed wall clock time (in seconds):32.884
34.35/32.99	o 79
34.65/33.21	c cleaning 11409 clauses out of 22835 with flag 5000/747264
34.85/33.47	c cleaning 8707 clauses out of 17426 with flag 11000/753264
35.15/33.76	c cleaning 7854 clauses out of 15719 with flag 18000/760264
35.46/34.08	c cleaning 7928 clauses out of 15865 with flag 26000/768264
35.85/34.49	c cleaning 8463 clauses out of 16938 with flag 35001/777265
36.36/34.98	c cleaning 9232 clauses out of 18475 with flag 45001/787265
36.76/35.30	c Got one! Elapsed wall clock time (in seconds):35.2
36.76/35.30	o 74
36.86/35.49	c cleaning 10616 clauses out of 21240 with flag 5001/799262
37.16/35.72	c cleaning 8308 clauses out of 16624 with flag 11001/805262
37.46/36.00	c cleaning 7653 clauses out of 15316 with flag 18001/812262
37.66/36.30	c cleaning 7827 clauses out of 15663 with flag 26001/820262
38.06/36.67	c cleaning 8413 clauses out of 16838 with flag 35003/829264
38.46/37.09	c cleaning 9207 clauses out of 18422 with flag 45000/839261
39.06/37.69	c cleaning 9602 clauses out of 19216 with flag 55001/849262
39.36/37.92	c Got one! Elapsed wall clock time (in seconds):37.819
39.36/37.92	o 73
39.36/37.98	c cleaning 7773 clauses out of 15556 with flag 1001/855204
39.66/38.21	c cleaning 6884 clauses out of 13782 with flag 7000/861203
39.87/38.49	c cleaning 6945 clauses out of 13900 with flag 14002/868205
40.27/38.82	c cleaning 7473 clauses out of 14953 with flag 22000/876203
40.56/39.16	c cleaning 8236 clauses out of 16482 with flag 31002/885205
40.97/39.58	c cleaning 9116 clauses out of 18244 with flag 41000/895203
41.46/40.03	c cleaning 9557 clauses out of 19128 with flag 51000/905203
41.97/40.50	c cleaning 9782 clauses out of 19572 with flag 61001/915204
42.27/40.89	c Got one! Elapsed wall clock time (in seconds):40.791
42.27/40.89	o 67
42.57/41.14	c cleaning 11766 clauses out of 23545 with flag 5001/928959
42.77/41.39	c cleaning 8886 clauses out of 17779 with flag 11001/934959
43.07/41.66	c cleaning 7940 clauses out of 15892 with flag 18000/941958
43.37/41.95	c cleaning 7972 clauses out of 15953 with flag 26001/949959
43.67/42.27	c cleaning 8484 clauses out of 16980 with flag 35000/958958
44.07/42.66	c cleaning 9243 clauses out of 18498 with flag 45002/968960
44.47/43.06	c cleaning 9622 clauses out of 19254 with flag 55001/978959
44.98/43.51	c cleaning 9810 clauses out of 19631 with flag 65000/988958
45.38/43.94	c cleaning 9906 clauses out of 19822 with flag 75001/998959
45.78/44.33	c cleaning 9953 clauses out of 19919 with flag 85004/1008962
46.18/44.72	c cleaning 9976 clauses out of 19962 with flag 95000/1018958
46.58/45.14	c cleaning 9990 clauses out of 19986 with flag 105000/1028958
47.08/45.62	c cleaning 9984 clauses out of 19996 with flag 115000/1038958
47.59/46.11	c cleaning 10000 clauses out of 20012 with flag 125000/1048958
48.08/46.60	c cleaning 9998 clauses out of 20013 with flag 135001/1058959
48.59/47.10	c cleaning 10000 clauses out of 20014 with flag 145000/1068958
49.09/47.60	c cleaning 9999 clauses out of 20014 with flag 155000/1078958
49.49/48.07	c cleaning 10001 clauses out of 20015 with flag 165000/1088958
49.99/48.57	c cleaning 10002 clauses out of 20014 with flag 175000/1098958
50.39/48.95	c Got one! Elapsed wall clock time (in seconds):48.846
50.39/48.95	o 54
50.59/49.15	c cleaning 11806 clauses out of 23618 with flag 5000/1112564
50.79/49.39	c cleaning 8904 clauses out of 17814 with flag 11002/1118566
51.09/49.68	c cleaning 7950 clauses out of 15909 with flag 18001/1125565
51.50/50.00	c cleaning 7975 clauses out of 15958 with flag 26000/1133564
51.80/50.39	c cleaning 8485 clauses out of 16983 with flag 35000/1142564
52.30/50.84	c cleaning 9244 clauses out of 18499 with flag 45001/1152565
52.70/51.20	c Got one! Elapsed wall clock time (in seconds):51.097
52.70/51.20	o 44
52.91/51.40	c cleaning 11218 clauses out of 22447 with flag 5001/1165757
53.11/51.61	c cleaning 8610 clauses out of 17229 with flag 11001/1171757
53.31/51.87	c cleaning 7805 clauses out of 15619 with flag 18001/1178757
53.62/52.15	c cleaning 7897 clauses out of 15813 with flag 26000/1186756
53.92/52.49	c cleaning 8455 clauses out of 16917 with flag 35001/1195757
54.32/52.86	c cleaning 9230 clauses out of 18461 with flag 45000/1205756
54.72/53.29	c cleaning 9609 clauses out of 19231 with flag 55000/1215756
55.22/53.70	c cleaning 9801 clauses out of 19622 with flag 65000/1225756
55.52/54.08	c cleaning 9903 clauses out of 19821 with flag 75000/1235756
55.62/54.10	c Got one! Elapsed wall clock time (in seconds):54.0
55.62/54.10	o 35
55.74/54.26	c cleaning 7623 clauses out of 15260 with flag 5000/1241098
55.94/54.47	c cleaning 6814 clauses out of 13638 with flag 11001/1247099
56.24/54.72	c cleaning 6907 clauses out of 13823 with flag 18000/1254098
56.45/54.98	c cleaning 7453 clauses out of 14916 with flag 26000/1262098
56.74/55.29	c cleaning 8230 clauses out of 16465 with flag 35002/1271100
57.14/55.66	c cleaning 9111 clauses out of 18233 with flag 45000/1281098
57.55/56.05	c cleaning 9556 clauses out of 19124 with flag 55002/1291100
57.94/56.42	c cleaning 9777 clauses out of 19567 with flag 65001/1301099
58.34/56.89	c cleaning 9892 clauses out of 19789 with flag 75000/1311098
58.75/57.28	c cleaning 9945 clauses out of 19897 with flag 85000/1321098
59.15/57.64	c cleaning 9971 clauses out of 19953 with flag 95001/1331099
59.45/57.99	c cleaning 9987 clauses out of 19981 with flag 105000/1341098
59.95/58.42	c cleaning 9988 clauses out of 19995 with flag 115001/1351099
60.35/58.81	c cleaning 9999 clauses out of 20006 with flag 125000/1361098
60.65/59.17	c cleaning 9998 clauses out of 20008 with flag 135001/1371099
61.05/59.52	c cleaning 9998 clauses out of 20009 with flag 145000/1381098
61.35/59.88	c cleaning 10001 clauses out of 20012 with flag 155001/1391099
61.66/60.17	c Got one! Elapsed wall clock time (in seconds):60.064
61.66/60.17	o 17
61.86/60.36	c cleaning 11574 clauses out of 23159 with flag 5002/1404247
62.06/60.58	c cleaning 8789 clauses out of 17585 with flag 11002/1410247
62.36/60.80	c cleaning 7894 clauses out of 15796 with flag 18002/1417247
62.56/61.07	c cleaning 7944 clauses out of 15901 with flag 26001/1425246
62.86/61.38	c cleaning 8472 clauses out of 16956 with flag 35000/1434245
63.26/61.72	c cleaning 9239 clauses out of 18484 with flag 45000/1444245
63.56/62.08	c cleaning 9619 clauses out of 19245 with flag 55000/1454245
63.96/62.43	c cleaning 9811 clauses out of 19627 with flag 65001/1464246
64.27/62.75	c cleaning 9902 clauses out of 19816 with flag 75001/1474246
64.66/63.10	c cleaning 9953 clauses out of 19914 with flag 85001/1484246
64.96/63.44	c cleaning 9975 clauses out of 19961 with flag 95001/1494246
65.37/63.81	c cleaning 9989 clauses out of 19985 with flag 105000/1504245
65.67/64.18	c cleaning 9996 clauses out of 19997 with flag 115001/1514246
66.07/64.53	c cleaning 9997 clauses out of 20002 with flag 125002/1524247
66.38/64.86	c cleaning 9997 clauses out of 20004 with flag 135001/1534246
66.77/65.24	c cleaning 9998 clauses out of 20010 with flag 145004/1544249
67.07/65.58	c cleaning 9998 clauses out of 20010 with flag 155002/1554247
67.48/65.95	c cleaning 10000 clauses out of 20010 with flag 165000/1564245
67.77/66.28	c cleaning 9997 clauses out of 20010 with flag 175000/1574245
68.18/66.63	c cleaning 10003 clauses out of 20013 with flag 185000/1584245
68.48/66.98	c cleaning 9996 clauses out of 20010 with flag 195000/1594245
68.87/67.35	c cleaning 10002 clauses out of 20016 with flag 205002/1604247
69.27/67.74	c cleaning 10002 clauses out of 20014 with flag 215002/1614247
69.68/68.10	c cleaning 9996 clauses out of 20010 with flag 225000/1624245
69.98/68.45	c cleaning 10002 clauses out of 20014 with flag 235000/1634245
70.38/68.81	c cleaning 10001 clauses out of 20014 with flag 245002/1644247
70.68/69.19	c cleaning 10006 clauses out of 20015 with flag 255004/1654249
71.08/69.56	c cleaning 9999 clauses out of 20005 with flag 265000/1664245
71.48/69.93	c cleaning 9999 clauses out of 20006 with flag 275000/1674245
71.89/70.31	c cleaning 10002 clauses out of 20010 with flag 285003/1684248
72.18/70.70	c cleaning 9993 clauses out of 20005 with flag 295000/1694245
72.68/71.11	c cleaning 9996 clauses out of 20012 with flag 305000/1704245
72.99/71.50	c cleaning 10006 clauses out of 20019 with flag 315003/1714248
73.40/71.88	c cleaning 10002 clauses out of 20012 with flag 325002/1724247
73.80/72.27	c cleaning 10001 clauses out of 20009 with flag 335001/1734246
74.21/72.63	c Got one! Elapsed wall clock time (in seconds):72.53
74.21/72.63	o 3
74.50/72.94	c cleaning 12349 clauses out of 24705 with flag 5001/1748943
74.71/73.20	c cleaning 9176 clauses out of 18357 with flag 11003/1754945
75.01/73.47	c cleaning 8085 clauses out of 16179 with flag 18001/1761943
75.31/73.76	c cleaning 8043 clauses out of 16093 with flag 26000/1769942
75.41/73.83	c starts		: 246
75.41/73.83	c conflicts		: 1771805
75.41/73.83	c decisions		: 2896819
75.41/73.83	c propagations		: 47485303
75.41/73.83	c inspects		: 401053292
75.41/73.83	c shortcuts		: 0
75.41/73.83	c learnt literals	: 6
75.41/73.83	c learnt binary clauses	: 103
75.41/73.83	c learnt ternary clauses	: 1150
75.41/73.83	c learnt constraints	: 1771798
75.41/73.83	c ignored constraints	: 0
75.41/73.83	c root simplifications	: 0
75.41/73.83	c removed literals (reason simplification)	: 10342120
75.41/73.83	c reason swapping (by a shorter reason)	: 0
75.41/73.83	c Calls to reduceDB	: 202
75.41/73.83	c number of reductions to clauses (during analyze)	: 0
75.41/73.83	c number of learned constraints concerned by reduction	: 0
75.41/73.83	c number of learning phase by resolution	: 0
75.41/73.83	c number of learning phase by cutting planes	: 0
75.41/73.83	c speed (assignments/second)	: 3.976993551088777E7
75.41/73.83	c non guided choices	2250
75.41/73.83	c learnt constraints type 
75.41/73.83	c constraints type 
75.41/73.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
75.41/73.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
75.41/73.83	s OPTIMUM FOUND
75.41/73.83	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 
75.41/73.83	c objective function=3
75.41/73.83	c Total wall clock time (in seconds): 73.725

Verifier Data 

OK	3

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-3492649-1307911065/watcher-3492649-1307911065 -o /var/tmp/evaluation-result-3492649-1307911065/solver-3492649-1307911065 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492649-1307911065.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.05 2.04 2.00 2/195 17822
/proc/meminfo: memFree=1786280/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 1279 0 0 0 0 0 0 0 25 0 2 0 902706185 32362496 993 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 7901 993 763 9 0 386 0
[pid=17822/tid=17823] ppid=17820 vsize=33748 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 173 0 0 0 0 0 0 0 25 0 2 0 902706186 34557952 1003 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274469045264 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.077928 s]
/proc/loadavg: 2.05 2.04 2.00 2/195 17822
/proc/meminfo: memFree=1786280/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10538900 CPUtime=0.06 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 12259 0 1 0 5 1 0 0 25 0 18 0 902706185 10791833600 11953 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2634725 11953 1913 9 0 2625459 0
[pid=17822/tid=17823] ppid=17820 vsize=10538900 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 10873 0 1 0 5 1 0 0 18 0 18 0 902706186 10791833600 11953 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485794251 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538900

[startup+0.101583 s]
/proc/loadavg: 2.05 2.04 2.00 2/195 17822
/proc/meminfo: memFree=1786280/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10540268 CPUtime=0.1 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 13159 0 1 0 9 1 0 0 25 0 18 0 902706185 10793234432 12795 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2635067 12795 2093 9 0 2625801 0
[pid=17822/tid=17823] ppid=17820 vsize=10540268 CPUtime=0.08 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 11221 0 1 0 7 1 0 0 18 0 18 0 902706186 10793234432 12795 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274473652495 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540268

[startup+0.300544 s]
/proc/loadavg: 2.05 2.04 2.00 2/195 17822
/proc/meminfo: memFree=1786280/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=0.54 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 16028 0 1 0 52 2 0 0 25 0 19 0 902706185 10799017984 14723 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 14723 2215 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=0.28 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 11826 0 1 0 27 1 0 0 19 0 19 0 902706186 10799017984 14723 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505535001 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545916

[startup+0.700537 s]
/proc/loadavg: 2.05 2.04 2.00 2/195 17822
/proc/meminfo: memFree=1786280/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=1.02 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 17214 0 1 0 100 2 0 0 25 0 19 0 902706185 10799017984 15486 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 15486 2219 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=0.68 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12544 0 1 0 67 1 0 0 19 0 19 0 902706186 10799017984 15486 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505534430 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10545916

[startup+1.50139 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 17841
/proc/meminfo: memFree=1729184/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=1.89 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 18807 0 1 0 187 2 0 0 25 0 19 0 902706185 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 16801 2248 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=1.44 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12611 0 1 0 143 1 0 0 20 0 19 0 902706186 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505532529 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=0.03 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 534 0 0 0 3 0 0 0 15 0 19 0 902706188 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.16 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1729 0 0 0 16 0 0 0 15 0 19 0 902706191 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=0.22 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 2062 0 0 0 22 0 0 0 16 0 19 0 902706191 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 16801 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 10545916

[startup+3.101 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 17841
/proc/meminfo: memFree=1726824/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=3.51 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 18892 0 1 0 349 2 0 0 25 0 19 0 902706185 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 16852 2249 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=2.96 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12617 0 1 0 295 1 0 0 25 0 19 0 902706186 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505607295 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 146 0 0 0 0 0 0 0 16 0 19 0 902706187 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=0.1 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 534 0 0 0 10 0 0 0 15 0 19 0 902706188 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.16 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1729 0 0 0 16 0 0 0 15 0 19 0 902706191 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=0.23 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 2091 0 0 0 23 0 0 0 15 0 19 0 902706191 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 16852 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 10545916

[startup+6.30156 s]
/proc/loadavg: 2.04 2.04 2.00 3/214 17841
/proc/meminfo: memFree=1726080/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=6.73 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 18987 0 1 0 671 2 0 0 25 0 19 0 902706185 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 16920 2249 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=6.02 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12629 0 1 0 601 1 0 0 25 0 19 0 902706186 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505550959 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 256 0 0 0 0 0 0 0 16 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 902706187 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=0.22 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 596 0 0 0 22 0 0 0 15 0 19 0 902706188 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.17 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1729 0 0 0 17 0 0 0 15 0 19 0 902706191 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=0.24 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 2109 0 0 0 24 0 0 0 15 0 19 0 902706191 10799017984 16920 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0

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

/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 112 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 159 0 0 0 5 0 0 0 16 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 149 0 0 0 6 0 0 0 16 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0.04 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 50 0 0 0 4 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0.07 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 122 0 0 0 7 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 280 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 163 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=2.68 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 1135 0 0 0 266 2 0 0 15 0 19 0 902706188 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.21 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1763 0 0 0 21 0 0 0 15 0 19 0 902706191 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=1.14 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 14196 0 0 0 113 1 0 0 15 0 19 0 902706191 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 21828 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 74.3
Current children cumulated vsize (KiB) 10545916

[startup+73.5006 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 17843
/proc/meminfo: memFree=1705004/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=75.11 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 32227 0 1 0 7503 8 0 0 25 0 19 0 902706185 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 21938 2252 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=70.49 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12816 0 1 0 7047 2 0 0 25 0 19 0 902706186 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505607231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 112 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 161 0 0 0 6 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 168 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0.04 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 50 0 0 0 4 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0.07 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 122 0 0 0 7 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 280 0 0 0 5 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 163 0 0 0 6 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=2.72 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 1223 0 0 0 270 2 0 0 15 0 19 0 902706188 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.21 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1763 0 0 0 21 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=1.14 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 14196 0 0 0 113 1 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.11
Current children cumulated vsize (KiB) 10545916

[startup+73.7067 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 17843
/proc/meminfo: memFree=1704628/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=75.31 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 32227 0 1 0 7523 8 0 0 25 0 19 0 902706185 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 21938 2252 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=70.69 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12816 0 1 0 7067 2 0 0 25 0 19 0 902706186 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505624202 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 112 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 161 0 0 0 6 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 168 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0.04 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 50 0 0 0 4 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0.07 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 122 0 0 0 7 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 280 0 0 0 5 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 163 0 0 0 6 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=2.72 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 1223 0 0 0 270 2 0 0 15 0 19 0 902706188 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.21 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1763 0 0 0 21 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=1.14 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 14196 0 0 0 113 1 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.31
Current children cumulated vsize (KiB) 10545916

[startup+73.8007 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 17843
/proc/meminfo: memFree=1704628/32950928 swapFree=67079488/67111528
[pid=17822] ppid=17820 vsize=10545916 CPUtime=75.41 cores=0,2,4,6
/proc/17822/stat : 17822 (java) S 17820 17822 15624 0 -1 4202496 32228 0 1 0 7533 8 0 0 25 0 19 0 902706185 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/17822/statm: 2636479 21938 2252 9 0 2627213 0
[pid=17822/tid=17823] ppid=17820 vsize=10545916 CPUtime=70.77 cores=0,2,4,6
/proc/17822/task/17823/stat : 17823 (java) R 17820 17822 15624 0 -1 4202560 12817 0 1 0 7075 2 0 0 25 0 19 0 902706186 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 46912505558421 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17822/tid=17825] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17825/stat : 17825 (java) S 17820 17822 15624 0 -1 4202560 112 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17826] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17826/stat : 17826 (java) S 17820 17822 15624 0 -1 4202560 161 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17827] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17827/stat : 17827 (java) S 17820 17822 15624 0 -1 4202560 168 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17828] ppid=17820 vsize=10545916 CPUtime=0.04 cores=0,2,4,6
/proc/17822/task/17828/stat : 17828 (java) S 17820 17822 15624 0 -1 4202560 50 0 0 0 4 0 0 0 16 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17829] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17829/stat : 17829 (java) S 17820 17822 15624 0 -1 4202560 16 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17830] ppid=17820 vsize=10545916 CPUtime=0.07 cores=0,2,4,6
/proc/17822/task/17830/stat : 17830 (java) S 17820 17822 15624 0 -1 4202560 122 0 0 0 7 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17831] ppid=17820 vsize=10545916 CPUtime=0.05 cores=0,2,4,6
/proc/17822/task/17831/stat : 17831 (java) S 17820 17822 15624 0 -1 4202560 280 0 0 0 5 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17832] ppid=17820 vsize=10545916 CPUtime=0.06 cores=0,2,4,6
/proc/17822/task/17832/stat : 17832 (java) S 17820 17822 15624 0 -1 4202560 163 0 0 0 6 0 0 0 15 0 19 0 902706187 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17833] ppid=17820 vsize=10545916 CPUtime=2.73 cores=0,2,4,6
/proc/17822/task/17833/stat : 17833 (java) S 17820 17822 15624 0 -1 4202560 1223 0 0 0 271 2 0 0 16 0 19 0 902706188 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 0 0 16800975 18446604442057032128 0 0 -1 4 0 0 0
[pid=17822/tid=17834] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17834/stat : 17834 (java) S 17820 17822 15624 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17835] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17835/stat : 17835 (java) S 17820 17822 15624 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902706189 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17836] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17836/stat : 17836 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485791153 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17837] ppid=17820 vsize=10545916 CPUtime=0.21 cores=0,2,4,6
/proc/17822/task/17837/stat : 17837 (java) S 17820 17822 15624 0 -1 4202560 1763 0 0 0 21 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17838] ppid=17820 vsize=10545916 CPUtime=1.14 cores=0,2,4,6
/proc/17822/task/17838/stat : 17838 (java) S 17820 17822 15624 0 -1 4202560 14196 0 0 0 113 1 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 0 0 0 0
[pid=17822/tid=17839] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17839/stat : 17839 (java) S 17820 17822 15624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485783449 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
[pid=17822/tid=17840] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17840/stat : 17840 (java) S 17820 17822 15624 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902706191 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 2 0 0 0
[pid=17822/tid=17841] ppid=17820 vsize=10545916 CPUtime=0 cores=0,2,4,6
/proc/17822/task/17841/stat : 17841 (java) S 17820 17822 15624 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902706202 10799017984 21938 33554432000 1073741824 1073778376 140735872288352 18446744073709551615 274485784064 0 4 0 16800975 18446604442057032128 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.41
Current children cumulated vsize (KiB) 10545916

Child status: 30
Real time (s): 73.8374
CPU time (s): 75.4535
CPU user time (s): 75.3675
CPU system time (s): 0.085986
CPU usage (%): 102.189
Max. virtual memory (cumulated for all children) (KiB): 10546592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.3675
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32256
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= 7161
involuntary context switches= 3277

runsolver used 0.132979 second user time and 0.279957 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-12 22:37:45
IDJOB=3492649
IDBENCH=79208
IDSOLVER=1982
FILE ID=node125/3492649-1307911065
RUNJOBID= node125-1307907420-16977
PBS_JOBID= 13559581
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= cb8903274dd3202a5ed158c7997a289b
RANDOM SEED=1831554138

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1786568 kB
Buffers:         65076 kB
Cached:       30030664 kB
SwapCached:       3272 kB
Active:       15241012 kB
Inactive:     14980848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1786568 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:             500 kB
Writeback:           0 kB
AnonPages:      124452 kB
Mapped:          22384 kB
Slab:           878784 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10548192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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