Trace number 3492683

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 179.518 177.565

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
MD5SUM2001343def6115cfc261dcde547cf23c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1.3008
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 1298
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/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-3492683-1307911135.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.28/0.21	c SATISFIABLE
0.28/0.21	c OPTIMIZING...
0.28/0.21	c Got one! Elapsed wall clock time (in seconds):0.112
0.28/0.21	o 836
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.143
0.28/0.25	o 559
0.28/0.28	c Got one! Elapsed wall clock time (in seconds):0.176
0.28/0.28	o 555
0.54/0.34	c Got one! Elapsed wall clock time (in seconds):0.238
0.54/0.34	o 542
0.54/0.35	c Got one! Elapsed wall clock time (in seconds):0.251
0.54/0.35	o 520
0.54/0.37	c Got one! Elapsed wall clock time (in seconds):0.267
0.54/0.37	o 509
0.66/0.42	c Got one! Elapsed wall clock time (in seconds):0.32
0.66/0.42	o 508
0.66/0.48	c Got one! Elapsed wall clock time (in seconds):0.375
0.66/0.48	o 503
0.80/0.50	c Got one! Elapsed wall clock time (in seconds):0.398
0.80/0.50	o 485
0.80/0.53	c Got one! Elapsed wall clock time (in seconds):0.428
0.80/0.53	o 484
0.90/0.65	c Got one! Elapsed wall clock time (in seconds):0.549
0.90/0.65	o 474
0.90/0.69	c Got one! Elapsed wall clock time (in seconds):0.59
0.90/0.69	o 466
1.12/0.83	c cleaning 5237 clauses out of 10477 with flag 2000/10477
1.25/0.91	c Got one! Elapsed wall clock time (in seconds):0.805
1.25/0.91	o 463
1.25/0.94	c Got one! Elapsed wall clock time (in seconds):0.84
1.25/0.94	o 452
1.25/0.99	c Got one! Elapsed wall clock time (in seconds):0.883
1.25/0.99	o 428
1.37/1.09	c Got one! Elapsed wall clock time (in seconds):0.984
1.37/1.09	o 397
1.47/1.11	c Got one! Elapsed wall clock time (in seconds):1.005
1.47/1.11	o 362
1.47/1.15	c Got one! Elapsed wall clock time (in seconds):1.045
1.47/1.15	o 349
1.58/1.20	c cleaning 6459 clauses out of 12933 with flag 1002/18170
1.69/1.30	c Got one! Elapsed wall clock time (in seconds):1.197
1.69/1.30	o 344
1.79/1.49	c cleaning 6112 clauses out of 12240 with flag 4001/23936
2.11/1.78	c cleaning 6060 clauses out of 12128 with flag 10001/29936
2.41/2.02	c Got one! Elapsed wall clock time (in seconds):1.915
2.41/2.02	o 336
2.41/2.06	c cleaning 5722 clauses out of 11447 with flag 1001/35315
2.52/2.16	c Got one! Elapsed wall clock time (in seconds):2.058
2.52/2.16	o 303
2.71/2.31	c Got one! Elapsed wall clock time (in seconds):2.208
2.71/2.31	o 293
2.71/2.36	c cleaning 6305 clauses out of 12616 with flag 1000/42206
3.01/2.69	c cleaning 6152 clauses out of 12315 with flag 7004/48210
3.52/3.10	c cleaning 6570 clauses out of 13160 with flag 14001/55207
3.92/3.53	c cleaning 7289 clauses out of 14590 with flag 22001/63207
4.42/4.03	c cleaning 8136 clauses out of 16302 with flag 31002/72208
4.42/4.07	c Got one! Elapsed wall clock time (in seconds):3.966
4.42/4.07	o 279
4.67/4.26	c cleaning 6841 clauses out of 13689 with flag 5002/77731
5.07/4.64	c cleaning 6413 clauses out of 12846 with flag 11000/83729
5.47/5.05	c cleaning 6713 clauses out of 13433 with flag 18000/90729
5.88/5.40	c cleaning 7352 clauses out of 14720 with flag 26000/98729
6.07/5.68	c Got one! Elapsed wall clock time (in seconds):5.581
6.07/5.68	o 274
6.17/5.72	c cleaning 6495 clauses out of 13000 with flag 1002/104361
6.38/5.98	c cleaning 6248 clauses out of 12503 with flag 7000/110359
6.88/6.43	c cleaning 6623 clauses out of 13255 with flag 14000/117359
7.28/6.84	c cleaning 7309 clauses out of 14632 with flag 22000/125359
7.68/7.26	c Got one! Elapsed wall clock time (in seconds):7.153
7.68/7.26	o 256
7.91/7.43	c Got one! Elapsed wall clock time (in seconds):7.324
7.91/7.43	o 255
8.01/7.52	c cleaning 9658 clauses out of 19323 with flag 2000/137359
8.01/7.54	c Got one! Elapsed wall clock time (in seconds):7.434
8.01/7.54	o 243
8.12/7.63	c Got one! Elapsed wall clock time (in seconds):7.525
8.12/7.63	o 238
8.22/7.75	c cleaning 7731 clauses out of 15471 with flag 3004/143165
8.61/8.11	c cleaning 6862 clauses out of 13737 with flag 9001/149162
9.02/8.55	c cleaning 6932 clauses out of 13876 with flag 16002/156163
9.52/9.00	c cleaning 7466 clauses out of 14943 with flag 24001/164162
10.02/9.53	c cleaning 8227 clauses out of 16476 with flag 33000/173161
10.72/10.21	c cleaning 9113 clauses out of 18250 with flag 43001/183162
11.33/10.81	c cleaning 9564 clauses out of 19136 with flag 53000/193161
11.43/10.95	c Got one! Elapsed wall clock time (in seconds):10.845
11.43/10.95	o 226
11.54/11.08	c cleaning 7479 clauses out of 14980 with flag 3001/198569
11.83/11.37	c cleaning 6748 clauses out of 13503 with flag 9003/204571
12.23/11.75	c cleaning 6864 clauses out of 13752 with flag 16000/211568
12.54/12.04	c Got one! Elapsed wall clock time (in seconds):11.933
12.54/12.04	o 219
12.73/12.22	c cleaning 8549 clauses out of 17104 with flag 5000/221784
12.93/12.44	c cleaning 7270 clauses out of 14555 with flag 11000/227784
12.93/12.48	c Got one! Elapsed wall clock time (in seconds):12.378
12.93/12.48	o 214
13.13/12.67	c cleaning 6615 clauses out of 13240 with flag 5002/233739
13.34/12.88	c cleaning 6303 clauses out of 12623 with flag 11000/239737
13.54/13.06	c Got one! Elapsed wall clock time (in seconds):12.953
13.54/13.06	o 205
13.54/13.10	c cleaning 5712 clauses out of 11431 with flag 1000/244848
13.85/13.32	c cleaning 5857 clauses out of 11721 with flag 7002/250850
14.05/13.58	c cleaning 6428 clauses out of 12862 with flag 14000/257848
14.46/13.92	c cleaning 7208 clauses out of 14435 with flag 22001/265849
14.96/14.43	c cleaning 8111 clauses out of 16228 with flag 31002/274850
15.56/15.00	c cleaning 9049 clauses out of 18116 with flag 41001/284849
16.08/15.59	c cleaning 9528 clauses out of 19068 with flag 51002/294850
16.68/16.15	c cleaning 9766 clauses out of 19539 with flag 61001/304849
17.28/16.75	c cleaning 9876 clauses out of 19772 with flag 71000/314848
17.88/17.35	c cleaning 9936 clauses out of 19896 with flag 81000/324848
18.48/17.90	c cleaning 9973 clauses out of 19961 with flag 91001/334849
18.68/18.11	c Got one! Elapsed wall clock time (in seconds):18.01
18.68/18.11	o 191
18.68/18.19	c cleaning 7819 clauses out of 15643 with flag 2000/340504
18.98/18.41	c cleaning 6908 clauses out of 13824 with flag 8000/346504
19.19/18.68	c cleaning 6953 clauses out of 13917 with flag 15001/353505
19.58/19.05	c cleaning 7475 clauses out of 14965 with flag 23002/361506
20.18/19.63	c cleaning 8238 clauses out of 16489 with flag 32001/370505
20.18/19.70	c Got one! Elapsed wall clock time (in seconds):19.597
20.18/19.70	o 178
20.39/19.88	c cleaning 7080 clauses out of 14168 with flag 5002/376422
20.69/20.11	c cleaning 6538 clauses out of 13087 with flag 11001/382421
20.89/20.37	c cleaning 6767 clauses out of 13549 with flag 18001/389421
21.19/20.66	c cleaning 7386 clauses out of 14784 with flag 26003/397423
21.59/21.09	c cleaning 8195 clauses out of 16397 with flag 35002/406422
22.19/21.64	c cleaning 9094 clauses out of 18201 with flag 45001/416421
22.79/22.25	c cleaning 9546 clauses out of 19106 with flag 55000/426420
23.39/22.87	c cleaning 9773 clauses out of 19560 with flag 65000/436420
23.99/23.45	c cleaning 9886 clauses out of 19790 with flag 75003/446423
24.59/24.01	c cleaning 9944 clauses out of 19904 with flag 85003/456423
25.10/24.53	c cleaning 9971 clauses out of 19958 with flag 95001/466421
25.30/24.76	c Got one! Elapsed wall clock time (in seconds):24.661
25.30/24.76	o 172
25.40/24.80	c cleaning 7731 clauses out of 15471 with flag 1001/471905
25.60/25.04	c cleaning 6867 clauses out of 13741 with flag 7002/477906
25.81/25.28	c cleaning 6935 clauses out of 13873 with flag 14001/484905
26.20/25.70	c cleaning 7464 clauses out of 14938 with flag 22001/492905
26.40/25.87	c Got one! Elapsed wall clock time (in seconds):25.769
26.40/25.87	o 165
26.50/25.95	c cleaning 6706 clauses out of 13418 with flag 2000/498849
26.70/26.17	c cleaning 6351 clauses out of 12712 with flag 8000/504849
27.01/26.43	c cleaning 6676 clauses out of 13361 with flag 15000/511849
27.30/26.75	c cleaning 7339 clauses out of 14686 with flag 23001/519850
27.80/27.20	c cleaning 8166 clauses out of 16347 with flag 32001/528850
28.20/27.69	c cleaning 9086 clauses out of 18181 with flag 42001/538850
28.71/28.18	c cleaning 9537 clauses out of 19095 with flag 52001/548850
29.41/28.82	c cleaning 9774 clauses out of 19557 with flag 62000/558849
30.01/29.46	c cleaning 9882 clauses out of 19783 with flag 72000/568849
30.61/30.10	c cleaning 9937 clauses out of 19903 with flag 82002/578851
31.31/30.73	c cleaning 9973 clauses out of 19964 with flag 92000/588849
31.91/31.32	c cleaning 9989 clauses out of 19991 with flag 102000/598849
32.52/31.92	c cleaning 9995 clauses out of 20003 with flag 112001/608850
33.11/32.53	c cleaning 9994 clauses out of 20008 with flag 122001/618850
33.21/32.62	c Got one! Elapsed wall clock time (in seconds):32.515
33.21/32.62	o 155
33.32/32.75	c cleaning 7718 clauses out of 15442 with flag 4001/624278
33.53/32.95	c cleaning 6859 clauses out of 13724 with flag 10001/630278
33.72/33.19	c cleaning 6927 clauses out of 13865 with flag 17001/637278
34.03/33.46	c cleaning 7467 clauses out of 14940 with flag 25003/645280
34.32/33.77	c cleaning 8233 clauses out of 16473 with flag 34003/654280
34.73/34.14	c cleaning 9115 clauses out of 18237 with flag 44000/664277
35.13/34.51	c cleaning 9559 clauses out of 19124 with flag 54002/674279
35.43/34.86	c cleaning 9775 clauses out of 19563 with flag 64000/684277
35.93/35.32	c cleaning 9884 clauses out of 19788 with flag 74000/694277
36.43/35.83	c cleaning 9940 clauses out of 19905 with flag 84001/704278
36.63/36.04	c Got one! Elapsed wall clock time (in seconds):35.939
36.63/36.04	o 154
36.75/36.10	c cleaning 7804 clauses out of 15622 with flag 2000/709935
36.95/36.31	c cleaning 6902 clauses out of 13818 with flag 8000/715935
37.25/36.67	c cleaning 6953 clauses out of 13917 with flag 15001/722936
37.65/37.06	c Got one! Elapsed wall clock time (in seconds):36.959
37.65/37.06	o 126
37.85/37.26	c cleaning 9907 clauses out of 19822 with flag 5000/735794
38.05/37.47	c cleaning 7954 clauses out of 15915 with flag 11000/741794
38.35/37.71	c cleaning 7475 clauses out of 14961 with flag 18000/748794
38.75/38.11	c cleaning 7740 clauses out of 15490 with flag 26004/756798
39.25/38.61	c cleaning 8369 clauses out of 16749 with flag 35003/765797
39.75/39.16	c cleaning 9180 clauses out of 18377 with flag 45000/775794
40.26/39.65	c cleaning 9591 clauses out of 19199 with flag 55002/785796
40.75/40.15	c cleaning 9794 clauses out of 19607 with flag 65001/795795
40.96/40.33	c Got one! Elapsed wall clock time (in seconds):40.226
40.96/40.33	o 123
40.96/40.40	c cleaning 7771 clauses out of 15551 with flag 2000/801533
41.16/40.60	c cleaning 6888 clauses out of 13782 with flag 8002/807535
41.47/40.84	c cleaning 6943 clauses out of 13892 with flag 15000/814533
41.77/41.11	c cleaning 7473 clauses out of 14952 with flag 23003/822536
42.07/41.44	c cleaning 8231 clauses out of 16476 with flag 32000/831533
42.48/41.83	c cleaning 9119 clauses out of 18246 with flag 42001/841534
42.97/42.32	c cleaning 9554 clauses out of 19126 with flag 52000/851533
43.37/42.79	c Got one! Elapsed wall clock time (in seconds):42.683
43.37/42.79	o 121
43.58/42.98	c cleaning 12079 clauses out of 24161 with flag 5001/866122
43.88/43.20	c cleaning 9038 clauses out of 18083 with flag 11002/872123
44.08/43.45	c cleaning 8018 clauses out of 16043 with flag 18000/879121
44.38/43.74	c cleaning 8007 clauses out of 16026 with flag 26001/887122
44.68/44.06	c cleaning 8505 clauses out of 17019 with flag 35001/896122
45.08/44.44	c cleaning 9251 clauses out of 18513 with flag 45000/906121
45.48/44.81	c cleaning 9629 clauses out of 19263 with flag 55001/916122
45.79/45.18	c cleaning 9816 clauses out of 19636 with flag 65003/926124
46.44/45.70	c cleaning 9898 clauses out of 19818 with flag 75001/936122
46.44/45.77	c Got one! Elapsed wall clock time (in seconds):45.667
46.44/45.77	o 103
46.84/45.91	c cleaning 7567 clauses out of 15138 with flag 4004/941340
47.15/46.13	c cleaning 6782 clauses out of 13569 with flag 10002/947338
47.53/46.38	c cleaning 6890 clauses out of 13785 with flag 17000/954336
48.05/46.68	c cleaning 7444 clauses out of 14895 with flag 25000/962336
48.45/47.00	c cleaning 8222 clauses out of 16452 with flag 34001/971337
48.85/47.42	c cleaning 9113 clauses out of 18233 with flag 44004/981340
49.15/47.78	c cleaning 9554 clauses out of 19116 with flag 54000/991336
49.55/48.16	c cleaning 9771 clauses out of 19562 with flag 64000/1001336
49.95/48.54	c cleaning 9893 clauses out of 19792 with flag 74001/1011337
50.35/48.90	c cleaning 9945 clauses out of 19899 with flag 84001/1021337
50.65/49.25	c cleaning 9972 clauses out of 19953 with flag 94000/1031336
51.10/49.69	c cleaning 9989 clauses out of 19981 with flag 104000/1041336
51.71/50.22	c cleaning 9993 clauses out of 19993 with flag 114001/1051337
52.21/50.80	c cleaning 9996 clauses out of 20000 with flag 124001/1061337
52.82/51.36	c cleaning 9996 clauses out of 20003 with flag 134000/1071336
53.42/51.92	c cleaning 10000 clauses out of 20009 with flag 144002/1081338
53.92/52.49	c cleaning 9991 clauses out of 20008 with flag 154001/1091337
54.52/53.04	c cleaning 10001 clauses out of 20016 with flag 164000/1101336
55.02/53.58	c cleaning 10000 clauses out of 20015 with flag 174000/1111336
55.62/54.12	c cleaning 10005 clauses out of 20018 with flag 184003/1121339
55.72/54.29	c Got one! Elapsed wall clock time (in seconds):54.192
55.72/54.30	o 91
55.82/54.36	c cleaning 7648 clauses out of 15308 with flag 2000/1126634
56.02/54.57	c cleaning 6827 clauses out of 13660 with flag 8000/1132634
56.32/54.80	c cleaning 6913 clauses out of 13833 with flag 15000/1139634
56.53/55.08	c cleaning 7459 clauses out of 14921 with flag 23001/1147635
56.83/55.39	c cleaning 8224 clauses out of 16461 with flag 32000/1156634
57.23/55.79	c cleaning 9116 clauses out of 18238 with flag 42001/1166635
57.73/56.27	c cleaning 9549 clauses out of 19121 with flag 52000/1176634
58.23/56.76	c cleaning 9781 clauses out of 19573 with flag 62001/1186635
58.44/56.93	c Got one! Elapsed wall clock time (in seconds):56.824
58.44/56.93	o 86
58.44/56.99	c cleaning 7580 clauses out of 15166 with flag 2001/1192009
58.74/57.20	c cleaning 6782 clauses out of 13585 with flag 8000/1198008
58.94/57.44	c cleaning 6896 clauses out of 13803 with flag 15000/1205008
59.25/57.72	c cleaning 7449 clauses out of 14907 with flag 23000/1213008
59.55/58.08	c cleaning 8225 clauses out of 16459 with flag 32001/1222009
59.95/58.44	c cleaning 9111 clauses out of 18234 with flag 42001/1232009
60.35/58.82	c cleaning 9551 clauses out of 19122 with flag 52000/1242008
60.65/59.20	c cleaning 9783 clauses out of 19571 with flag 62000/1252008
61.15/59.66	c cleaning 9893 clauses out of 19789 with flag 72001/1262009
61.65/60.19	c cleaning 9945 clauses out of 19898 with flag 82003/1272011
62.16/60.66	c cleaning 9968 clauses out of 19952 with flag 92002/1282010
62.76/61.20	c cleaning 9987 clauses out of 19983 with flag 102001/1292009
63.26/61.75	c cleaning 9992 clauses out of 19995 with flag 112000/1302008
63.76/62.28	c cleaning 9995 clauses out of 20004 with flag 122001/1312009
64.36/62.80	c cleaning 9995 clauses out of 20008 with flag 132000/1322008
64.86/63.30	c cleaning 10001 clauses out of 20016 with flag 142003/1332011
65.37/63.82	c cleaning 10004 clauses out of 20015 with flag 152003/1342011
65.87/64.31	c cleaning 9997 clauses out of 20008 with flag 162000/1352008
66.27/64.79	c cleaning 9999 clauses out of 20012 with flag 172001/1362009
66.67/65.17	c Got one! Elapsed wall clock time (in seconds):65.065
66.67/65.17	o 84
66.87/65.36	c cleaning 11705 clauses out of 23416 with flag 5000/1375412
67.07/65.58	c cleaning 8852 clauses out of 17711 with flag 11000/1381412
67.37/65.82	c cleaning 7927 clauses out of 15862 with flag 18003/1388415
67.67/66.11	c cleaning 7958 clauses out of 15932 with flag 26000/1396412
67.97/66.43	c cleaning 8484 clauses out of 16975 with flag 35001/1405413
68.27/66.79	c cleaning 9239 clauses out of 18490 with flag 45000/1415412
68.68/67.18	c cleaning 9624 clauses out of 19254 with flag 55003/1425415
69.08/67.53	c cleaning 9810 clauses out of 19629 with flag 65002/1435414
69.38/67.88	c cleaning 9906 clauses out of 19822 with flag 75005/1445417
69.78/68.24	c cleaning 9950 clauses out of 19911 with flag 85000/1455412
70.18/68.62	c cleaning 9974 clauses out of 19961 with flag 95000/1465412
70.48/68.97	c cleaning 9990 clauses out of 19987 with flag 105000/1475412
70.89/69.32	c cleaning 9998 clauses out of 20001 with flag 115004/1485416
71.18/69.68	c cleaning 9997 clauses out of 19999 with flag 125000/1495412
71.58/70.03	c cleaning 9996 clauses out of 20002 with flag 135000/1505412
71.89/70.38	c cleaning 9994 clauses out of 20007 with flag 145001/1515413
72.38/70.80	c cleaning 10003 clauses out of 20013 with flag 155001/1525413
72.88/71.30	c cleaning 10003 clauses out of 20010 with flag 165001/1535413
73.38/71.80	c cleaning 10001 clauses out of 20006 with flag 175000/1545412
73.88/72.33	c cleaning 9994 clauses out of 20005 with flag 185000/1555412
74.28/72.79	c cleaning 9997 clauses out of 20012 with flag 195001/1565413
74.79/73.28	c cleaning 9993 clauses out of 20014 with flag 205000/1575412
75.19/73.65	c Got one! Elapsed wall clock time (in seconds):73.547
75.19/73.65	o 83
75.39/73.85	c cleaning 11357 clauses out of 22719 with flag 5003/1588110
75.59/74.07	c cleaning 8676 clauses out of 17359 with flag 11000/1594107
75.89/74.31	c cleaning 7833 clauses out of 15683 with flag 18000/1601107
76.09/74.58	c cleaning 7922 clauses out of 15851 with flag 26001/1609108
76.50/74.96	c cleaning 8456 clauses out of 16928 with flag 35000/1618107
77.00/75.44	c cleaning 9230 clauses out of 18472 with flag 45000/1628107
77.50/75.91	c cleaning 9617 clauses out of 19245 with flag 55003/1638110
78.00/76.44	c cleaning 9805 clauses out of 19625 with flag 65000/1648107
78.40/76.88	c cleaning 9900 clauses out of 19820 with flag 75000/1658107
78.90/77.36	c cleaning 9958 clauses out of 19920 with flag 85000/1668107
79.40/77.88	c cleaning 9976 clauses out of 19963 with flag 95001/1678108
79.90/78.36	c cleaning 9984 clauses out of 19988 with flag 105002/1688109
80.40/78.87	c cleaning 9997 clauses out of 20002 with flag 115000/1698107
80.90/79.36	c cleaning 10001 clauses out of 20011 with flag 125006/1708113
81.41/79.88	c cleaning 9998 clauses out of 20005 with flag 135001/1718108
81.91/80.35	c cleaning 9998 clauses out of 20007 with flag 145001/1728108
82.41/80.81	c cleaning 9993 clauses out of 20008 with flag 155000/1738107
82.81/81.26	c cleaning 10002 clauses out of 20015 with flag 165000/1748107
83.21/81.69	c cleaning 10001 clauses out of 20015 with flag 175002/1758109
83.71/82.10	c cleaning 9999 clauses out of 20012 with flag 185000/1768107
84.12/82.58	c cleaning 10002 clauses out of 20015 with flag 195002/1778109
84.61/83.02	c cleaning 9994 clauses out of 20011 with flag 205000/1788107
85.01/83.46	c cleaning 10003 clauses out of 20018 with flag 215001/1798108
85.52/83.95	c cleaning 10000 clauses out of 20014 with flag 225000/1808107
86.02/84.45	c cleaning 10004 clauses out of 20014 with flag 235000/1818107
86.51/84.96	c cleaning 10002 clauses out of 20011 with flag 245001/1828108
87.02/85.45	c cleaning 9999 clauses out of 20014 with flag 255006/1838113
87.51/85.95	c cleaning 10002 clauses out of 20011 with flag 265002/1848109
88.01/86.45	c cleaning 9998 clauses out of 20007 with flag 275000/1858107
88.52/86.94	c cleaning 9997 clauses out of 20009 with flag 285000/1868107
89.12/87.50	c cleaning 10001 clauses out of 20013 with flag 295001/1878108
89.53/87.98	c cleaning 9998 clauses out of 20012 with flag 305001/1888108
90.03/88.48	c cleaning 10001 clauses out of 20013 with flag 315000/1898107
90.53/88.97	c cleaning 9999 clauses out of 20014 with flag 325002/1908109
91.03/89.48	c cleaning 9997 clauses out of 20015 with flag 335002/1918109
91.53/90.00	c cleaning 10001 clauses out of 20016 with flag 345000/1928107
92.13/90.51	c cleaning 9996 clauses out of 20015 with flag 355000/1938107
92.63/91.02	c cleaning 10005 clauses out of 20021 with flag 365002/1948109
93.13/91.55	c cleaning 10003 clauses out of 20014 with flag 375000/1958107
93.64/92.05	c cleaning 10001 clauses out of 20011 with flag 385000/1968107
94.14/92.52	c cleaning 10003 clauses out of 20013 with flag 395003/1978110
94.54/92.97	c cleaning 10000 clauses out of 20008 with flag 405001/1988108
95.05/93.46	c cleaning 10001 clauses out of 20009 with flag 415002/1998109
95.54/93.93	c cleaning 9995 clauses out of 20010 with flag 425004/2008111
96.04/94.43	c cleaning 10002 clauses out of 20013 with flag 435002/2018109
96.44/94.89	c cleaning 10000 clauses out of 20011 with flag 445002/2028109
96.95/95.37	c cleaning 9999 clauses out of 20009 with flag 455000/2038107
97.45/95.85	c cleaning 9996 clauses out of 20014 with flag 465004/2048111
97.95/96.37	c cleaning 9995 clauses out of 20014 with flag 475000/2058107
98.45/96.89	c cleaning 10006 clauses out of 20019 with flag 485000/2068107
98.95/97.35	c cleaning 9997 clauses out of 20015 with flag 495002/2078109
99.05/97.40	c Got one! Elapsed wall clock time (in seconds):97.301
99.05/97.40	o 63
99.15/97.54	c cleaning 7510 clauses out of 15030 with flag 4001/2083121
99.35/97.74	c cleaning 6753 clauses out of 13519 with flag 10000/2089120
99.56/97.97	c cleaning 6879 clauses out of 13766 with flag 17000/2096120
99.85/98.25	c cleaning 7437 clauses out of 14888 with flag 25001/2104121
100.15/98.57	c cleaning 8220 clauses out of 16450 with flag 34000/2113120
100.56/98.97	c cleaning 9112 clauses out of 18230 with flag 44000/2123120
100.95/99.37	c cleaning 9555 clauses out of 19118 with flag 54000/2133120
101.35/99.72	c cleaning 9780 clauses out of 19566 with flag 64003/2143123
101.76/100.11	c cleaning 9888 clauses out of 19789 with flag 74006/2153126
102.06/100.48	c cleaning 9944 clauses out of 19896 with flag 84001/2163121
102.46/100.84	c cleaning 9971 clauses out of 19951 with flag 94000/2173120
102.87/101.21	c cleaning 9986 clauses out of 19982 with flag 104002/2183122
103.16/101.59	c cleaning 9993 clauses out of 19997 with flag 114003/2193123
103.56/101.97	c cleaning 9992 clauses out of 20001 with flag 124000/2203120
103.97/102.36	c cleaning 10000 clauses out of 20009 with flag 134000/2213120
104.37/102.71	c cleaning 10001 clauses out of 20010 with flag 144001/2223121
104.67/103.07	c cleaning 10003 clauses out of 20011 with flag 154003/2233123
105.07/103.42	c cleaning 9997 clauses out of 20007 with flag 164002/2243122
105.37/103.78	c cleaning 9996 clauses out of 20008 with flag 174000/2253120
105.77/104.15	c cleaning 9999 clauses out of 20012 with flag 184000/2263120
106.18/104.53	c cleaning 10001 clauses out of 20014 with flag 194001/2273121
106.48/104.90	c cleaning 10000 clauses out of 20013 with flag 204001/2283121
106.88/105.25	c cleaning 10001 clauses out of 20013 with flag 214001/2293121
107.28/105.64	c cleaning 10005 clauses out of 20014 with flag 224003/2303123
107.68/106.09	c cleaning 9999 clauses out of 20006 with flag 234000/2313120
108.18/106.54	c cleaning 10000 clauses out of 20008 with flag 244001/2323121
108.58/106.97	c cleaning 10000 clauses out of 20007 with flag 254000/2333120
108.99/107.38	c cleaning 9996 clauses out of 20009 with flag 264002/2343122
109.49/107.81	c cleaning 10002 clauses out of 20013 with flag 274002/2353122
109.89/108.22	c cleaning 10002 clauses out of 20011 with flag 284002/2363122
110.29/108.66	c cleaning 9995 clauses out of 20008 with flag 294001/2373121
110.69/109.09	c cleaning 9996 clauses out of 20012 with flag 304000/2383120
111.20/109.54	c cleaning 10000 clauses out of 20017 with flag 314001/2393121
111.70/110.05	c cleaning 9999 clauses out of 20016 with flag 324000/2403120
112.20/110.50	c cleaning 10005 clauses out of 20020 with flag 334003/2413123
112.60/110.96	c cleaning 10003 clauses out of 20015 with flag 344003/2423123
113.10/111.43	c cleaning 10003 clauses out of 20009 with flag 354000/2433120
113.50/111.84	c cleaning 9996 clauses out of 20007 with flag 364001/2443121
114.00/112.31	c cleaning 9998 clauses out of 20011 with flag 374001/2453121
114.50/112.81	c cleaning 10001 clauses out of 20014 with flag 384002/2463122
114.91/113.24	c cleaning 10001 clauses out of 20011 with flag 394000/2473120
115.40/113.70	c cleaning 10000 clauses out of 20010 with flag 404000/2483120
115.80/114.15	c cleaning 10000 clauses out of 20010 with flag 414000/2493120
116.21/114.57	c cleaning 9994 clauses out of 20011 with flag 424001/2503121
116.71/115.02	c cleaning 10002 clauses out of 20018 with flag 434002/2513122
117.11/115.47	c cleaning 9999 clauses out of 20014 with flag 444000/2523120
117.61/115.94	c cleaning 10003 clauses out of 20016 with flag 454001/2533121
118.01/116.38	c cleaning 9997 clauses out of 20012 with flag 464000/2543120
118.51/116.84	c cleaning 10003 clauses out of 20016 with flag 474001/2553121
119.01/117.30	c cleaning 9999 clauses out of 20012 with flag 484000/2563120
119.41/117.78	c cleaning 10001 clauses out of 20015 with flag 494002/2573122
119.91/118.23	c cleaning 9998 clauses out of 20013 with flag 504001/2583121
120.31/118.66	c Got one! Elapsed wall clock time (in seconds):118.562
120.31/118.66	o 55
120.52/118.89	c cleaning 12135 clauses out of 24278 with flag 5001/2597384
120.82/119.11	c cleaning 9068 clauses out of 18143 with flag 11001/2603384
121.02/119.35	c cleaning 8033 clauses out of 16077 with flag 18003/2610386
121.32/119.64	c cleaning 8018 clauses out of 16042 with flag 26001/2618384
121.62/119.95	c cleaning 8509 clauses out of 17023 with flag 35000/2627383
122.02/120.34	c cleaning 9254 clauses out of 18514 with flag 45000/2637383
122.43/120.71	c cleaning 9628 clauses out of 19261 with flag 55001/2647384
122.73/121.08	c cleaning 9812 clauses out of 19635 with flag 65003/2657386
123.13/121.43	c cleaning 9909 clauses out of 19824 with flag 75004/2667387
123.43/121.78	c cleaning 9950 clauses out of 19912 with flag 85001/2677384
123.84/122.12	c cleaning 9976 clauses out of 19961 with flag 95000/2687383
124.23/122.52	c cleaning 9985 clauses out of 19985 with flag 105000/2697383
124.64/122.90	c cleaning 9993 clauses out of 20001 with flag 115001/2707384
125.04/123.33	c cleaning 9994 clauses out of 20007 with flag 125000/2717383
125.44/123.72	c cleaning 9999 clauses out of 20013 with flag 135000/2727383
125.84/124.11	c cleaning 10006 clauses out of 20015 with flag 145001/2737384
126.24/124.54	c cleaning 10000 clauses out of 20011 with flag 155003/2747386
126.64/124.95	c cleaning 9999 clauses out of 20008 with flag 165000/2757383
127.05/125.37	c cleaning 9999 clauses out of 20009 with flag 175000/2767383
127.44/125.78	c cleaning 10005 clauses out of 20015 with flag 185005/2777388
127.94/126.22	c cleaning 9996 clauses out of 20005 with flag 195000/2787383
128.34/126.66	c cleaning 9998 clauses out of 20010 with flag 205001/2797384
128.84/127.14	c cleaning 9999 clauses out of 20011 with flag 215000/2807383
129.25/127.55	c cleaning 10001 clauses out of 20013 with flag 225001/2817384
129.64/127.97	c cleaning 10002 clauses out of 20011 with flag 235000/2827383
130.04/128.38	c cleaning 10001 clauses out of 20013 with flag 245004/2837387
130.45/128.79	c cleaning 9996 clauses out of 20011 with flag 255003/2847386
130.94/129.23	c cleaning 10002 clauses out of 20013 with flag 265001/2857384
131.34/129.64	c cleaning 10001 clauses out of 20010 with flag 275000/2867383
131.74/130.08	c cleaning 10001 clauses out of 20010 with flag 285001/2877384
132.24/130.56	c cleaning 9996 clauses out of 20008 with flag 295000/2887383
132.75/131.08	c cleaning 9998 clauses out of 20014 with flag 305002/2897385
133.25/131.56	c cleaning 9997 clauses out of 20016 with flag 315002/2907385
133.65/132.00	c cleaning 10006 clauses out of 20019 with flag 325002/2917385
134.15/132.43	c cleaning 10000 clauses out of 20011 with flag 335000/2927383
134.55/132.86	c cleaning 10001 clauses out of 20012 with flag 345001/2937384
135.05/133.35	c cleaning 9997 clauses out of 20012 with flag 355002/2947385
135.55/133.80	c cleaning 10000 clauses out of 20013 with flag 365000/2957383
135.96/134.24	c cleaning 9995 clauses out of 20013 with flag 375000/2967383
136.36/134.69	c cleaning 10005 clauses out of 20018 with flag 385000/2977383
136.86/135.10	c cleaning 10002 clauses out of 20013 with flag 395000/2987383
136.86/135.18	c Got one! Elapsed wall clock time (in seconds):135.078
136.86/135.18	o 53
137.09/135.32	c cleaning 7989 clauses out of 15989 with flag 4000/2993361
137.28/135.52	c cleaning 6996 clauses out of 14000 with flag 10000/2999361
137.48/135.77	c cleaning 6997 clauses out of 14004 with flag 17000/3006361
137.78/136.05	c cleaning 7497 clauses out of 15007 with flag 25000/3014361
138.09/136.37	c cleaning 8254 clauses out of 16511 with flag 34001/3023362
138.48/136.77	c cleaning 9124 clauses out of 18257 with flag 44001/3033362
138.89/137.15	c cleaning 9564 clauses out of 19134 with flag 54002/3043363
139.29/137.52	c cleaning 9781 clauses out of 19569 with flag 64001/3053362
139.69/137.92	c cleaning 9888 clauses out of 19788 with flag 74001/3063362
139.99/138.29	c cleaning 9946 clauses out of 19900 with flag 84001/3073362
140.40/138.64	c cleaning 9970 clauses out of 19953 with flag 94000/3083361
140.69/138.98	c cleaning 9986 clauses out of 19984 with flag 104001/3093362
141.09/139.32	c cleaning 9994 clauses out of 19999 with flag 114002/3103363
141.50/139.72	c cleaning 9995 clauses out of 20003 with flag 124000/3113361
141.79/140.07	c cleaning 10001 clauses out of 20010 with flag 134002/3123363
142.20/140.42	c cleaning 9997 clauses out of 20007 with flag 144000/3133361
142.50/140.77	c cleaning 9997 clauses out of 20010 with flag 154000/3143361
142.90/141.11	c cleaning 9995 clauses out of 20013 with flag 164000/3153361
143.20/141.49	c cleaning 10004 clauses out of 20018 with flag 174000/3163361
143.61/141.86	c cleaning 10003 clauses out of 20014 with flag 184000/3173361
144.00/142.22	c cleaning 10002 clauses out of 20012 with flag 194001/3183362
144.30/142.57	c cleaning 10001 clauses out of 20011 with flag 204002/3193363
144.71/142.91	c cleaning 9995 clauses out of 20008 with flag 214000/3203361
145.01/143.26	c cleaning 10003 clauses out of 20015 with flag 224002/3213363
145.41/143.68	c cleaning 10002 clauses out of 20012 with flag 234002/3223363
145.81/144.10	c cleaning 9996 clauses out of 20009 with flag 244001/3233362
146.32/144.52	c cleaning 10003 clauses out of 20013 with flag 254001/3243362
146.72/144.97	c cleaning 9999 clauses out of 20010 with flag 264001/3253362
147.22/145.43	c cleaning 9998 clauses out of 20012 with flag 274002/3263363
147.42/145.62	c Got one! Elapsed wall clock time (in seconds):145.512
147.42/145.62	o 41
147.42/145.66	c cleaning 7602 clauses out of 15211 with flag 1002/3268560
147.62/145.86	c cleaning 6802 clauses out of 13609 with flag 7002/3274560
147.82/146.08	c cleaning 6899 clauses out of 13807 with flag 14002/3281560
148.13/146.35	c cleaning 7448 clauses out of 14906 with flag 22000/3289558
148.42/146.64	c cleaning 8224 clauses out of 16460 with flag 31002/3298560
148.82/147.02	c cleaning 9114 clauses out of 18235 with flag 41001/3308559
149.13/147.36	c cleaning 9554 clauses out of 19121 with flag 51001/3318559
149.53/147.70	c cleaning 9782 clauses out of 19571 with flag 61005/3328563
149.83/148.04	c cleaning 9890 clauses out of 19787 with flag 71003/3338561
150.13/148.40	c cleaning 9943 clauses out of 19895 with flag 81001/3348559
150.54/148.75	c cleaning 9970 clauses out of 19952 with flag 91001/3358559
150.84/149.08	c cleaning 9982 clauses out of 19981 with flag 101000/3368558
151.24/149.41	c cleaning 9994 clauses out of 20000 with flag 111001/3378559
151.54/149.76	c cleaning 9996 clauses out of 20005 with flag 121000/3388558
151.84/150.09	c cleaning 9996 clauses out of 20009 with flag 131000/3398558
152.24/150.42	c cleaning 10002 clauses out of 20013 with flag 141000/3408558
152.55/150.74	c cleaning 9998 clauses out of 20011 with flag 151000/3418558
152.84/151.09	c cleaning 9999 clauses out of 20013 with flag 161000/3428558
153.24/151.45	c cleaning 10000 clauses out of 20014 with flag 171000/3438558
153.55/151.78	c cleaning 9999 clauses out of 20014 with flag 181000/3448558
153.95/152.11	c cleaning 9999 clauses out of 20016 with flag 191001/3458559
154.25/152.43	c cleaning 10000 clauses out of 20017 with flag 201001/3468559
154.55/152.76	c cleaning 10000 clauses out of 20016 with flag 211000/3478558
154.85/153.09	c cleaning 10001 clauses out of 20016 with flag 221000/3488558
155.25/153.42	c cleaning 10003 clauses out of 20015 with flag 231000/3498558
155.55/153.76	c cleaning 10000 clauses out of 20012 with flag 241000/3508558
155.95/154.10	c cleaning 9999 clauses out of 20012 with flag 251000/3518558
156.26/154.44	c cleaning 10002 clauses out of 20014 with flag 261001/3528559
156.55/154.77	c cleaning 10002 clauses out of 20013 with flag 271002/3538560
156.86/155.10	c cleaning 10000 clauses out of 20009 with flag 281000/3548558
157.26/155.42	c cleaning 9999 clauses out of 20009 with flag 291000/3558558
157.56/155.75	c cleaning 10003 clauses out of 20011 with flag 301001/3568559
157.96/156.11	c cleaning 9999 clauses out of 20007 with flag 311000/3578558
158.26/156.44	c cleaning 10002 clauses out of 20009 with flag 321001/3588559
158.56/156.77	c cleaning 9999 clauses out of 20008 with flag 331002/3598560
158.96/157.17	c cleaning 10000 clauses out of 20009 with flag 341002/3608560
159.36/157.58	c cleaning 9999 clauses out of 20008 with flag 351001/3618559
159.56/157.72	c Got one! Elapsed wall clock time (in seconds):157.614
159.56/157.72	o 29
159.56/157.79	c cleaning 7786 clauses out of 15584 with flag 2000/3624134
159.76/157.99	c cleaning 6895 clauses out of 13799 with flag 8001/3630135
160.06/158.27	c cleaning 6950 clauses out of 13903 with flag 15000/3637134
160.36/158.55	c cleaning 7469 clauses out of 14954 with flag 23001/3645135
160.76/158.91	c cleaning 8236 clauses out of 16484 with flag 32000/3654134
161.06/159.26	c cleaning 9119 clauses out of 18248 with flag 42000/3664134
161.46/159.60	c cleaning 9560 clauses out of 19129 with flag 52000/3674134
161.77/159.97	c cleaning 9778 clauses out of 19570 with flag 62001/3684135
162.17/160.32	c cleaning 9893 clauses out of 19794 with flag 72003/3694137
162.47/160.66	c cleaning 9943 clauses out of 19898 with flag 82000/3704134
162.77/160.99	c cleaning 9972 clauses out of 19956 with flag 92001/3714135
163.17/161.33	c cleaning 9988 clauses out of 19984 with flag 102001/3724135
163.48/161.68	c cleaning 9995 clauses out of 19996 with flag 112001/3734135
163.88/162.02	c cleaning 9993 clauses out of 20001 with flag 122001/3744135
164.18/162.37	c cleaning 9997 clauses out of 20008 with flag 132001/3754135
164.59/162.73	c cleaning 10001 clauses out of 20011 with flag 142001/3764135
164.88/163.09	c cleaning 9999 clauses out of 20009 with flag 152000/3774134
165.28/163.46	c cleaning 10004 clauses out of 20012 with flag 162002/3784136
165.69/163.83	c cleaning 9990 clauses out of 20006 with flag 172000/3794134
166.08/164.21	c cleaning 10002 clauses out of 20016 with flag 182000/3804134
166.38/164.55	c cleaning 10004 clauses out of 20015 with flag 192001/3814135
166.79/164.93	c cleaning 9997 clauses out of 20011 with flag 202001/3824135
167.08/165.27	c cleaning 9997 clauses out of 20013 with flag 212000/3834134
167.48/165.61	c cleaning 10004 clauses out of 20018 with flag 222002/3844136
167.78/165.96	c cleaning 10003 clauses out of 20017 with flag 232005/3854139
168.18/166.32	c cleaning 10000 clauses out of 20009 with flag 242000/3864134
168.48/166.69	c cleaning 9998 clauses out of 20010 with flag 252001/3874135
168.89/167.08	c cleaning 9998 clauses out of 20011 with flag 262000/3884134
169.29/167.44	c cleaning 9995 clauses out of 20015 with flag 272002/3894136
169.69/167.82	c cleaning 10005 clauses out of 20019 with flag 282001/3904135
169.99/168.19	c cleaning 10004 clauses out of 20014 with flag 292001/3914135
170.40/168.54	c cleaning 10001 clauses out of 20010 with flag 302001/3924135
170.70/168.88	c cleaning 9997 clauses out of 20010 with flag 312002/3934136
171.10/169.22	c cleaning 9993 clauses out of 20011 with flag 322000/3944134
171.40/169.56	c cleaning 10000 clauses out of 20019 with flag 332001/3954135
171.40/169.60	c Got one! Elapsed wall clock time (in seconds):169.493
171.40/169.60	o 19
171.60/169.75	c cleaning 7806 clauses out of 15619 with flag 5000/3959735
171.80/169.95	c cleaning 6903 clauses out of 13813 with flag 11000/3965735
172.00/170.17	c cleaning 6951 clauses out of 13910 with flag 18000/3972735
172.30/170.44	c cleaning 7474 clauses out of 14959 with flag 26000/3980735
172.60/170.74	c cleaning 8239 clauses out of 16488 with flag 35003/3989738
173.00/171.11	c cleaning 9118 clauses out of 18247 with flag 45001/3999736
173.30/171.45	c cleaning 9558 clauses out of 19128 with flag 55000/4009735
173.60/171.79	c cleaning 9779 clauses out of 19570 with flag 65000/4019735
174.00/172.11	c cleaning 9892 clauses out of 19793 with flag 75002/4029737
174.30/172.45	c cleaning 9943 clauses out of 19900 with flag 85001/4039736
174.70/172.80	c cleaning 9970 clauses out of 19956 with flag 95000/4049735
175.01/173.12	c cleaning 9990 clauses out of 19987 with flag 105001/4059736
175.31/173.46	c cleaning 9995 clauses out of 19997 with flag 115001/4069736
175.62/173.79	c cleaning 9997 clauses out of 20001 with flag 125000/4079735
176.01/174.13	c cleaning 9995 clauses out of 20004 with flag 135000/4089735
176.31/174.45	c cleaning 9999 clauses out of 20011 with flag 145002/4099737
176.62/174.80	c cleaning 10003 clauses out of 20012 with flag 155002/4109737
177.02/175.14	c cleaning 10000 clauses out of 20008 with flag 165001/4119736
177.34/175.48	c cleaning 10000 clauses out of 20007 with flag 175000/4129735
177.73/175.80	c cleaning 9999 clauses out of 20008 with flag 185001/4139736
178.04/176.13	c cleaning 10001 clauses out of 20008 with flag 195000/4149735
178.34/176.49	c cleaning 9998 clauses out of 20007 with flag 205000/4159735
178.74/176.84	c cleaning 10003 clauses out of 20010 with flag 215001/4169736
179.14/177.21	c cleaning 9997 clauses out of 20007 with flag 225001/4179736
179.44/177.55	c starts		: 303
179.44/177.55	c conflicts		: 4189654
179.44/177.55	c decisions		: 7097359
179.44/177.55	c propagations		: 116008102
179.44/177.55	c inspects		: 949406492
179.44/177.55	c shortcuts		: 0
179.44/177.55	c learnt literals	: 6
179.44/177.55	c learnt binary clauses	: 106
179.44/177.55	c learnt ternary clauses	: 2445
179.44/177.55	c learnt constraints	: 4189647
179.44/177.55	c ignored constraints	: 0
179.44/177.55	c root simplifications	: 0
179.44/177.55	c removed literals (reason simplification)	: 21665268
179.44/177.55	c reason swapping (by a shorter reason)	: 0
179.44/177.55	c Calls to reduceDB	: 453
179.44/177.55	c number of reductions to clauses (during analyze)	: 0
179.44/177.55	c number of learned constraints concerned by reduction	: 0
179.44/177.55	c number of learning phase by resolution	: 0
179.44/177.55	c number of learning phase by cutting planes	: 0
179.44/177.55	c speed (assignments/second)	: 1.4575713280562885E7
179.44/177.55	c non guided choices	3373
179.44/177.55	c learnt constraints type 
179.44/177.55	c constraints type 
179.44/177.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
179.44/177.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
179.44/177.56	s OPTIMUM FOUND
179.44/177.56	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 
179.44/177.56	c objective function=19
179.44/177.56	c Total wall clock time (in seconds): 177.453

Verifier Data 

OK	19

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-3492683-1307911135/watcher-3492683-1307911135 -o /var/tmp/evaluation-result-3492683-1307911135/solver-3492683-1307911135 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492683-1307911135.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.00 1.96 2/192 30505
/proc/meminfo: memFree=1168332/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 981343958 31260672 957 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 7632 957 730 9 0 383 0
[pid=30505/tid=30506] ppid=30503 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 981343958 31260672 957 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252458065664 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0637911 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 30505
/proc/meminfo: memFree=1168332/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 11752 0 1 0 4 1 0 0 25 0 18 0 981343958 10724302848 11447 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2618238 11449 1741 9 0 2608972 0
[pid=30505/tid=30506] ppid=30503 vsize=10472952 CPUtime=0.04 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 10579 0 1 0 4 0 0 0 25 0 18 0 981343958 10724302848 11450 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 47708782226371 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952

[startup+0.100759 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 30505
/proc/meminfo: memFree=1168332/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10540292 CPUtime=0.1 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 13131 0 1 0 9 1 0 0 25 0 18 0 981343958 10793259008 12811 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2635073 12812 2092 9 0 2625807 0
[pid=30505/tid=30506] ppid=30503 vsize=10540292 CPUtime=0.09 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 11215 0 1 0 8 1 0 0 18 0 18 0 981343958 10793259008 12812 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540292

[startup+0.300756 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 30505
/proc/meminfo: memFree=1168332/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545164 CPUtime=0.54 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 16177 0 1 0 53 1 0 0 25 0 19 0 981343958 10798247936 14705 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636291 14705 2214 9 0 2627025 0
[pid=30505/tid=30506] ppid=30503 vsize=10545164 CPUtime=0.29 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 11817 0 1 0 28 1 0 0 19 0 19 0 981343958 10798247936 14705 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505166908 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545164

[startup+0.700688 s]
/proc/loadavg: 2.00 2.00 1.96 2/192 30505
/proc/meminfo: memFree=1168332/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545164 CPUtime=1 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 17295 0 1 0 98 2 0 0 25 0 19 0 981343958 10798247936 15387 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636291 15387 2218 9 0 2627025 0
[pid=30505/tid=30506] ppid=30503 vsize=10545164 CPUtime=0.68 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 12488 0 1 0 67 1 0 0 19 0 19 0 981343958 10798247936 15387 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 47708785863507 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10545164

[startup+1.50146 s]
/proc/loadavg: 2.00 2.00 1.96 3/211 30524
/proc/meminfo: memFree=1112156/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545164 CPUtime=1.9 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 18952 0 1 0 188 2 0 0 25 0 19 0 981343958 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636291 17012 2247 9 0 2627025 0
[pid=30505/tid=30506] ppid=30503 vsize=10545164 CPUtime=1.45 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) S 30503 30505 27812 0 -1 4202560 12653 0 1 0 144 1 0 0 20 0 19 0 981343958 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545164 CPUtime=0.02 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) R 30503 30505 27812 0 -1 4202560 515 0 0 0 2 0 0 0 15 0 19 0 981343961 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252457759817 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545164 CPUtime=0.2 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 1952 0 0 0 20 0 0 0 15 0 19 0 981343963 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545164 CPUtime=0.18 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 1747 0 0 0 18 0 0 0 15 0 19 0 981343963 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981343963 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798247936 17012 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10545164

[startup+3.10121 s]
/proc/loadavg: 2.00 2.00 1.96 3/211 30524
/proc/meminfo: memFree=1108560/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545164 CPUtime=3.52 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 19027 0 1 0 350 2 0 0 25 0 19 0 981343958 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636291 17083 2248 9 0 2627025 0
[pid=30505/tid=30506] ppid=30503 vsize=10545164 CPUtime=2.99 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 12657 0 1 0 298 1 0 0 25 0 19 0 981343958 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505745972 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545164 CPUtime=0.08 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 574 0 0 0 8 0 0 0 16 0 19 0 981343961 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545164 CPUtime=0.22 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 1958 0 0 0 22 0 0 0 15 0 19 0 981343963 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545164 CPUtime=0.18 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 1747 0 0 0 18 0 0 0 15 0 19 0 981343963 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981343963 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798247936 17083 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10545164

[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 1.96 3/211 30524
/proc/meminfo: memFree=1107692/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545164 CPUtime=6.78 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 19406 0 1 0 676 2 0 0 25 0 19 0 981343958 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636291 17073 2248 9 0 2627025 0
[pid=30505/tid=30506] ppid=30503 vsize=10545164 CPUtime=6.07 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 12667 0 1 0 606 1 0 0 19 0 19 0 981343958 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505575760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 981343960 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545164 CPUtime=0.19 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 574 0 0 0 19 0 0 0 15 0 19 0 981343961 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545164 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545164 CPUtime=0.27 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 2323 0 0 0 27 0 0 0 15 0 19 0 981343963 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545164 CPUtime=0.18 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 1747 0 0 0 18 0 0 0 15 0 19 0 981343963 10798247936 17073 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0

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

/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 268 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545132 CPUtime=0.12 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 19 0 0 0 12 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 116 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 14 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 229 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545132 CPUtime=0.12 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 214 0 0 0 12 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 176 0 0 0 14 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545132 CPUtime=6.33 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 1369 0 0 0 629 4 0 0 16 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545132 CPUtime=0.37 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 2441 0 0 0 37 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545132 CPUtime=1.01 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 13082 0 0 0 99 2 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 177.84
Current children cumulated vsize (KiB) 10545132

[startup+176.701 s]
/proc/loadavg: 2.08 2.02 1.97 3/211 30530
/proc/meminfo: memFree=1086952/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545132 CPUtime=178.64 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 32218 0 1 0 17852 12 0 0 25 0 19 0 981343958 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636283 21874 2251 9 0 2627017 0
[pid=30505/tid=30506] ppid=30503 vsize=10545132 CPUtime=169.68 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 13105 0 1 0 16966 2 0 0 24 0 19 0 981343958 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505531869 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 268 0 0 0 15 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 19 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 116 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 14 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 229 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 214 0 0 0 13 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 176 0 0 0 14 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545132 CPUtime=6.36 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 1369 0 0 0 632 4 0 0 16 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545132 CPUtime=0.37 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 2441 0 0 0 37 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545132 CPUtime=1.01 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 13082 0 0 0 99 2 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 178.64
Current children cumulated vsize (KiB) 10545132

[startup+177.107 s]
/proc/loadavg: 2.08 2.02 1.97 3/211 30530
/proc/meminfo: memFree=1086952/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545132 CPUtime=179.05 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 32219 0 1 0 17893 12 0 0 25 0 19 0 981343958 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636283 21874 2251 9 0 2627017 0
[pid=30505/tid=30506] ppid=30503 vsize=10545132 CPUtime=170.07 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 13106 0 1 0 17005 2 0 0 25 0 19 0 981343958 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505561479 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 268 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 19 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 116 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 14 0 0 0 15 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 229 0 0 0 13 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 214 0 0 0 13 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 176 0 0 0 15 0 0 0 16 0 19 0 981343960 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545132 CPUtime=6.38 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 1369 0 0 0 634 4 0 0 16 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545132 CPUtime=0.37 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 2441 0 0 0 37 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545132 CPUtime=1.01 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 13082 0 0 0 99 2 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 981343963 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798215168 21874 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 10545132

[startup+177.501 s]
/proc/loadavg: 2.08 2.02 1.97 3/211 30530
/proc/meminfo: memFree=1086952/32951124 swapFree=67062556/67111528
[pid=30505] ppid=30503 vsize=10545132 CPUtime=179.44 cores=0,2,4,6
/proc/30505/stat : 30505 (java) S 30503 30505 27812 0 -1 4202496 32224 0 1 0 17932 12 0 0 25 0 19 0 981343958 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30505/statm: 2636283 21876 2251 9 0 2627017 0
[pid=30505/tid=30506] ppid=30503 vsize=10545132 CPUtime=170.44 cores=0,2,4,6
/proc/30505/task/30506/stat : 30506 (java) R 30503 30505 27812 0 -1 4202560 13108 0 1 0 17042 2 0 0 25 0 19 0 981343958 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 46912505525363 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30508/stat : 30508 (java) S 30503 30505 27812 0 -1 4202560 269 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30509] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30509/stat : 30509 (java) S 30503 30505 27812 0 -1 4202560 19 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30510] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30510/stat : 30510 (java) S 30503 30505 27812 0 -1 4202560 116 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30511] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30511/stat : 30511 (java) S 30503 30505 27812 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30512] ppid=30503 vsize=10545132 CPUtime=0.14 cores=0,2,4,6
/proc/30505/task/30512/stat : 30512 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 14 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30513] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30513/stat : 30513 (java) S 30503 30505 27812 0 -1 4202560 229 0 0 0 13 0 0 0 16 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30514] ppid=30503 vsize=10545132 CPUtime=0.13 cores=0,2,4,6
/proc/30505/task/30514/stat : 30514 (java) S 30503 30505 27812 0 -1 4202560 214 0 0 0 13 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30515] ppid=30503 vsize=10545132 CPUtime=0.15 cores=0,2,4,6
/proc/30505/task/30515/stat : 30515 (java) S 30503 30505 27812 0 -1 4202560 176 0 0 0 15 0 0 0 15 0 19 0 981343960 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 6 0 0 0
[pid=30505/tid=30516] ppid=30503 vsize=10545132 CPUtime=6.39 cores=0,2,4,6
/proc/30505/task/30516/stat : 30516 (java) S 30503 30505 27812 0 -1 4202560 1369 0 0 0 635 4 0 0 16 0 19 0 981343961 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 0 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30517] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30517/stat : 30517 (java) S 30503 30505 27812 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30518] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30518/stat : 30518 (java) S 30503 30505 27812 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981343961 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30519] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30519/stat : 30519 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469889457 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30520] ppid=30503 vsize=10545132 CPUtime=0.37 cores=0,2,4,6
/proc/30505/task/30520/stat : 30520 (java) S 30503 30505 27812 0 -1 4202560 2441 0 0 0 37 0 0 0 15 0 19 0 981343963 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30521] ppid=30503 vsize=10545132 CPUtime=1.01 cores=0,2,4,6
/proc/30505/task/30521/stat : 30521 (java) S 30503 30505 27812 0 -1 4202560 13082 0 0 0 99 2 0 0 15 0 19 0 981343963 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
[pid=30505/tid=30522] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30522/stat : 30522 (java) S 30503 30505 27812 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981343963 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469881753 0 4 0 16800975 18446604453864017984 0 0 -1 2 0 0 0
[pid=30505/tid=30523] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30523/stat : 30523 (java) S 30503 30505 27812 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 981343963 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 4 0 0 0
[pid=30505/tid=30524] ppid=30503 vsize=10545132 CPUtime=0 cores=0,2,4,6
/proc/30505/task/30524/stat : 30524 (java) S 30503 30505 27812 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981343974 10798215168 21876 33554432000 1073741824 1073778376 140733584061904 18446744073709551615 252469882368 0 4 0 16800975 18446604453864017984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 179.44
Current children cumulated vsize (KiB) 10545132

Child status: 30
Real time (s): 177.565
CPU time (s): 179.518
CPU user time (s): 179.392
CPU system time (s): 0.12598
CPU usage (%): 101.1
Max. virtual memory (cumulated for all children) (KiB): 10545996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.392
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32248
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= 17078
involuntary context switches= 7233

runsolver used 0.348946 second user time and 0.6529 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-12 22:38:55
IDJOB=3492683
IDBENCH=79225
IDSOLVER=1982
FILE ID=node111/3492683-1307911135
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.1110966483--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-3492683-1307911135/watcher-3492683-1307911135 -o /var/tmp/evaluation-result-3492683-1307911135/solver-3492683-1307911135 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492683-1307911135.wbo

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

MD5SUM BENCH= 2001343def6115cfc261dcde547cf23c
RANDOM SEED=1374461184

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:       1168736 kB
Buffers:         62888 kB
Cached:       29542908 kB
SwapCached:      11248 kB
Active:       15868348 kB
Inactive:     14983296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1168736 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:             460 kB
Writeback:           0 kB
AnonPages:     1243604 kB
Mapped:          18596 kB
Slab:           865276 kB
PageTables:       6724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10521172 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:41:52