Trace number 3718127

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 50.7863 48.6784

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo
MD5SUM8ae5062c7652fddde3927693898a40dc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark80
Best CPU time to get the best result obtained on this benchmark0.544916
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 constraints28
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 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
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.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.2.v20120528
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		501472288
0.03/0.08	c Max memory 		7480803328
0.03/0.08	c Total memory 		504102912
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3718127-1338251678.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c declared #vars     169
0.10/0.16	c internal #vars     197
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.10/0.16	c ignored satisfied constraints => 1
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.10/0.16	c 102 constraints processed.
0.10/0.16	c objective function length is 28 literals
0.53/0.38	c SATISFIABLE
0.53/0.38	c OPTIMIZING...
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.278
0.53/0.38	o 1142
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.289
0.53/0.39	o 752
0.69/0.44	c cleaning 2787 clauses out of 5582 with flag 2840/5582
0.83/0.57	c Got one! Elapsed wall clock time (in seconds):0.469
0.83/0.57	o 749
1.06/0.70	c cleaning 6603 clauses out of 13210 with flag 16445/15997
1.17/0.82	c Got one! Elapsed wall clock time (in seconds):0.715
1.17/0.82	o 744
1.17/0.84	c Got one! Elapsed wall clock time (in seconds):0.734
1.17/0.84	o 743
1.17/0.86	c Got one! Elapsed wall clock time (in seconds):0.758
1.17/0.86	o 732
1.17/0.88	c Got one! Elapsed wall clock time (in seconds):0.78
1.17/0.88	o 731
1.27/0.92	c cleaning 7499 clauses out of 15006 with flag 3394/24396
1.60/1.11	c cleaning 6750 clauses out of 13506 with flag 23911/30395
1.60/1.17	c Got one! Elapsed wall clock time (in seconds):1.063
1.60/1.17	o 725
1.60/1.19	c Got one! Elapsed wall clock time (in seconds):1.086
1.60/1.19	o 723
1.78/1.23	c Got one! Elapsed wall clock time (in seconds):1.122
1.78/1.23	o 717
1.95/1.30	c Got one! Elapsed wall clock time (in seconds):1.193
1.95/1.30	o 715
1.95/1.36	c cleaning 7262 clauses out of 14534 with flag 3964/38173
2.13/1.45	c Got one! Elapsed wall clock time (in seconds):1.341
2.13/1.45	o 712
2.33/1.52	c cleaning 6275 clauses out of 12551 with flag 8182/43452
2.33/1.56	c Got one! Elapsed wall clock time (in seconds):1.457
2.33/1.56	o 706
2.53/1.69	c cleaning 5794 clauses out of 11594 with flag 17444/48770
2.67/1.77	c Got one! Elapsed wall clock time (in seconds):1.665
2.67/1.77	o 690
2.88/1.81	c Got one! Elapsed wall clock time (in seconds):1.708
2.88/1.81	o 681
2.88/1.86	c cleaning 5908 clauses out of 11841 with flag 4535/54811
2.88/1.88	c Got one! Elapsed wall clock time (in seconds):1.781
2.88/1.88	o 676
3.27/2.02	c cleaning 5867 clauses out of 11735 with flag 19996/60613
3.27/2.08	c Got one! Elapsed wall clock time (in seconds):1.979
3.27/2.08	o 673
3.43/2.18	c cleaning 5656 clauses out of 11324 with flag 13749/66069
3.63/2.34	c cleaning 5828 clauses out of 11668 with flag 38114/72069
3.63/2.39	c Got one! Elapsed wall clock time (in seconds):2.286
3.63/2.39	o 670
3.83/2.50	c cleaning 5761 clauses out of 11533 with flag 16987/77762
3.94/2.67	c cleaning 5884 clauses out of 11772 with flag 42032/83762
4.05/2.75	c Got one! Elapsed wall clock time (in seconds):2.647
4.05/2.75	o 669
4.15/2.82	c cleaning 5538 clauses out of 11090 with flag 9638/88964
4.35/3.00	c cleaning 5773 clauses out of 11550 with flag 35977/94962
4.46/3.14	c Got one! Elapsed wall clock time (in seconds):3.04
4.46/3.14	o 659
4.46/3.18	c Got one! Elapsed wall clock time (in seconds):3.075
4.46/3.18	o 657
4.67/3.33	c cleaning 8281 clauses out of 16592 with flag 19747/105777
4.87/3.54	c cleaning 7141 clauses out of 14309 with flag 47115/111775
5.08/3.74	c cleaning 7081 clauses out of 14170 with flag 76513/118777
5.18/3.81	c Got one! Elapsed wall clock time (in seconds):3.703
5.18/3.81	o 656
5.28/3.92	c cleaning 6244 clauses out of 12504 with flag 16127/124192
5.49/4.10	c cleaning 6124 clauses out of 12255 with flag 45065/130187
5.49/4.16	c Got one! Elapsed wall clock time (in seconds):4.052
5.49/4.16	o 653
5.59/4.26	c cleaning 5663 clauses out of 11332 with flag 15814/135388
5.80/4.43	c cleaning 5823 clauses out of 11668 with flag 43876/141387
6.00/4.63	c cleaning 6418 clauses out of 12845 with flag 75216/148387
6.21/4.85	c cleaning 7208 clauses out of 14428 with flag 113942/156388
6.21/4.90	c Got one! Elapsed wall clock time (in seconds):4.791
6.21/4.90	o 645
6.42/5.02	c cleaning 6215 clauses out of 12455 with flag 19933/161623
6.64/5.22	c cleaning 6107 clauses out of 12239 with flag 49716/167622
6.74/5.35	c Got one! Elapsed wall clock time (in seconds):5.245
6.74/5.35	o 595
6.74/5.36	c Got one! Elapsed wall clock time (in seconds):5.259
6.74/5.36	o 592
6.74/5.40	c cleaning 5991 clauses out of 11995 with flag 5130/173485
6.86/5.50	c Got one! Elapsed wall clock time (in seconds):5.393
6.86/5.50	o 591
6.96/5.57	c cleaning 5845 clauses out of 11695 with flag 11130/179176
7.05/5.64	c Got one! Elapsed wall clock time (in seconds):5.536
7.05/5.64	o 589
7.15/5.73	c cleaning 5515 clauses out of 11039 with flag 15000/184365
7.25/5.88	c Got one! Elapsed wall clock time (in seconds):5.775
7.25/5.88	o 584
7.45/6.07	c cleaning 8045 clauses out of 16112 with flag 27710/194953
7.65/6.26	c cleaning 7031 clauses out of 14067 with flag 56162/200953
7.85/6.47	c cleaning 7011 clauses out of 14037 with flag 88049/207954
7.96/6.53	c Got one! Elapsed wall clock time (in seconds):6.429
7.96/6.53	o 574
7.96/6.57	c Got one! Elapsed wall clock time (in seconds):6.463
7.96/6.57	o 573
8.07/6.65	c cleaning 6233 clauses out of 12488 with flag 11690/213416
8.26/6.85	c cleaning 6116 clauses out of 12255 with flag 42896/219416
8.48/7.09	c cleaning 6561 clauses out of 13140 with flag 79133/226417
8.78/7.35	c cleaning 7285 clauses out of 14579 with flag 125833/234417
9.10/7.64	c cleaning 8147 clauses out of 16295 with flag 176986/243418
9.10/7.67	c Got one! Elapsed wall clock time (in seconds):7.568
9.10/7.67	o 570
9.29/7.86	c cleaning 6967 clauses out of 13954 with flag 29533/249224
9.50/8.07	c cleaning 6493 clauses out of 12991 with flag 62662/255228
9.70/8.29	c cleaning 6744 clauses out of 13494 with flag 100422/262224
9.90/8.41	c Got one! Elapsed wall clock time (in seconds):8.308
9.90/8.41	o 552
9.90/8.45	c cleaning 5946 clauses out of 11898 with flag 5593/267372
9.90/8.46	c Got one! Elapsed wall clock time (in seconds):8.36
9.90/8.46	o 547
10.10/8.63	c cleaning 5573 clauses out of 11156 with flag 27581/272576
10.10/8.65	c Got one! Elapsed wall clock time (in seconds):8.549
10.10/8.65	o 537
10.20/8.79	c Got one! Elapsed wall clock time (in seconds):8.688
10.20/8.79	o 510
10.30/8.84	c cleaning 5896 clauses out of 11811 with flag 5508/278804
10.50/9.05	c cleaning 5949 clauses out of 11913 with flag 37379/284802
10.71/9.22	c Got one! Elapsed wall clock time (in seconds):9.116
10.71/9.22	o 500
10.91/9.42	c cleaning 8431 clauses out of 16879 with flag 28950/295717
11.01/9.54	c Got one! Elapsed wall clock time (in seconds):9.436
11.01/9.54	o 497
11.11/9.63	c cleaning 6753 clauses out of 13520 with flag 10847/300789
11.32/9.84	c cleaning 6370 clauses out of 12765 with flag 42034/306787
11.61/10.10	c cleaning 6686 clauses out of 13393 with flag 82398/313785
11.71/10.26	c Got one! Elapsed wall clock time (in seconds):10.157
11.71/10.26	o 481
11.81/10.31	c cleaning 6170 clauses out of 12369 with flag 6192/319447
12.01/10.52	c cleaning 6082 clauses out of 12195 with flag 39741/325443
12.21/10.75	c cleaning 6546 clauses out of 13116 with flag 77667/332446
12.52/11.07	c cleaning 7264 clauses out of 14567 with flag 123793/340443
12.84/11.39	c cleaning 8152 clauses out of 16303 with flag 174375/349443
12.95/11.47	c Got one! Elapsed wall clock time (in seconds):11.37
12.95/11.47	o 480
13.16/11.60	c cleaning 6823 clauses out of 13657 with flag 18098/354949
13.36/11.82	c cleaning 6406 clauses out of 12834 with flag 52310/360949
13.56/12.10	c cleaning 6702 clauses out of 13430 with flag 95658/367951
13.97/12.40	c cleaning 7353 clauses out of 14726 with flag 141583/375949
14.28/12.78	c cleaning 8170 clauses out of 16377 with flag 196649/384953
14.60/13.03	c Got one! Elapsed wall clock time (in seconds):12.927
14.60/13.03	o 478
14.71/13.13	c Got one! Elapsed wall clock time (in seconds):13.028
14.71/13.13	o 475
14.81/13.22	c Got one! Elapsed wall clock time (in seconds):13.121
14.81/13.22	o 471
14.81/13.30	c cleaning 10337 clauses out of 20685 with flag 6445/397431
14.90/13.35	c Got one! Elapsed wall clock time (in seconds):13.242
14.90/13.35	o 467
15.00/13.47	c Got one! Elapsed wall clock time (in seconds):13.367
15.00/13.47	o 463
15.11/13.53	c cleaning 7968 clauses out of 15951 with flag 6442/403034
15.31/13.76	c cleaning 6985 clauses out of 13981 with flag 43952/409032
15.31/13.79	c Got one! Elapsed wall clock time (in seconds):13.688
15.31/13.79	o 459
15.51/13.98	c cleaning 6435 clauses out of 12891 with flag 30360/414927
15.62/14.05	c Got one! Elapsed wall clock time (in seconds):13.942
15.62/14.05	o 458
15.82/14.20	c cleaning 6189 clauses out of 12389 with flag 24678/420860
16.02/14.44	c cleaning 6087 clauses out of 12200 with flag 62064/426860
16.13/14.53	c Got one! Elapsed wall clock time (in seconds):14.429
16.13/14.53	o 456
16.23/14.66	c cleaning 5735 clauses out of 11483 with flag 19147/432230
16.44/14.89	c cleaning 5859 clauses out of 11746 with flag 53843/438228
16.75/15.18	c cleaning 6432 clauses out of 12887 with flag 96550/445228
16.96/15.33	c Got one! Elapsed wall clock time (in seconds):15.229
16.96/15.33	o 449
16.96/15.38	c cleaning 6002 clauses out of 12029 with flag 6603/450802
17.25/15.61	c cleaning 5998 clauses out of 12027 with flag 43038/456802
17.55/15.90	c cleaning 6495 clauses out of 13029 with flag 87519/463802
17.86/16.22	c cleaning 7255 clauses out of 14533 with flag 135504/471801
18.06/16.48	c Got one! Elapsed wall clock time (in seconds):16.371
18.06/16.48	o 447
18.36/16.72	c cleaning 9639 clauses out of 19309 with flag 31522/483832
18.56/16.97	c cleaning 7824 clauses out of 15670 with flag 69035/489832
18.86/17.25	c cleaning 7401 clauses out of 14846 with flag 111765/496832
19.17/17.58	c cleaning 7716 clauses out of 15445 with flag 161436/504832
19.56/17.96	c cleaning 8350 clauses out of 16730 with flag 216754/513833
19.97/18.37	c cleaning 9184 clauses out of 18379 with flag 278112/523832
20.17/18.56	c Got one! Elapsed wall clock time (in seconds):18.453
20.17/18.56	o 435
20.37/18.79	c cleaning 10101 clauses out of 20241 with flag 31992/534878
20.67/19.08	c cleaning 8064 clauses out of 16141 with flag 73414/540879
20.97/19.36	c cleaning 7529 clauses out of 15077 with flag 118356/547879
21.27/19.70	c cleaning 7754 clauses out of 15547 with flag 168860/555878
21.77/20.11	c cleaning 8388 clauses out of 16793 with flag 226892/564878
22.17/20.55	c cleaning 9175 clauses out of 18405 with flag 292225/574878
22.69/21.05	c cleaning 10097 clauses out of 20230 with flag 362435/585878
22.79/21.16	c Got one! Elapsed wall clock time (in seconds):21.054
22.79/21.16	o 434
22.93/21.27	c cleaning 7977 clauses out of 15974 with flag 17156/591719
23.13/21.47	c cleaning 6988 clauses out of 13997 with flag 49103/597719
23.23/21.51	c Got one! Elapsed wall clock time (in seconds):21.408
23.23/21.51	o 433
23.33/21.66	c cleaning 6118 clauses out of 12258 with flag 24489/602968
23.43/21.76	c Got one! Elapsed wall clock time (in seconds):21.653
23.43/21.76	o 427
23.53/21.89	c cleaning 5824 clauses out of 11661 with flag 19897/608489
23.82/22.13	c cleaning 5919 clauses out of 11837 with flag 55299/614489
24.03/22.37	c cleaning 6449 clauses out of 12917 with flag 96764/621488
24.13/22.46	c Got one! Elapsed wall clock time (in seconds):22.354
24.13/22.46	o 425
24.23/22.53	c Got one! Elapsed wall clock time (in seconds):22.431
24.23/22.53	o 412
24.33/22.62	c cleaning 6591 clauses out of 13201 with flag 12319/628221
24.53/22.87	c cleaning 6290 clauses out of 12610 with flag 50758/634221
24.83/23.18	c cleaning 6649 clauses out of 13322 with flag 95131/641223
25.13/23.48	c cleaning 7336 clauses out of 14679 with flag 145169/649229
25.23/23.55	c Got one! Elapsed wall clock time (in seconds):23.45
25.23/23.55	o 403
25.33/23.68	c cleaning 6286 clauses out of 12586 with flag 19254/654472
25.63/23.94	c cleaning 6143 clauses out of 12298 with flag 56783/660470
25.94/24.26	c cleaning 6570 clauses out of 13155 with flag 101261/667470
26.33/24.60	c cleaning 7287 clauses out of 14587 with flag 151725/675472
26.43/24.72	c Got one! Elapsed wall clock time (in seconds):24.611
26.43/24.72	o 395
26.53/24.81	c cleaning 6393 clauses out of 12799 with flag 13140/680971
26.73/25.07	c cleaning 6195 clauses out of 12406 with flag 51258/686971
27.04/25.37	c cleaning 6594 clauses out of 13212 with flag 94737/693972
27.43/25.73	c cleaning 7299 clauses out of 14617 with flag 146222/701971
27.84/26.15	c cleaning 8151 clauses out of 16321 with flag 205333/710974
28.24/26.59	c cleaning 9080 clauses out of 18168 with flag 269766/720972
28.35/26.64	c Got one! Elapsed wall clock time (in seconds):26.537
28.35/26.64	o 394
28.56/26.83	c cleaning 7071 clauses out of 14162 with flag 25976/726046
28.87/27.11	c cleaning 6535 clauses out of 13091 with flag 65369/732046
29.19/27.42	c cleaning 6760 clauses out of 13559 with flag 110450/739049
29.48/27.77	c cleaning 7379 clauses out of 14796 with flag 162521/747046
29.99/28.20	c cleaning 8191 clauses out of 16417 with flag 222284/756046
30.39/28.68	c cleaning 9091 clauses out of 18226 with flag 289082/766046
30.99/29.23	c cleaning 10061 clauses out of 20135 with flag 363050/777046
31.29/29.57	c Got one! Elapsed wall clock time (in seconds):29.471
31.29/29.57	o 392
31.59/29.89	c cleaning 11349 clauses out of 22713 with flag 37935/789685
31.89/30.17	c cleaning 8662 clauses out of 17363 with flag 77071/795684
32.19/30.48	c cleaning 7839 clauses out of 15701 with flag 123352/802684
32.60/30.81	c cleaning 7909 clauses out of 15863 with flag 173338/810685
32.99/31.21	c cleaning 8460 clauses out of 16953 with flag 233581/819684
33.40/31.64	c cleaning 9229 clauses out of 18495 with flag 301822/829686
33.90/32.14	c cleaning 10114 clauses out of 20264 with flag 375532/840684
34.50/32.70	c cleaning 11057 clauses out of 22150 with flag 459014/852684
35.10/33.32	c cleaning 12028 clauses out of 24093 with flag 549521/865684
35.80/34.02	c cleaning 13025 clauses out of 26065 with flag 647370/879684
35.92/34.19	c Got one! Elapsed wall clock time (in seconds):34.083
35.92/34.19	o 391
36.02/34.29	c cleaning 9479 clauses out of 18971 with flag 13565/885615
36.13/34.31	c Got one! Elapsed wall clock time (in seconds):34.208
36.13/34.31	o 381
36.13/34.34	c Got one! Elapsed wall clock time (in seconds):34.236
36.13/34.34	o 376
36.23/34.41	c Got one! Elapsed wall clock time (in seconds):34.307
36.23/34.41	o 372
36.23/34.49	c Got one! Elapsed wall clock time (in seconds):34.389
36.23/34.49	o 371
36.43/34.66	c cleaning 8570 clauses out of 17151 with flag 21800/893274
36.55/34.73	c Got one! Elapsed wall clock time (in seconds):34.629
36.55/34.73	o 365
36.75/34.93	c cleaning 7063 clauses out of 14140 with flag 27921/898833
36.75/35.00	c Got one! Elapsed wall clock time (in seconds):34.892
36.75/35.00	o 358
36.96/35.18	c cleaning 6182 clauses out of 12385 with flag 27971/904141
37.15/35.37	c Got one! Elapsed wall clock time (in seconds):35.261
37.15/35.37	o 344
37.25/35.42	c cleaning 5828 clauses out of 11672 with flag 6753/909610
37.48/35.69	c cleaning 5918 clauses out of 11846 with flag 46469/915612
37.80/36.00	c cleaning 6456 clauses out of 12925 with flag 93324/922609
38.13/36.21	c Got one! Elapsed wall clock time (in seconds):36.103
38.13/36.21	o 338
38.32/36.45	c cleaning 8942 clauses out of 17893 with flag 34156/934033
38.62/36.76	c cleaning 7461 clauses out of 14950 with flag 77090/940032
38.74/36.83	c Got one! Elapsed wall clock time (in seconds):36.726
38.74/36.83	o 307
38.94/37.03	c cleaning 6431 clauses out of 12880 with flag 27850/945423
39.25/37.31	c cleaning 6220 clauses out of 12450 with flag 70315/951424
39.54/37.63	c cleaning 6605 clauses out of 13229 with flag 117818/958423
39.94/38.00	c cleaning 7302 clauses out of 14624 with flag 173777/966423
40.14/38.22	c Got one! Elapsed wall clock time (in seconds):38.116
40.14/38.22	o 303
40.45/38.51	c cleaning 8920 clauses out of 17873 with flag 36695/976974
40.64/38.78	c cleaning 7468 clauses out of 14953 with flag 79013/982974
41.04/39.10	c cleaning 7232 clauses out of 14485 with flag 126589/989974
41.34/39.45	c cleaning 7617 clauses out of 15254 with flag 182324/997975
41.75/39.88	c cleaning 8307 clauses out of 16635 with flag 242909/1006973
42.15/40.20	c Got one! Elapsed wall clock time (in seconds):40.092
42.15/40.20	o 299
42.45/40.54	c cleaning 10451 clauses out of 20937 with flag 38299/1019582
42.76/40.85	c cleaning 8230 clauses out of 16484 with flag 81438/1025580
43.06/41.18	c cleaning 7610 clauses out of 15255 with flag 129648/1032581
43.46/41.55	c cleaning 7811 clauses out of 15644 with flag 186453/1040580
43.86/41.95	c cleaning 8407 clauses out of 16832 with flag 247667/1049579
44.26/42.39	c cleaning 9202 clauses out of 18425 with flag 317433/1059579
44.87/42.91	c cleaning 10097 clauses out of 20224 with flag 396018/1070580
45.36/43.41	c Got one! Elapsed wall clock time (in seconds):43.306
45.36/43.41	o 297
45.66/43.73	c cleaning 13475 clauses out of 26962 with flag 36412/1087415
45.78/43.80	c Got one! Elapsed wall clock time (in seconds):43.699
45.78/43.80	o 293
45.98/44.03	c cleaning 9384 clauses out of 18784 with flag 29049/1092712
46.28/44.34	c cleaning 7691 clauses out of 15400 with flag 73389/1098712
46.67/44.70	c cleaning 7340 clauses out of 14709 with flag 123935/1105712
46.98/45.09	c cleaning 7668 clauses out of 15369 with flag 178818/1113712
47.17/45.26	c Got one! Elapsed wall clock time (in seconds):45.155
47.17/45.26	o 103
47.27/45.36	c cleaning 6717 clauses out of 13457 with flag 13631/1119468
47.57/45.65	c cleaning 6359 clauses out of 12743 with flag 54049/1125471
47.89/45.97	c cleaning 6676 clauses out of 13384 with flag 101604/1132471
47.89/45.99	c Got one! Elapsed wall clock time (in seconds):45.887
47.89/45.99	o 102
48.10/46.12	c Got one! Elapsed wall clock time (in seconds):46.011
48.10/46.12	o 90
48.20/46.23	c cleaning 5966 clauses out of 11947 with flag 16546/1137710
48.51/46.52	c cleaning 5979 clauses out of 11982 with flag 59591/1143711
48.81/46.85	c cleaning 6495 clauses out of 13007 with flag 108358/1150715
49.22/47.23	c cleaning 7227 clauses out of 14507 with flag 165441/1158710
49.61/47.67	c cleaning 8126 clauses out of 16280 with flag 230272/1167710
50.11/48.14	c cleaning 9073 clauses out of 18155 with flag 300576/1177711
50.61/48.60	c cleaning 10037 clauses out of 20081 with flag 368351/1188710
50.61/48.66	c Got one! Elapsed wall clock time (in seconds):48.557
50.61/48.66	o 86
50.61/48.66	c Got one! Elapsed wall clock time (in seconds):48.558
50.61/48.66	o 80
50.61/48.67	c starts		: 268
50.61/48.67	c conflicts		: 1189992
50.61/48.67	c decisions		: 1639868
50.61/48.67	c propagations		: 22139154
50.61/48.67	c inspects		: 420675145
50.61/48.67	c shortcuts		: 0
50.61/48.67	c learnt literals	: 1
50.61/48.67	c learnt binary clauses	: 1
50.61/48.67	c learnt ternary clauses	: 5
50.61/48.67	c learnt constraints	: 1189991
50.61/48.67	c ignored constraints	: 0
50.61/48.67	c root simplifications	: 0
50.61/48.67	c removed literals (reason simplification)	: 0
50.61/48.67	c reason swapping (by a shorter reason)	: 0
50.61/48.67	c Calls to reduceDB	: 161
50.61/48.67	c Number of update (reduction) of LBD	: 268586
50.61/48.67	c number of reductions to clauses (during analyze)	: 0
50.61/48.67	c number of learned constraints concerned by reduction	: 0
50.61/48.67	c number of learning phase by resolution	: 0
50.61/48.67	c number of learning phase by cutting planes	: 0
50.61/48.67	c speed (assignments/second)	: 456402.1192380638
50.61/48.67	c non guided choices	2623
50.61/48.67	c learnt constraints type 
50.61/48.67	c constraints type 
50.61/48.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
50.61/48.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
50.61/48.67	c ignored satisfied constraints => 1
50.61/48.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
50.61/48.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
50.61/48.67	c 102 constraints processed.
50.61/48.67	s OPTIMUM FOUND
50.61/48.67	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 
50.61/48.67	c objective function=80
50.61/48.67	c Total wall clock time (in seconds): 48.567

Verifier Data 

OK	80

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-3718127-1338251678/watcher-3718127-1338251678 -o /tmp/evaluation-result-3718127-1338251678/solver-3718127-1338251678 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718127-1338251678.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.61 1.51 1.76 3/194 13359
/proc/meminfo: memFree=29568504/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 291291935 95129600 927 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 23225 927 703 9 0 16769 0
[pid=13359/tid=13360] ppid=13357 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) D 13357 13359 13069 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 291291935 95129600 927 33554432000 1073741824 1073778376 140737116789392 139835716992552 251043867943 0 0 4096 0 18446744072100609316 0 0 -1 0 0 0 0 0 0

[startup+0.046015 s]
/proc/loadavg: 1.61 1.51 1.76 3/194 13359
/proc/meminfo: memFree=29568504/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 3076 0 1 0 3 0 0 0 20 0 13 0 291291935 9446973440 3773 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2306390 3773 1708 9 0 2297091 0
[pid=13359/tid=13360] ppid=13357 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 1894 0 1 0 2 0 0 0 20 0 13 0 291291935 9446973440 3773 33554432000 1073741824 1073778376 140737116789392 139835716994792 251056416013 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100292 s]
/proc/loadavg: 1.61 1.51 1.76 3/194 13359
/proc/meminfo: memFree=29568504/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 4399 0 1 0 9 1 0 0 20 0 18 0 291291935 9787817984 6111 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2389604 6111 2121 9 0 2380296 0
[pid=13359/tid=13360] ppid=13357 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2433 0 1 0 8 0 0 0 20 0 18 0 291291935 9787817984 6111 33554432000 1073741824 1073778376 140737116789392 139835716994440 139835719859857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300238 s]
/proc/loadavg: 1.61 1.51 1.76 3/194 13359
/proc/meminfo: memFree=29568504/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 7067 0 1 0 52 1 0 0 20 0 19 0 291291935 9855979520 7713 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 7713 2233 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2456 0 1 0 27 0 0 0 20 0 19 0 291291935 9855979520 7713 33554432000 1073741824 1073778376 140737116789392 139835716997904 139835562519029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700225 s]
/proc/loadavg: 1.61 1.51 1.76 3/194 13359
/proc/meminfo: memFree=29568504/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=1.06 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 7699 0 1 0 105 1 0 0 20 0 19 0 291291935 9855979520 9837 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 9837 2266 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2461 0 1 0 66 0 0 0 20 0 19 0 291291935 9855979520 9837 33554432000 1073741824 1073778376 140737116789392 139835716996424 139835562114181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624980

[startup+1.5007 s]
/proc/loadavg: 1.61 1.51 1.76 3/213 13378
/proc/meminfo: memFree=29532840/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=2.33 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 13986 0 1 0 231 2 0 0 20 0 19 0 291291935 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 14336 2268 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=1.41 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2464 0 1 0 141 0 0 0 20 0 19 0 291291935 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835716997528 139835562574002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 19 0 291291937 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 27 0 0 0 20 0 19 0 291291940 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) R 13357 13359 13069 0 -1 4202560 8090 0 0 0 52 2 0 0 20 0 19 0 291291940 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835064916520 139835723971929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 14336 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9624980

[startup+3.10061 s]
/proc/loadavg: 1.61 1.51 1.76 3/213 13378
/proc/meminfo: memFree=29517108/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=4.46 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 17545 0 1 0 443 3 0 0 20 0 19 0 291291935 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 15360 2268 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=2.9 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2473 0 1 0 290 0 0 0 20 0 19 0 291291935 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835716997408 139835562447062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291291936 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 66 0 0 0 12 0 0 0 20 0 19 0 291291937 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 28 0 0 0 20 0 19 0 291291940 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.03 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11608 0 0 0 101 2 0 0 20 0 19 0 291291940 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 15360 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 1.64 1.52 1.76 3/213 13378
/proc/meminfo: memFree=29521984/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=7.75 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 17568 0 1 0 771 4 0 0 20 0 19 0 291291935 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 13944 2268 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=5.92 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2490 0 1 0 592 0 0 0 20 0 19 0 291291935 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835716997528 139835562432183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291291936 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 66 0 0 0 26 0 0 0 20 0 19 0 291291937 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 28 0 0 0 20 0 19 0 291291940 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.05 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11608 0 0 0 103 2 0 0 20 0 19 0 291291940 9855979520 13944 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 15 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 25 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=1.42 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 68 0 0 0 142 0 0 0 20 0 19 0 291291937 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 29 0 0 0 20 0 19 0 291291940 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11611 0 0 0 111 2 0 0 20 0 19 0 291291940 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 13720 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (KiB) 9624980

[startup+48.3007 s]
/proc/loadavg: 1.90 1.60 1.78 3/213 13379
/proc/meminfo: memFree=29515788/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=50.32 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 17757 0 1 0 5024 8 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 13721 2270 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=46.46 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2618 0 1 0 4644 2 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835716997408 139835562268598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 25 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 68 0 0 0 143 0 0 0 20 0 19 0 291291937 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 29 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11611 0 0 0 111 2 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.32
Current children cumulated vsize (KiB) 9624980

[startup+48.5006 s]
/proc/loadavg: 1.90 1.60 1.78 3/213 13379
/proc/meminfo: memFree=29515788/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=50.51 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 17757 0 1 0 5043 8 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 13721 2270 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=46.66 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2618 0 1 0 4664 2 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835716997408 139835562630151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 25 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 68 0 0 0 143 0 0 0 20 0 19 0 291291937 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 29 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11611 0 0 0 111 2 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 9624980

[startup+48.6006 s]
/proc/loadavg: 1.90 1.60 1.78 3/213 13379
/proc/meminfo: memFree=29515788/32873648 swapFree=7368/7368
[pid=13359] ppid=13357 vsize=9624980 CPUtime=50.61 cores=0,2,4,6
/proc/13359/stat : 13359 (java) S 13357 13359 13069 0 -1 4202496 17757 0 1 0 5053 8 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 140737116780528 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13359/statm: 2406245 13721 2270 9 0 2396937 0
[pid=13359/tid=13360] ppid=13357 vsize=9624980 CPUtime=46.76 cores=0,2,4,6
/proc/13359/task/13360/stat : 13360 (java) R 13357 13359 13069 0 -1 4202560 2618 0 1 0 4674 2 0 0 20 0 19 0 291291935 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835716997408 139835562626335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13362] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13362/stat : 13362 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835689449640 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13363] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13363/stat : 13363 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835688397096 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13364] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13364/stat : 13364 (java) S 13357 13359 13069 0 -1 4202560 25 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835687344552 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13365] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13365/stat : 13365 (java) S 13357 13359 13069 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835686292008 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13366] ppid=13357 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/13359/task/13366/stat : 13366 (java) S 13357 13359 13069 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835685239464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13367] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13367/stat : 13367 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835684186920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13368] ppid=13357 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/13359/task/13368/stat : 13368 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 11 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835683134376 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13369] ppid=13357 vsize=9624980 CPUtime=0.1 cores=0,2,4,6
/proc/13359/task/13369/stat : 13369 (java) S 13357 13359 13069 0 -1 4202560 9 0 0 0 10 0 0 0 20 0 19 0 291291936 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835682081832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13370] ppid=13357 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/13359/task/13370/stat : 13370 (java) S 13357 13359 13069 0 -1 4202560 68 0 0 0 143 0 0 0 20 0 19 0 291291937 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835070191720 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13359/tid=13371] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13371/stat : 13371 (java) S 13357 13359 13069 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835069138040 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13372] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13372/stat : 13372 (java) S 13357 13359 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291938 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835068085384 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13373] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13373/stat : 13373 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835067034128 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13374] ppid=13357 vsize=9624980 CPUtime=0.29 cores=0,2,4,6
/proc/13359/task/13374/stat : 13374 (java) S 13357 13359 13069 0 -1 4202560 2173 0 0 0 29 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835065981496 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13375] ppid=13357 vsize=9624980 CPUtime=1.13 cores=0,2,4,6
/proc/13359/task/13375/stat : 13375 (java) S 13357 13359 13069 0 -1 4202560 11611 0 0 0 111 2 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835064928952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13359/tid=13376] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13376/stat : 13376 (java) S 13357 13359 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835063876600 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13359/tid=13377] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13377/stat : 13377 (java) S 13357 13359 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291940 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835062824264 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13359/tid=13378] ppid=13357 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/13359/task/13378/stat : 13378 (java) S 13357 13359 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291951 9855979520 13721 33554432000 1073741824 1073778376 140737116789392 139835061769000 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 48.6784
CPU time (s): 50.7863
CPU user time (s): 50.6223
CPU system time (s): 0.163975
CPU usage (%): 104.33
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.6223
system time used= 0.163975
maximum resident set size= 63104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17777
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= 5516
involuntary context switches= 5750

runsolver used 0.152976 second user time and 0.403938 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-29 02:34:38
IDJOB=3718127
IDBENCH=78814
IDSOLVER=2301
FILE ID=node149/3718127-1338251678
RUNJOBID= node149-1338251638-13085
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.1111218757--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718127-1338251678/watcher-3718127-1338251678 -o /tmp/evaluation-result-3718127-1338251678/solver-3718127-1338251678 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718127-1338251678.wbo

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

MD5SUM BENCH= 8ae5062c7652fddde3927693898a40dc
RANDOM SEED=307396576

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:        29568768 kB
Buffers:          641136 kB
Cached:          1748292 kB
SwapCached:         2476 kB
Active:          1178328 kB
Inactive:        1285080 kB
Active(anon):      57008 kB
Inactive(anon):     9368 kB
Active(file):    1121320 kB
Inactive(file):  1275712 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:               816 kB
Writeback:             0 kB
AnonPages:         94312 kB
Mapped:            22504 kB
Shmem:                96 kB
Slab:             702384 kB
SReclaimable:     144896 kB
SUnreclaim:       557488 kB
KernelStack:        1760 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     694992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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:35:27