Trace number 3718430

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 39.0971 37.1014

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
MD5SUMe433b9b816c291c8bf4fd4860d096bb6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark0.501922
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 1320
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
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 No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3718430-1338254176.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.053s.
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 constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.17	c ignored satisfied constraints => 1
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.10/0.17	c 102 constraints processed.
0.10/0.17	c objective function length is 101 literals
0.25/0.22	c SATISFIABLE
0.25/0.22	c OPTIMIZING...
0.25/0.22	c Got one! Elapsed wall clock time (in seconds):0.106
0.25/0.22	o 753
0.25/0.24	c Got one! Elapsed wall clock time (in seconds):0.131
0.25/0.24	o 658
0.25/0.26	c Got one! Elapsed wall clock time (in seconds):0.144
0.25/0.26	o 591
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.152
0.25/0.27	o 547
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.161
0.25/0.27	o 543
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.172
0.25/0.29	o 513
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.18
0.25/0.29	o 337
0.50/0.30	c Got one! Elapsed wall clock time (in seconds):0.191
0.50/0.30	o 335
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.222
0.50/0.34	o 334
0.78/0.50	c Got one! Elapsed wall clock time (in seconds):0.383
0.78/0.50	o 330
0.78/0.59	c cleaning 3827 clauses out of 7653 with flag 7877/7653
0.90/0.61	c Got one! Elapsed wall clock time (in seconds):0.496
0.90/0.61	o 327
0.90/0.64	c Got one! Elapsed wall clock time (in seconds):0.524
0.90/0.64	o 325
0.90/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
0.90/0.64	o 324
0.90/0.66	c Got one! Elapsed wall clock time (in seconds):0.546
0.90/0.66	o 323
1.05/0.70	c Got one! Elapsed wall clock time (in seconds):0.586
1.05/0.70	o 320
1.16/0.83	c cleaning 5365 clauses out of 10739 with flag 15500/14566
1.26/0.92	c Got one! Elapsed wall clock time (in seconds):0.804
1.26/0.92	o 319
1.37/1.01	c cleaning 5287 clauses out of 10604 with flag 12114/19796
1.37/1.07	c Got one! Elapsed wall clock time (in seconds):0.956
1.37/1.07	o 313
1.37/1.09	c Got one! Elapsed wall clock time (in seconds):0.979
1.37/1.09	o 312
1.49/1.12	c Got one! Elapsed wall clock time (in seconds):1.006
1.49/1.12	o 310
1.49/1.19	c Got one! Elapsed wall clock time (in seconds):1.077
1.49/1.19	o 304
1.58/1.26	c cleaning 6607 clauses out of 13222 with flag 7714/27701
1.58/1.29	c Got one! Elapsed wall clock time (in seconds):1.173
1.58/1.29	o 294
1.81/1.43	c cleaning 6092 clauses out of 12193 with flag 17628/33279
1.81/1.47	c Got one! Elapsed wall clock time (in seconds):1.351
1.81/1.47	o 291
1.91/1.53	c Got one! Elapsed wall clock time (in seconds):1.415
1.91/1.53	o 288
1.91/1.59	c Got one! Elapsed wall clock time (in seconds):1.473
1.91/1.59	o 284
2.09/1.66	c cleaning 6359 clauses out of 12732 with flag 8847/39910
2.09/1.68	c Got one! Elapsed wall clock time (in seconds):1.57
2.09/1.68	o 282
2.27/1.79	c Got one! Elapsed wall clock time (in seconds):1.68
2.27/1.79	o 281
2.37/1.86	c cleaning 6370 clauses out of 12752 with flag 9253/46289
2.48/1.96	c Got one! Elapsed wall clock time (in seconds):1.848
2.48/1.96	o 280
2.48/1.97	c Got one! Elapsed wall clock time (in seconds):1.855
2.48/1.97	o 275
2.48/1.98	c Got one! Elapsed wall clock time (in seconds):1.866
2.48/1.98	o 261
2.58/2.05	c cleaning 6077 clauses out of 12157 with flag 8646/52064
2.58/2.07	c Got one! Elapsed wall clock time (in seconds):1.958
2.58/2.07	o 255
2.69/2.16	c Got one! Elapsed wall clock time (in seconds):2.042
2.69/2.16	o 254
2.79/2.25	c cleaning 5988 clauses out of 11978 with flag 13052/57962
2.88/2.37	c Got one! Elapsed wall clock time (in seconds):2.256
2.88/2.37	o 250
2.98/2.43	c cleaning 5605 clauses out of 11226 with flag 10414/63198
3.09/2.59	c Got one! Elapsed wall clock time (in seconds):2.476
3.09/2.59	o 249
3.29/2.75	c cleaning 7829 clauses out of 15677 with flag 22265/73254
3.39/2.81	c Got one! Elapsed wall clock time (in seconds):2.695
3.39/2.81	o 241
3.39/2.83	c Got one! Elapsed wall clock time (in seconds):2.717
3.39/2.83	o 233
3.39/2.85	c Got one! Elapsed wall clock time (in seconds):2.738
3.39/2.85	o 223
3.59/3.00	c cleaning 7530 clauses out of 15069 with flag 15890/80475
3.59/3.02	c Got one! Elapsed wall clock time (in seconds):2.91
3.59/3.02	o 196
3.69/3.10	c Got one! Elapsed wall clock time (in seconds):2.989
3.69/3.10	o 194
3.84/3.21	c cleaning 6754 clauses out of 13517 with flag 15868/86453
3.94/3.31	c Got one! Elapsed wall clock time (in seconds):3.194
3.94/3.31	o 192
4.05/3.41	c cleaning 6210 clauses out of 12436 with flag 16739/92126
4.25/3.64	c cleaning 6107 clauses out of 12228 with flag 41905/98128
4.35/3.77	c Got one! Elapsed wall clock time (in seconds):3.658
4.35/3.77	o 190
4.45/3.84	c cleaning 5833 clauses out of 11672 with flag 11067/103679
4.66/4.03	c cleaning 5902 clauses out of 11840 with flag 40761/109680
4.78/4.16	c Got one! Elapsed wall clock time (in seconds):4.047
4.78/4.16	o 186
4.78/4.17	c Got one! Elapsed wall clock time (in seconds):4.06
4.78/4.17	o 181
4.88/4.21	c Got one! Elapsed wall clock time (in seconds):4.093
4.88/4.21	o 170
4.88/4.25	c cleaning 6277 clauses out of 12567 with flag 4384/116309
4.99/4.34	c Got one! Elapsed wall clock time (in seconds):4.223
4.99/4.34	o 168
5.09/4.44	c cleaning 5795 clauses out of 11604 with flag 15722/121623
5.19/4.50	c Got one! Elapsed wall clock time (in seconds):4.39
5.19/4.50	o 166
5.29/4.63	c cleaning 5836 clauses out of 11680 with flag 19295/127494
5.38/4.73	c Got one! Elapsed wall clock time (in seconds):4.619
5.38/4.73	o 148
5.48/4.84	c cleaning 5753 clauses out of 11516 with flag 13996/133166
5.48/4.86	c Got one! Elapsed wall clock time (in seconds):4.747
5.48/4.86	o 147
5.70/5.01	c cleaning 5517 clauses out of 11049 with flag 26695/138452
5.91/5.24	c cleaning 5766 clauses out of 11533 with flag 51597/144453
5.91/5.25	c Got one! Elapsed wall clock time (in seconds):5.138
5.91/5.25	o 146
6.01/5.40	c cleaning 5464 clauses out of 10942 with flag 26029/149628
6.22/5.53	c Got one! Elapsed wall clock time (in seconds):5.418
6.22/5.53	o 145
6.22/5.57	c cleaning 5310 clauses out of 10642 with flag 4827/154792
6.43/5.75	c cleaning 5645 clauses out of 11331 with flag 32428/160791
6.63/5.97	c cleaning 6335 clauses out of 12686 with flag 64688/167791
6.83/6.10	c Got one! Elapsed wall clock time (in seconds):5.989
6.83/6.10	o 143
6.83/6.12	c Got one! Elapsed wall clock time (in seconds):6.009
6.83/6.12	o 128
6.83/6.16	c cleaning 6179 clauses out of 12367 with flag 4160/173807
6.83/6.19	c Got one! Elapsed wall clock time (in seconds):6.074
6.83/6.19	o 124
7.03/6.31	c Got one! Elapsed wall clock time (in seconds):6.195
7.03/6.31	o 122
7.03/6.38	c cleaning 6040 clauses out of 12088 with flag 10325/179707
7.24/6.53	c Got one! Elapsed wall clock time (in seconds):6.412
7.24/6.53	o 121
7.24/6.59	c cleaning 5872 clauses out of 11758 with flag 10547/185417
7.44/6.76	c Got one! Elapsed wall clock time (in seconds):6.644
7.44/6.76	o 118
7.64/6.93	c cleaning 8042 clauses out of 16098 with flag 25183/195629
7.74/7.06	c Got one! Elapsed wall clock time (in seconds):6.946
7.74/7.06	o 117
7.84/7.13	c cleaning 6886 clauses out of 13797 with flag 10861/201370
8.05/7.33	c cleaning 6448 clauses out of 12911 with flag 40769/207370
8.25/7.59	c cleaning 6729 clauses out of 13463 with flag 72022/214370
9.04/7.96	c cleaning 7362 clauses out of 14734 with flag 108729/222370
9.47/8.28	c Got one! Elapsed wall clock time (in seconds):8.167
9.47/8.28	o 116
9.67/8.46	c cleaning 10040 clauses out of 20098 with flag 26381/235096
9.87/8.68	c cleaning 8022 clauses out of 16058 with flag 56378/241096
10.17/8.92	c cleaning 7510 clauses out of 15036 with flag 92639/248096
10.37/9.18	c cleaning 7747 clauses out of 15526 with flag 132949/256096
10.47/9.29	c Got one! Elapsed wall clock time (in seconds):9.173
10.47/9.29	o 115
10.57/9.30	c Got one! Elapsed wall clock time (in seconds):9.188
10.57/9.30	o 112
10.57/9.33	c Got one! Elapsed wall clock time (in seconds):9.22
10.57/9.33	o 93
10.68/9.40	c Got one! Elapsed wall clock time (in seconds):9.284
10.68/9.40	o 86
10.68/9.44	c cleaning 7605 clauses out of 15230 with flag 5094/263547
10.78/9.56	c Got one! Elapsed wall clock time (in seconds):9.448
10.78/9.56	o 85
10.88/9.63	c cleaning 6439 clauses out of 12907 with flag 10168/268829
11.10/9.81	c Got one! Elapsed wall clock time (in seconds):9.7
11.10/9.81	o 82
11.20/10.00	c cleaning 8446 clauses out of 16899 with flag 21006/279260
11.49/10.23	c cleaning 7224 clauses out of 14454 with flag 46862/285261
11.59/10.36	c Got one! Elapsed wall clock time (in seconds):10.246
11.59/10.36	o 74
11.69/10.43	c cleaning 6381 clauses out of 12771 with flag 10742/290802
11.90/10.63	c cleaning 6180 clauses out of 12390 with flag 40201/296802
12.10/10.87	c cleaning 6602 clauses out of 13210 with flag 70397/303802
12.40/11.17	c cleaning 7304 clauses out of 14610 with flag 108741/311804
12.61/11.36	c Got one! Elapsed wall clock time (in seconds):11.246
12.61/11.36	o 71
12.71/11.46	c Got one! Elapsed wall clock time (in seconds):11.348
12.71/11.46	o 69
12.81/11.58	c cleaning 9179 clauses out of 18386 with flag 16163/322884
13.12/11.80	c cleaning 7595 clauses out of 15207 with flag 45353/328884
13.33/12.05	c cleaning 7297 clauses out of 14611 with flag 81635/335883
13.64/12.32	c cleaning 7653 clauses out of 15315 with flag 122066/343884
13.75/12.43	c Got one! Elapsed wall clock time (in seconds):12.317
13.75/12.43	o 65
13.85/12.50	c cleaning 6522 clauses out of 13052 with flag 9639/349274
13.95/12.70	c cleaning 6252 clauses out of 12530 with flag 39404/355274
14.26/12.93	c cleaning 6634 clauses out of 13278 with flag 72914/362274
14.47/13.18	c cleaning 7305 clauses out of 14644 with flag 108105/370274
14.78/13.48	c cleaning 8153 clauses out of 16340 with flag 151016/379275
15.19/13.81	c cleaning 9077 clauses out of 18188 with flag 196763/389276
15.19/13.88	c Got one! Elapsed wall clock time (in seconds):13.764
15.19/13.88	o 62
15.31/13.93	c Got one! Elapsed wall clock time (in seconds):13.817
15.31/13.93	o 60
15.41/14.04	c cleaning 7701 clauses out of 15404 with flag 13702/395569
15.52/14.12	c Got one! Elapsed wall clock time (in seconds):14.005
15.52/14.12	o 59
15.63/14.22	c cleaning 6370 clauses out of 12765 with flag 13682/400631
15.63/14.30	c Got one! Elapsed wall clock time (in seconds):14.187
15.63/14.30	o 57
15.84/14.44	c cleaning 6113 clauses out of 12236 with flag 22474/406472
16.06/14.66	c cleaning 6059 clauses out of 12123 with flag 51691/412472
16.26/14.83	c Got one! Elapsed wall clock time (in seconds):14.72
16.26/14.83	o 56
16.46/15.01	c cleaning 8078 clauses out of 16184 with flag 27685/422592
16.69/15.23	c cleaning 7037 clauses out of 14107 with flag 59078/428593
16.80/15.35	c Got one! Elapsed wall clock time (in seconds):15.235
16.80/15.35	o 52
16.90/15.42	c cleaning 6233 clauses out of 12474 with flag 10222/433997
17.11/15.62	c cleaning 6101 clauses out of 12240 with flag 40070/439996
17.31/15.86	c cleaning 6561 clauses out of 13139 with flag 76441/446996
17.61/16.13	c cleaning 7289 clauses out of 14579 with flag 111609/454997
17.92/16.43	c cleaning 8138 clauses out of 16289 with flag 150278/463996
18.23/16.78	c cleaning 9076 clauses out of 18152 with flag 197519/473997
18.44/16.92	c Got one! Elapsed wall clock time (in seconds):16.805
18.44/16.92	o 50
18.44/16.99	c cleaning 7469 clauses out of 14962 with flag 11322/479883
18.74/17.21	c cleaning 6737 clauses out of 13492 with flag 43455/485882
18.96/17.46	c cleaning 6870 clauses out of 13755 with flag 81569/492882
19.26/17.74	c cleaning 7433 clauses out of 14885 with flag 124170/500882
19.56/18.04	c cleaning 8216 clauses out of 16453 with flag 173551/509883
19.86/18.39	c cleaning 9109 clauses out of 18237 with flag 225243/519883
20.27/18.76	c cleaning 10062 clauses out of 20128 with flag 270217/530883
20.66/19.14	c Got one! Elapsed wall clock time (in seconds):19.021
20.66/19.14	o 48
20.86/19.36	c cleaning 13208 clauses out of 26431 with flag 29331/547248
21.17/19.60	c cleaning 9591 clauses out of 19218 with flag 62966/553243
21.38/19.85	c cleaning 8310 clauses out of 16627 with flag 101655/560243
21.68/20.14	c cleaning 8144 clauses out of 16317 with flag 147650/568243
21.98/20.46	c cleaning 8579 clauses out of 17173 with flag 197226/577243
22.39/20.81	c cleaning 9287 clauses out of 18595 with flag 249367/587244
22.39/20.85	c Got one! Elapsed wall clock time (in seconds):20.736
22.39/20.85	o 47
22.39/20.87	c Got one! Elapsed wall clock time (in seconds):20.755
22.39/20.87	o 46
22.58/21.04	c cleaning 7869 clauses out of 15743 with flag 24339/593679
22.70/21.19	c Got one! Elapsed wall clock time (in seconds):21.071
22.70/21.19	o 45
22.80/21.22	c cleaning 6649 clauses out of 13307 with flag 5323/599112
23.00/21.41	c cleaning 6324 clauses out of 12659 with flag 29519/605113
23.22/21.63	c cleaning 6662 clauses out of 13336 with flag 57963/612114
23.34/21.72	c Got one! Elapsed wall clock time (in seconds):21.61
23.34/21.72	o 44
23.44/21.83	c cleaning 6316 clauses out of 12644 with flag 17203/618085
23.67/22.03	c cleaning 6150 clauses out of 12328 with flag 44993/624085
23.78/22.17	c Got one! Elapsed wall clock time (in seconds):22.053
23.78/22.17	o 41
23.88/22.21	c cleaning 5793 clauses out of 11600 with flag 5388/629507
24.09/22.41	c cleaning 5896 clauses out of 11808 with flag 36081/635508
24.30/22.62	c cleaning 6448 clauses out of 12910 with flag 67139/642507
24.43/22.74	c Got one! Elapsed wall clock time (in seconds):22.621
24.43/22.74	o 33
24.53/22.81	c cleaning 5896 clauses out of 11814 with flag 11350/647859
24.74/23.02	c cleaning 5955 clauses out of 11918 with flag 44652/653859
24.93/23.25	c cleaning 6476 clauses out of 12963 with flag 79068/660859
25.03/23.38	c Got one! Elapsed wall clock time (in seconds):23.269
25.03/23.38	o 31
25.13/23.42	c cleaning 6068 clauses out of 12154 with flag 5826/666526
25.33/23.63	c cleaning 6036 clauses out of 12087 with flag 38164/672527
25.54/23.87	c cleaning 6521 clauses out of 13049 with flag 75395/679525
25.84/24.15	c cleaning 7259 clauses out of 14529 with flag 119322/687526
26.14/24.43	c cleaning 8128 clauses out of 16269 with flag 157482/696525
26.47/24.73	c cleaning 9063 clauses out of 18139 with flag 197023/706525
26.47/24.79	c Got one! Elapsed wall clock time (in seconds):24.679
26.47/24.79	o 30
26.67/24.94	c cleaning 7425 clauses out of 14862 with flag 23014/712311
26.88/25.15	c cleaning 6712 clauses out of 13435 with flag 55361/718309
27.10/25.39	c cleaning 6854 clauses out of 13722 with flag 93150/725308
27.39/25.65	c cleaning 7425 clauses out of 14868 with flag 137152/733308
27.69/25.96	c cleaning 8212 clauses out of 16443 with flag 184396/742308
27.89/26.11	c Got one! Elapsed wall clock time (in seconds):25.999
27.89/26.11	o 29
27.89/26.16	c cleaning 6954 clauses out of 13937 with flag 5705/748014
28.10/26.36	c cleaning 6472 clauses out of 12982 with flag 37346/754013
28.30/26.58	c cleaning 6745 clauses out of 13509 with flag 70440/761012
28.60/26.84	c cleaning 7376 clauses out of 14764 with flag 109738/769012
28.90/27.14	c cleaning 8187 clauses out of 16390 with flag 154054/778014
29.21/27.47	c cleaning 9087 clauses out of 18203 with flag 202254/788014
29.60/27.84	c cleaning 10039 clauses out of 20114 with flag 253416/799012
30.01/28.24	c cleaning 11038 clauses out of 22075 with flag 312643/811012
30.12/28.39	c Got one! Elapsed wall clock time (in seconds):28.276
30.12/28.39	o 26
30.22/28.43	c cleaning 8421 clauses out of 16850 with flag 5405/816825
30.44/28.66	c cleaning 7198 clauses out of 14429 with flag 37963/822825
30.63/28.89	c cleaning 7107 clauses out of 14232 with flag 73180/829826
30.93/29.16	c cleaning 7551 clauses out of 15123 with flag 113565/837824
31.25/29.46	c cleaning 8273 clauses out of 16572 with flag 158614/846824
31.56/29.79	c cleaning 9139 clauses out of 18301 with flag 206676/856826
31.95/30.16	c cleaning 10064 clauses out of 20160 with flag 261179/867824
32.37/30.57	c cleaning 11037 clauses out of 22096 with flag 319936/879824
32.89/31.02	c cleaning 12013 clauses out of 24059 with flag 382475/892824
33.40/31.52	c cleaning 13015 clauses out of 26046 with flag 453519/906824
33.50/31.66	c Got one! Elapsed wall clock time (in seconds):31.543
33.50/31.66	o 22
33.61/31.70	c cleaning 9091 clauses out of 18201 with flag 4980/911995
33.73/31.90	c cleaning 7546 clauses out of 15109 with flag 30658/917994
34.04/32.11	c cleaning 7272 clauses out of 14562 with flag 58636/924994
34.24/32.36	c cleaning 7640 clauses out of 15291 with flag 92314/932995
34.54/32.64	c cleaning 8324 clauses out of 16650 with flag 131284/941994
34.85/32.95	c cleaning 9160 clauses out of 18327 with flag 174399/951995
34.85/32.97	c Got one! Elapsed wall clock time (in seconds):32.853
34.85/32.97	o 20
35.04/33.13	c cleaning 7143 clauses out of 14309 with flag 24966/957137
35.25/33.34	c cleaning 6572 clauses out of 13166 with flag 54054/963137
35.45/33.56	c cleaning 6793 clauses out of 13594 with flag 86900/970137
35.66/33.78	c Got one! Elapsed wall clock time (in seconds):33.666
35.66/33.78	o 17
35.86/33.98	c cleaning 9840 clauses out of 19708 with flag 24844/983044
36.07/34.19	c cleaning 7921 clauses out of 15868 with flag 54168/989044
36.36/34.43	c cleaning 7454 clauses out of 14947 with flag 89042/996044
36.56/34.68	c cleaning 7746 clauses out of 15492 with flag 125846/1004044
36.77/34.89	c Got one! Elapsed wall clock time (in seconds):34.771
36.77/34.89	o 16
36.97/35.08	c cleaning 10104 clauses out of 20218 with flag 26437/1016520
37.27/35.30	c cleaning 8049 clauses out of 16113 with flag 57658/1022519
37.49/35.54	c cleaning 7522 clauses out of 15064 with flag 89868/1029519
37.80/35.81	c cleaning 7750 clauses out of 15542 with flag 127728/1037519
38.10/36.11	c cleaning 8389 clauses out of 16792 with flag 170167/1046519
38.40/36.43	c cleaning 9194 clauses out of 18403 with flag 215847/1056519
38.70/36.77	c cleaning 10095 clauses out of 20205 with flag 268144/1067518
39.00/37.09	c starts		: 277
39.00/37.09	c conflicts		: 1077359
39.00/37.09	c decisions		: 1733778
39.00/37.09	c propagations		: 25632214
39.00/37.09	c inspects		: 253798349
39.00/37.09	c shortcuts		: 0
39.00/37.09	c learnt literals	: 31
39.00/37.09	c learnt binary clauses	: 41
39.00/37.09	c learnt ternary clauses	: 1429
39.00/37.09	c learnt constraints	: 1077327
39.00/37.09	c ignored constraints	: 0
39.00/37.09	c root simplifications	: 0
39.00/37.09	c removed literals (reason simplification)	: 0
39.00/37.09	c reason swapping (by a shorter reason)	: 0
39.00/37.09	c Calls to reduceDB	: 143
39.00/37.09	c Number of update (reduction) of LBD	: 317971
39.00/37.09	c number of reductions to clauses (during analyze)	: 0
39.00/37.09	c number of learned constraints concerned by reduction	: 0
39.00/37.09	c number of learning phase by resolution	: 0
39.00/37.09	c number of learning phase by cutting planes	: 0
39.00/37.09	c speed (assignments/second)	: 694226.0440929527
39.00/37.09	c non guided choices	4867
39.00/37.09	c learnt constraints type 
39.00/37.09	c constraints type 
39.00/37.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
39.00/37.09	c ignored satisfied constraints => 1
39.00/37.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
39.00/37.09	c 102 constraints processed.
39.00/37.09	s OPTIMUM FOUND
39.00/37.09	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 
39.00/37.09	c objective function=16
39.00/37.09	c Total wall clock time (in seconds): 36.98

Verifier Data

OK	16

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

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 16882
/proc/meminfo: memFree=30841616/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16882/stat : 16882 (java) R 16880 16882 14287 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 291543217 23793664 361 33554432000 1073741824 1073778376 140735124439376 140735124428440 214360439347 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 5809 372 285 9 0 128 0

[startup+0.0945739 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 16882
/proc/meminfo: memFree=30841616/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 4304 0 1 0 8 1 0 0 20 0 18 0 291543217 9787817984 4991 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2389604 4991 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.100321 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 16882
/proc/meminfo: memFree=30841616/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 4342 0 1 0 9 1 0 0 20 0 18 0 291543217 9787817984 5029 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2389604 5029 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300178 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 16882
/proc/meminfo: memFree=30841616/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 6824 0 1 0 49 1 0 0 20 0 19 0 291543217 9855979520 7531 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 7531 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700309 s]
/proc/loadavg: 2.05 2.02 2.00 3/195 16882
/proc/meminfo: memFree=30841616/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=1.05 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 7492 0 1 0 103 2 0 0 20 0 19 0 291543217 9855979520 9565 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 9565 2269 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 16901
/proc/meminfo: memFree=30809896/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=1.91 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 7528 0 1 0 189 2 0 0 20 0 19 0 291543217 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 10617 2271 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2520 0 1 0 140 1 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644480627096 139644420778654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 291543219 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 2194 0 0 0 21 0 0 0 20 0 19 0 291543223 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 1557 0 0 0 17 0 0 0 20 0 19 0 291543223 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 10617 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9624980

[startup+3.10066 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 16901
/proc/meminfo: memFree=30798548/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=3.69 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 11310 0 1 0 366 3 0 0 20 0 19 0 291543217 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 12858 2272 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=2.92 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2527 0 1 0 291 1 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644480627096 139644420806903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 291543219 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 2949 0 0 0 25 0 0 0 20 0 19 0 291543223 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 4570 0 0 0 30 0 0 0 20 0 19 0 291543223 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 12858 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9624980

[startup+6.30079 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 16901
/proc/meminfo: memFree=30800408/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=7.03 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 11385 0 1 0 699 4 0 0 20 0 19 0 291543217 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 12378 2273 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=5.94 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2544 0 1 0 593 1 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644480627096 139644420795729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543218 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 31 0 0 0 25 0 0 0 20 0 19 0 291543219 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 2949 0 0 0 25 0 0 0 20 0 19 0 291543223 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 4620 0 0 0 40 0 0 0 20 0 19 0 291543223 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 12378 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291543218 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=1.29 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) R 16880 16882 14287 0 -1 4202560 32 0 0 0 129 0 0 0 20 0 19 0 291543219 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644304713328 139644486750203 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 3267 0 0 0 35 0 0 0 20 0 19 0 291543223 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 9115 0 0 0 85 2 0 0 20 0 19 0 291543223 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 13036 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 33.85
Current children cumulated vsize (KiB) 9624980

[startup+35.1007 s]
/proc/loadavg: 2.30 2.08 2.02 3/214 16901
/proc/meminfo: memFree=30796344/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=37.08 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 16371 0 1 0 3700 8 0 0 20 0 19 0 291543217 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 13041 2274 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=33.13 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2652 0 1 0 3312 1 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644480627096 139644420779006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 15 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 25 0 0 0 14 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 35 0 0 0 144 0 0 0 20 0 19 0 291543219 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 3267 0 0 0 36 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 9116 0 0 0 85 2 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 37.08
Current children cumulated vsize (KiB) 9624980

[startup+35.9007 s]
/proc/loadavg: 2.30 2.08 2.02 3/214 16901
/proc/meminfo: memFree=30796344/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=37.9 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 16374 0 1 0 3782 8 0 0 20 0 19 0 291543217 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 13041 2274 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=33.87 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2655 0 1 0 3386 1 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644480627096 139644420548100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0.15 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 15 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 25 0 0 0 14 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 18 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 14 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=1.47 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 35 0 0 0 147 0 0 0 20 0 19 0 291543219 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 3267 0 0 0 36 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 9116 0 0 0 85 2 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 13041 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 37.9
Current children cumulated vsize (KiB) 9624980

[startup+36.7007 s]
/proc/loadavg: 2.27 2.08 2.02 3/214 16901
/proc/meminfo: memFree=30796344/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=9624980 CPUtime=38.7 cores=1,3,5,7
/proc/16882/stat : 16882 (java) S 16880 16882 14287 0 -1 4202496 16377 0 1 0 3862 8 0 0 20 0 19 0 291543217 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 140735124430512 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 2406245 13042 2274 9 0 2396937 0
[pid=16882/tid=16884] ppid=16880 vsize=9624980 CPUtime=34.64 cores=1,3,5,7
/proc/16882/task/16884/stat : 16884 (java) R 16880 16882 14287 0 -1 4202560 2657 0 1 0 3463 1 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644480626976 139644420804960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16885] ppid=16880 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16882/task/16885/stat : 16885 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 16 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644324494120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16886] ppid=16880 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/16882/task/16886/stat : 16886 (java) S 16880 16882 14287 0 -1 4202560 25 0 0 0 14 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644323441320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16887] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16887/stat : 16887 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644322389032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16888] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16888/stat : 16888 (java) S 16880 16882 14287 0 -1 4202560 19 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644321336232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16889] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16889/stat : 16889 (java) S 16880 16882 14287 0 -1 4202560 14 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644320282920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16890] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16890/stat : 16890 (java) S 16880 16882 14287 0 -1 4202560 16 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644319230120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=9624980 CPUtime=0.13 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) S 16880 16882 14287 0 -1 4202560 9 0 0 0 13 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644318177832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16892] ppid=16880 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/16882/task/16892/stat : 16892 (java) S 16880 16882 14287 0 -1 4202560 11 0 0 0 12 0 0 0 20 0 19 0 291543218 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644317125032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16882/tid=16893] ppid=16880 vsize=9624980 CPUtime=1.49 cores=1,3,5,7
/proc/16882/task/16893/stat : 16893 (java) S 16880 16882 14287 0 -1 4202560 35 0 0 0 149 0 0 0 20 0 19 0 291543219 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644304714472 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16894] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16894/stat : 16894 (java) S 16880 16882 14287 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644303660536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16895] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16895/stat : 16895 (java) S 16880 16882 14287 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543220 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644302608136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16896] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16896/stat : 16896 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644301556624 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16897] ppid=16880 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/16882/task/16897/stat : 16897 (java) S 16880 16882 14287 0 -1 4202560 3267 0 0 0 36 0 0 0 20 0 19 0 291543223 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644300503224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16898] ppid=16880 vsize=9624980 CPUtime=0.87 cores=1,3,5,7
/proc/16882/task/16898/stat : 16898 (java) S 16880 16882 14287 0 -1 4202560 9116 0 0 0 85 2 0 0 20 0 19 0 291543223 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644299450424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16882/tid=16899] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16899/stat : 16899 (java) S 16880 16882 14287 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644298398328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16882/tid=16900] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16900/stat : 16900 (java) S 16880 16882 14287 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543223 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644297345736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16882/tid=16901] ppid=16880 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16882/task/16901/stat : 16901 (java) S 16880 16882 14287 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543234 9855979520 13042 33554432000 1073741824 1073778376 140735124439376 139644296291752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 38.7
Current children cumulated vsize (KiB) 9624980

[startup+37.1006 s]
/proc/loadavg: 2.27 2.08 2.02 3/214 16901
/proc/meminfo: memFree=30796344/32873844 swapFree=7632/7632
[pid=16882] ppid=16880 vsize=0 CPUtime=39.08 cores=1,3,5,7
/proc/16882/stat : 16882 (java) Z 16880 16882 14287 0 -1 4203532 16391 0 1 0 3893 15 0 0 20 0 2 0 291543217 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16882/statm: 0 0 0 0 0 0 0
[pid=16882/tid=16891] ppid=16880 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/16882/task/16891/stat : 16891 (java) R 16880 16882 14287 0 -1 4203588 9 0 0 0 14 0 0 0 20 0 2 0 291543218 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 37.1014
CPU time (s): 39.0971
CPU user time (s): 38.9351
CPU system time (s): 0.161975
CPU usage (%): 105.379
Max. virtual memory (cumulated for all children) (KiB): 9625304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.9351
system time used= 0.161975
maximum resident set size= 62472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16391
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= 4815
involuntary context switches= 5195

runsolver used 0.074988 second user time and 0.220966 second system time

The end

Launcher Data

Begin job on node130 at 2012-05-29 03:16:16
IDJOB=3718430
IDBENCH=79214
IDSOLVER=2301
FILE ID=node130/3718430-1338254176
RUNJOBID= node130-1338248781-16336
PBS_JOBID= 14624629
Free space on /tmp= 71472 MiB

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

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

MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6
RANDOM SEED=505362057

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.875
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.86
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.875
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.875
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.875
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30842036 kB
Buffers:          303308 kB
Cached:           126980 kB
SwapCached:         4176 kB
Active:          1159232 kB
Inactive:          37360 kB
Active(anon):     757516 kB
Inactive(anon):     9116 kB
Active(file):     401716 kB
Inactive(file):    28244 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099920 kB
Dirty:               256 kB
Writeback:             0 kB
AnonPages:        799580 kB
Mapped:            17580 kB
Shmem:                 8 kB
Slab:             692896 kB
SReclaimable:     134612 kB
SUnreclaim:       558284 kB
KernelStack:        1768 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1234944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    770048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71472 MiB
End job on node130 at 2012-05-29 03:16:53