Trace number 3718116

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 44.1073 41.5467

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version 2.3.2.v20120528
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		501472288
0.00/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3718116-1338251622.wbo
0.09/0.12	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.054s.
0.09/0.17	c declared #vars     169
0.09/0.17	c internal #vars     211
0.09/0.17	c #constraints  101
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.09/0.17	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.09/0.17	c ignored satisfied constraints => 1
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.09/0.17	c 102 constraints processed.
0.09/0.17	c objective function length is 42 literals
0.23/0.27	c SATISFIABLE
0.23/0.27	c OPTIMIZING...
0.23/0.27	c Got one! Elapsed wall clock time (in seconds):0.149
0.23/0.27	o 1151
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.169
0.23/0.29	o 1135
0.53/0.33	c Got one! Elapsed wall clock time (in seconds):0.208
0.53/0.33	o 1120
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.231
0.53/0.35	o 1094
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.236
0.53/0.36	o 768
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.267
0.53/0.39	o 758
0.69/0.40	c Got one! Elapsed wall clock time (in seconds):0.278
0.69/0.40	o 730
0.69/0.42	c Got one! Elapsed wall clock time (in seconds):0.295
0.69/0.42	o 721
0.69/0.45	c Got one! Elapsed wall clock time (in seconds):0.334
0.69/0.45	o 718
0.69/0.46	c Got one! Elapsed wall clock time (in seconds):0.344
0.69/0.46	o 704
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.365
0.69/0.49	o 700
0.82/0.50	c Got one! Elapsed wall clock time (in seconds):0.383
0.82/0.50	o 699
0.82/0.54	c Got one! Elapsed wall clock time (in seconds):0.421
0.82/0.54	o 692
0.82/0.56	c Got one! Elapsed wall clock time (in seconds):0.442
0.82/0.56	o 689
0.82/0.58	c Got one! Elapsed wall clock time (in seconds):0.463
0.82/0.58	o 676
0.82/0.59	c Got one! Elapsed wall clock time (in seconds):0.471
0.82/0.59	o 657
0.95/0.62	c Got one! Elapsed wall clock time (in seconds):0.503
0.95/0.62	o 640
0.95/0.69	c cleaning 6287 clauses out of 12591 with flag 3311/12591
1.09/0.72	c Got one! Elapsed wall clock time (in seconds):0.602
1.09/0.72	o 632
1.09/0.74	c Got one! Elapsed wall clock time (in seconds):0.617
1.09/0.74	o 631
1.09/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.09/0.75	o 625
1.09/0.77	c Got one! Elapsed wall clock time (in seconds):0.651
1.09/0.77	o 618
1.09/0.80	c Got one! Elapsed wall clock time (in seconds):0.674
1.09/0.80	o 609
1.20/0.86	c Got one! Elapsed wall clock time (in seconds):0.741
1.20/0.86	o 608
1.20/0.90	c Got one! Elapsed wall clock time (in seconds):0.775
1.20/0.90	o 607
1.30/0.93	c cleaning 7783 clauses out of 15576 with flag 2998/21863
1.30/0.95	c Got one! Elapsed wall clock time (in seconds):0.829
1.30/0.95	o 605
1.30/0.98	c Got one! Elapsed wall clock time (in seconds):0.859
1.30/0.98	o 601
1.30/1.00	c Got one! Elapsed wall clock time (in seconds):0.877
1.30/1.00	o 593
1.44/1.05	c Got one! Elapsed wall clock time (in seconds):0.925
1.44/1.05	o 592
1.54/1.12	c Got one! Elapsed wall clock time (in seconds):0.995
1.54/1.12	o 583
1.54/1.16	c cleaning 7596 clauses out of 15211 with flag 4081/29281
1.65/1.25	c Got one! Elapsed wall clock time (in seconds):1.127
1.65/1.25	o 574
1.65/1.29	c Got one! Elapsed wall clock time (in seconds):1.17
1.65/1.29	o 573
1.76/1.32	c cleaning 6684 clauses out of 13379 with flag 3936/35045
1.76/1.37	c Got one! Elapsed wall clock time (in seconds):1.25
1.76/1.37	o 568
1.76/1.39	c Got one! Elapsed wall clock time (in seconds):1.27
1.76/1.39	o 565
1.86/1.44	c Got one! Elapsed wall clock time (in seconds):1.324
1.86/1.44	o 553
1.96/1.55	c cleaning 7122 clauses out of 14267 with flag 13249/42617
1.96/1.58	c Got one! Elapsed wall clock time (in seconds):1.46
1.96/1.58	o 547
2.06/1.69	c cleaning 6137 clauses out of 12280 with flag 16588/47752
2.17/1.74	c Got one! Elapsed wall clock time (in seconds):1.616
2.17/1.74	o 546
2.17/1.75	c Got one! Elapsed wall clock time (in seconds):1.626
2.17/1.75	o 538
2.17/1.78	c Got one! Elapsed wall clock time (in seconds):1.661
2.17/1.78	o 537
2.26/1.81	c Got one! Elapsed wall clock time (in seconds):1.692
2.26/1.81	o 522
2.26/1.88	c cleaning 6418 clauses out of 12845 with flag 8799/54454
2.37/1.92	c Got one! Elapsed wall clock time (in seconds):1.796
2.37/1.92	o 519
2.37/1.94	c Got one! Elapsed wall clock time (in seconds):1.817
2.37/1.94	o 501
2.47/2.06	c cleaning 6431 clauses out of 12868 with flag 18819/60895
2.47/2.09	c Got one! Elapsed wall clock time (in seconds):1.971
2.47/2.09	o 500
2.68/2.21	c cleaning 5712 clauses out of 11454 with flag 18927/65912
2.68/2.23	c Got one! Elapsed wall clock time (in seconds):2.108
2.68/2.23	o 499
2.78/2.37	c cleaning 5577 clauses out of 11178 with flag 22981/71348
2.88/2.47	c Got one! Elapsed wall clock time (in seconds):2.351
2.88/2.47	o 491
2.88/2.49	c Got one! Elapsed wall clock time (in seconds):2.368
2.88/2.49	o 489
2.98/2.52	c cleaning 5687 clauses out of 11378 with flag 3545/77125
2.98/2.54	c Got one! Elapsed wall clock time (in seconds):2.419
2.98/2.54	o 486
2.98/2.55	c Got one! Elapsed wall clock time (in seconds):2.433
2.98/2.55	o 484
2.98/2.59	c Got one! Elapsed wall clock time (in seconds):2.47
2.98/2.59	o 472
3.08/2.67	c Got one! Elapsed wall clock time (in seconds):2.553
3.08/2.67	o 461
3.20/2.75	c cleaning 6762 clauses out of 13544 with flag 9861/84978
3.32/2.80	c Got one! Elapsed wall clock time (in seconds):2.681
3.32/2.80	o 457
3.42/2.92	c cleaning 6345 clauses out of 12704 with flag 18809/90900
3.42/2.96	c Got one! Elapsed wall clock time (in seconds):2.84
3.42/2.96	o 444
3.53/3.08	c cleaning 5756 clauses out of 11535 with flag 17864/96076
3.64/3.20	c Got one! Elapsed wall clock time (in seconds):3.082
3.64/3.20	o 431
3.84/3.36	c cleaning 7886 clauses out of 15791 with flag 21950/106088
4.04/3.53	c cleaning 6947 clauses out of 13905 with flag 47009/112088
4.04/3.58	c Got one! Elapsed wall clock time (in seconds):3.459
4.04/3.58	o 428
4.14/3.60	c Got one! Elapsed wall clock time (in seconds):3.476
4.14/3.60	o 419
4.14/3.62	c Got one! Elapsed wall clock time (in seconds):3.498
4.14/3.62	o 418
4.14/3.64	c Got one! Elapsed wall clock time (in seconds):3.523
4.14/3.64	o 397
4.14/3.67	c Got one! Elapsed wall clock time (in seconds):3.55
4.14/3.67	o 396
4.24/3.71	c Got one! Elapsed wall clock time (in seconds):3.592
4.24/3.71	o 390
4.24/3.79	c cleaning 7774 clauses out of 15575 with flag 9513/120705
4.35/3.83	c Got one! Elapsed wall clock time (in seconds):3.71
4.35/3.83	o 386
4.50/3.92	c Got one! Elapsed wall clock time (in seconds):3.794
4.50/3.92	o 372
4.50/3.98	c cleaning 7045 clauses out of 14108 with flag 9217/127012
4.60/4.09	c Got one! Elapsed wall clock time (in seconds):3.974
4.60/4.09	o 371
4.70/4.13	c cleaning 6187 clauses out of 12398 with flag 4452/132347
4.81/4.30	c cleaning 6084 clauses out of 12210 with flag 30304/138346
4.91/4.38	c Got one! Elapsed wall clock time (in seconds):4.264
4.91/4.38	o 368
5.03/4.45	c cleaning 5686 clauses out of 11391 with flag 10263/143611
5.22/4.63	c cleaning 5839 clauses out of 11704 with flag 39879/149610
5.32/4.70	c Got one! Elapsed wall clock time (in seconds):4.583
5.32/4.70	o 367
5.32/4.79	c cleaning 5909 clauses out of 11852 with flag 14695/155597
5.53/4.96	c cleaning 5961 clauses out of 11941 with flag 43240/161595
5.74/5.17	c cleaning 6476 clauses out of 12980 with flag 77077/168595
5.84/5.27	c Got one! Elapsed wall clock time (in seconds):5.147
5.84/5.27	o 327
5.84/5.28	c Got one! Elapsed wall clock time (in seconds):5.157
5.84/5.28	o 326
5.94/5.33	c cleaning 6221 clauses out of 12463 with flag 6590/174554
5.94/5.35	c Got one! Elapsed wall clock time (in seconds):5.227
5.94/5.35	o 319
5.94/5.40	c Got one! Elapsed wall clock time (in seconds):5.275
5.94/5.40	o 314
6.06/5.47	c Got one! Elapsed wall clock time (in seconds):5.351
6.06/5.47	o 311
6.16/5.51	c cleaning 6293 clauses out of 12592 with flag 5542/180904
6.16/5.60	c Got one! Elapsed wall clock time (in seconds):5.475
6.16/5.60	o 281
6.26/5.69	c cleaning 6077 clauses out of 12189 with flag 16257/186794
6.48/5.85	c cleaning 6051 clauses out of 12114 with flag 39035/192796
6.60/5.91	c Got one! Elapsed wall clock time (in seconds):5.785
6.60/5.91	o 277
6.60/5.99	c cleaning 5573 clauses out of 11150 with flag 15237/197883
6.70/6.01	c Got one! Elapsed wall clock time (in seconds):5.893
6.70/6.01	o 274
6.82/6.16	c cleaning 5355 clauses out of 10726 with flag 25647/203032
7.02/6.34	c cleaning 5675 clauses out of 11371 with flag 55939/209032
7.12/6.40	c Got one! Elapsed wall clock time (in seconds):6.281
7.12/6.40	o 271
7.12/6.50	c cleaning 5605 clauses out of 11228 with flag 15151/214564
7.38/6.69	c cleaning 5801 clauses out of 11626 with flag 43884/220567
7.57/6.89	c cleaning 6406 clauses out of 12823 with flag 77090/227565
7.69/6.99	c Got one! Elapsed wall clock time (in seconds):6.867
7.69/6.99	o 270
7.79/7.05	c cleaning 5867 clauses out of 11765 with flag 10390/232913
7.99/7.22	c cleaning 5944 clauses out of 11899 with flag 38023/238914
8.19/7.43	c cleaning 6461 clauses out of 12954 with flag 69383/245913
8.40/7.66	c cleaning 7229 clauses out of 14493 with flag 106163/253913
8.59/7.88	c Got one! Elapsed wall clock time (in seconds):7.763
8.59/7.88	o 256
8.69/7.93	c Got one! Elapsed wall clock time (in seconds):7.806
8.69/7.93	o 255
8.69/7.98	c Got one! Elapsed wall clock time (in seconds):7.864
8.69/7.98	o 253
8.79/8.05	c Got one! Elapsed wall clock time (in seconds):7.927
8.79/8.05	o 249
8.89/8.10	c cleaning 11106 clauses out of 22230 with flag 5484/268879
9.00/8.28	c cleaning 8557 clauses out of 17124 with flag 28669/274879
9.10/8.32	c Got one! Elapsed wall clock time (in seconds):8.198
9.10/8.32	o 242
9.20/8.41	c cleaning 6950 clauses out of 13924 with flag 13640/280236
9.20/8.45	c Got one! Elapsed wall clock time (in seconds):8.325
9.20/8.45	o 238
9.30/8.57	c cleaning 6000 clauses out of 12005 with flag 20167/285267
9.30/8.58	c Got one! Elapsed wall clock time (in seconds):8.463
9.30/8.58	o 235
9.50/8.73	c cleaning 5716 clauses out of 11457 with flag 25559/290719
9.70/8.91	c cleaning 5866 clauses out of 11740 with flag 56435/296718
9.70/8.98	c Got one! Elapsed wall clock time (in seconds):8.858
9.70/8.98	o 233
9.80/9.07	c cleaning 5695 clauses out of 11424 with flag 15523/302268
10.01/9.25	c cleaning 5861 clauses out of 11729 with flag 43995/308268
10.21/9.46	c cleaning 6424 clauses out of 12870 with flag 77482/315270
10.32/9.53	c Got one! Elapsed wall clock time (in seconds):9.412
10.32/9.53	o 229
10.42/9.63	c cleaning 5918 clauses out of 11861 with flag 15118/320685
10.62/9.81	c cleaning 5961 clauses out of 11942 with flag 42023/326684
10.82/10.01	c cleaning 6480 clauses out of 12981 with flag 72973/333684
11.02/10.25	c cleaning 7235 clauses out of 14502 with flag 110648/341685
11.22/10.43	c Got one! Elapsed wall clock time (in seconds):10.308
11.22/10.43	o 211
11.42/10.61	c cleaning 9356 clauses out of 18750 with flag 27195/353168
11.62/10.81	c cleaning 7680 clauses out of 15393 with flag 58041/359167
11.83/11.04	c cleaning 7343 clauses out of 14712 with flag 94054/366166
12.03/11.28	c cleaning 7677 clauses out of 15370 with flag 134078/374167
12.33/11.56	c cleaning 8329 clauses out of 16692 with flag 177816/383166
12.63/11.83	c Got one! Elapsed wall clock time (in seconds):11.707
12.63/11.83	o 210
12.73/12.00	c cleaning 11654 clauses out of 23307 with flag 20184/398110
12.95/12.17	c cleaning 8819 clauses out of 17652 with flag 42043/404109
13.04/12.20	c Got one! Elapsed wall clock time (in seconds):12.083
13.04/12.20	o 194
13.14/12.35	c cleaning 7335 clauses out of 14688 with flag 24208/409964
13.36/12.52	c cleaning 6668 clauses out of 13355 with flag 47695/415966
13.58/12.70	c cleaning 6836 clauses out of 13685 with flag 71506/422964
13.58/12.74	c Got one! Elapsed wall clock time (in seconds):12.623
13.58/12.74	o 188
13.70/12.87	c cleaning 5950 clauses out of 11921 with flag 22022/428036
13.90/13.02	c cleaning 5976 clauses out of 11972 with flag 45217/434037
14.11/13.21	c cleaning 6495 clauses out of 12996 with flag 72096/441037
14.21/13.35	c Got one! Elapsed wall clock time (in seconds):13.231
14.21/13.35	o 170
14.41/13.50	c cleaning 8757 clauses out of 17519 with flag 21999/452055
14.52/13.68	c cleaning 7382 clauses out of 14763 with flag 45542/458056
14.76/13.88	c cleaning 7190 clauses out of 14380 with flag 74730/465055
15.07/14.12	c cleaning 7593 clauses out of 15191 with flag 107141/473056
15.18/14.26	c Got one! Elapsed wall clock time (in seconds):14.143
15.18/14.26	o 166
15.37/14.44	c cleaning 9272 clauses out of 18565 with flag 27120/484024
15.58/14.63	c cleaning 7627 clauses out of 15294 with flag 57644/490025
15.78/14.84	c cleaning 7315 clauses out of 14666 with flag 92630/497024
16.11/15.11	c cleaning 7654 clauses out of 15350 with flag 133713/505023
16.31/15.35	c cleaning 8339 clauses out of 16699 with flag 168625/514026
16.42/15.43	c Got one! Elapsed wall clock time (in seconds):15.314
16.42/15.43	o 164
16.51/15.50	c cleaning 6721 clauses out of 13452 with flag 10837/519118
16.62/15.70	c cleaning 6347 clauses out of 12731 with flag 42820/525118
16.92/15.91	c cleaning 6679 clauses out of 13384 with flag 78134/532118
17.12/16.16	c cleaning 7347 clauses out of 14706 with flag 118894/540119
17.43/16.47	c cleaning 8172 clauses out of 16359 with flag 167097/549119
17.62/16.69	c Got one! Elapsed wall clock time (in seconds):16.572
17.62/16.69	o 154
17.92/16.90	c cleaning 10694 clauses out of 21398 with flag 28182/562330
18.13/17.14	c cleaning 8347 clauses out of 16704 with flag 63126/568330
18.33/17.37	c cleaning 7667 clauses out of 15358 with flag 100146/575331
18.64/17.62	c cleaning 7837 clauses out of 15690 with flag 141043/583330
18.84/17.89	c cleaning 8414 clauses out of 16853 with flag 184226/592330
19.25/18.22	c cleaning 9201 clauses out of 18441 with flag 233644/602332
19.56/18.59	c cleaning 10100 clauses out of 20238 with flag 290987/613330
19.78/18.79	c Got one! Elapsed wall clock time (in seconds):18.67
19.78/18.79	o 153
19.98/18.95	c cleaning 10949 clauses out of 21904 with flag 20666/625096
20.19/19.13	c cleaning 8475 clauses out of 16956 with flag 44199/631097
20.39/19.33	c cleaning 7732 clauses out of 15479 with flag 71275/638095
20.59/19.54	c cleaning 7870 clauses out of 15747 with flag 102631/646095
20.81/19.79	c cleaning 8438 clauses out of 16877 with flag 138237/655095
21.25/20.12	c cleaning 9207 clauses out of 18439 with flag 178124/665095
21.82/20.48	c cleaning 10107 clauses out of 20232 with flag 223283/676095
22.79/20.91	c cleaning 11060 clauses out of 22128 with flag 278225/688098
22.79/20.95	c Got one! Elapsed wall clock time (in seconds):20.833
22.79/20.95	o 128
23.02/21.12	c cleaning 8501 clauses out of 17020 with flag 28971/694050
23.23/21.31	c cleaning 7253 clauses out of 14518 with flag 60055/700049
23.44/21.52	c cleaning 7126 clauses out of 14266 with flag 91783/707050
23.64/21.75	c cleaning 7565 clauses out of 15139 with flag 123099/715049
23.85/22.00	c cleaning 8284 clauses out of 16574 with flag 158370/724049
24.15/22.27	c cleaning 9140 clauses out of 18289 with flag 198646/734049
24.57/22.62	c cleaning 10072 clauses out of 20149 with flag 244575/745049
24.57/22.64	c Got one! Elapsed wall clock time (in seconds):22.515
24.57/22.64	o 127
24.77/22.80	c cleaning 7560 clauses out of 15131 with flag 28862/750103
24.87/22.99	c cleaning 6774 clauses out of 13571 with flag 60238/756103
25.18/23.21	c cleaning 6890 clauses out of 13798 with flag 95617/763104
25.39/23.47	c cleaning 7449 clauses out of 14907 with flag 136629/771103
25.70/23.74	c cleaning 8229 clauses out of 16459 with flag 177628/780104
25.91/23.92	c Got one! Elapsed wall clock time (in seconds):23.801
25.91/23.92	o 124
26.01/24.10	c cleaning 9873 clauses out of 19763 with flag 27475/791638
26.32/24.30	c cleaning 7935 clauses out of 15891 with flag 58702/797639
26.52/24.52	c cleaning 7458 clauses out of 14955 with flag 94937/804638
26.72/24.78	c cleaning 7742 clauses out of 15498 with flag 134847/812639
27.02/25.07	c cleaning 8361 clauses out of 16756 with flag 179649/821639
27.42/25.40	c cleaning 9191 clauses out of 18394 with flag 230140/831638
27.74/25.78	c cleaning 10084 clauses out of 20203 with flag 286830/842638
28.15/26.17	c cleaning 11052 clauses out of 22119 with flag 344758/854638
28.56/26.58	c cleaning 12030 clauses out of 24068 with flag 405950/867639
29.06/27.06	c cleaning 13016 clauses out of 26038 with flag 471682/881639
29.29/27.23	c Got one! Elapsed wall clock time (in seconds):27.105
29.29/27.23	o 123
29.29/27.27	c cleaning 9361 clauses out of 18727 with flag 5459/887344
29.51/27.48	c cleaning 7674 clauses out of 15367 with flag 38597/893345
29.81/27.70	c cleaning 7336 clauses out of 14692 with flag 73743/900344
30.02/27.97	c cleaning 7669 clauses out of 15357 with flag 113638/908345
30.32/28.26	c cleaning 8331 clauses out of 16688 with flag 159287/917345
30.73/28.61	c cleaning 9171 clauses out of 18356 with flag 212591/927344
31.03/28.99	c cleaning 10080 clauses out of 20186 with flag 272257/938345
31.53/29.40	c cleaning 11049 clauses out of 22106 with flag 334156/950345
31.53/29.44	c Got one! Elapsed wall clock time (in seconds):29.318
31.53/29.44	o 122
31.63/29.60	c cleaning 8392 clauses out of 16796 with flag 23008/956084
31.84/29.79	c cleaning 7201 clauses out of 14404 with flag 48400/962084
31.95/29.82	c Got one! Elapsed wall clock time (in seconds):29.704
31.95/29.82	o 120
32.05/29.97	c cleaning 6472 clauses out of 12958 with flag 22825/967839
32.27/30.15	c cleaning 6230 clauses out of 12485 with flag 46963/973838
32.47/30.36	c cleaning 6617 clauses out of 13254 with flag 74840/980838
32.58/30.48	c Got one! Elapsed wall clock time (in seconds):30.364
32.58/30.48	o 115
32.69/30.52	c cleaning 6059 clauses out of 12129 with flag 5062/986330
33.03/30.72	c cleaning 6023 clauses out of 12071 with flag 35537/992331
33.22/30.94	c cleaning 6521 clauses out of 13048 with flag 64248/999331
33.43/31.16	c cleaning 7254 clauses out of 14525 with flag 94411/1007330
33.73/31.45	c cleaning 8130 clauses out of 16271 with flag 132273/1016330
34.03/31.76	c cleaning 9060 clauses out of 18141 with flag 174372/1026331
34.33/32.08	c Got one! Elapsed wall clock time (in seconds):31.96
34.33/32.08	o 105
34.53/32.27	c cleaning 12347 clauses out of 24706 with flag 26050/1041957
34.73/32.49	c cleaning 9175 clauses out of 18363 with flag 56225/1047961
35.03/32.72	c cleaning 8078 clauses out of 16182 with flag 90590/1054955
35.24/32.97	c cleaning 8042 clauses out of 16106 with flag 127113/1062957
35.54/33.25	c cleaning 8521 clauses out of 17062 with flag 167099/1071955
35.64/33.37	c Got one! Elapsed wall clock time (in seconds):33.248
35.64/33.37	o 87
35.74/33.41	c cleaning 6767 clauses out of 13549 with flag 5675/1076963
35.95/33.60	c cleaning 6378 clauses out of 12782 with flag 35534/1082963
36.15/33.83	c cleaning 6691 clauses out of 13405 with flag 70206/1089964
36.35/34.08	c cleaning 7343 clauses out of 14714 with flag 110055/1097964
36.65/34.36	c cleaning 8184 clauses out of 16370 with flag 149460/1106963
36.95/34.66	c cleaning 9081 clauses out of 18184 with flag 188573/1116963
37.37/35.00	c cleaning 10038 clauses out of 20101 with flag 232660/1127963
37.59/35.28	c Got one! Elapsed wall clock time (in seconds):35.158
37.59/35.28	o 70
37.88/35.50	c cleaning 12012 clauses out of 24030 with flag 26455/1141930
38.08/35.73	c cleaning 9003 clauses out of 18018 with flag 59206/1147930
38.40/36.02	c cleaning 7992 clauses out of 16014 with flag 97192/1154929
38.61/36.28	c cleaning 8005 clauses out of 16023 with flag 137335/1162930
39.02/36.61	c cleaning 8497 clauses out of 17017 with flag 183281/1171929
39.32/36.97	c cleaning 9257 clauses out of 18521 with flag 233454/1181930
39.73/37.36	c cleaning 10132 clauses out of 20264 with flag 289383/1192930
39.83/37.47	c Got one! Elapsed wall clock time (in seconds):37.346
39.83/37.47	o 65
39.92/37.55	c cleaning 7688 clauses out of 15396 with flag 11215/1198195
40.13/37.78	c cleaning 6846 clauses out of 13706 with flag 43783/1204193
40.43/38.05	c cleaning 6924 clauses out of 13860 with flag 82814/1211193
40.73/38.34	c cleaning 7457 clauses out of 14936 with flag 124876/1219193
41.06/38.67	c cleaning 8229 clauses out of 16479 with flag 170981/1228193
41.46/39.06	c cleaning 9121 clauses out of 18251 with flag 224569/1238194
41.97/39.55	c cleaning 10058 clauses out of 20129 with flag 286865/1249193
41.97/39.57	c Got one! Elapsed wall clock time (in seconds):39.453
41.97/39.57	o 64
42.19/39.79	c cleaning 7576 clauses out of 15169 with flag 31218/1254291
42.51/40.04	c cleaning 6778 clauses out of 13590 with flag 64781/1260288
42.81/40.32	c cleaning 6900 clauses out of 13812 with flag 104571/1267288
42.81/40.36	c Got one! Elapsed wall clock time (in seconds):40.24
42.81/40.36	o 60
42.81/40.38	c Got one! Elapsed wall clock time (in seconds):40.263
42.81/40.38	o 58
43.03/40.58	c cleaning 6609 clauses out of 13237 with flag 28313/1273613
43.36/40.83	c cleaning 6299 clauses out of 12630 with flag 61566/1279615
43.67/41.10	c cleaning 6653 clauses out of 13329 with flag 99323/1286613
43.98/41.40	c cleaning 7327 clauses out of 14662 with flag 142317/1294613
44.10/41.54	c starts		: 295
44.10/41.54	c conflicts		: 1298061
44.10/41.54	c decisions		: 1928322
44.10/41.54	c propagations		: 28147647
44.10/41.54	c inspects		: 307206342
44.10/41.54	c shortcuts		: 0
44.10/41.54	c learnt literals	: 38
44.10/41.54	c learnt binary clauses	: 11
44.10/41.54	c learnt ternary clauses	: 666
44.10/41.54	c learnt constraints	: 1298022
44.10/41.54	c ignored constraints	: 0
44.10/41.54	c root simplifications	: 0
44.10/41.54	c removed literals (reason simplification)	: 0
44.10/41.54	c reason swapping (by a shorter reason)	: 0
44.10/41.54	c Calls to reduceDB	: 168
44.10/41.54	c Number of update (reduction) of LBD	: 317585
44.10/41.54	c number of reductions to clauses (during analyze)	: 0
44.10/41.54	c number of learned constraints concerned by reduction	: 0
44.10/41.54	c number of learning phase by resolution	: 0
44.10/41.54	c number of learning phase by cutting planes	: 0
44.10/41.54	c speed (assignments/second)	: 680585.3039315247
44.10/41.54	c non guided choices	3575
44.10/41.54	c learnt constraints type 
44.10/41.54	c constraints type 
44.10/41.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
44.10/41.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
44.10/41.54	c ignored satisfied constraints => 1
44.10/41.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
44.10/41.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
44.10/41.54	c 102 constraints processed.
44.10/41.54	s OPTIMUM FOUND
44.10/41.54	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 
44.10/41.54	c objective function=58
44.10/41.54	c Total wall clock time (in seconds): 41.417

Verifier Data 

OK	58

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718116-1338251622/watcher-3718116-1338251622 -o /tmp/evaluation-result-3718116-1338251622/solver-3718116-1338251622 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718116-1338251622.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: 2.74 2.25 2.07 3/194 16317
/proc/meminfo: memFree=31326660/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/16317/stat : 16317 (java) D 16315 16317 13427 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291290650 9515008 185 33554432000 1073741824 1073778376 140736565732752 140736565723976 270118055351 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2323 185 142 9 0 71 0

[startup+0.0116621 s]
/proc/loadavg: 2.74 2.25 2.07 3/194 16317
/proc/meminfo: memFree=31326660/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 1210 0 0 0 0 0 0 0 20 0 2 0 291290650 95129600 922 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100227 s]
/proc/loadavg: 2.74 2.25 2.07 3/194 16317
/proc/meminfo: memFree=31326660/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 4228 0 1 0 8 1 0 0 20 0 18 0 291290650 9787817984 5422 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2389604 5422 2100 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300285 s]
/proc/loadavg: 2.74 2.25 2.07 3/194 16317
/proc/meminfo: memFree=31326660/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 7101 0 1 0 51 2 0 0 20 0 19 0 291290650 9855979520 7752 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 7752 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700295 s]
/proc/loadavg: 2.74 2.25 2.07 3/194 16317
/proc/meminfo: memFree=31326660/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=1.09 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 7999 0 1 0 107 2 0 0 20 0 19 0 291290650 9855979520 10036 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 10036 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624980

[startup+1.5008 s]
/proc/loadavg: 2.68 2.24 2.07 3/213 16336
/proc/meminfo: memFree=31288844/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=1.96 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 8031 0 1 0 194 2 0 0 20 0 19 0 291290650 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 11595 2269 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2464 0 1 0 141 0 0 0 20 0 19 0 291290651 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248306192792 140248147724892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.23 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2676 0 0 0 23 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 1640 0 0 0 22 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9624980

[startup+3.1008 s]
/proc/loadavg: 2.68 2.24 2.07 4/213 16336
/proc/meminfo: memFree=31288348/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=3.64 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 8137 0 1 0 362 2 0 0 20 0 19 0 291290650 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 11604 2270 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=2.91 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2474 0 1 0 291 0 0 0 20 0 19 0 291290651 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248306192792 140248147743807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290653 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 31 0 0 0 11 0 0 0 20 0 19 0 291290654 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2764 0 0 0 29 0 0 0 20 0 19 0 291290657 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 1640 0 0 0 22 0 0 0 20 0 19 0 291290657 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 11604 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9624980

[startup+6.3008 s]
/proc/loadavg: 2.68 2.24 2.07 3/213 16336
/proc/meminfo: memFree=31288480/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=7.02 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 8516 0 1 0 699 3 0 0 20 0 19 0 291290650 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 11595 2271 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=5.88 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2492 0 1 0 587 1 0 0 20 0 19 0 291290651 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248306192672 140248147809333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 291290653 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 31 0 0 0 27 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2764 0 0 0 31 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 1995 0 0 0 25 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 11595 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 13 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 10 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 20 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 15 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 26 0 0 0 16 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=1.65 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 60 0 0 0 165 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2792 0 0 0 34 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=1.18 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 13535 0 0 0 116 2 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 42.41
Current children cumulated vsize (KiB) 9624980

[startup+40.7076 s]
/proc/loadavg: 2.38 2.22 2.06 3/213 16336
/proc/meminfo: memFree=31335916/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=43.26 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 20303 0 1 0 4318 8 0 0 20 0 19 0 291290650 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 15188 2271 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=38.31 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2624 0 1 0 3830 1 0 0 20 0 19 0 291290651 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248306192792 140248147711536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 13 0 0 0 18 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 10 0 0 0 20 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 20 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 16 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 26 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 20 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 18 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=1.68 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 60 0 0 0 168 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2792 0 0 0 34 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=1.18 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 13535 0 0 0 116 2 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 43.26
Current children cumulated vsize (KiB) 9624980

[startup+41.1006 s]
/proc/loadavg: 2.38 2.22 2.06 3/213 16336
/proc/meminfo: memFree=31335916/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=43.67 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 20304 0 1 0 4359 8 0 0 20 0 19 0 291290650 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 15188 2271 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=38.69 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2625 0 1 0 3868 1 0 0 20 0 19 0 291290651 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248306192792 140248147954559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 10 0 0 0 20 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 20 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 16 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 26 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 21 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 18 0 0 0 20 0 19 0 291290653 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=1.69 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 60 0 0 0 169 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2792 0 0 0 34 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=1.18 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 13535 0 0 0 116 2 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 15188 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 43.67
Current children cumulated vsize (KiB) 9624980

[startup+41.5007 s]
/proc/loadavg: 2.38 2.22 2.06 3/213 16336
/proc/meminfo: memFree=31335916/32873844 swapFree=6872/6872
[pid=16317] ppid=16315 vsize=9624980 CPUtime=44.1 cores=1,3,5,7
/proc/16317/stat : 16317 (java) S 16315 16317 13427 0 -1 4202496 20306 0 1 0 4402 8 0 0 20 0 19 0 291290650 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140735800286160 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 2406245 15186 2271 9 0 2396937 0
[pid=16317/tid=16319] ppid=16315 vsize=9624980 CPUtime=39.05 cores=1,3,5,7
/proc/16317/task/16319/stat : 16319 (java) R 16315 16317 13427 0 -1 4202560 2627 0 1 0 3904 1 0 0 20 0 19 0 291290651 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248306192792 140248147734322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16320] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16320/stat : 16320 (java) S 16315 16317 13427 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248267684264 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16321] ppid=16315 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16317/task/16321/stat : 16321 (java) S 16315 16317 13427 0 -1 4202560 10 0 0 0 21 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248266631720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16322] ppid=16315 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16317/task/16322/stat : 16322 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 21 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248147290280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16323] ppid=16315 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16317/task/16323/stat : 16323 (java) S 16315 16317 13427 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248146237736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16324] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16324/stat : 16324 (java) S 16315 16317 13427 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248145185704 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16325] ppid=16315 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16317/task/16325/stat : 16325 (java) S 16315 16317 13427 0 -1 4202560 26 0 0 0 17 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248144133160 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16317/tid=16326] ppid=16315 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16317/task/16326/stat : 16326 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 21 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248143080104 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16327] ppid=16315 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16317/task/16327/stat : 16327 (java) S 16315 16317 13427 0 -1 4202560 11 0 0 0 18 0 0 0 20 0 19 0 291290653 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140248142027560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16328] ppid=16315 vsize=9624980 CPUtime=1.71 cores=1,3,5,7
/proc/16317/task/16328/stat : 16328 (java) S 16315 16317 13427 0 -1 4202560 60 0 0 0 171 0 0 0 20 0 19 0 291290654 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247659698536 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16329] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16329/stat : 16329 (java) S 16315 16317 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247658644856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16330] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16330/stat : 16330 (java) S 16315 16317 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291290654 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247657591688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16331] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16331/stat : 16331 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247656540432 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16332] ppid=16315 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/16317/task/16332/stat : 16332 (java) S 16315 16317 13427 0 -1 4202560 2792 0 0 0 34 0 0 0 20 0 19 0 291290657 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247655488312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16317/tid=16333] ppid=16315 vsize=9624980 CPUtime=1.19 cores=1,3,5,7
/proc/16317/task/16333/stat : 16333 (java) S 16315 16317 13427 0 -1 4202560 13535 0 0 0 117 2 0 0 20 0 19 0 291290657 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247654435768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16334] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16334/stat : 16334 (java) S 16315 16317 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247653382904 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16317/tid=16335] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16335/stat : 16335 (java) S 16315 16317 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291290657 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247652330568 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16317/tid=16336] ppid=16315 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16317/task/16336/stat : 16336 (java) S 16315 16317 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291290669 9855979520 15186 33554432000 1073741824 1073778376 140735800295024 140247651275816 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 44.1
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 41.5467
CPU time (s): 44.1073
CPU user time (s): 43.9553
CPU system time (s): 0.151976
CPU usage (%): 106.163
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9553
system time used= 0.151976
maximum resident set size= 66088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20324
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5626
involuntary context switches= 7479

runsolver used 0.120981 second user time and 0.395939 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 02:33:42
IDJOB=3718116
IDBENCH=78771
IDSOLVER=2301
FILE ID=node106/3718116-1338251622
RUNJOBID= node106-1338247868-15528
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= 8b066002eb3185cd3fd0fbc9dbe06f59
RANDOM SEED=1974143707

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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	: 5331.91
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		: 2667.065
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.92
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		: 2667.065
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		: 2667.065
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	: 5331.91
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		: 2667.065
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		: 2667.065
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:       32873844 kB
MemFree:        31326924 kB
Buffers:           70072 kB
Cached:            51128 kB
SwapCached:         1836 kB
Active:           720556 kB
Inactive:          34092 kB
Active(anon):     633120 kB
Inactive(anon):     3012 kB
Active(file):      87436 kB
Inactive(file):    31080 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               696 kB
Writeback:             0 kB
AnonPages:        661200 kB
Mapped:            15848 kB
Shmem:                 0 kB
Slab:             651264 kB
SReclaimable:      93504 kB
SUnreclaim:       557760 kB
KernelStack:        1760 kB
PageTables:         5448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     913904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-29 02:34:23