Trace number 3492738

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 Resolution 2011-06-08OPTIMUM 55.5366 54.3754

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
MD5SUM08393a4a0fbe261470f6b3451acbb15e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark2.05669
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 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1240
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-2010 Daniel Le Berre
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.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.09/0.10	c Pseudo Boolean Optimization
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483s
0.09/0.10	c DB Simplification allowed=false
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3492738-1307911204.wbo
0.09/0.10	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.054s.
0.09/0.16	c #vars     270
0.09/0.16	c #constraints  101
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.30/0.24	c SATISFIABLE
0.30/0.24	c OPTIMIZING...
0.30/0.24	c Got one! Elapsed wall clock time (in seconds):0.131
0.30/0.24	o 644
0.30/0.26	c Got one! Elapsed wall clock time (in seconds):0.158
0.30/0.26	o 641
0.30/0.27	c Got one! Elapsed wall clock time (in seconds):0.168
0.30/0.27	o 637
0.30/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.30/0.29	o 613
0.30/0.30	c Got one! Elapsed wall clock time (in seconds):0.191
0.30/0.30	o 601
0.53/0.30	c Got one! Elapsed wall clock time (in seconds):0.2
0.53/0.30	o 539
0.53/0.32	c Got one! Elapsed wall clock time (in seconds):0.212
0.53/0.32	o 395
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.276
0.53/0.38	o 384
0.77/0.59	c cleaning 3372 clauses out of 6753 with flag 4001/6753
1.00/0.71	c Got one! Elapsed wall clock time (in seconds):0.606
1.00/0.71	o 361
1.12/0.82	c Got one! Elapsed wall clock time (in seconds):0.711
1.12/0.82	o 338
1.22/0.92	c cleaning 4909 clauses out of 9834 with flag 2005/13206
1.22/0.96	c Got one! Elapsed wall clock time (in seconds):0.856
1.22/0.96	o 336
1.33/1.05	c Got one! Elapsed wall clock time (in seconds):0.949
1.33/1.05	o 332
1.53/1.21	c cleaning 5353 clauses out of 10712 with flag 3001/18993
1.74/1.43	c Got one! Elapsed wall clock time (in seconds):1.325
1.74/1.43	o 325
1.74/1.49	c cleaning 5378 clauses out of 10765 with flag 1001/24399
2.06/1.73	c Got one! Elapsed wall clock time (in seconds):1.621
2.06/1.73	o 319
2.06/1.77	c cleaning 5614 clauses out of 11238 with flag 1001/30250
2.16/1.82	c Got one! Elapsed wall clock time (in seconds):1.72
2.16/1.82	o 303
2.27/1.97	c cleaning 5620 clauses out of 11242 with flag 4000/35868
2.48/2.18	c Got one! Elapsed wall clock time (in seconds):2.073
2.48/2.18	o 302
2.58/2.27	c cleaning 5634 clauses out of 11284 with flag 2002/41530
2.77/2.43	c Got one! Elapsed wall clock time (in seconds):2.322
2.77/2.43	o 301
2.87/2.54	c cleaning 5414 clauses out of 10837 with flag 3000/46717
3.07/2.71	c Got one! Elapsed wall clock time (in seconds):2.61
3.07/2.71	o 297
3.19/2.82	c cleaning 5380 clauses out of 10771 with flag 3000/52065
3.19/2.87	c Got one! Elapsed wall clock time (in seconds):2.77
3.19/2.87	o 268
3.40/3.00	c cleaning 5228 clauses out of 10468 with flag 4000/57142
3.60/3.26	c cleaning 5620 clauses out of 11242 with flag 10002/63144
4.00/3.66	c cleaning 6304 clauses out of 12621 with flag 17001/70143
4.11/3.71	c Got one! Elapsed wall clock time (in seconds):3.605
4.11/3.71	o 262
4.21/3.88	c cleaning 6130 clauses out of 12265 with flag 5001/76091
4.31/3.98	c Got one! Elapsed wall clock time (in seconds):3.878
4.31/3.98	o 257
4.51/4.13	c cleaning 6049 clauses out of 12104 with flag 4001/82060
4.71/4.36	c cleaning 6025 clauses out of 12054 with flag 10000/88059
4.91/4.53	c Got one! Elapsed wall clock time (in seconds):4.422
4.91/4.53	o 255
5.01/4.61	c cleaning 5556 clauses out of 11142 with flag 2000/93172
5.11/4.74	c Got one! Elapsed wall clock time (in seconds):4.634
5.11/4.74	o 249
5.21/4.85	c cleaning 5369 clauses out of 10748 with flag 3000/98334
5.51/5.20	c Got one! Elapsed wall clock time (in seconds):5.092
5.51/5.20	o 246
5.71/5.38	c cleaning 7804 clauses out of 15615 with flag 5000/108570
5.82/5.44	c Got one! Elapsed wall clock time (in seconds):5.335
5.82/5.44	o 229
5.95/5.59	c cleaning 6472 clauses out of 12956 with flag 4000/113715
6.15/5.78	c Got one! Elapsed wall clock time (in seconds):5.673
6.15/5.78	o 211
6.35/5.99	c cleaning 8283 clauses out of 16574 with flag 5002/123805
6.65/6.21	c cleaning 7142 clauses out of 14290 with flag 11001/129804
6.95/6.57	c cleaning 7069 clauses out of 14147 with flag 18000/136803
7.35/6.94	c cleaning 7537 clauses out of 15083 with flag 26005/144808
7.55/7.12	c Got one! Elapsed wall clock time (in seconds):7.012
7.55/7.12	o 202
7.69/7.20	c cleaning 6746 clauses out of 13499 with flag 2004/150761
7.80/7.38	c Got one! Elapsed wall clock time (in seconds):7.274
7.80/7.38	o 192
7.90/7.42	c cleaning 6273 clauses out of 12563 with flag 1000/156571
8.10/7.63	c cleaning 6142 clauses out of 12292 with flag 7002/162573
8.50/8.03	c cleaning 6563 clauses out of 13148 with flag 14000/169571
8.60/8.19	c Got one! Elapsed wall clock time (in seconds):8.086
8.60/8.19	o 174
8.80/8.30	c cleaning 6188 clauses out of 12390 with flag 3001/175376
9.00/8.50	c cleaning 6096 clauses out of 12202 with flag 9001/181376
9.21/8.77	c cleaning 6544 clauses out of 13105 with flag 16000/188375
9.60/9.15	c Got one! Elapsed wall clock time (in seconds):9.041
9.60/9.15	o 170
9.80/9.34	c cleaning 9746 clauses out of 19501 with flag 5000/201315
10.01/9.57	c cleaning 7872 clauses out of 15755 with flag 11000/207315
10.31/9.82	c cleaning 7438 clauses out of 14884 with flag 18001/214316
10.51/10.08	c Got one! Elapsed wall clock time (in seconds):9.979
10.51/10.08	o 168
10.61/10.17	c Got one! Elapsed wall clock time (in seconds):10.063
10.61/10.17	o 161
10.81/10.35	c cleaning 9742 clauses out of 19509 with flag 4001/226379
10.91/10.42	c Got one! Elapsed wall clock time (in seconds):10.318
10.91/10.42	o 159
11.01/10.57	c cleaning 7578 clauses out of 15168 with flag 4000/231780
11.31/10.85	c cleaning 6791 clauses out of 13590 with flag 10000/237780
11.71/11.22	c cleaning 6876 clauses out of 13799 with flag 17000/244780
11.71/11.27	c Got one! Elapsed wall clock time (in seconds):11.164
11.71/11.27	o 155
11.93/11.45	c cleaning 6404 clauses out of 12812 with flag 5002/250669
12.23/11.70	c cleaning 6200 clauses out of 12406 with flag 11000/256667
12.43/11.97	c Got one! Elapsed wall clock time (in seconds):11.869
12.43/11.97	o 139
12.53/12.01	c cleaning 6092 clauses out of 12191 with flag 1001/262652
12.73/12.23	c cleaning 6048 clauses out of 12102 with flag 7004/268655
13.04/12.51	c cleaning 6520 clauses out of 13050 with flag 14000/275651
13.26/12.63	c Got one! Elapsed wall clock time (in seconds):12.524
13.26/12.63	o 124
13.46/12.75	c cleaning 5950 clauses out of 11912 with flag 3000/281033
13.87/12.97	c cleaning 5975 clauses out of 11962 with flag 9000/287033
14.18/13.25	c cleaning 6489 clauses out of 12988 with flag 16001/294034
14.48/13.52	c Got one! Elapsed wall clock time (in seconds):13.42
14.48/13.52	o 122
14.69/13.74	c cleaning 9287 clauses out of 18581 with flag 5001/306116
14.89/13.98	c cleaning 7641 clauses out of 15293 with flag 11000/312115
15.20/14.24	c cleaning 7323 clauses out of 14655 with flag 18003/319118
15.49/14.54	c cleaning 7659 clauses out of 15329 with flag 26000/327115
15.79/14.89	c Got one! Elapsed wall clock time (in seconds):14.788
15.79/14.89	o 121
16.11/15.12	c cleaning 10746 clauses out of 21507 with flag 5000/340952
16.42/15.42	c cleaning 8379 clauses out of 16762 with flag 11001/346953
16.61/15.68	c Got one! Elapsed wall clock time (in seconds):15.572
16.61/15.68	o 118
16.81/15.88	c cleaning 9330 clauses out of 18662 with flag 5001/357232
17.01/16.07	c Got one! Elapsed wall clock time (in seconds):15.97
17.01/16.07	o 108
17.11/16.13	c cleaning 7555 clauses out of 15115 with flag 1001/363015
17.31/16.35	c cleaning 6776 clauses out of 13562 with flag 7003/369017
17.61/16.61	c cleaning 6889 clauses out of 13784 with flag 14001/376015
17.82/16.82	c Got one! Elapsed wall clock time (in seconds):16.713
17.82/16.82	o 101
17.82/16.89	c cleaning 6333 clauses out of 12674 with flag 2002/381794
18.12/17.10	c cleaning 6165 clauses out of 12339 with flag 8000/387792
18.32/17.35	c cleaning 6583 clauses out of 13176 with flag 15002/394794
18.53/17.57	c Got one! Elapsed wall clock time (in seconds):17.462
18.53/17.57	o 92
18.72/17.77	c cleaning 8671 clauses out of 17352 with flag 5002/405553
19.02/18.00	c cleaning 7333 clauses out of 14680 with flag 11001/411552
19.22/18.25	c cleaning 7172 clauses out of 14349 with flag 18003/418554
19.52/18.56	c cleaning 7583 clauses out of 15174 with flag 26000/426551
19.92/18.96	c cleaning 8287 clauses out of 16592 with flag 35001/435552
20.52/19.55	c cleaning 9145 clauses out of 18304 with flag 45000/445551
21.12/20.14	c cleaning 9571 clauses out of 19161 with flag 55002/455553
21.72/20.75	c cleaning 9788 clauses out of 19588 with flag 65000/465551
22.32/21.30	c cleaning 9893 clauses out of 19800 with flag 75000/475551
22.62/21.67	c Got one! Elapsed wall clock time (in seconds):21.569
22.62/21.67	o 84
22.82/21.90	c cleaning 11097 clauses out of 22217 with flag 5000/487861
23.14/22.18	c cleaning 8556 clauses out of 17121 with flag 11001/493862
23.53/22.54	c cleaning 7776 clauses out of 15564 with flag 18000/500861
23.93/22.90	c Got one! Elapsed wall clock time (in seconds):22.793
23.93/22.90	o 79
24.14/23.11	c cleaning 10196 clauses out of 20399 with flag 5001/513472
24.34/23.34	c cleaning 8095 clauses out of 16202 with flag 11000/519471
24.65/23.64	c cleaning 7547 clauses out of 15107 with flag 18000/526471
24.95/24.00	c cleaning 7776 clauses out of 15561 with flag 26001/534472
25.35/24.38	c cleaning 8391 clauses out of 16786 with flag 35002/543473
25.95/24.92	c cleaning 9191 clauses out of 18394 with flag 45001/553472
26.35/25.39	c Got one! Elapsed wall clock time (in seconds):25.288
26.35/25.39	o 78
26.65/25.61	c cleaning 11820 clauses out of 23654 with flag 5002/567923
26.85/25.85	c cleaning 8913 clauses out of 17833 with flag 11001/573922
27.15/26.13	c cleaning 7955 clauses out of 15919 with flag 18000/580921
27.45/26.42	c cleaning 7978 clauses out of 15964 with flag 26000/588921
27.85/26.82	c cleaning 8490 clauses out of 16986 with flag 35000/597921
28.25/27.29	c cleaning 9246 clauses out of 18498 with flag 45002/607923
28.75/27.75	c cleaning 9621 clauses out of 19252 with flag 55002/617923
29.25/28.22	c cleaning 9806 clauses out of 19629 with flag 65000/627921
29.35/28.39	c Got one! Elapsed wall clock time (in seconds):28.288
29.35/28.39	o 73
29.45/28.43	c cleaning 7653 clauses out of 15312 with flag 1001/633410
29.66/28.64	c cleaning 6827 clauses out of 13660 with flag 7002/639411
29.86/28.89	c cleaning 6912 clauses out of 13832 with flag 14001/646410
30.16/29.19	c cleaning 7459 clauses out of 14923 with flag 22004/654413
30.56/29.53	c cleaning 8223 clauses out of 16461 with flag 31001/663410
30.96/29.91	c cleaning 9115 clauses out of 18238 with flag 41001/673410
31.26/30.23	c Got one! Elapsed wall clock time (in seconds):30.123
31.26/30.23	o 71
31.46/30.47	c cleaning 11370 clauses out of 22747 with flag 5000/687034
31.76/30.71	c cleaning 8685 clauses out of 17378 with flag 11001/693035
31.96/30.97	c cleaning 7838 clauses out of 15692 with flag 18000/700034
32.26/31.25	c cleaning 7919 clauses out of 15854 with flag 26000/708034
32.56/31.56	c cleaning 8463 clauses out of 16935 with flag 35000/717034
32.97/31.92	c cleaning 9232 clauses out of 18473 with flag 45001/727035
33.26/32.29	c cleaning 9615 clauses out of 19240 with flag 55000/737034
33.66/32.67	c cleaning 9807 clauses out of 19625 with flag 65000/747034
34.16/33.10	c cleaning 9905 clauses out of 19819 with flag 75001/757035
34.16/33.17	c Got one! Elapsed wall clock time (in seconds):33.071
34.16/33.17	o 62
34.37/33.32	c cleaning 7916 clauses out of 15838 with flag 4000/762959
34.57/33.57	c cleaning 6952 clauses out of 13922 with flag 10000/768959
34.77/33.74	c Got one! Elapsed wall clock time (in seconds):33.638
34.77/33.74	o 58
34.77/33.78	c cleaning 6159 clauses out of 12332 with flag 1000/774321
34.99/33.99	c cleaning 6084 clauses out of 12174 with flag 7001/780322
35.19/34.11	c Got one! Elapsed wall clock time (in seconds):34.006
35.19/34.11	o 50
35.19/34.19	c cleaning 5919 clauses out of 11848 with flag 2000/786080
35.49/34.41	c cleaning 5962 clauses out of 11930 with flag 8001/792081
35.69/34.65	c cleaning 6480 clauses out of 12969 with flag 15002/799082
35.79/34.72	c Got one! Elapsed wall clock time (in seconds):34.617
35.79/34.72	o 43
35.89/34.85	c cleaning 6136 clauses out of 12278 with flag 4001/804871
36.09/35.05	c cleaning 6067 clauses out of 12142 with flag 10001/810871
36.39/35.32	c cleaning 6534 clauses out of 13075 with flag 17001/817871
36.69/35.60	c cleaning 7268 clauses out of 14541 with flag 25001/825871
36.99/35.99	c cleaning 8134 clauses out of 16273 with flag 34001/834871
37.49/36.44	c cleaning 9065 clauses out of 18140 with flag 44002/844872
37.89/36.82	c cleaning 9535 clauses out of 19073 with flag 54000/854870
37.99/36.98	c Got one! Elapsed wall clock time (in seconds):36.879
37.99/36.98	o 42
38.19/37.18	c cleaning 9789 clauses out of 19594 with flag 5003/864926
38.50/37.41	c cleaning 7898 clauses out of 15803 with flag 11001/870924
38.79/37.70	c cleaning 7448 clauses out of 14904 with flag 18000/877923
38.99/37.99	c cleaning 7724 clauses out of 15456 with flag 26000/885923
39.39/38.33	c cleaning 8360 clauses out of 16732 with flag 35000/894923
39.79/38.72	c cleaning 9184 clauses out of 18373 with flag 45001/904924
39.90/38.80	c Got one! Elapsed wall clock time (in seconds):38.692
39.90/38.80	o 37
40.00/38.95	c cleaning 7459 clauses out of 14926 with flag 4001/910661
40.20/39.16	c cleaning 6730 clauses out of 13467 with flag 10001/916661
40.50/39.42	c cleaning 6859 clauses out of 13737 with flag 17001/923661
40.70/39.70	c cleaning 7434 clauses out of 14878 with flag 25001/931661
41.10/40.02	c cleaning 8219 clauses out of 16443 with flag 34000/940660
41.50/40.41	c cleaning 9101 clauses out of 18224 with flag 44000/950660
41.90/40.80	c cleaning 9557 clauses out of 19123 with flag 54000/960660
42.30/41.21	c cleaning 9781 clauses out of 19567 with flag 64001/970661
42.70/41.62	c cleaning 9888 clauses out of 19785 with flag 74000/980660
42.81/41.72	c Got one! Elapsed wall clock time (in seconds):41.613
42.81/41.72	o 34
42.91/41.82	c cleaning 7754 clauses out of 15517 with flag 3001/986280
43.10/42.03	c cleaning 6875 clauses out of 13762 with flag 9000/992279
43.30/42.28	c cleaning 6939 clauses out of 13887 with flag 16000/999279
43.61/42.56	c cleaning 7469 clauses out of 14948 with flag 24000/1007279
43.91/42.90	c cleaning 8235 clauses out of 16480 with flag 33001/1016280
44.31/43.28	c cleaning 9120 clauses out of 18246 with flag 43002/1026281
44.70/43.69	c cleaning 9559 clauses out of 19125 with flag 53001/1036280
45.11/44.08	c cleaning 9775 clauses out of 19565 with flag 63000/1046279
45.51/44.45	c cleaning 9890 clauses out of 19790 with flag 73000/1056279
45.91/44.83	c cleaning 9948 clauses out of 19903 with flag 83003/1066282
46.31/45.22	c cleaning 9969 clauses out of 19952 with flag 93000/1076279
46.51/45.47	c Got one! Elapsed wall clock time (in seconds):45.364
46.51/45.47	o 10
46.71/45.68	c cleaning 11086 clauses out of 22180 with flag 5000/1088476
46.92/45.89	c cleaning 8543 clauses out of 17094 with flag 11000/1094476
47.23/46.14	c cleaning 7774 clauses out of 15551 with flag 18000/1101476
47.52/46.41	c cleaning 7884 clauses out of 15778 with flag 26001/1109477
47.82/46.71	c cleaning 8444 clauses out of 16895 with flag 35002/1118478
48.13/47.08	c cleaning 9224 clauses out of 18451 with flag 45002/1128478
48.53/47.43	c cleaning 9612 clauses out of 19227 with flag 55002/1138478
48.93/47.80	c cleaning 9804 clauses out of 19615 with flag 65002/1148478
49.13/48.04	c Got one! Elapsed wall clock time (in seconds):47.933
49.13/48.04	o 7
49.33/48.26	c cleaning 10840 clauses out of 21690 with flag 5001/1160357
49.54/48.48	c cleaning 8420 clauses out of 16849 with flag 11000/1166356
49.83/48.72	c cleaning 7709 clauses out of 15429 with flag 18000/1173356
50.13/49.00	c cleaning 7856 clauses out of 15721 with flag 26001/1181357
50.43/49.35	c cleaning 8431 clauses out of 16867 with flag 35003/1190359
50.83/49.79	c cleaning 9213 clauses out of 18434 with flag 45001/1200357
51.23/50.15	c cleaning 9606 clauses out of 19221 with flag 55001/1210357
51.64/50.51	c cleaning 9802 clauses out of 19615 with flag 65001/1220357
51.94/50.86	c cleaning 9899 clauses out of 19812 with flag 75000/1230356
52.34/51.22	c cleaning 9953 clauses out of 19913 with flag 85000/1240356
52.64/51.55	c cleaning 9975 clauses out of 19960 with flag 95000/1250356
53.04/51.91	c cleaning 9989 clauses out of 19987 with flag 105002/1260358
53.44/52.30	c cleaning 9995 clauses out of 19997 with flag 115001/1270357
53.74/52.66	c cleaning 9998 clauses out of 20001 with flag 125000/1280356
53.74/52.68	c Got one! Elapsed wall clock time (in seconds):52.574
53.74/52.68	o 3
53.95/52.85	c cleaning 7609 clauses out of 15228 with flag 5005/1285581
54.14/53.04	c cleaning 6805 clauses out of 13616 with flag 11002/1291578
54.34/53.27	c cleaning 6900 clauses out of 13809 with flag 18000/1298576
54.64/53.52	c cleaning 7449 clauses out of 14909 with flag 26000/1306576
54.96/53.82	c cleaning 8228 clauses out of 16461 with flag 35001/1315577
55.26/54.18	c cleaning 9111 clauses out of 18232 with flag 45000/1325576
55.46/54.36	c Got one! Elapsed wall clock time (in seconds):54.251
55.46/54.36	o 2
55.46/54.37	c starts		: 245
55.46/54.37	c conflicts		: 1330688
55.46/54.37	c decisions		: 2134071
55.46/54.37	c propagations		: 33076629
55.46/54.37	c inspects		: 299726067
55.46/54.37	c shortcuts		: 0
55.46/54.37	c learnt literals	: 0
55.46/54.37	c learnt binary clauses	: 76
55.46/54.37	c learnt ternary clauses	: 692
55.46/54.37	c learnt constraints	: 1330688
55.46/54.37	c ignored constraints	: 0
55.46/54.37	c root simplifications	: 0
55.46/54.37	c removed literals (reason simplification)	: 7482244
55.46/54.37	c reason swapping (by a shorter reason)	: 0
55.46/54.37	c Calls to reduceDB	: 167
55.46/54.37	c number of reductions to clauses (during analyze)	: 0
55.46/54.37	c number of learned constraints concerned by reduction	: 0
55.46/54.37	c number of learning phase by resolution	: 0
55.46/54.37	c number of learning phase by cutting planes	: 0
55.46/54.37	c speed (assignments/second)	: 3.3076629E9
55.46/54.37	c non guided choices	3287
55.46/54.37	c learnt constraints type 
55.46/54.37	c constraints type 
55.46/54.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
55.46/54.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
55.46/54.37	s OPTIMUM FOUND
55.46/54.37	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 
55.46/54.37	c objective function=2
55.46/54.37	c Total wall clock time (in seconds): 54.262

Verifier Data 

OK	2

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 /var/tmp/evaluation-result-3492738-1307911204/watcher-3492738-1307911204 -o /var/tmp/evaluation-result-3492738-1307911204/solver-3492738-1307911204 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492738-1307911204.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.07 2.03 2.00 2/195 13698
/proc/meminfo: memFree=1353028/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13698/stat : 13698 (java) R 13696 13698 8455 0 -1 4202496 1055 0 0 0 0 0 0 0 25 0 1 0 883536003 23580672 797 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 47219645851232 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13698/statm: 5757 816 612 9 0 124 0

[startup+0.00725309 s]
/proc/loadavg: 2.07 2.03 2.00 2/195 13698
/proc/meminfo: memFree=1353028/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 1246 0 0 0 0 0 0 0 25 0 2 0 883536003 31268864 963 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 7901 966 738 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30536

[startup+0.100227 s]
/proc/loadavg: 2.07 2.03 2.00 2/195 13698
/proc/meminfo: memFree=1353028/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10539724 CPUtime=0.09 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 13121 0 1 0 8 1 0 0 25 0 18 0 883536003 10792677376 12753 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2634931 12753 2093 9 0 2625665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539724

[startup+0.305167 s]
/proc/loadavg: 2.07 2.03 2.00 2/195 13698
/proc/meminfo: memFree=1353028/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10542652 CPUtime=0.53 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 16063 0 1 0 51 2 0 0 25 0 19 0 883536003 10795675648 14781 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2635663 14781 2215 9 0 2626397 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542652

[startup+0.701108 s]
/proc/loadavg: 2.07 2.03 2.00 2/195 13698
/proc/meminfo: memFree=1353028/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10542868 CPUtime=1 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 17216 0 1 0 98 2 0 0 25 0 19 0 883536003 10795896832 15811 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2635717 15811 2247 9 0 2626451 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10542868

[startup+1.50095 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 13717
/proc/meminfo: memFree=1296792/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10542868 CPUtime=1.85 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 17729 0 1 0 183 2 0 0 25 0 19 0 883536003 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2635717 16321 2247 9 0 2626451 0
[pid=13698/tid=13700] ppid=13696 vsize=10542868 CPUtime=1.44 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) S 13696 13698 8455 0 -1 4202560 12248 0 1 0 142 2 0 0 25 0 19 0 883536004 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 175 0 0 0 0 0 0 0 16 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 883536006 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10542868 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) R 13696 13698 8455 0 -1 4202560 445 0 0 0 3 0 0 0 15 0 19 0 883536007 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 47219646473843 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10542868 CPUtime=0.2 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1303 0 0 0 20 0 0 0 15 0 19 0 883536009 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10542868 CPUtime=0.15 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 1988 0 0 0 15 0 0 0 15 0 19 0 883536009 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536009 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10542868 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10795896832 16321 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10542868

[startup+3.10063 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 13717
/proc/meminfo: memFree=1295800/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10543012 CPUtime=3.49 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 17830 0 1 0 347 2 0 0 25 0 19 0 883536003 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2635753 16416 2249 9 0 2626487 0
[pid=13698/tid=13700] ppid=13696 vsize=10543012 CPUtime=2.95 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 8455 0 -1 4202560 12254 0 1 0 293 2 0 0 19 0 19 0 883536004 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 46912505619596 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 113 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10543012 CPUtime=0.11 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 507 0 0 0 11 0 0 0 16 0 19 0 883536007 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10543012 CPUtime=0.23 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1332 0 0 0 23 0 0 0 15 0 19 0 883536009 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10543012 CPUtime=0.16 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 1988 0 0 0 16 0 0 0 15 0 19 0 883536009 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536009 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10796044288 16416 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10543012

[startup+6.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 13717
/proc/meminfo: memFree=1294232/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10543012 CPUtime=6.75 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 18688 0 1 0 672 3 0 0 25 0 19 0 883536003 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2635753 17027 2250 9 0 2626487 0
[pid=13698/tid=13700] ppid=13696 vsize=10543012 CPUtime=6.01 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 8455 0 -1 4202560 12267 0 1 0 599 2 0 0 25 0 19 0 883536004 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 46912505627873 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 112 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 883536006 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10543012 CPUtime=0.24 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 583 0 0 0 24 0 0 0 16 0 19 0 883536007 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10543012 CPUtime=0.23 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1332 0 0 0 23 0 0 0 15 0 19 0 883536009 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10543012 CPUtime=0.2 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 2612 0 0 0 20 0 0 0 15 0 19 0 883536009 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883536009 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10543012 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10796044288 17027 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 10543012

[startup+12.7007 s]

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

/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 118 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 90 0 0 0 4 0 0 0 16 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 119 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 54 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 179 0 0 0 4 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 212 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 120 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10545500 CPUtime=2.14 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 1040 0 0 0 211 3 0 0 15 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10545500 CPUtime=0.34 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1918 0 0 0 34 0 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10545500 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 10496 0 0 0 65 1 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 53.85
Current children cumulated vsize (KiB) 10545500

[startup+53.5006 s]
/proc/loadavg: 2.11 2.05 2.01 3/214 13776
/proc/meminfo: memFree=1244268/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10545500 CPUtime=54.64 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 27925 0 1 0 5456 8 0 0 25 0 19 0 883536003 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2636375 19081 2252 9 0 2627109 0
[pid=13698/tid=13700] ppid=13696 vsize=10545500 CPUtime=51.09 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 8455 0 -1 4202560 12412 0 1 0 5107 2 0 0 18 0 19 0 883536004 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 46912505572572 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 118 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 90 0 0 0 4 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 119 0 0 0 3 0 0 0 16 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 54 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 179 0 0 0 4 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 212 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 120 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10545500 CPUtime=2.18 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 1040 0 0 0 215 3 0 0 15 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10545500 CPUtime=0.34 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1918 0 0 0 34 0 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10545500 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 10496 0 0 0 65 1 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883536009 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10798592000 19081 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 54.64
Current children cumulated vsize (KiB) 10545500

[startup+53.9066 s]
/proc/loadavg: 2.11 2.05 2.01 3/214 13776
/proc/meminfo: memFree=1244268/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10545500 CPUtime=55.06 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 27928 0 1 0 5497 9 0 0 25 0 19 0 883536003 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2636375 19082 2252 9 0 2627109 0
[pid=13698/tid=13700] ppid=13696 vsize=10545500 CPUtime=51.46 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 8455 0 -1 4202560 12414 0 1 0 5144 2 0 0 17 0 19 0 883536004 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 46912505588167 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 118 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 119 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 54 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 179 0 0 0 4 0 0 0 16 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 212 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 120 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10545500 CPUtime=2.2 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 1040 0 0 0 217 3 0 0 15 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10545500 CPUtime=0.34 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1918 0 0 0 34 0 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10545500 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 10496 0 0 0 65 1 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 55.06
Current children cumulated vsize (KiB) 10545500

[startup+54.3015 s]
/proc/loadavg: 2.11 2.05 2.01 3/214 13776
/proc/meminfo: memFree=1244268/32951124 swapFree=67054448/67111528
[pid=13698] ppid=13696 vsize=10545500 CPUtime=55.46 cores=1,3,5,7
/proc/13698/stat : 13698 (java) S 13696 13698 8455 0 -1 4202496 27929 0 1 0 5537 9 0 0 25 0 19 0 883536003 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13698/statm: 2636375 19082 2252 9 0 2627109 0
[pid=13698/tid=13700] ppid=13696 vsize=10545500 CPUtime=51.84 cores=1,3,5,7
/proc/13698/task/13700/stat : 13700 (java) R 13696 13698 8455 0 -1 4202560 12415 0 1 0 5182 2 0 0 17 0 19 0 883536004 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 46912505562105 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13698/tid=13701] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13701/stat : 13701 (java) S 13696 13698 8455 0 -1 4202560 118 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13702] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13702/stat : 13702 (java) S 13696 13698 8455 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13703] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13703/stat : 13703 (java) S 13696 13698 8455 0 -1 4202560 119 0 0 0 3 0 0 0 16 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13704] ppid=13696 vsize=10545500 CPUtime=0.03 cores=1,3,5,7
/proc/13698/task/13704/stat : 13704 (java) S 13696 13698 8455 0 -1 4202560 54 0 0 0 3 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13705] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13705/stat : 13705 (java) S 13696 13698 8455 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 7 0 0 0
[pid=13698/tid=13706] ppid=13696 vsize=10545500 CPUtime=0.04 cores=1,3,5,7
/proc/13698/task/13706/stat : 13706 (java) S 13696 13698 8455 0 -1 4202560 179 0 0 0 4 0 0 0 16 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13707] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13707/stat : 13707 (java) S 13696 13698 8455 0 -1 4202560 212 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13708] ppid=13696 vsize=10545500 CPUtime=0.05 cores=1,3,5,7
/proc/13698/task/13708/stat : 13708 (java) S 13696 13698 8455 0 -1 4202560 120 0 0 0 5 0 0 0 15 0 19 0 883536006 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13709] ppid=13696 vsize=10545500 CPUtime=2.22 cores=1,3,5,7
/proc/13698/task/13709/stat : 13709 (java) S 13696 13698 8455 0 -1 4202560 1040 0 0 0 219 3 0 0 15 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 0 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13710] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13710/stat : 13710 (java) S 13696 13698 8455 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13711] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13711/stat : 13711 (java) S 13696 13698 8455 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 883536007 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13712] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13712/stat : 13712 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350207409 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13713] ppid=13696 vsize=10545500 CPUtime=0.34 cores=1,3,5,7
/proc/13698/task/13713/stat : 13713 (java) S 13696 13698 8455 0 -1 4202560 1918 0 0 0 34 0 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13714] ppid=13696 vsize=10545500 CPUtime=0.66 cores=1,3,5,7
/proc/13698/task/13714/stat : 13714 (java) S 13696 13698 8455 0 -1 4202560 10496 0 0 0 65 1 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 5 0 0 0
[pid=13698/tid=13715] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13715/stat : 13715 (java) S 13696 13698 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350199705 0 4 0 16800975 18446604467447741312 0 0 -1 1 0 0 0
[pid=13698/tid=13716] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13716/stat : 13716 (java) S 13696 13698 8455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 883536009 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
[pid=13698/tid=13717] ppid=13696 vsize=10545500 CPUtime=0 cores=1,3,5,7
/proc/13698/task/13717/stat : 13717 (java) S 13696 13698 8455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883536020 10798592000 19082 33554432000 1073741824 1073778376 140737450752688 18446744073709551615 270350200320 0 4 0 16800975 18446604467447741312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 55.46
Current children cumulated vsize (KiB) 10545500

Child status: 30
Real time (s): 54.3754
CPU time (s): 55.5366
CPU user time (s): 55.4406
CPU system time (s): 0.095985
CPU usage (%): 102.135
Max. virtual memory (cumulated for all children) (KiB): 10545500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.4406
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27950
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5664
involuntary context switches= 1828

runsolver used 0.081987 second user time and 0.224965 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:40:04
IDJOB=3492738
IDBENCH=79252
IDSOLVER=1982
FILE ID=node143/3492738-1307911204
RUNJOBID= node143-1307908050-12755
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492738-1307911204/watcher-3492738-1307911204 -o /var/tmp/evaluation-result-3492738-1307911204/solver-3492738-1307911204 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492738-1307911204.wbo

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

MD5SUM BENCH= 08393a4a0fbe261470f6b3451acbb15e
RANDOM SEED=1085875992

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1353432 kB
Buffers:         65000 kB
Cached:       30490064 kB
SwapCached:       9484 kB
Active:       15900560 kB
Inactive:     14750804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1353432 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:             488 kB
Writeback:           0 kB
AnonPages:       93872 kB
Mapped:          21212 kB
Slab:           882716 kB
PageTables:       5076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10562788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node143 at 2011-06-12 22:40:58