Trace number 4092315

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 2.3.6 Res+CP PB16OPTIMUM 36.5384 59.4074

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
MD5SUM033c12179045731c4fd222e5d353b2b2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.33804
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1231
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4092315-1467321734.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.065s.
0.10/0.17	c declared #vars     169
0.10/0.17	c internal #vars     270
0.10/0.17	c #constraints  101
0.10/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.17	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.10/0.18	c 101 constraints processed.
0.10/0.18	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
0.10/0.18	c 101 constraints processed.
0.10/0.18	c objective function length is 101 literals
0.67/0.37	c And the winner is solver0
1.25/0.68	c SATISFIABLE
1.25/0.68	c OPTIMIZING...
1.25/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
1.25/0.68	o 826
1.25/0.69	c And the winner is solver0
1.29/1.18	c Got one! Elapsed wall clock time (in seconds):1.071
1.29/1.18	o 678
1.29/1.18	c And the winner is solver0
1.30/1.68	c Got one! Elapsed wall clock time (in seconds):1.573
1.30/1.68	o 660
1.30/1.68	c And the winner is solver0
1.30/2.18	c Got one! Elapsed wall clock time (in seconds):2.074
1.30/2.18	o 624
1.30/2.18	c And the winner is solver0
1.30/2.68	c Got one! Elapsed wall clock time (in seconds):2.576
1.30/2.68	o 509
1.37/2.76	c And the winner is solver0
1.76/3.18	c Got one! Elapsed wall clock time (in seconds):3.077
1.76/3.18	o 508
1.76/3.19	c And the winner is solver0
1.85/3.68	c Got one! Elapsed wall clock time (in seconds):3.578
1.85/3.68	o 506
1.85/3.69	c And the winner is solver0
1.86/4.19	c Got one! Elapsed wall clock time (in seconds):4.079
1.86/4.19	o 495
1.88/4.29	c And the winner is solver0
2.18/4.69	c Got one! Elapsed wall clock time (in seconds):4.581
2.18/4.69	o 493
2.18/4.69	c And the winner is solver0
2.20/5.19	c Got one! Elapsed wall clock time (in seconds):5.082
2.20/5.19	o 487
2.21/5.21	c And the winner is solver0
2.37/5.69	c Got one! Elapsed wall clock time (in seconds):5.583
2.37/5.69	o 484
2.38/5.71	c And the winner is solver0
2.43/6.19	c Got one! Elapsed wall clock time (in seconds):6.084
2.43/6.19	o 480
2.71/6.38	c cleaning 4016 clauses out of 8032 with flag 8094/8032
3.09/6.41	c And the winner is solver0
3.26/6.69	c Got one! Elapsed wall clock time (in seconds):6.586
3.26/6.69	o 476
3.28/6.72	c And the winner is solver0
3.33/7.19	c Got one! Elapsed wall clock time (in seconds):7.087
3.33/7.19	o 473
3.33/7.25	c And the winner is solver0
3.51/7.69	c Got one! Elapsed wall clock time (in seconds):7.588
3.51/7.69	o 471
3.52/7.71	c And the winner is solver0
3.54/8.20	c Got one! Elapsed wall clock time (in seconds):8.089
3.54/8.20	o 467
3.54/8.20	c And the winner is solver0
3.54/8.70	c Got one! Elapsed wall clock time (in seconds):8.59
3.54/8.70	o 463
3.54/8.70	c And the winner is solver0
3.54/9.20	c Got one! Elapsed wall clock time (in seconds):9.092
3.54/9.20	o 352
3.54/9.24	c And the winner is solver0
3.66/9.70	c Got one! Elapsed wall clock time (in seconds):9.593
3.66/9.70	o 347
3.66/9.70	c And the winner is solver0
3.66/10.20	c Got one! Elapsed wall clock time (in seconds):10.094
3.66/10.20	o 341
3.66/10.21	c And the winner is solver0
3.66/10.70	c Got one! Elapsed wall clock time (in seconds):10.595
3.66/10.70	o 340
3.66/10.70	c And the winner is solver0
3.66/11.20	c Got one! Elapsed wall clock time (in seconds):11.096
3.66/11.20	o 339
3.66/11.21	c And the winner is solver0
3.66/11.70	c Got one! Elapsed wall clock time (in seconds):11.597
3.66/11.70	o 338
3.66/11.75	c And the winner is solver0
3.93/12.21	c Got one! Elapsed wall clock time (in seconds):12.098
3.93/12.21	o 332
3.93/12.28	c And the winner is solver0
4.11/12.71	c Got one! Elapsed wall clock time (in seconds):12.599
4.11/12.71	o 330
4.11/12.73	c And the winner is solver0
4.16/13.21	c Got one! Elapsed wall clock time (in seconds):13.1
4.16/13.21	o 328
4.16/13.23	c And the winner is solver0
4.22/13.71	c Got one! Elapsed wall clock time (in seconds):13.602
4.22/13.71	o 323
4.22/13.72	c And the winner is solver0
4.26/14.21	c Got one! Elapsed wall clock time (in seconds):14.103
4.26/14.21	o 319
4.26/14.22	c And the winner is solver0
4.27/14.71	c Got one! Elapsed wall clock time (in seconds):14.604
4.27/14.71	o 316
4.27/14.73	c And the winner is solver0
4.32/15.21	c Got one! Elapsed wall clock time (in seconds):15.105
4.32/15.21	o 299
4.32/15.27	c cleaning 6411 clauses out of 12834 with flag 3629/16850
4.32/15.29	c And the winner is solver0
4.54/15.71	c Got one! Elapsed wall clock time (in seconds):15.606
4.54/15.71	o 293
4.70/15.87	c And the winner is solver0
4.89/16.21	c Got one! Elapsed wall clock time (in seconds):16.107
4.89/16.21	o 284
5.06/16.34	c cleaning 6171 clauses out of 12356 with flag 9143/22783
5.69/16.67	c cleaning 6088 clauses out of 12187 with flag 39022/28785
6.07/16.87	c And the winner is solver0
6.26/17.21	c Got one! Elapsed wall clock time (in seconds):17.108
6.26/17.21	o 278
6.26/17.27	c cleaning 5594 clauses out of 11191 with flag 3559/33877
6.62/17.43	c And the winner is solver0
6.72/17.72	c Got one! Elapsed wall clock time (in seconds):17.609
6.72/17.72	o 272
6.89/17.82	c cleaning 5593 clauses out of 11191 with flag 7750/39471
7.49/18.10	c cleaning 5795 clauses out of 11600 with flag 33424/45473
7.49/18.15	c And the winner is solver0
7.61/18.22	c Got one! Elapsed wall clock time (in seconds):18.11
7.61/18.22	o 267
7.76/18.32	c And the winner is solver0
7.83/18.72	c Got one! Elapsed wall clock time (in seconds):18.611
7.83/18.72	o 266
8.02/18.85	c And the winner is solver0
8.13/19.22	c Got one! Elapsed wall clock time (in seconds):19.112
8.13/19.22	o 258
8.13/19.28	c cleaning 6281 clauses out of 12561 with flag 4074/52229
8.13/19.28	c And the winner is solver0
8.35/19.72	c Got one! Elapsed wall clock time (in seconds):19.613
8.35/19.72	o 256
8.35/19.77	c And the winner is solver0
8.51/20.22	c Got one! Elapsed wall clock time (in seconds):20.114
8.51/20.22	o 255
8.66/20.37	c And the winner is solver0
8.82/20.72	c Got one! Elapsed wall clock time (in seconds):20.615
8.82/20.72	o 246
8.82/20.79	c cleaning 5715 clauses out of 11439 with flag 3604/57388
8.97/20.87	c And the winner is solver0
9.18/21.22	c Got one! Elapsed wall clock time (in seconds):21.116
9.18/21.22	o 245
9.34/21.33	c And the winner is solver0
9.42/21.72	c Got one! Elapsed wall clock time (in seconds):21.616
9.42/21.72	o 239
9.42/21.76	c And the winner is solver0
9.52/22.22	c Got one! Elapsed wall clock time (in seconds):22.117
9.52/22.22	o 238
9.52/22.27	c And the winner is solver0
9.64/22.72	c Got one! Elapsed wall clock time (in seconds):22.618
9.64/22.72	o 235
9.64/22.75	c And the winner is solver0
9.75/23.23	c Got one! Elapsed wall clock time (in seconds):23.119
9.75/23.23	o 217
9.75/23.28	c And the winner is solver0
9.88/23.73	c Got one! Elapsed wall clock time (in seconds):23.62
9.88/23.73	o 215
9.88/23.76	c And the winner is solver0
9.96/24.23	c Got one! Elapsed wall clock time (in seconds):24.121
9.96/24.23	o 210
9.96/24.24	c And the winner is solver0
10.02/24.73	c Got one! Elapsed wall clock time (in seconds):24.622
10.02/24.73	o 209
10.02/24.76	c And the winner is solver0
10.09/25.23	c Got one! Elapsed wall clock time (in seconds):25.123
10.09/25.23	o 207
10.25/25.35	c cleaning 7964 clauses out of 15930 with flag 8197/67594
10.25/25.36	c And the winner is solver0
10.41/25.73	c Got one! Elapsed wall clock time (in seconds):25.624
10.41/25.73	o 204
10.54/25.80	c And the winner is solver0
10.60/26.23	c Got one! Elapsed wall clock time (in seconds):26.124
10.60/26.23	o 202
10.94/26.43	c cleaning 6789 clauses out of 13585 with flag 16288/73213
11.14/26.57	c And the winner is solver0
11.37/26.73	c Got one! Elapsed wall clock time (in seconds):26.625
11.37/26.73	o 193
11.37/26.78	c And the winner is solver0
11.49/27.23	c Got one! Elapsed wall clock time (in seconds):27.126
11.49/27.23	o 189
11.49/27.29	c And the winner is solver0
11.62/27.73	c Got one! Elapsed wall clock time (in seconds):27.627
11.62/27.73	o 188
11.74/27.84	c And the winner is solver0
11.89/28.23	c Got one! Elapsed wall clock time (in seconds):28.128
11.89/28.23	o 186
12.01/28.30	c cleaning 7450 clauses out of 14907 with flag 4197/81324
12.01/28.37	c And the winner is solver0
12.17/28.74	c Got one! Elapsed wall clock time (in seconds):28.629
12.17/28.74	o 185
12.49/28.93	c cleaning 6494 clauses out of 13012 with flag 18629/86879
12.69/29.06	c And the winner is solver0
12.84/29.24	c Got one! Elapsed wall clock time (in seconds):29.13
12.84/29.24	o 184
12.96/29.31	c And the winner is solver0
13.02/29.74	c Got one! Elapsed wall clock time (in seconds):29.631
13.02/29.74	o 178
13.15/29.83	c And the winner is solver0
13.24/30.24	c Got one! Elapsed wall clock time (in seconds):30.132
13.24/30.24	o 176
13.37/30.31	c cleaning 6936 clauses out of 13879 with flag 4861/94240
13.37/30.32	c And the winner is solver0
13.44/30.74	c Got one! Elapsed wall clock time (in seconds):30.633
13.44/30.74	o 167
13.44/30.80	c And the winner is solver0
13.62/31.24	c Got one! Elapsed wall clock time (in seconds):31.134
13.62/31.24	o 159
13.62/31.27	c And the winner is solver0
13.71/31.74	c Got one! Elapsed wall clock time (in seconds):31.635
13.71/31.74	o 154
13.71/31.78	c And the winner is solver0
13.83/32.24	c Got one! Elapsed wall clock time (in seconds):32.136
13.83/32.24	o 150
13.83/32.26	c And the winner is solver0
13.88/32.74	c Got one! Elapsed wall clock time (in seconds):32.637
13.88/32.74	o 149
13.88/32.76	c And the winner is solver0
13.93/33.24	c Got one! Elapsed wall clock time (in seconds):33.138
13.93/33.24	o 148
13.93/33.28	c And the winner is solver0
14.04/33.75	c Got one! Elapsed wall clock time (in seconds):33.639
14.04/33.75	o 143
14.04/33.79	c And the winner is solver0
14.18/34.25	c Got one! Elapsed wall clock time (in seconds):34.139
14.18/34.25	o 141
14.28/34.30	c And the winner is solver0
14.31/34.75	c Got one! Elapsed wall clock time (in seconds):34.64
14.31/34.75	o 128
14.31/34.76	c And the winner is solver0
14.36/35.25	c Got one! Elapsed wall clock time (in seconds):35.141
14.36/35.25	o 124
14.36/35.26	c And the winner is solver0
14.38/35.75	c Got one! Elapsed wall clock time (in seconds):35.642
14.38/35.75	o 123
14.38/35.76	c And the winner is solver0
14.43/36.25	c Got one! Elapsed wall clock time (in seconds):36.143
14.43/36.25	o 121
14.43/36.27	c And the winner is solver0
14.52/36.75	c Got one! Elapsed wall clock time (in seconds):36.643
14.52/36.75	o 116
14.52/36.79	c And the winner is solver0
14.67/37.25	c Got one! Elapsed wall clock time (in seconds):37.144
14.67/37.25	o 115
14.67/37.27	c And the winner is solver0
14.74/37.75	c Got one! Elapsed wall clock time (in seconds):37.645
14.74/37.75	o 110
14.74/37.76	c And the winner is solver0
14.76/38.25	c Got one! Elapsed wall clock time (in seconds):38.146
14.76/38.25	o 107
14.76/38.27	c And the winner is solver0
14.81/38.75	c Got one! Elapsed wall clock time (in seconds):38.647
14.81/38.75	o 106
15.32/39.03	c cleaning 9504 clauses out of 19015 with flag 18690/106312
15.63/39.18	c And the winner is solver0
15.91/39.25	c Got one! Elapsed wall clock time (in seconds):39.148
15.91/39.25	o 98
16.04/39.33	c And the winner is solver0
16.17/39.76	c Got one! Elapsed wall clock time (in seconds):39.648
16.17/39.76	o 96
16.25/39.82	c And the winner is solver0
16.37/40.26	c Got one! Elapsed wall clock time (in seconds):40.149
16.37/40.26	o 92
16.45/40.34	c cleaning 7967 clauses out of 15936 with flag 4467/112737
16.75/40.41	c And the winner is solver0
17.19/40.76	c Got one! Elapsed wall clock time (in seconds):40.65
17.19/40.76	o 90
17.19/40.78	c And the winner is solver0
17.27/41.26	c Got one! Elapsed wall clock time (in seconds):41.152
17.27/41.26	o 88
17.35/41.35	c And the winner is solver0
17.49/41.76	c Got one! Elapsed wall clock time (in seconds):41.654
17.49/41.76	o 87
17.78/41.93	c cleaning 7340 clauses out of 14694 with flag 15265/119462
17.78/41.96	c And the winner is solver0
17.98/42.26	c Got one! Elapsed wall clock time (in seconds):42.156
17.98/42.26	o 77
18.04/42.39	c And the winner is solver0
18.26/42.76	c Got one! Elapsed wall clock time (in seconds):42.658
18.26/42.76	o 76
18.31/42.81	c And the winner is solver0
18.43/43.27	c Got one! Elapsed wall clock time (in seconds):43.16
18.43/43.27	o 75
18.49/43.32	c And the winner is solver0
18.61/43.77	c Got one! Elapsed wall clock time (in seconds):43.663
18.61/43.77	o 73
18.66/43.80	c And the winner is solver0
18.79/44.27	c Got one! Elapsed wall clock time (in seconds):44.165
18.79/44.27	o 72
18.83/44.33	c And the winner is solver0
18.98/44.77	c Got one! Elapsed wall clock time (in seconds):44.668
18.98/44.77	o 67
19.02/44.89	c cleaning 8096 clauses out of 16202 with flag 7295/128310
19.64/45.16	c cleaning 7050 clauses out of 14106 with flag 30624/134310
19.84/45.24	c And the winner is solver0
19.97/45.38	c Got one! Elapsed wall clock time (in seconds):45.271
19.97/45.38	o 65
20.27/45.57	c cleaning 6452 clauses out of 12920 with flag 16671/140174
20.87/45.85	c cleaning 6227 clauses out of 12468 with flag 40975/146174
21.47/46.17	c And the winner is solver0
21.66/46.38	c Got one! Elapsed wall clock time (in seconds):46.274
21.66/46.38	o 63
21.70/46.42	c And the winner is solver0
21.85/46.88	c Got one! Elapsed wall clock time (in seconds):46.778
21.85/46.88	o 58
21.87/46.90	c And the winner is solver0
21.91/47.39	c Got one! Elapsed wall clock time (in seconds):47.281
21.91/47.39	o 57
22.12/47.52	c And the winner is solver0
22.20/47.89	c Got one! Elapsed wall clock time (in seconds):47.785
22.20/47.89	o 49
22.21/47.91	c And the winner is solver0
22.25/48.40	c Got one! Elapsed wall clock time (in seconds):48.289
22.25/48.40	o 48
22.26/48.42	c And the winner is solver0
22.32/48.90	c Got one! Elapsed wall clock time (in seconds):48.793
22.32/48.90	o 46
22.52/49.09	c cleaning 10202 clauses out of 20410 with flag 13656/160343
22.72/49.10	c And the winner is solver0
22.83/49.40	c Got one! Elapsed wall clock time (in seconds):49.298
22.83/49.40	o 44
23.25/49.64	c cleaning 7717 clauses out of 15448 with flag 23444/165583
23.84/49.90	c cleaning 6857 clauses out of 13734 with flag 53009/171586
23.84/49.94	c And the winner is solver0
24.03/50.41	c Got one! Elapsed wall clock time (in seconds):50.303
24.03/50.41	o 43
24.20/50.59	c cleaning 5972 clauses out of 11946 with flag 23578/176655
24.41/50.65	c And the winner is solver0
24.55/50.91	c Got one! Elapsed wall clock time (in seconds):50.808
24.55/50.92	o 42
24.73/51.05	c And the winner is solver0
24.87/51.42	c Got one! Elapsed wall clock time (in seconds):51.313
24.87/51.42	o 40
24.87/51.47	c cleaning 5957 clauses out of 11919 with flag 3691/182601
25.44/51.72	c cleaning 5974 clauses out of 11961 with flag 27346/188601
25.64/51.85	c And the winner is solver0
25.89/52.03	c Got one! Elapsed wall clock time (in seconds):51.919
25.89/52.03	o 39
26.05/52.11	c cleaning 5734 clauses out of 11482 with flag 7168/194096
26.45/52.35	c cleaning 5871 clauses out of 11751 with flag 27398/200099
26.85/52.52	c And the winner is solver0
26.97/52.63	c Got one! Elapsed wall clock time (in seconds):52.524
26.97/52.63	o 36
26.97/52.68	c cleaning 5651 clauses out of 11305 with flag 3588/205524
27.54/52.93	c cleaning 5820 clauses out of 11652 with flag 26052/211522
27.92/53.13	c And the winner is solver0
28.06/53.24	c Got one! Elapsed wall clock time (in seconds):53.13
28.06/53.24	o 33
28.39/53.47	c cleaning 8057 clauses out of 16114 with flag 18864/221804
28.99/53.74	c cleaning 7013 clauses out of 14056 with flag 41000/227803
29.61/54.08	c cleaning 7017 clauses out of 14044 with flag 69723/234804
29.99/54.29	c And the winner is solver0
30.23/54.74	c Got one! Elapsed wall clock time (in seconds):54.635
30.23/54.74	o 32
30.23/54.79	c cleaning 6307 clauses out of 12617 with flag 4631/240395
30.75/55.03	c cleaning 6153 clauses out of 12310 with flag 30114/246395
31.34/55.32	c cleaning 6566 clauses out of 13156 with flag 58815/253395
31.34/55.36	c And the winner is solver0
31.52/55.75	c Got one! Elapsed wall clock time (in seconds):55.64
31.52/55.75	o 13
31.82/55.90	c cleaning 5800 clauses out of 11602 with flag 14367/258407
31.82/55.91	c And the winner is solver0
31.96/56.25	c Got one! Elapsed wall clock time (in seconds):56.146
31.96/56.25	o 11
31.96/56.28	c And the winner is solver0
32.02/56.76	c Got one! Elapsed wall clock time (in seconds):56.653
32.02/56.76	o 7
32.28/56.96	c cleaning 5832 clauses out of 11677 with flag 17888/264282
32.90/57.21	c cleaning 5913 clauses out of 11845 with flag 39799/270282
33.28/57.48	c cleaning 6455 clauses out of 12929 with flag 63841/277282
33.68/57.65	c And the winner is solver0
33.95/57.87	c Got one! Elapsed wall clock time (in seconds):57.761
33.95/57.87	o 3
34.05/57.92	c cleaning 5911 clauses out of 11821 with flag 3763/282629
34.45/58.15	c cleaning 5948 clauses out of 11906 with flag 24837/288627
35.06/58.44	c cleaning 6472 clauses out of 12955 with flag 49255/295626
35.65/58.77	c cleaning 7235 clauses out of 14478 with flag 78432/303627
36.25/59.07	c And the winner is solver0
36.42/59.40	c >>>>>>>>>> Solver number 0 (108 answers) <<<<<<<<<<<<<<<<<<
36.42/59.40	c starts		: 363
36.42/59.40	c conflicts		: 311075
36.42/59.40	c decisions		: 565832
36.42/59.40	c propagations		: 10702006
36.42/59.40	c inspects		: 135867904
36.42/59.40	c shortcuts		: 0
36.42/59.40	c learnt literals	: 31
36.42/59.40	c learnt binary clauses	: 40
36.42/59.40	c learnt ternary clauses	: 584
36.42/59.40	c learnt constraints	: 311043
36.42/59.40	c ignored constraints	: 0
36.42/59.40	c root simplifications	: 0
36.42/59.40	c removed literals (reason simplification)	: 240993
36.42/59.40	c reason swapping (by a shorter reason)	: 0
36.42/59.40	c Calls to reduceDB	: 45
36.42/59.40	c Number of update (reduction) of LBD	: 108432
36.42/59.40	c Imported unit clauses	: 0
36.42/59.40	c number of reductions to clauses (during analyze)	: 0
36.42/59.40	c number of learned constraints concerned by reduction	: 0
36.42/59.40	c number of learning phase by resolution	: 0
36.42/59.40	c number of learning phase by cutting planes	: 0
36.42/59.40	c speed (assignments/second)	: 180719.12730711428
36.42/59.40	c non guided choices	4975
36.42/59.40	c learnt constraints type 
36.42/59.40	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
36.42/59.40	c starts		: 108
36.42/59.40	c conflicts		: 464
36.42/59.40	c decisions		: 12918
36.42/59.40	c propagations		: 36515
36.42/59.40	c inspects		: 2401091
36.42/59.40	c shortcuts		: 0
36.42/59.40	c learnt literals	: 0
36.42/59.40	c learnt binary clauses	: 0
36.42/59.40	c learnt ternary clauses	: 0
36.42/59.40	c learnt constraints	: 381
36.42/59.40	c ignored constraints	: 0
36.42/59.40	c root simplifications	: 0
36.42/59.40	c removed literals (reason simplification)	: 0
36.42/59.40	c reason swapping (by a shorter reason)	: 0
36.42/59.40	c Calls to reduceDB	: 0
36.42/59.40	c Number of update (reduction) of LBD	: 0
36.42/59.40	c Imported unit clauses	: 0
36.42/59.40	c number of reductions to clauses (during analyze)	: 0
36.42/59.40	c number of learned constraints concerned by reduction	: 0
36.42/59.40	c number of learning phase by resolution	: 0
36.42/59.40	c number of learning phase by cutting planes	: 0
36.42/59.40	c speed (assignments/second)	: 24150.132275132273
36.42/59.40	c non guided choices	1853
36.42/59.40	c learnt constraints type 
36.42/59.40	s OPTIMUM FOUND
36.42/59.40	c Found 107 solution(s)
36.42/59.40	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 
36.42/59.40	c objective function=3
36.42/59.40	c Total wall clock time (in seconds): 59.292

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4092315-1467321734/watcher-4092315-1467321734 -o /tmp/evaluation-result-4092315-1467321734/solver-4092315-1467321734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092315-1467321734.wbo 

pid=29688
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.80 1.71 1.80 3/196 29691
/proc/meminfo: memFree=29756340/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 1351 0 0 0 0 0 0 0 20 0 2 0 13134213 98570240 976 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 24065 976 743 9 0 16771 0
[pid=29691/tid=29692] ppid=29688 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) R 29688 29691 16091 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13134213 98570240 976 33554432000 1073741824 1073778376 140736855813872 140158048321064 272886534396 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 1.80 1.71 1.80 3/196 29691
/proc/meminfo: memFree=29756340/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 4492 0 1 0 9 1 0 0 20 0 18 0 13134213 9787879424 6121 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2389619 6121 2156 9 0 2380296 0
[pid=29691/tid=29692] ppid=29688 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) R 29688 29691 16091 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 13134213 9787879424 6121 33554432000 1073741824 1073778376 140736855813872 140158048325080 140158051418486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 1.80 1.71 1.80 3/196 29691
/proc/meminfo: memFree=29756340/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 4829 0 1 0 26 1 0 0 20 0 22 0 13134213 10060525568 7910 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 7910 2222 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 22 0 13134213 10060525568 7910 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9824732

[startup+0.30026 s]
/proc/loadavg: 1.80 1.71 1.80 3/196 29691
/proc/meminfo: memFree=29756340/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 7584 0 1 0 66 1 0 0 20 0 22 0 13134213 10060525568 9910 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 9910 2250 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2418 0 1 0 15 0 0 0 20 0 22 0 13134213 10060525568 9910 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732

[startup+0.700209 s]
/proc/loadavg: 1.80 1.71 1.80 3/196 29691
/proc/meminfo: memFree=29756340/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 14363 0 1 0 123 6 0 0 20 0 19 0 13134213 10060525568 14209 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 14209 2254 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2418 0 1 0 16 0 0 0 20 0 19 0 13134213 10060525568 14209 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 1.80 1.71 1.80 2/215 29716
/proc/meminfo: memFree=29707696/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 14375 0 1 0 124 6 0 0 20 0 19 0 13134213 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 15236 2257 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2419 0 1 0 16 0 0 0 20 0 19 0 13134213 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13134215 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 5719 0 0 0 33 0 0 0 20 0 19 0 13134218 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 4896 0 0 0 35 0 0 0 20 0 19 0 13134218 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134231 10060525568 15236 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 1.80 1.71 1.80 2/215 29725
/proc/meminfo: memFree=29693004/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=1.76 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 17900 0 1 0 168 8 0 0 20 0 19 0 13134213 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 20966 2260 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2420 0 1 0 16 0 0 0 20 0 19 0 13134213 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13134214 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13134215 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 7343 0 0 0 49 0 0 0 20 0 19 0 13134218 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 6766 0 0 0 49 1 0 0 20 0 19 0 13134218 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134231 10060525568 20966 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=27 pid=1779 uid=0 cmd=

[startup+6.30077 s]
/proc/loadavg: 1.82 1.72 1.80 2/215 29743
/proc/meminfo: memFree=29637176/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 19486 0 1 0 255 16 0 0 20 0 22 0 13134213 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 43344 2280 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2422 0 1 0 16 1 0 0 20 0 22 0 13134213 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13134214 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 13134215 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 43344 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=0.79 cores=0,2,4,6

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

[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 1 4 0 0 20 0 22 0 13134215 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 14741 0 0 0 127 3 0 0 20 0 22 0 13134218 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 17014 0 0 0 158 3 0 0 20 0 22 0 13134218 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13134231 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=30032] ppid=29688 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/29691/task/30032/stat : 30032 (java) R 29688 29691 16091 0 -1 4202560 2 0 0 0 51 0 0 0 20 0 22 0 13140001 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157123521800 140157886335163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=30033] ppid=29688 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/29691/task/30033/stat : 30033 (java) R 29688 29691 16091 0 -1 4202560 3 0 0 0 51 0 0 0 20 0 22 0 13140001 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157125626840 140157886482417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=30034] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/30034/stat : 30034 (java) S 29688 29691 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13140002 10060525568 49269 33554432000 1073741824 1073778376 140736855813872 140157124576040 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 35.06
Current children cumulated vsize (KiB) 9824732

[startup+58.8009 s]
/proc/loadavg: 1.92 1.75 1.81 5/218 30034
/proc/meminfo: memFree=29553220/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=35.85 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 36607 0 1 0 3384 201 0 0 20 0 22 0 13134213 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 48516 2287 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2425 0 1 0 30 2 0 0 20 0 22 0 13134213 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 13134214 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 1 4 0 0 20 0 22 0 13134215 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 13134216 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 14741 0 0 0 127 3 0 0 20 0 22 0 13134218 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 17014 0 0 0 158 3 0 0 20 0 22 0 13134218 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13134218 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13134231 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=30032] ppid=29688 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/29691/task/30032/stat : 30032 (java) R 29688 29691 16091 0 -1 4202560 2 0 0 0 90 0 0 0 20 0 22 0 13140001 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157123521568 140157886347005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=30033] ppid=29688 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/29691/task/30033/stat : 30033 (java) R 29688 29691 16091 0 -1 4202560 4 0 0 0 90 0 0 0 20 0 22 0 13140001 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157125627632 140157886482320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=30034] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/30034/stat : 30034 (java) S 29688 29691 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13140002 10060525568 48516 33554432000 1073741824 1073778376 140736855813872 140157124576040 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 35.85
Current children cumulated vsize (KiB) 9824732

[startup+59.2009 s]
/proc/loadavg: 1.92 1.75 1.81 5/218 30034
/proc/meminfo: memFree=29553220/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=36.42 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 36607 0 1 0 3439 203 0 0 20 0 19 0 13134213 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 48510 2287 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2425 0 1 0 30 2 0 0 20 0 19 0 13134213 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 1 4 0 0 20 0 19 0 13134215 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 14741 0 0 0 127 3 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 17014 0 0 0 158 3 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134231 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 36.42
Current children cumulated vsize (KiB) 9824732

[startup+59.3008 s]
/proc/loadavg: 1.92 1.75 1.81 5/218 30034
/proc/meminfo: memFree=29553220/32872528 swapFree=1254912/1391860
[pid=29691] ppid=29688 vsize=9824732 CPUtime=36.42 cores=0,2,4,6
/proc/29691/stat : 29691 (java) S 29688 29691 16091 0 -1 4202496 36607 0 1 0 3439 203 0 0 20 0 19 0 13134213 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140736855805008 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29691/statm: 2456183 48510 2287 9 0 2446860 0
[pid=29691/tid=29692] ppid=29688 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/29691/task/29692/stat : 29692 (java) S 29688 29691 16091 0 -1 4202560 2425 0 1 0 30 2 0 0 20 0 19 0 13134213 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158048326520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29694] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29694/stat : 29694 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158009817768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29695] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29695/stat : 29695 (java) S 29688 29691 16091 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158008765224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29696] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29696/stat : 29696 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158007712680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29691/tid=29697] ppid=29688 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29691/task/29697/stat : 29697 (java) S 29688 29691 16091 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158006660136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29698] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29698/stat : 29698 (java) S 29688 29691 16091 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158005606568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29699] ppid=29688 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/29691/task/29699/stat : 29699 (java) S 29688 29691 16091 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140158004554024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29700] ppid=29688 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29691/task/29700/stat : 29700 (java) S 29688 29691 16091 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157885868456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29701] ppid=29688 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29691/task/29701/stat : 29701 (java) S 29688 29691 16091 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 13134214 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157884815912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29702] ppid=29688 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/29691/task/29702/stat : 29702 (java) S 29688 29691 16091 0 -1 4202560 14 0 0 0 1 4 0 0 20 0 19 0 13134215 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157872405096 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29703] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29703/stat : 29703 (java) S 29688 29691 16091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157871351416 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29704] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29704/stat : 29704 (java) S 29688 29691 16091 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 13134216 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157870298760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29705] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29705/stat : 29705 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157130894352 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29706] ppid=29688 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29691/task/29706/stat : 29706 (java) S 29688 29691 16091 0 -1 4202560 14741 0 0 0 127 3 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157129840696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29691/tid=29707] ppid=29688 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/29691/task/29707/stat : 29707 (java) S 29688 29691 16091 0 -1 4202560 17014 0 0 0 158 3 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157128788152 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29708] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29708/stat : 29708 (java) S 29688 29691 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157127735800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29691/tid=29709] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29709/stat : 29709 (java) S 29688 29691 16091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13134218 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157126683464 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29691/tid=29713] ppid=29688 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29691/task/29713/stat : 29713 (java) S 29688 29691 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13134231 10060525568 48510 33554432000 1073741824 1073778376 140736855813872 140157122471592 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 36.42
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 59.4074
CPU time (s): 36.5384
CPU user time (s): 34.4268
CPU system time (s): 2.11168
CPU usage (%): 61.5049
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.4268
system time used= 2.11168
maximum resident set size= 229492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36614
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= 4193
involuntary context switches= 1258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.420936 second user time and 0.579911 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 23:22:14
IDJOB=4092315
IDBENCH=79212
IDSOLVER=2552
FILE ID=node119/4092315-1467321734
RUNJOBID= node119-1467318689-18276
PBS_JOBID= 20005280
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092315-1467321734/watcher-4092315-1467321734 -o /tmp/evaluation-result-4092315-1467321734/solver-4092315-1467321734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467318689-18276 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092315-1467321734.wbo

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

MD5SUM BENCH= 033c12179045731c4fd222e5d353b2b2
RANDOM SEED=1080177245

node119.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.444
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.88
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.444
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	: 5332.55
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.444
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	: 5332.56
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.444
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	: 5332.55
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.444
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	: 5332.55
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.444
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	: 5332.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.444
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	: 5332.55
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.444
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29756868 kB
Buffers:          175240 kB
Cached:           263348 kB
SwapCached:            0 kB
Active:           742500 kB
Inactive:         219336 kB
Active(anon):     507548 kB
Inactive(anon):    17912 kB
Active(file):     234952 kB
Inactive(file):   201424 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:       1932840 kB
Mapped:            22236 kB
Shmem:               204 kB
Slab:             611936 kB
SReclaimable:      55688 kB
SUnreclaim:       556248 kB
KernelStack:        1744 kB
PageTables:         8400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2070848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node119 at 2016-06-30 23:23:13