Trace number 3718141

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 PB 2012-05-28OPTIMUM 34.1308 31.7316

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
MD5SUM4d45122e251aca3cc1eaa7c8fe64e1aa
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark0.657899
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 2925
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2924
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1265
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120528
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3718141-1338251638.wbo
0.08/0.11	c reading problem ... 
0.08/0.17	c ... done. Wall clock time 0.053s.
0.08/0.17	c declared #vars     169
0.08/0.17	c internal #vars     233
0.08/0.17	c #constraints  101
0.08/0.17	c constraints type 
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
0.08/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.08/0.17	c ignored satisfied constraints => 1
0.08/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
0.08/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
0.08/0.17	c 102 constraints processed.
0.08/0.17	c objective function length is 64 literals
0.24/0.25	c SATISFIABLE
0.24/0.25	c OPTIMIZING...
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.131
0.24/0.25	o 1214
0.24/0.26	c Got one! Elapsed wall clock time (in seconds):0.147
0.24/0.26	o 1166
0.24/0.28	c Got one! Elapsed wall clock time (in seconds):0.162
0.24/0.28	o 1156
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.174
0.24/0.29	o 1155
0.24/0.29	c Got one! Elapsed wall clock time (in seconds):0.179
0.24/0.29	o 692
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.193
0.53/0.31	o 691
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.21
0.53/0.32	o 685
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.216
0.53/0.33	o 667
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.239
0.53/0.35	o 661
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.25
0.53/0.36	o 515
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.259
0.53/0.37	o 512
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.273
0.53/0.39	o 506
0.69/0.41	c Got one! Elapsed wall clock time (in seconds):0.293
0.69/0.41	o 500
0.69/0.43	c Got one! Elapsed wall clock time (in seconds):0.318
0.69/0.43	o 499
0.69/0.46	c Got one! Elapsed wall clock time (in seconds):0.343
0.69/0.46	o 494
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.362
0.69/0.48	o 492
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.37
0.69/0.49	o 480
0.79/0.51	c Got one! Elapsed wall clock time (in seconds):0.398
0.79/0.51	o 475
0.79/0.53	c Got one! Elapsed wall clock time (in seconds):0.413
0.79/0.53	o 471
0.79/0.54	c Got one! Elapsed wall clock time (in seconds):0.425
0.79/0.54	o 462
0.79/0.55	c Got one! Elapsed wall clock time (in seconds):0.439
0.79/0.55	o 450
0.79/0.57	c Got one! Elapsed wall clock time (in seconds):0.458
0.79/0.57	o 440
0.97/0.60	c Got one! Elapsed wall clock time (in seconds):0.485
0.97/0.60	o 308
0.97/0.65	c Got one! Elapsed wall clock time (in seconds):0.537
0.97/0.65	o 307
0.97/0.66	c Got one! Elapsed wall clock time (in seconds):0.547
0.97/0.66	o 305
0.97/0.68	c Got one! Elapsed wall clock time (in seconds):0.563
0.97/0.68	o 290
0.97/0.69	c Got one! Elapsed wall clock time (in seconds):0.579
0.97/0.69	o 275
1.07/0.76	c cleaning 7921 clauses out of 15843 with flag 3697/15843
1.22/0.80	c Got one! Elapsed wall clock time (in seconds):0.683
1.22/0.80	o 274
1.22/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.22/0.85	o 271
1.32/0.91	c Got one! Elapsed wall clock time (in seconds):0.799
1.32/0.91	o 268
1.32/0.92	c Got one! Elapsed wall clock time (in seconds):0.807
1.32/0.92	o 267
1.32/0.96	c cleaning 7141 clauses out of 14281 with flag 3288/22202
1.32/0.99	c Got one! Elapsed wall clock time (in seconds):0.872
1.32/0.99	o 266
1.59/1.11	c Got one! Elapsed wall clock time (in seconds):0.99
1.59/1.11	o 264
1.59/1.14	c cleaning 6978 clauses out of 13955 with flag 3581/29017
1.59/1.19	c Got one! Elapsed wall clock time (in seconds):1.074
1.59/1.19	o 263
1.71/1.23	c Got one! Elapsed wall clock time (in seconds):1.114
1.71/1.23	o 259
1.71/1.24	c Got one! Elapsed wall clock time (in seconds):1.125
1.71/1.24	o 256
1.71/1.26	c Got one! Elapsed wall clock time (in seconds):1.149
1.71/1.26	o 251
1.71/1.29	c Got one! Elapsed wall clock time (in seconds):1.18
1.71/1.29	o 249
1.81/1.34	c Got one! Elapsed wall clock time (in seconds):1.222
1.81/1.34	o 245
1.98/1.40	c cleaning 7500 clauses out of 15002 with flag 4605/37042
1.98/1.42	c Got one! Elapsed wall clock time (in seconds):1.305
1.98/1.42	o 243
1.98/1.49	c Got one! Elapsed wall clock time (in seconds):1.379
1.98/1.49	o 242
2.47/1.61	c cleaning 6721 clauses out of 13458 with flag 12294/42998
2.73/1.70	c Got one! Elapsed wall clock time (in seconds):1.585
2.73/1.70	o 240
2.90/1.81	c cleaning 6317 clauses out of 12654 with flag 13240/48915
2.90/1.83	c Got one! Elapsed wall clock time (in seconds):1.714
2.90/1.83	o 237
2.90/1.85	c Got one! Elapsed wall clock time (in seconds):1.731
2.90/1.85	o 236
2.90/1.87	c Got one! Elapsed wall clock time (in seconds):1.753
2.90/1.87	o 235
2.90/1.89	c Got one! Elapsed wall clock time (in seconds):1.776
2.90/1.89	o 230
3.14/1.92	c Got one! Elapsed wall clock time (in seconds):1.81
3.14/1.92	o 229
3.14/1.96	c Got one! Elapsed wall clock time (in seconds):1.842
3.14/1.96	o 198
3.34/2.03	c Got one! Elapsed wall clock time (in seconds):1.916
3.34/2.03	o 183
3.34/2.09	c cleaning 7572 clauses out of 15161 with flag 5204/57739
3.71/2.26	c cleaning 6790 clauses out of 13590 with flag 26465/63740
3.92/2.44	c cleaning 6895 clauses out of 13799 with flag 48637/70739
3.92/2.46	c Got one! Elapsed wall clock time (in seconds):2.34
3.92/2.46	o 182
4.02/2.58	c Got one! Elapsed wall clock time (in seconds):2.464
4.02/2.58	o 179
4.12/2.62	c cleaning 6306 clauses out of 12625 with flag 3793/76460
4.12/2.65	c Got one! Elapsed wall clock time (in seconds):2.538
4.12/2.65	o 178
4.22/2.74	c Got one! Elapsed wall clock time (in seconds):2.623
4.22/2.74	o 177
4.22/2.78	c cleaning 5890 clauses out of 11792 with flag 4794/81933
4.44/2.91	c Got one! Elapsed wall clock time (in seconds):2.796
4.44/2.91	o 176
4.54/3.07	c cleaning 7953 clauses out of 15936 with flag 22009/91967
4.64/3.14	c Got one! Elapsed wall clock time (in seconds):3.025
4.64/3.14	o 164
4.75/3.24	c cleaning 6696 clauses out of 13426 with flag 14762/97410
4.94/3.41	c cleaning 6352 clauses out of 12728 with flag 38421/103408
5.14/3.61	c cleaning 6684 clauses out of 13376 with flag 61898/110408
5.24/3.75	c Got one! Elapsed wall clock time (in seconds):3.631
5.24/3.75	o 156
5.24/3.78	c Got one! Elapsed wall clock time (in seconds):3.662
5.24/3.78	o 151
5.45/3.91	c cleaning 8445 clauses out of 16894 with flag 14761/120610
5.55/4.05	c Got one! Elapsed wall clock time (in seconds):3.94
5.55/4.05	o 150
5.75/4.22	c cleaning 9416 clauses out of 18846 with flag 22977/131007
5.75/4.28	c Got one! Elapsed wall clock time (in seconds):4.162
5.75/4.28	o 149
5.87/4.40	c cleaning 7617 clauses out of 15243 with flag 18815/136820
6.07/4.52	c Got one! Elapsed wall clock time (in seconds):4.406
6.07/4.52	o 147
6.07/4.56	c cleaning 6421 clauses out of 12878 with flag 4746/142072
6.28/4.74	c cleaning 6220 clauses out of 12457 with flag 31558/148072
6.48/4.93	c cleaning 6608 clauses out of 13237 with flag 58295/155072
6.68/5.17	c cleaning 7302 clauses out of 14629 with flag 86216/163072
6.98/5.45	c cleaning 8158 clauses out of 16327 with flag 119786/172072
7.18/5.66	c Got one! Elapsed wall clock time (in seconds):5.547
7.18/5.66	o 141
7.38/5.83	c cleaning 10201 clauses out of 20406 with flag 18669/184309
7.48/5.90	c Got one! Elapsed wall clock time (in seconds):5.786
7.48/5.90	o 137
7.58/6.00	c cleaning 7633 clauses out of 15278 with flag 13532/189382
7.68/6.19	c cleaning 6817 clauses out of 13645 with flag 35075/195382
7.78/6.23	c Got one! Elapsed wall clock time (in seconds):6.117
7.78/6.23	o 125
7.88/6.35	c cleaning 6025 clauses out of 12062 with flag 15990/200616
8.09/6.52	c cleaning 6014 clauses out of 12038 with flag 37382/206617
8.19/6.62	c Got one! Elapsed wall clock time (in seconds):6.503
8.19/6.62	o 122
8.19/6.68	c cleaning 5693 clauses out of 11391 with flag 8194/211984
8.29/6.77	c Got one! Elapsed wall clock time (in seconds):6.652
8.29/6.77	o 121
8.39/6.86	c cleaning 5827 clauses out of 11665 with flag 14395/217951
8.59/7.04	c cleaning 5905 clauses out of 11839 with flag 42793/223952
8.79/7.24	c cleaning 6455 clauses out of 12933 with flag 72387/230951
8.89/7.39	c Got one! Elapsed wall clock time (in seconds):7.279
8.89/7.39	o 117
8.99/7.43	c cleaning 6158 clauses out of 12331 with flag 5150/236804
9.20/7.61	c cleaning 6070 clauses out of 12173 with flag 32435/242804
9.39/7.82	c cleaning 6542 clauses out of 13105 with flag 63886/249806
9.60/8.06	c cleaning 7274 clauses out of 14562 with flag 99819/257805
9.91/8.37	c cleaning 8137 clauses out of 16287 with flag 138904/266804
10.21/8.67	c Got one! Elapsed wall clock time (in seconds):8.551
10.21/8.67	o 111
10.43/8.84	c cleaning 11362 clauses out of 22744 with flag 24887/281398
10.54/8.97	c Got one! Elapsed wall clock time (in seconds):8.852
10.54/8.97	o 110
10.64/9.04	c cleaning 8647 clauses out of 17304 with flag 9580/287320
10.85/9.24	c cleaning 7313 clauses out of 14658 with flag 38883/293321
11.04/9.44	c cleaning 7168 clauses out of 14343 with flag 69333/300319
11.25/9.67	c cleaning 7584 clauses out of 15175 with flag 99006/308319
11.55/9.94	c cleaning 8292 clauses out of 16591 with flag 134400/317319
11.55/9.99	c Got one! Elapsed wall clock time (in seconds):9.871
11.55/9.99	o 83
11.75/10.11	c cleaning 6870 clauses out of 13767 with flag 20533/322787
11.94/10.30	c cleaning 6422 clauses out of 12897 with flag 48855/328787
12.15/10.51	c cleaning 6726 clauses out of 13474 with flag 81537/335786
12.35/10.76	c cleaning 7364 clauses out of 14748 with flag 118947/343786
12.69/11.04	c cleaning 8192 clauses out of 16388 with flag 155623/352790
12.80/11.11	c Got one! Elapsed wall clock time (in seconds):10.997
12.80/11.11	o 82
12.90/11.21	c cleaning 6644 clauses out of 13308 with flag 15337/357902
13.11/11.40	c cleaning 6305 clauses out of 12664 with flag 45011/363902
13.34/11.62	c cleaning 6662 clauses out of 13360 with flag 77928/370903
13.55/11.88	c cleaning 7338 clauses out of 14699 with flag 117202/378904
13.88/12.16	c cleaning 8172 clauses out of 16359 with flag 158451/387902
13.98/12.25	c Got one! Elapsed wall clock time (in seconds):12.131
13.98/12.25	o 81
13.98/12.30	c Got one! Elapsed wall clock time (in seconds):12.181
13.98/12.30	o 80
14.08/12.33	c cleaning 6964 clauses out of 13947 with flag 4807/393662
14.28/12.52	c cleaning 6481 clauses out of 12982 with flag 28075/399661
14.28/12.56	c Got one! Elapsed wall clock time (in seconds):12.441
14.28/12.56	o 79
14.49/12.70	c cleaning 6148 clauses out of 12311 with flag 23401/405472
14.59/12.88	c cleaning 6078 clauses out of 12163 with flag 47080/411472
14.59/12.89	c Got one! Elapsed wall clock time (in seconds):12.775
14.59/12.89	o 73
14.80/13.03	c cleaning 5526 clauses out of 11088 with flag 24676/416475
14.91/13.11	c Got one! Elapsed wall clock time (in seconds):12.993
14.91/13.11	o 71
15.01/13.21	c cleaning 5526 clauses out of 11060 with flag 15522/421973
15.22/13.40	c cleaning 5753 clauses out of 11534 with flag 43084/427973
15.33/13.54	c Got one! Elapsed wall clock time (in seconds):13.424
15.33/13.54	o 70
15.33/13.58	c cleaning 5742 clauses out of 11500 with flag 5015/433692
15.53/13.76	c cleaning 5864 clauses out of 11759 with flag 34701/439693
15.73/13.97	c cleaning 6441 clauses out of 12895 with flag 66454/446693
15.93/14.13	c Got one! Elapsed wall clock time (in seconds):14.015
15.93/14.13	o 59
16.06/14.30	c cleaning 8519 clauses out of 17056 with flag 24650/457295
16.25/14.49	c cleaning 7268 clauses out of 14539 with flag 53613/463297
16.58/14.73	c cleaning 7129 clauses out of 14269 with flag 84773/470295
16.78/14.97	c cleaning 7560 clauses out of 15140 with flag 119321/478295
17.10/15.24	c cleaning 8281 clauses out of 16581 with flag 156409/487296
17.32/15.45	c Got one! Elapsed wall clock time (in seconds):15.338
17.32/15.45	o 53
17.51/15.63	c cleaning 10399 clauses out of 20824 with flag 26406/499820
17.71/15.85	c cleaning 8201 clauses out of 16425 with flag 59944/505820
17.93/16.08	c cleaning 7592 clauses out of 15225 with flag 95460/512821
18.25/16.36	c cleaning 7810 clauses out of 15634 with flag 137171/520822
18.57/16.64	c cleaning 8410 clauses out of 16824 with flag 175820/529822
18.77/16.87	c Got one! Elapsed wall clock time (in seconds):16.754
18.77/16.87	o 47
18.97/17.06	c cleaning 10797 clauses out of 21611 with flag 26305/543020
19.18/17.28	c cleaning 8398 clauses out of 16814 with flag 58377/549020
19.49/17.54	c cleaning 7697 clauses out of 15416 with flag 96852/556020
19.78/17.82	c cleaning 7844 clauses out of 15719 with flag 139044/564020
20.09/18.12	c cleaning 8421 clauses out of 16876 with flag 184768/573021
20.40/18.46	c cleaning 9220 clauses out of 18455 with flag 234857/583021
20.81/18.83	c cleaning 10108 clauses out of 20234 with flag 288037/594020
21.12/19.20	c cleaning 11060 clauses out of 22128 with flag 342733/606022
21.62/19.60	c cleaning 12027 clauses out of 24068 with flag 397091/619022
22.03/20.03	c cleaning 13009 clauses out of 26038 with flag 456939/633020
22.36/20.38	c Got one! Elapsed wall clock time (in seconds):20.264
22.36/20.38	o 41
22.66/20.61	c cleaning 14662 clauses out of 29354 with flag 30483/649345
22.86/20.83	c cleaning 10331 clauses out of 20693 with flag 63402/655346
23.06/21.07	c cleaning 8672 clauses out of 17362 with flag 100641/662346
23.06/21.10	c Got one! Elapsed wall clock time (in seconds):20.981
23.06/21.10	o 37
23.26/21.26	c cleaning 7067 clauses out of 14159 with flag 29546/667815
23.47/21.46	c cleaning 6540 clauses out of 13093 with flag 60555/673816
23.67/21.68	c cleaning 6770 clauses out of 13553 with flag 94738/680816
23.98/21.93	c cleaning 7377 clauses out of 14782 with flag 132919/688815
24.28/22.20	c cleaning 8199 clauses out of 16405 with flag 172999/697815
24.59/22.51	c cleaning 9100 clauses out of 18205 with flag 219445/707814
24.79/22.72	c Got one! Elapsed wall clock time (in seconds):22.605
24.79/22.72	o 24
24.99/22.92	c cleaning 10898 clauses out of 21806 with flag 27592/720517
25.20/23.13	c cleaning 8441 clauses out of 16910 with flag 59640/726519
25.40/23.37	c cleaning 7723 clauses out of 15467 with flag 95936/733517
25.70/23.63	c cleaning 7851 clauses out of 15744 with flag 136227/741517
26.00/23.92	c cleaning 8434 clauses out of 16894 with flag 179924/750518
26.31/24.22	c cleaning 9216 clauses out of 18458 with flag 224303/760517
26.31/24.26	c Got one! Elapsed wall clock time (in seconds):24.143
26.31/24.26	o 23
26.41/24.39	c cleaning 7179 clauses out of 14390 with flag 22330/765665
26.61/24.58	c cleaning 6594 clauses out of 13214 with flag 52245/771668
26.91/24.81	c cleaning 6803 clauses out of 13618 with flag 86464/778666
27.11/25.06	c cleaning 7388 clauses out of 14814 with flag 124128/786665
27.42/25.35	c cleaning 8198 clauses out of 16426 with flag 167467/795665
27.72/25.68	c cleaning 9089 clauses out of 18229 with flag 217207/805666
28.12/26.06	c cleaning 10062 clauses out of 20140 with flag 271367/816666
28.53/26.46	c cleaning 11036 clauses out of 22077 with flag 330198/828665
28.53/26.48	c Got one! Elapsed wall clock time (in seconds):26.36
28.53/26.48	o 22
28.73/26.65	c cleaning 8080 clauses out of 16186 with flag 26990/833810
28.93/26.86	c cleaning 7046 clauses out of 14106 with flag 58159/839810
29.13/27.09	c cleaning 7024 clauses out of 14060 with flag 93137/846810
29.43/27.35	c cleaning 7508 clauses out of 15036 with flag 132051/854810
29.74/27.65	c cleaning 8249 clauses out of 16527 with flag 176057/863809
30.04/27.99	c cleaning 9132 clauses out of 18279 with flag 226771/873810
30.44/28.37	c cleaning 10053 clauses out of 20147 with flag 281691/884810
30.96/28.83	c cleaning 11035 clauses out of 22093 with flag 347784/896809
31.48/29.33	c cleaning 12023 clauses out of 24060 with flag 417471/909811
32.02/29.89	c cleaning 13012 clauses out of 26036 with flag 495990/923810
32.63/30.41	c cleaning 14004 clauses out of 28021 with flag 563591/938810
32.63/30.48	c Got one! Elapsed wall clock time (in seconds):30.365
32.63/30.48	o 14
32.83/30.64	c cleaning 9936 clauses out of 19878 with flag 23824/944672
33.04/30.84	c cleaning 7964 clauses out of 15937 with flag 54982/950670
33.24/31.07	c cleaning 7483 clauses out of 14969 with flag 89794/957670
33.24/31.10	c Got one! Elapsed wall clock time (in seconds):30.981
33.24/31.10	o 13
33.46/31.26	c cleaning 6399 clauses out of 12826 with flag 26884/963011
33.59/31.32	c Got one! Elapsed wall clock time (in seconds):31.206
33.59/31.32	o 12
33.69/31.46	c cleaning 5794 clauses out of 11605 with flag 22244/968190
33.91/31.62	c Got one! Elapsed wall clock time (in seconds):31.508
33.91/31.62	o 11
33.91/31.67	c cleaning 5588 clauses out of 11178 with flag 5951/973562
34.02/31.72	c starts		: 272
34.02/31.72	c conflicts		: 974870
34.02/31.72	c decisions		: 1510413
34.02/31.72	c propagations		: 21213745
34.02/31.72	c inspects		: 223058099
34.02/31.72	c shortcuts		: 0
34.02/31.72	c learnt literals	: 32
34.02/31.72	c learnt binary clauses	: 3
34.02/31.72	c learnt ternary clauses	: 600
34.02/31.72	c learnt constraints	: 974837
34.02/31.72	c ignored constraints	: 0
34.02/31.72	c root simplifications	: 0
34.02/31.72	c removed literals (reason simplification)	: 0
34.02/31.72	c reason swapping (by a shorter reason)	: 0
34.02/31.72	c Calls to reduceDB	: 123
34.02/31.72	c Number of update (reduction) of LBD	: 256964
34.02/31.72	c number of reductions to clauses (during analyze)	: 0
34.02/31.72	c number of learned constraints concerned by reduction	: 0
34.02/31.72	c number of learning phase by resolution	: 0
34.02/31.72	c number of learning phase by cutting planes	: 0
34.02/31.72	c speed (assignments/second)	: 672363.6334822986
34.02/31.72	c non guided choices	3436
34.02/31.72	c learnt constraints type 
34.02/31.72	c constraints type 
34.02/31.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
34.02/31.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
34.02/31.72	c ignored satisfied constraints => 1
34.02/31.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
34.02/31.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 47
34.02/31.72	c 102 constraints processed.
34.02/31.72	s OPTIMUM FOUND
34.02/31.72	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 
34.02/31.72	c objective function=11
34.02/31.72	c Total wall clock time (in seconds): 31.608

Verifier Data 

OK	11

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.93 1.39 1.74 2/176 13113
/proc/meminfo: memFree=29623568/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/13113/stat : 13113 (java) D 13111 13113 13069 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 291287879 3653632 49 33554432000 1073741824 1073778376 140734505651120 140734505648200 251043867943 0 0 4096 0 18446744071580397875 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 892 49 38 9 0 30 0

[startup+0.087089 s]
/proc/loadavg: 0.93 1.39 1.74 2/176 13113
/proc/meminfo: memFree=29623568/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 3364 0 2 0 5 1 0 0 20 0 18 0 291287879 9787817984 4574 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2389604 4575 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416

[startup+0.100192 s]
/proc/loadavg: 0.93 1.39 1.74 2/176 13113
/proc/meminfo: memFree=29623568/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 4277 0 2 0 7 1 0 0 20 0 18 0 291287879 9787817984 5466 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2389604 5467 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300146 s]
/proc/loadavg: 0.93 1.39 1.74 2/176 13113
/proc/meminfo: memFree=29623568/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 6610 0 2 0 51 2 0 0 20 0 19 0 291287879 9855979520 7383 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 7383 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700159 s]
/proc/loadavg: 0.93 1.39 1.74 2/176 13113
/proc/meminfo: memFree=29623568/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=1.07 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 7012 0 2 0 105 2 0 0 20 0 19 0 291287879 9855979520 8930 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 8930 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 0.93 1.39 1.74 4/213 13150
/proc/meminfo: memFree=29546448/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=2.17 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 12563 0 2 0 213 4 0 0 20 0 19 0 291287879 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 15055 2273 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2467 0 1 0 140 1 0 0 20 0 19 0 291287880 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345896444312 140345724013882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 52 0 0 0 2 0 0 0 20 0 19 0 291287883 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) R 13111 13113 13069 0 -1 4202560 2842 0 0 0 36 0 0 0 20 0 19 0 291287886 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056407672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) R 13111 13113 13069 0 -1 4202560 5983 0 0 0 29 1 0 0 20 0 19 0 291287886 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345715133288 140345899350100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 15055 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9624980

[startup+3.10059 s]
/proc/loadavg: 0.93 1.39 1.74 4/213 13150
/proc/meminfo: memFree=29507136/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=4.64 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 20569 0 2 0 458 6 0 0 20 0 19 0 291287879 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 17765 2274 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=2.93 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2473 0 1 0 291 2 0 0 20 0 19 0 291287880 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345896444312 140345724027345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 61 0 0 0 9 0 0 0 20 0 19 0 291287883 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 87 2 0 0 20 0 19 0 291287886 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8619 0 0 0 60 3 0 0 20 0 19 0 291287886 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17765 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 9624980

[startup+6.30066 s]
/proc/loadavg: 1.10 1.42 1.75 3/213 13150
/proc/meminfo: memFree=29501684/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=7.88 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 20588 0 2 0 782 6 0 0 20 0 19 0 291287879 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 17078 2274 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=5.99 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2488 0 1 0 597 2 0 0 20 0 19 0 291287880 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345896444312 140345724027336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291287882 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 61 0 0 0 22 0 0 0 20 0 19 0 291287883 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 88 2 0 0 20 0 19 0 291287886 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8620 0 0 0 61 3 0 0 20 0 19 0 291287886 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17078 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 34 0 0 0 11 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=1.07 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 61 0 0 0 107 0 0 0 20 0 19 0 291287883 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 88 2 0 0 20 0 19 0 291287886 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8620 0 0 0 67 3 0 0 20 0 19 0 291287886 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 17639 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 32.53
Current children cumulated vsize (KiB) 9624980

[startup+31.1006 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=33.36 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 20746 0 2 0 3327 9 0 0 20 0 19 0 291287879 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 18156 2274 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=29.58 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2582 0 1 0 2956 2 0 0 20 0 19 0 291287880 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345896444312 251056415917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 14 0 0 0 9 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 34 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 5 0 0 0 11 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 20 0 0 0 11 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=1.11 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 64 0 0 0 111 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 88 2 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8620 0 0 0 67 3 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 33.36
Current children cumulated vsize (KiB) 9624980

[startup+31.5006 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=33.81 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 20748 0 2 0 3372 9 0 0 20 0 19 0 291287879 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 18156 2274 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=29.94 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2584 0 1 0 2992 2 0 0 20 0 19 0 291287880 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345896444152 140345724013886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 14 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 14 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 34 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 5 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 20 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=1.13 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 64 0 0 0 113 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 88 2 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8620 0 0 0 67 3 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 33.81
Current children cumulated vsize (KiB) 9624980

[startup+31.7006 s]
/proc/loadavg: 1.54 1.50 1.76 3/213 13207
/proc/meminfo: memFree=29517576/32873648 swapFree=7368/7368
[pid=13113] ppid=13111 vsize=9624980 CPUtime=34.02 cores=1,3,5,7
/proc/13113/stat : 13113 (java) S 13111 13113 13069 0 -1 4202496 20749 0 2 0 3393 9 0 0 20 0 19 0 291287879 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140734505642256 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13113/statm: 2406245 18156 2274 9 0 2396937 0
[pid=13113/tid=13115] ppid=13111 vsize=9624980 CPUtime=30.13 cores=1,3,5,7
/proc/13113/task/13115/stat : 13115 (java) R 13111 13113 13069 0 -1 4202560 2585 0 1 0 3011 2 0 0 20 0 19 0 291287880 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345896444152 140345724013533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13125] ppid=13111 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/13113/task/13125/stat : 13125 (java) S 13111 13113 13069 0 -1 4202560 14 0 0 0 10 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345857936296 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13126] ppid=13111 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/13113/task/13126/stat : 13126 (java) S 13111 13113 13069 0 -1 4202560 6 0 0 0 14 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345856883752 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13127] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13127/stat : 13127 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345855830696 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13128] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13128/stat : 13128 (java) S 13111 13113 13069 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345854778152 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13113/tid=13129] ppid=13111 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/13113/task/13129/stat : 13129 (java) S 13111 13113 13069 0 -1 4202560 9 0 0 0 14 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345853725096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13130] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13130/stat : 13130 (java) S 13111 13113 13069 0 -1 4202560 11 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345852672552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13131] ppid=13111 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/13113/task/13131/stat : 13131 (java) S 13111 13113 13069 0 -1 4202560 5 0 0 0 12 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345851619496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13132] ppid=13111 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/13113/task/13132/stat : 13132 (java) S 13111 13113 13069 0 -1 4202560 20 0 0 0 13 0 0 0 20 0 19 0 291287882 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345850566952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13133] ppid=13111 vsize=9624980 CPUtime=1.13 cores=1,3,5,7
/proc/13113/task/13133/stat : 13133 (java) S 13111 13113 13069 0 -1 4202560 64 0 0 0 113 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345720421224 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13135] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13135/stat : 13135 (java) S 13111 13113 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345719367544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13136] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13136/stat : 13136 (java) S 13111 13113 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291287883 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345718314376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13139] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13139/stat : 13139 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345717263120 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13113/tid=13140] ppid=13111 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/13113/task/13140/stat : 13140 (java) S 13111 13113 13069 0 -1 4202560 8188 0 0 0 88 2 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345716209976 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13113/tid=13142] ppid=13111 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/13113/task/13142/stat : 13142 (java) S 13111 13113 13069 0 -1 4202560 8620 0 0 0 67 3 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345715157432 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13144] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13144/stat : 13144 (java) S 13111 13113 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345714104568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13146] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13146/stat : 13146 (java) S 13111 13113 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291287886 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345713052232 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13113/tid=13149] ppid=13111 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/13113/task/13149/stat : 13149 (java) S 13111 13113 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291287897 9855979520 18156 33554432000 1073741824 1073778376 140734505651120 140345711998504 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 34.02
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 31.7316
CPU time (s): 34.1308
CPU user time (s): 33.9358
CPU system time (s): 0.19497
CPU usage (%): 107.561
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.9358
system time used= 0.19497
maximum resident set size= 77248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20762
page faults= 2
swaps= 0
block input operations= 48
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4356
involuntary context switches= 4844

runsolver used 0.058991 second user time and 0.163975 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-29 02:33:58
IDJOB=3718141
IDBENCH=78775
IDSOLVER=2301
FILE ID=node149/3718141-1338251638
RUNJOBID= node149-1338251638-13086
PBS_JOBID= 14624666
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718141-1338251638/watcher-3718141-1338251638 -o /tmp/evaluation-result-3718141-1338251638/solver-3718141-1338251638 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718141-1338251638.wbo

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

MD5SUM BENCH= 4d45122e251aca3cc1eaa7c8fe64e1aa
RANDOM SEED=1084722368

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29625096 kB
Buffers:          641052 kB
Cached:          1747948 kB
SwapCached:         2476 kB
Active:          1122816 kB
Inactive:        1284860 kB
Active(anon):       2088 kB
Inactive(anon):     9368 kB
Active(file):    1120728 kB
Inactive(file):  1275492 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:         14244 kB
Mapped:            13508 kB
Shmem:                96 kB
Slab:             701740 kB
SReclaimable:     144756 kB
SUnreclaim:       556984 kB
KernelStack:        1400 kB
PageTables:         3736 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node149 at 2012-05-29 02:34:30