Trace number 3718117

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 84.88 82.5727

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.2.v20120528
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	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-3718117-1338251703.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.053s.
0.10/0.16	c declared #vars     169
0.10/0.16	c internal #vars     197
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.10/0.16	c ignored satisfied constraints => 1
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.10/0.16	c 102 constraints processed.
0.10/0.16	c objective function length is 28 literals
0.71/0.43	c cleaning 2502 clauses out of 5003 with flag 14476/5003
0.71/0.47	c SATISFIABLE
0.71/0.47	c OPTIMIZING...
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.364
0.71/0.49	o 1116
0.84/0.56	c cleaning 4039 clauses out of 8078 with flag 11653/10580
1.09/0.70	c cleaning 5016 clauses out of 10037 with flag 30631/16578
1.20/0.87	c cleaning 6010 clauses out of 12021 with flag 54689/23578
1.20/0.89	c Got one! Elapsed wall clock time (in seconds):0.784
1.20/0.89	o 1095
1.33/0.92	c Got one! Elapsed wall clock time (in seconds):0.81
1.33/0.92	o 976
1.33/0.98	c Got one! Elapsed wall clock time (in seconds):0.875
1.33/0.98	o 929
1.44/1.05	c cleaning 6321 clauses out of 12652 with flag 7353/30219
1.54/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
1.54/1.17	o 915
1.63/1.24	c Got one! Elapsed wall clock time (in seconds):1.137
1.63/1.24	o 907
1.73/1.33	c cleaning 8670 clauses out of 17346 with flag 11917/41234
1.83/1.43	c Got one! Elapsed wall clock time (in seconds):1.322
1.83/1.43	o 905
1.83/1.49	c cleaning 7323 clauses out of 14656 with flag 8239/47214
1.94/1.60	c Got one! Elapsed wall clock time (in seconds):1.49
1.94/1.60	o 903
2.04/1.61	c Got one! Elapsed wall clock time (in seconds):1.502
2.04/1.61	o 847
2.04/1.67	c cleaning 6805 clauses out of 13622 with flag 7880/53503
2.14/1.79	c Got one! Elapsed wall clock time (in seconds):1.679
2.14/1.79	o 842
2.24/1.82	c cleaning 6361 clauses out of 12735 with flag 4495/59421
2.35/1.98	c cleaning 6182 clauses out of 12374 with flag 27162/65421
2.56/2.17	c cleaning 6594 clauses out of 13192 with flag 54862/72421
2.56/2.20	c Got one! Elapsed wall clock time (in seconds):2.09
2.56/2.20	o 839
2.90/2.34	c cleaning 6172 clauses out of 12348 with flag 20535/78171
3.13/2.40	c Got one! Elapsed wall clock time (in seconds):2.296
3.13/2.40	o 825
3.13/2.47	c Got one! Elapsed wall clock time (in seconds):2.362
3.13/2.47	o 661
3.30/2.52	c cleaning 5798 clauses out of 11611 with flag 4576/83606
3.49/2.61	c Got one! Elapsed wall clock time (in seconds):2.501
3.49/2.61	o 637
3.49/2.68	c cleaning 5464 clauses out of 10945 with flag 9166/88738
3.89/2.86	c cleaning 5737 clauses out of 11481 with flag 34991/94738
4.09/2.90	c Got one! Elapsed wall clock time (in seconds):2.792
4.09/2.90	o 621
4.20/3.02	c cleaning 5449 clauses out of 10911 with flag 19678/99905
4.30/3.18	c cleaning 5727 clauses out of 11462 with flag 44001/105905
4.30/3.19	c Got one! Elapsed wall clock time (in seconds):3.082
4.30/3.19	o 608
4.51/3.34	c cleaning 5438 clauses out of 10898 with flag 24180/111068
4.60/3.49	c Got one! Elapsed wall clock time (in seconds):3.384
4.60/3.49	o 596
4.70/3.59	c Got one! Elapsed wall clock time (in seconds):3.488
4.70/3.59	o 589
4.80/3.67	c cleaning 8452 clauses out of 16922 with flag 9903/122530
4.90/3.75	c Got one! Elapsed wall clock time (in seconds):3.644
4.90/3.75	o 581
5.00/3.86	c cleaning 7004 clauses out of 14017 with flag 15396/128077
5.10/3.98	c Got one! Elapsed wall clock time (in seconds):3.872
5.10/3.98	o 568
5.20/4.05	c cleaning 6422 clauses out of 12861 with flag 10281/133925
5.41/4.26	c cleaning 6216 clauses out of 12440 with flag 40100/139926
5.41/4.27	c Got one! Elapsed wall clock time (in seconds):4.168
5.41/4.27	o 547
5.63/4.44	c cleaning 5726 clauses out of 11460 with flag 25458/145162
5.84/4.65	c cleaning 5861 clauses out of 11735 with flag 55712/151163
6.04/4.84	c Got one! Elapsed wall clock time (in seconds):4.737
6.04/4.84	o 542
6.24/5.04	c cleaning 8909 clauses out of 17831 with flag 24299/163120
6.46/5.24	c cleaning 7455 clauses out of 14919 with flag 51953/169117
6.67/5.41	c Got one! Elapsed wall clock time (in seconds):5.303
6.67/5.41	o 537
6.67/5.42	c Got one! Elapsed wall clock time (in seconds):5.317
6.67/5.42	o 534
6.77/5.58	c cleaning 9327 clauses out of 18659 with flag 23252/180312
6.97/5.76	c cleaning 7665 clauses out of 15332 with flag 50373/186312
7.17/5.96	c cleaning 7327 clauses out of 14667 with flag 86340/193312
7.38/6.11	c Got one! Elapsed wall clock time (in seconds):5.999
7.38/6.11	o 524
7.59/6.31	c cleaning 8756 clauses out of 17521 with flag 27448/203493
7.83/6.55	c cleaning 7379 clauses out of 14766 with flag 60026/209494
7.95/6.64	c Got one! Elapsed wall clock time (in seconds):6.532
7.95/6.64	o 520
8.04/6.74	c cleaning 6410 clauses out of 12826 with flag 14650/214933
8.24/6.94	c cleaning 6195 clauses out of 12414 with flag 43389/220931
8.44/7.18	c cleaning 6587 clauses out of 13219 with flag 79256/227931
8.76/7.42	c cleaning 7309 clauses out of 14632 with flag 117028/235931
8.76/7.45	c Got one! Elapsed wall clock time (in seconds):7.347
8.76/7.45	o 510
8.86/7.60	c cleaning 6172 clauses out of 12355 with flag 22105/240963
9.16/7.82	c cleaning 6080 clauses out of 12184 with flag 55383/246964
9.37/8.07	c cleaning 6540 clauses out of 13103 with flag 91754/253963
9.59/8.28	c Got one! Elapsed wall clock time (in seconds):8.172
9.59/8.28	o 496
9.69/8.32	c Got one! Elapsed wall clock time (in seconds):8.212
9.69/8.32	o 492
9.79/8.42	c Got one! Elapsed wall clock time (in seconds):8.313
9.79/8.42	o 485
9.79/8.48	c cleaning 9494 clauses out of 19002 with flag 5302/266402
9.89/8.51	c Got one! Elapsed wall clock time (in seconds):8.399
9.89/8.51	o 468
10.00/8.65	c Got one! Elapsed wall clock time (in seconds):8.544
10.00/8.65	o 454
10.00/8.70	c cleaning 7896 clauses out of 15803 with flag 5462/272697
10.21/8.88	c Got one! Elapsed wall clock time (in seconds):8.77
10.21/8.88	o 453
10.50/9.10	c cleaning 9375 clauses out of 18761 with flag 27913/283551
10.50/9.17	c Got one! Elapsed wall clock time (in seconds):9.062
10.50/9.17	o 441
10.72/9.31	c cleaning 7647 clauses out of 15315 with flag 19510/289480
10.92/9.53	c cleaning 6825 clauses out of 13664 with flag 50844/295476
11.12/9.73	c cleaning 6914 clauses out of 13839 with flag 83659/302476
11.23/9.84	c Got one! Elapsed wall clock time (in seconds):9.731
11.23/9.84	o 423
11.33/9.91	c cleaning 6438 clauses out of 12893 with flag 11349/308444
11.53/10.14	c cleaning 6212 clauses out of 12456 with flag 46173/314445
11.63/10.25	c Got one! Elapsed wall clock time (in seconds):10.147
11.63/10.25	o 412
11.73/10.34	c cleaning 5799 clauses out of 11615 with flag 12037/319816
11.93/10.54	c cleaning 5898 clauses out of 11815 with flag 42336/325815
12.13/10.78	c cleaning 6454 clauses out of 12917 with flag 78938/332815
12.44/11.08	c cleaning 7224 clauses out of 14463 with flag 122182/340815
12.74/11.35	c Got one! Elapsed wall clock time (in seconds):11.243
12.74/11.35	o 402
12.94/11.58	c cleaning 10278 clauses out of 20587 with flag 29895/354163
13.24/11.84	c cleaning 8141 clauses out of 16307 with flag 66217/360161
13.54/12.11	c cleaning 7574 clauses out of 15168 with flag 103456/367163
13.84/12.43	c cleaning 7787 clauses out of 15593 with flag 147768/375162
14.24/12.83	c cleaning 8399 clauses out of 16806 with flag 200082/384162
14.55/13.18	c cleaning 9204 clauses out of 18407 with flag 252784/394162
14.55/13.20	c Got one! Elapsed wall clock time (in seconds):13.094
14.55/13.20	o 391
14.65/13.27	c Got one! Elapsed wall clock time (in seconds):13.161
14.65/13.27	o 388
14.74/13.34	c Got one! Elapsed wall clock time (in seconds):13.236
14.74/13.34	o 384
14.85/13.44	c cleaning 7757 clauses out of 15527 with flag 12206/400486
14.95/13.52	c Got one! Elapsed wall clock time (in seconds):13.413
14.95/13.52	o 372
15.05/13.64	c cleaning 6508 clauses out of 13035 with flag 18102/405751
15.15/13.73	c Got one! Elapsed wall clock time (in seconds):13.621
15.15/13.73	o 370
15.25/13.85	c cleaning 5900 clauses out of 11820 with flag 17076/411044
15.45/14.06	c cleaning 5953 clauses out of 11919 with flag 48298/417043
15.66/14.27	c cleaning 6481 clauses out of 12969 with flag 82177/424046
15.77/14.35	c Got one! Elapsed wall clock time (in seconds):14.249
15.77/14.36	o 366
15.86/14.47	c cleaning 6166 clauses out of 12356 with flag 16609/429914
15.96/14.51	c Got one! Elapsed wall clock time (in seconds):14.408
15.96/14.51	o 353
16.06/14.68	c cleaning 5713 clauses out of 11451 with flag 24029/435175
16.37/14.94	c cleaning 5854 clauses out of 11737 with flag 60278/441174
16.67/15.20	c cleaning 6429 clauses out of 12884 with flag 99346/448175
16.79/15.30	c Got one! Elapsed wall clock time (in seconds):15.198
16.79/15.30	o 350
16.79/15.38	c cleaning 5810 clauses out of 11639 with flag 11213/453359
17.10/15.62	c cleaning 5910 clauses out of 11831 with flag 44795/459361
17.41/15.91	c cleaning 6453 clauses out of 12920 with flag 83543/466360
17.72/16.20	c cleaning 7223 clauses out of 14466 with flag 125207/474359
17.94/16.45	c Got one! Elapsed wall clock time (in seconds):16.34
17.94/16.45	o 347
18.13/16.69	c cleaning 9720 clauses out of 19468 with flag 31053/486584
18.44/16.94	c cleaning 7856 clauses out of 15746 with flag 64926/492582
18.74/17.24	c cleaning 7430 clauses out of 14892 with flag 104080/499584
19.05/17.55	c cleaning 7722 clauses out of 15461 with flag 146077/507583
19.44/17.92	c cleaning 8364 clauses out of 16738 with flag 195405/516582
19.55/18.04	c Got one! Elapsed wall clock time (in seconds):17.937
19.55/18.04	o 346
19.65/18.12	c cleaning 7071 clauses out of 14159 with flag 11467/522367
19.85/18.31	c cleaning 6543 clauses out of 13087 with flag 39871/528366
19.85/18.34	c Got one! Elapsed wall clock time (in seconds):18.235
19.85/18.34	o 343
20.06/18.54	c cleaning 5977 clauses out of 11973 with flag 29582/533795
20.28/18.80	c cleaning 5986 clauses out of 11991 with flag 65233/539790
20.60/19.07	c cleaning 6491 clauses out of 13005 with flag 103152/546790
21.01/19.41	c cleaning 7241 clauses out of 14517 with flag 148704/554793
21.33/19.76	c cleaning 8124 clauses out of 16274 with flag 195473/563791
21.84/20.21	c cleaning 9063 clauses out of 18150 with flag 251717/573791
22.24/20.68	c cleaning 10028 clauses out of 20086 with flag 312388/584790
22.45/20.86	c Got one! Elapsed wall clock time (in seconds):20.749
22.45/20.86	o 337
22.45/20.88	c Got one! Elapsed wall clock time (in seconds):20.778
22.45/20.88	o 316
22.55/20.98	c Got one! Elapsed wall clock time (in seconds):20.877
22.55/20.98	o 311
22.75/21.11	c cleaning 10678 clauses out of 21369 with flag 15565/596101
22.85/21.27	c Got one! Elapsed wall clock time (in seconds):21.166
22.85/21.27	o 306
23.09/21.49	c cleaning 10474 clauses out of 20961 with flag 29090/606371
23.39/21.70	c cleaning 8241 clauses out of 16487 with flag 61862/612371
23.39/21.73	c Got one! Elapsed wall clock time (in seconds):21.628
23.39/21.73	o 296
23.60/21.95	c cleaning 7071 clauses out of 14176 with flag 31385/618301
23.89/22.21	c cleaning 6542 clauses out of 13105 with flag 68334/624301
24.09/22.44	c cleaning 6771 clauses out of 13562 with flag 105221/631300
24.19/22.54	c Got one! Elapsed wall clock time (in seconds):22.435
24.19/22.54	o 294
24.29/22.63	c cleaning 6105 clauses out of 12235 with flag 12521/636744
24.50/22.88	c cleaning 6054 clauses out of 12129 with flag 49004/642743
24.70/23.07	c Got one! Elapsed wall clock time (in seconds):22.962
24.70/23.07	o 282
24.90/23.29	c cleaning 8244 clauses out of 16499 with flag 28267/653167
25.20/23.55	c cleaning 7109 clauses out of 14254 with flag 63660/659166
25.50/23.85	c cleaning 7064 clauses out of 14145 with flag 102673/666166
25.81/24.17	c cleaning 7523 clauses out of 15081 with flag 146348/674166
25.91/24.27	c Got one! Elapsed wall clock time (in seconds):24.168
25.91/24.27	o 281
26.00/24.36	c cleaning 6526 clauses out of 13088 with flag 12911/679696
26.30/24.62	c cleaning 6256 clauses out of 12561 with flag 50313/685695
26.50/24.90	c cleaning 6647 clauses out of 13305 with flag 87805/692695
26.92/25.22	c cleaning 7319 clauses out of 14658 with flag 131755/700695
27.21/25.59	c cleaning 8152 clauses out of 16340 with flag 180603/709696
27.61/25.98	c Got one! Elapsed wall clock time (in seconds):25.87
27.61/25.98	o 278
27.91/26.25	c cleaning 11340 clauses out of 22697 with flag 32507/724205
28.22/26.55	c cleaning 8670 clauses out of 17358 with flag 71229/730206
28.52/26.85	c cleaning 7838 clauses out of 15687 with flag 111984/737205
28.82/27.18	c cleaning 7914 clauses out of 15849 with flag 158151/745205
29.22/27.57	c cleaning 8445 clauses out of 16935 with flag 210295/754205
29.62/27.99	c cleaning 9232 clauses out of 18490 with flag 268712/764205
30.12/28.45	c cleaning 10123 clauses out of 20258 with flag 331464/775205
30.53/28.88	c Got one! Elapsed wall clock time (in seconds):28.773
30.53/28.88	o 277
30.83/29.15	c cleaning 12867 clauses out of 25760 with flag 30353/790830
31.13/29.42	c cleaning 9428 clauses out of 18892 with flag 65329/796829
31.45/29.72	c cleaning 8216 clauses out of 16463 with flag 106530/803828
31.75/30.04	c cleaning 8101 clauses out of 16247 with flag 151707/811828
32.16/30.41	c cleaning 8565 clauses out of 17146 with flag 201238/820828
32.57/30.81	c cleaning 9260 clauses out of 18582 with flag 255448/830829
32.96/31.26	c cleaning 10141 clauses out of 20323 with flag 316965/841830
33.46/31.75	c cleaning 11081 clauses out of 22181 with flag 385260/853829
34.07/32.30	c cleaning 12034 clauses out of 24099 with flag 460380/866828
34.67/32.92	c cleaning 13016 clauses out of 26065 with flag 543753/880828
34.78/33.04	c Got one! Elapsed wall clock time (in seconds):32.933
34.78/33.04	o 272
34.78/33.10	c Got one! Elapsed wall clock time (in seconds):32.989
34.78/33.10	o 270
34.88/33.18	c cleaning 9805 clauses out of 19621 with flag 11910/887400
34.98/33.29	c Got one! Elapsed wall clock time (in seconds):33.183
34.98/33.29	o 264
35.08/33.39	c cleaning 7646 clauses out of 15310 with flag 13184/892894
35.28/33.55	c Got one! Elapsed wall clock time (in seconds):33.448
35.28/33.55	o 258
35.38/33.61	c cleaning 6720 clauses out of 13465 with flag 6683/898695
35.38/33.69	c Got one! Elapsed wall clock time (in seconds):33.583
35.38/33.69	o 242
35.58/33.87	c cleaning 6313 clauses out of 12635 with flag 24941/904585
35.79/34.10	c cleaning 6145 clauses out of 12322 with flag 58427/910585
35.89/34.13	c Got one! Elapsed wall clock time (in seconds):34.02
35.89/34.13	o 241
36.09/34.35	c cleaning 5958 clauses out of 11940 with flag 32554/916348
36.40/34.61	c cleaning 5976 clauses out of 11980 with flag 70142/922346
36.40/34.65	c Got one! Elapsed wall clock time (in seconds):34.548
36.40/34.65	o 240
36.60/34.83	c cleaning 5542 clauses out of 11100 with flag 25539/927442
36.80/35.07	c cleaning 5773 clauses out of 11556 with flag 63285/933440
37.10/35.36	c cleaning 6379 clauses out of 12783 with flag 103884/940440
37.20/35.40	c Got one! Elapsed wall clock time (in seconds):35.293
37.20/35.40	o 233
37.30/35.57	c cleaning 5803 clauses out of 11617 with flag 25320/945653
37.60/35.82	c cleaning 5900 clauses out of 11814 with flag 62152/951653
37.90/36.10	c cleaning 6434 clauses out of 12913 with flag 102357/958652
38.20/36.43	c cleaning 7229 clauses out of 14479 with flag 150228/966652
38.40/36.60	c Got one! Elapsed wall clock time (in seconds):36.493
38.40/36.60	o 228
38.40/36.65	c cleaning 6501 clauses out of 13021 with flag 6130/972423
38.60/36.89	c cleaning 6247 clauses out of 12521 with flag 42983/978424
38.90/37.17	c cleaning 6631 clauses out of 13277 with flag 84122/985427
39.21/37.48	c cleaning 7303 clauses out of 14643 with flag 129699/993424
39.60/37.84	c cleaning 8158 clauses out of 16339 with flag 182872/1002423
40.00/38.26	c cleaning 9079 clauses out of 18183 with flag 242780/1012425
40.40/38.62	c Got one! Elapsed wall clock time (in seconds):38.515
40.40/38.62	o 222
40.60/38.88	c cleaning 12532 clauses out of 25085 with flag 31659/1028406
40.91/39.16	c cleaning 9268 clauses out of 18553 with flag 68451/1034406
41.20/39.46	c cleaning 8134 clauses out of 16285 with flag 110340/1041406
41.60/39.81	c cleaning 8057 clauses out of 16151 with flag 158626/1049406
41.90/40.18	c cleaning 8530 clauses out of 17094 with flag 211135/1058406
42.43/40.61	c cleaning 9277 clauses out of 18564 with flag 270587/1068406
42.82/41.08	c cleaning 10126 clauses out of 20287 with flag 337308/1079406
43.13/41.39	c Got one! Elapsed wall clock time (in seconds):41.282
43.13/41.39	o 221
43.43/41.62	c cleaning 12625 clauses out of 25286 with flag 29546/1094531
43.63/41.88	c cleaning 9327 clauses out of 18663 with flag 65771/1100533
43.93/42.16	c cleaning 8159 clauses out of 16336 with flag 106817/1107533
44.23/42.48	c cleaning 8082 clauses out of 16178 with flag 154533/1115534
44.64/42.83	c cleaning 8539 clauses out of 17096 with flag 207133/1124534
45.03/43.23	c cleaning 9272 clauses out of 18556 with flag 267060/1134533
45.43/43.68	c cleaning 10124 clauses out of 20282 with flag 333018/1145531
45.94/44.16	c cleaning 11066 clauses out of 22159 with flag 406391/1157532
46.54/44.72	c cleaning 12031 clauses out of 24093 with flag 486430/1170532
46.85/45.02	c Got one! Elapsed wall clock time (in seconds):44.911
46.85/45.02	o 217
47.04/45.26	c cleaning 12366 clauses out of 24754 with flag 31191/1183224
47.34/45.52	c cleaning 9186 clauses out of 18388 with flag 68651/1189224
47.64/45.80	c cleaning 8091 clauses out of 16201 with flag 111264/1196223
47.85/46.10	c cleaning 8045 clauses out of 16110 with flag 159625/1204223
48.25/46.45	c cleaning 8528 clauses out of 17069 with flag 213906/1213227
48.25/46.48	c Got one! Elapsed wall clock time (in seconds):46.373
48.25/46.48	o 212
48.55/46.72	c cleaning 7081 clauses out of 14188 with flag 34550/1218874
48.75/46.99	c cleaning 6541 clauses out of 13107 with flag 73569/1224874
49.06/47.28	c cleaning 6770 clauses out of 13568 with flag 117461/1231876
49.46/47.62	c cleaning 7389 clauses out of 14796 with flag 166518/1239874
49.86/48.02	c cleaning 8186 clauses out of 16407 with flag 223269/1248874
50.27/48.45	c cleaning 9100 clauses out of 18222 with flag 285450/1258875
50.76/48.92	c cleaning 10051 clauses out of 20123 with flag 352080/1269876
51.27/49.45	c cleaning 11026 clauses out of 22070 with flag 426052/1281874
51.88/50.04	c cleaning 12012 clauses out of 24045 with flag 509617/1294875
52.49/50.67	c cleaning 13009 clauses out of 26033 with flag 598951/1308875
53.19/51.37	c cleaning 13999 clauses out of 28023 with flag 696953/1323874
53.29/51.47	c Got one! Elapsed wall clock time (in seconds):51.363
53.29/51.47	o 202
53.29/51.49	c Got one! Elapsed wall clock time (in seconds):51.383
53.29/51.49	o 196
53.39/51.53	c Got one! Elapsed wall clock time (in seconds):51.42
53.39/51.53	o 190
53.39/51.59	c Got one! Elapsed wall clock time (in seconds):51.483
53.39/51.59	o 187
53.49/51.70	c cleaning 10635 clauses out of 21283 with flag 13223/1331133
53.69/51.89	c Got one! Elapsed wall clock time (in seconds):51.783
53.69/51.89	o 185
53.89/52.07	c cleaning 10580 clauses out of 21166 with flag 27523/1341651
54.09/52.26	c cleaning 8286 clauses out of 16587 with flag 58601/1347652
54.19/52.31	c Got one! Elapsed wall clock time (in seconds):52.206
54.19/52.31	o 180
54.29/52.44	c Got one! Elapsed wall clock time (in seconds):52.335
54.29/52.44	o 176
54.29/52.49	c cleaning 6920 clauses out of 13868 with flag 6307/1353219
54.61/52.76	c cleaning 6467 clauses out of 12949 with flag 44977/1359220
54.91/53.06	c cleaning 6734 clauses out of 13481 with flag 90993/1366219
55.21/53.33	c cleaning 7370 clauses out of 14749 with flag 133048/1374221
55.41/53.53	c Got one! Elapsed wall clock time (in seconds):53.427
55.41/53.53	o 160
55.61/53.74	c Got one! Elapsed wall clock time (in seconds):53.63
55.61/53.74	o 155
55.61/53.80	c cleaning 9840 clauses out of 19689 with flag 6108/1386531
55.93/54.08	c cleaning 7919 clauses out of 15850 with flag 45366/1392532
56.23/54.39	c cleaning 7448 clauses out of 14932 with flag 91854/1399533
56.65/54.76	c cleaning 7722 clauses out of 15482 with flag 144675/1407531
57.04/55.11	c cleaning 8378 clauses out of 16761 with flag 199792/1416532
57.35/55.41	c Got one! Elapsed wall clock time (in seconds):55.306
57.35/55.41	o 148
57.55/55.68	c cleaning 11069 clauses out of 22152 with flag 34998/1430301
57.87/55.98	c cleaning 8531 clauses out of 17081 with flag 75342/1436299
58.30/56.31	c cleaning 7762 clauses out of 15552 with flag 122636/1443301
58.61/56.67	c cleaning 7882 clauses out of 15788 with flag 175192/1451299
58.92/56.97	c Got one! Elapsed wall clock time (in seconds):56.865
58.92/56.97	o 143
59.22/57.24	c cleaning 10238 clauses out of 20498 with flag 33458/1463891
59.53/57.53	c cleaning 8109 clauses out of 16260 with flag 73670/1469891
59.83/57.84	c cleaning 7565 clauses out of 15154 with flag 120769/1476894
60.13/58.13	c cleaning 7785 clauses out of 15586 with flag 166777/1484891
60.34/58.32	c Got one! Elapsed wall clock time (in seconds):58.213
60.34/58.32	o 142
60.53/58.58	c cleaning 9127 clauses out of 18269 with flag 34598/1495359
60.84/58.86	c cleaning 7554 clauses out of 15142 with flag 75612/1501359
61.14/59.19	c cleaning 7284 clauses out of 14589 with flag 123697/1508360
61.55/59.55	c cleaning 7637 clauses out of 15306 with flag 177309/1516361
61.86/59.83	c Got one! Elapsed wall clock time (in seconds):59.722
61.86/59.83	o 137
62.16/60.10	c cleaning 9861 clauses out of 19752 with flag 34869/1528444
62.38/60.40	c cleaning 7923 clauses out of 15891 with flag 76288/1534444
62.78/60.70	c cleaning 7471 clauses out of 14968 with flag 122836/1541444
63.07/61.01	c cleaning 7729 clauses out of 15498 with flag 172301/1549445
63.38/61.37	c cleaning 8359 clauses out of 16768 with flag 229797/1558444
63.78/61.79	c cleaning 9192 clauses out of 18409 with flag 293438/1568444
64.28/62.25	c cleaning 10094 clauses out of 20220 with flag 367668/1579447
64.78/62.77	c cleaning 11050 clauses out of 22127 with flag 447868/1591448
65.38/63.35	c cleaning 12023 clauses out of 24076 with flag 537514/1604447
65.98/63.99	c cleaning 13014 clauses out of 26051 with flag 636027/1618445
66.38/64.39	c Got one! Elapsed wall clock time (in seconds):64.283
66.38/64.39	o 134
66.78/64.70	c cleaning 14136 clauses out of 28294 with flag 36210/1633702
67.09/65.02	c cleaning 10065 clauses out of 20159 with flag 81361/1639703
67.39/65.36	c cleaning 8528 clauses out of 17094 with flag 131866/1646703
67.79/65.71	c cleaning 8270 clauses out of 16568 with flag 185432/1654705
68.11/66.09	c cleaning 8639 clauses out of 17296 with flag 243098/1663703
68.61/66.50	c cleaning 9312 clauses out of 18656 with flag 309624/1673702
69.01/66.99	c cleaning 10164 clauses out of 20346 with flag 384307/1684704
69.61/67.54	c cleaning 11082 clauses out of 22180 with flag 467163/1696702
69.81/67.75	c Got one! Elapsed wall clock time (in seconds):67.641
69.81/67.75	o 130
70.11/68.05	c cleaning 10647 clauses out of 21305 with flag 36250/1706909
70.41/68.35	c cleaning 8315 clauses out of 16658 with flag 80667/1712909
70.72/68.69	c cleaning 7656 clauses out of 15343 with flag 131160/1719909
71.12/69.04	c cleaning 7830 clauses out of 15685 with flag 183774/1727907
71.53/69.43	c cleaning 8418 clauses out of 16859 with flag 241316/1736911
71.93/69.86	c cleaning 9201 clauses out of 18438 with flag 306920/1746908
72.45/70.35	c cleaning 10104 clauses out of 20236 with flag 381076/1757907
73.05/70.91	c cleaning 11059 clauses out of 22132 with flag 466517/1769907
73.15/71.07	c Got one! Elapsed wall clock time (in seconds):70.968
73.15/71.07	o 125
73.25/71.13	c cleaning 8137 clauses out of 16281 with flag 7351/1775115
73.56/71.42	c cleaning 7061 clauses out of 14144 with flag 49788/1781115
73.85/71.73	c cleaning 7032 clauses out of 14083 with flag 96077/1788115
74.25/72.10	c cleaning 7520 clauses out of 15054 with flag 151538/1796118
74.66/72.54	c cleaning 8252 clauses out of 16531 with flag 213930/1805115
75.07/72.99	c cleaning 9126 clauses out of 18280 with flag 280517/1815116
75.57/73.49	c cleaning 10072 clauses out of 20154 with flag 353715/1826116
76.18/74.05	c cleaning 11031 clauses out of 22082 with flag 437460/1838116
76.79/74.68	c cleaning 12020 clauses out of 24053 with flag 529504/1851118
77.50/75.36	c cleaning 13003 clauses out of 26031 with flag 627142/1865116
78.32/76.12	c cleaning 14002 clauses out of 28027 with flag 732994/1880115
79.14/76.97	c cleaning 15003 clauses out of 30025 with flag 846588/1896115
79.24/77.01	c Got one! Elapsed wall clock time (in seconds):76.9
79.24/77.01	o 113
79.43/77.29	c cleaning 10327 clauses out of 20670 with flag 37621/1901763
79.73/77.56	c cleaning 8158 clauses out of 16346 with flag 79957/1907766
80.06/77.88	c cleaning 7577 clauses out of 15184 with flag 127547/1914762
80.37/78.13	c Got one! Elapsed wall clock time (in seconds):78.026
80.37/78.13	o 112
80.37/78.14	c Got one! Elapsed wall clock time (in seconds):78.028
80.37/78.14	o 100
80.69/78.45	c cleaning 9122 clauses out of 18270 with flag 35481/1925425
80.99/78.70	c cleaning 7557 clauses out of 15149 with flag 74457/1931426
81.29/79.00	c cleaning 7284 clauses out of 14591 with flag 120207/1938425
81.59/79.32	c cleaning 7647 clauses out of 15306 with flag 171912/1946424
82.00/79.70	c cleaning 8323 clauses out of 16659 with flag 230664/1955424
82.40/80.12	c cleaning 9161 clauses out of 18337 with flag 297259/1965425
82.40/80.14	c Got one! Elapsed wall clock time (in seconds):80.033
82.40/80.14	o 97
82.61/80.38	c cleaning 7156 clauses out of 14352 with flag 33822/1970601
82.91/80.65	c cleaning 6589 clauses out of 13196 with flag 70818/1976601
83.22/80.95	c cleaning 6793 clauses out of 13607 with flag 114038/1983601
83.63/81.31	c cleaning 7407 clauses out of 14813 with flag 164097/1991600
83.75/81.42	c Got one! Elapsed wall clock time (in seconds):81.318
83.75/81.42	o 96
83.84/81.55	c cleaning 6625 clauses out of 13257 with flag 17486/1997451
84.06/81.77	c cleaning 6314 clauses out of 12634 with flag 51541/2003453
84.37/82.04	c cleaning 6657 clauses out of 13318 with flag 92160/2010451
84.67/82.35	c cleaning 7326 clauses out of 14661 with flag 139680/2018451
84.88/82.55	c Got one! Elapsed wall clock time (in seconds):82.447
84.88/82.55	o 87
84.88/82.55	c Got one! Elapsed wall clock time (in seconds):82.448
84.88/82.55	o 80
84.88/82.56	c starts		: 316
84.88/82.56	c conflicts		: 2024014
84.88/82.56	c decisions		: 2779415
84.88/82.56	c propagations		: 37066832
84.88/82.56	c inspects		: 801649931
84.88/82.56	c shortcuts		: 0
84.88/82.56	c learnt literals	: 1
84.88/82.56	c learnt binary clauses	: 2
84.88/82.56	c learnt ternary clauses	: 60
84.88/82.56	c learnt constraints	: 2024013
84.88/82.56	c ignored constraints	: 0
84.88/82.56	c root simplifications	: 0
84.88/82.56	c removed literals (reason simplification)	: 0
84.88/82.56	c reason swapping (by a shorter reason)	: 0
84.88/82.56	c Calls to reduceDB	: 248
84.88/82.56	c Number of update (reduction) of LBD	: 451204
84.88/82.56	c number of reductions to clauses (during analyze)	: 0
84.88/82.56	c number of learned constraints concerned by reduction	: 0
84.88/82.56	c number of learning phase by resolution	: 0
84.88/82.56	c number of learning phase by cutting planes	: 0
84.88/82.56	c speed (assignments/second)	: 449840.1941747572
84.88/82.56	c non guided choices	3506
84.88/82.56	c learnt constraints type 
84.88/82.56	c constraints type 
84.88/82.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
84.88/82.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
84.88/82.56	c ignored satisfied constraints => 1
84.88/82.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
84.88/82.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
84.88/82.56	c 102 constraints processed.
84.88/82.56	s OPTIMUM FOUND
84.88/82.56	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 
84.88/82.56	c objective function=80
84.88/82.56	c Total wall clock time (in seconds): 82.458

Verifier Data 

OK	80

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718117-1338251703/watcher-3718117-1338251703 -o /tmp/evaluation-result-3718117-1338251703/solver-3718117-1338251703 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718117-1338251703.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.15 2.18 2.06 3/195 16603
/proc/meminfo: memFree=31359788/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (java) R 16601 16603 13427 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 291298766 23793664 716 33554432000 1073741824 1073778376 140733216582576 140733216571640 270109030480 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 5809 716 531 9 0 128 0

[startup+0.070676 s]
/proc/loadavg: 2.15 2.18 2.06 3/195 16603
/proc/meminfo: memFree=31359788/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 3309 0 1 0 5 1 0 0 20 0 18 0 291298766 9787817984 4517 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2389604 4517 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416

[startup+0.100285 s]
/proc/loadavg: 2.15 2.18 2.06 3/195 16603
/proc/meminfo: memFree=31359788/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9558416 CPUtime=0.1 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 4388 0 1 0 9 1 0 0 20 0 18 0 291298766 9787817984 5576 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2389604 5577 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.30024 s]
/proc/loadavg: 2.15 2.18 2.06 3/195 16603
/proc/meminfo: memFree=31359788/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 7051 0 1 0 52 2 0 0 20 0 19 0 291298766 9855979520 7946 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 7946 2234 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9624980

[startup+0.70026 s]
/proc/loadavg: 2.15 2.18 2.06 3/195 16603
/proc/meminfo: memFree=31359788/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=1.09 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 7389 0 1 0 107 2 0 0 20 0 19 0 291298766 9855979520 10084 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 10084 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624980

[startup+1.50067 s]
/proc/loadavg: 2.15 2.18 2.06 3/214 16622
/proc/meminfo: memFree=31324152/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=1.94 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 7421 0 1 0 191 3 0 0 20 0 19 0 291298766 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 11131 2267 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=1.4 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) S 16601 16603 13427 0 -1 4202560 2462 0 1 0 139 1 0 0 20 0 19 0 291298767 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057801425304 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) R 16601 16603 13427 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 291298769 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057625224688 140057807548489 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1493 0 0 0 17 0 0 0 20 0 19 0 291298772 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 2198 0 0 0 22 0 0 0 20 0 19 0 291298772 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 11131 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9624980

[startup+3.10073 s]
/proc/loadavg: 2.15 2.18 2.06 3/214 16622
/proc/meminfo: memFree=31325704/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=4.3 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 16093 0 1 0 425 5 0 0 20 0 19 0 291298766 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 14864 2268 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=2.89 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) R 16601 16603 13427 0 -1 4202560 2471 0 1 0 288 1 0 0 20 0 19 0 291298767 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057801425304 140057625683940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=0.14 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 30 0 0 0 14 0 0 0 20 0 19 0 291298769 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1654 0 0 0 20 0 0 0 20 0 19 0 291298772 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10698 0 0 0 91 2 0 0 20 0 19 0 291298772 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 14864 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9624980

[startup+6.30072 s]
/proc/loadavg: 2.14 2.18 2.06 3/214 16622
/proc/meminfo: memFree=31332796/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=7.59 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 16110 0 1 0 754 5 0 0 20 0 19 0 291298766 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 13913 2268 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=5.9 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) R 16601 16603 13427 0 -1 4202560 2484 0 1 0 589 1 0 0 20 0 19 0 291298767 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057801425512 140057626050072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291298768 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 30 0 0 0 27 0 0 0 20 0 19 0 291298769 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1654 0 0 0 21 0 0 0 20 0 19 0 291298772 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=0.94 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10698 0 0 0 92 2 0 0 20 0 19 0 291298772 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 13913 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=2.51 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 37 0 0 0 249 2 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1816 0 0 0 25 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=1.03 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10706 0 0 0 101 2 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 82.2
Current children cumulated vsize (KiB) 9624980

[startup+81.5008 s]
/proc/loadavg: 2.19 2.20 2.08 3/213 16796
/proc/meminfo: memFree=31842132/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=83.84 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 16577 0 1 0 8372 12 0 0 20 0 19 0 291298766 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 14973 2270 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=78.07 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) R 16601 16603 13427 0 -1 4202560 2698 0 1 0 7804 3 0 0 20 0 19 0 291298767 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057801417152 140057625655745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 34 0 0 0 20 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0.18 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 18 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0.16 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 16 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 22 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 15 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0.2 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 20 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=2.57 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 37 0 0 0 255 2 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1816 0 0 0 25 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=1.03 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10706 0 0 0 101 2 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 83.84
Current children cumulated vsize (KiB) 9624980

[startup+82.3007 s]
/proc/loadavg: 2.19 2.20 2.08 3/213 16796
/proc/meminfo: memFree=31842132/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=84.67 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 16580 0 1 0 8455 12 0 0 20 0 19 0 291298766 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 14973 2270 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=78.82 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) R 16601 16603 13427 0 -1 4202560 2701 0 1 0 7879 3 0 0 20 0 19 0 291298767 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057801425184 140057625748924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 34 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 17 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 22 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 15 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=2.6 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 37 0 0 0 258 2 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1816 0 0 0 25 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=1.03 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10706 0 0 0 101 2 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 84.67
Current children cumulated vsize (KiB) 9624980

[startup+82.5069 s]
/proc/loadavg: 2.19 2.20 2.08 3/213 16796
/proc/meminfo: memFree=31842132/32873844 swapFree=6872/6872
[pid=16603] ppid=16601 vsize=9624980 CPUtime=84.88 cores=1,3,5,7
/proc/16603/stat : 16603 (java) S 16601 16603 13427 0 -1 4202496 16581 0 1 0 8476 12 0 0 20 0 19 0 291298766 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140733216573712 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2406245 14973 2270 9 0 2396937 0
[pid=16603/tid=16605] ppid=16601 vsize=9624980 CPUtime=79.02 cores=1,3,5,7
/proc/16603/task/16605/stat : 16605 (java) R 16601 16603 13427 0 -1 4202560 2702 0 1 0 7899 3 0 0 20 0 19 0 291298767 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057801425184 140057625655552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16606] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16606/stat : 16606 (java) S 16601 16603 13427 0 -1 4202560 34 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057762917032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16607] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16607/stat : 16607 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057761864488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16608] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16608/stat : 16608 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057760811944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16609] ppid=16601 vsize=9624980 CPUtime=0.17 cores=1,3,5,7
/proc/16603/task/16609/stat : 16609 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 17 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057759759400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16610] ppid=16601 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/16603/task/16610/stat : 16610 (java) S 16601 16603 13427 0 -1 4202560 13 0 0 0 22 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057758705832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16611] ppid=16601 vsize=9624980 CPUtime=0.19 cores=1,3,5,7
/proc/16603/task/16611/stat : 16611 (java) S 16601 16603 13427 0 -1 4202560 15 0 0 0 19 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057757653288 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16612] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16612/stat : 16612 (java) S 16601 16603 13427 0 -1 4202560 14 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057756600744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16613] ppid=16601 vsize=9624980 CPUtime=0.21 cores=1,3,5,7
/proc/16603/task/16613/stat : 16613 (java) S 16601 16603 13427 0 -1 4202560 12 0 0 0 21 0 0 0 20 0 19 0 291298768 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057755548200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16614] ppid=16601 vsize=9624980 CPUtime=2.61 cores=1,3,5,7
/proc/16603/task/16614/stat : 16614 (java) S 16601 16603 13427 0 -1 4202560 37 0 0 0 259 2 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057625225832 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16603/tid=16615] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16615/stat : 16615 (java) S 16601 16603 13427 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057624172152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16616] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16616/stat : 16616 (java) S 16601 16603 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291298769 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057623119496 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16617] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16617/stat : 16617 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057622068240 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16618] ppid=16601 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/16603/task/16618/stat : 16618 (java) S 16601 16603 13427 0 -1 4202560 1816 0 0 0 25 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057621014584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16603/tid=16619] ppid=16601 vsize=9624980 CPUtime=1.03 cores=1,3,5,7
/proc/16603/task/16619/stat : 16619 (java) S 16601 16603 13427 0 -1 4202560 10706 0 0 0 101 2 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057619962040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16620] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16620/stat : 16620 (java) S 16601 16603 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057618909688 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16603/tid=16621] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16621/stat : 16621 (java) S 16601 16603 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291298772 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057617857352 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16603/tid=16622] ppid=16601 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/16603/task/16622/stat : 16622 (java) S 16601 16603 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291298783 9855979520 14973 33554432000 1073741824 1073778376 140733216582576 140057616803112 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 84.88
Current children cumulated vsize (KiB) 9624980

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16603 and gives
#  childrusage.ru_utime.tv_sec=84
#  childrusage.ru_utime.tv_usec=618136
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=203968
# CPU time returned by wait4() is 84.8221
# while last known CPU time is 84.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 82.5727
CPU time (s): 84.88
CPU user time (s): 84.76
CPU system time (s): 0.12
CPU usage (%): 102.794
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.6181
system time used= 0.203968
maximum resident set size= 61416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16599
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8412
involuntary context switches= 8143

runsolver used 0.359945 second user time and 0.647901 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 02:35:03
IDJOB=3718117
IDBENCH=78830
IDSOLVER=2301
FILE ID=node106/3718117-1338251703
RUNJOBID= node106-1338247868-15528
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= cabbc57a5ab962c45538fe46c723245f
RANDOM SEED=1589979273

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31360052 kB
Buffers:           70436 kB
Cached:            51272 kB
SwapCached:         1836 kB
Active:           685384 kB
Inactive:          34408 kB
Active(anon):     597472 kB
Inactive(anon):     3012 kB
Active(file):      87912 kB
Inactive(file):    31396 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               236 kB
Writeback:             0 kB
AnonPages:        625336 kB
Mapped:            15836 kB
Shmem:                 0 kB
Slab:             651476 kB
SReclaimable:      93512 kB
SUnreclaim:       557964 kB
KernelStack:        1768 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     860436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

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