Trace number 3492736

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 125.848 124.238

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
MD5SUM3f56278c0c7f2898f6b9e11f0d13a6fa
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.89956
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 5395
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5394
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1220
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.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492736-1307911203.wbo
0.11/0.10	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.055s.
0.11/0.16	c #vars     270
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.30/0.21	c SATISFIABLE
0.30/0.21	c OPTIMIZING...
0.30/0.21	c Got one! Elapsed wall clock time (in seconds):0.108
0.30/0.21	o 600
0.74/0.54	c cleaning 2551 clauses out of 5109 with flag 5000/5109
0.74/0.57	c Got one! Elapsed wall clock time (in seconds):0.465
0.74/0.57	o 562
1.09/0.82	c cleaning 3906 clauses out of 7817 with flag 5000/10368
1.09/0.84	c Got one! Elapsed wall clock time (in seconds):0.735
1.09/0.84	o 543
1.09/0.89	c Got one! Elapsed wall clock time (in seconds):0.791
1.09/0.89	o 501
1.30/1.09	c cleaning 4784 clauses out of 9577 with flag 4000/16034
1.40/1.11	c Got one! Elapsed wall clock time (in seconds):1.003
1.40/1.11	o 490
1.40/1.19	c Got one! Elapsed wall clock time (in seconds):1.086
1.40/1.19	o 488
1.50/1.25	c Got one! Elapsed wall clock time (in seconds):1.15
1.50/1.25	o 487
1.62/1.37	c cleaning 5788 clauses out of 11577 with flag 3003/22818
2.05/1.74	c Got one! Elapsed wall clock time (in seconds):1.633
2.05/1.74	o 485
2.15/1.86	c Got one! Elapsed wall clock time (in seconds):1.754
2.15/1.86	o 481
2.25/1.95	c cleaning 8319 clauses out of 16646 with flag 2002/33675
2.35/2.03	c Got one! Elapsed wall clock time (in seconds):1.929
2.35/2.03	o 469
2.35/2.05	c Got one! Elapsed wall clock time (in seconds):1.942
2.35/2.05	o 456
2.35/2.06	c Got one! Elapsed wall clock time (in seconds):1.955
2.35/2.06	o 447
2.47/2.17	c Got one! Elapsed wall clock time (in seconds):2.067
2.47/2.17	o 439
2.57/2.28	c cleaning 7617 clauses out of 15243 with flag 2000/40591
2.67/2.38	c Got one! Elapsed wall clock time (in seconds):2.277
2.67/2.38	o 435
2.87/2.59	c cleaning 6677 clauses out of 13382 with flag 4000/46347
3.27/2.97	c cleaning 6346 clauses out of 12705 with flag 10000/52347
3.37/3.04	c Got one! Elapsed wall clock time (in seconds):2.937
3.37/3.04	o 425
3.47/3.19	c cleaning 5837 clauses out of 11686 with flag 4002/57674
3.58/3.28	c Got one! Elapsed wall clock time (in seconds):3.175
3.58/3.28	o 384
3.77/3.43	c cleaning 5535 clauses out of 11076 with flag 3001/62901
4.07/3.70	c cleaning 5765 clauses out of 11541 with flag 9001/68901
4.17/3.86	c Got one! Elapsed wall clock time (in seconds):3.754
4.17/3.86	o 380
4.27/3.96	c cleaning 5545 clauses out of 11096 with flag 3003/74221
4.48/4.13	c Got one! Elapsed wall clock time (in seconds):4.029
4.48/4.13	o 352
4.48/4.18	c cleaning 5692 clauses out of 11392 with flag 1001/80062
4.71/4.39	c cleaning 5846 clauses out of 11699 with flag 7000/86061
5.10/4.72	c Got one! Elapsed wall clock time (in seconds):4.614
5.10/4.72	o 334
5.20/4.82	c Got one! Elapsed wall clock time (in seconds):4.721
5.20/4.82	o 294
5.35/4.98	c cleaning 8825 clauses out of 17660 with flag 3003/97868
5.76/5.31	c cleaning 7413 clauses out of 14832 with flag 9000/103865
6.06/5.67	c cleaning 7205 clauses out of 14420 with flag 16001/110866
6.46/6.09	c cleaning 7592 clauses out of 15215 with flag 24001/118866
6.76/6.36	c Got one! Elapsed wall clock time (in seconds):6.255
6.76/6.36	o 263
6.86/6.40	c cleaning 6518 clauses out of 13043 with flag 1000/124286
7.06/6.62	c cleaning 6258 clauses out of 12525 with flag 7000/130286
7.26/6.87	c cleaning 6628 clauses out of 13268 with flag 14001/137287
7.66/7.21	c cleaning 7316 clauses out of 14641 with flag 22002/145288
7.76/7.39	c Got one! Elapsed wall clock time (in seconds):7.286
7.76/7.39	o 241
7.86/7.46	c cleaning 6472 clauses out of 12955 with flag 2000/150918
8.07/7.70	c cleaning 6240 clauses out of 12485 with flag 8002/156920
8.46/8.06	c cleaning 6621 clauses out of 13244 with flag 15001/163919
8.86/8.49	c cleaning 7306 clauses out of 14623 with flag 23001/171919
9.07/8.68	c Got one! Elapsed wall clock time (in seconds):8.577
9.07/8.68	o 234
9.17/8.75	c cleaning 6387 clauses out of 12790 with flag 2001/177392
9.37/8.97	c cleaning 6197 clauses out of 12403 with flag 8001/183392
9.67/9.26	c cleaning 6593 clauses out of 13205 with flag 15000/190391
10.17/9.70	c cleaning 7303 clauses out of 14619 with flag 23007/198398
10.58/10.16	c Got one! Elapsed wall clock time (in seconds):10.052
10.58/10.16	o 233
10.78/10.36	c cleaning 10589 clauses out of 21187 with flag 5000/212269
10.98/10.60	c cleaning 8293 clauses out of 16598 with flag 11000/218269
11.28/10.87	c cleaning 7649 clauses out of 15306 with flag 18001/225270
11.68/11.24	c cleaning 7821 clauses out of 15660 with flag 26004/233273
12.08/11.67	c cleaning 8412 clauses out of 16836 with flag 35001/242270
12.59/12.16	c cleaning 9206 clauses out of 18424 with flag 45001/252270
13.18/12.74	c cleaning 9602 clauses out of 19217 with flag 55000/262269
13.28/12.88	c Got one! Elapsed wall clock time (in seconds):12.778
13.28/12.88	o 217
13.39/12.99	c cleaning 7703 clauses out of 15411 with flag 3000/268065
13.72/13.23	c cleaning 6847 clauses out of 13708 with flag 9000/274065
14.01/13.55	c cleaning 6928 clauses out of 13862 with flag 16001/281066
14.51/14.01	c cleaning 7452 clauses out of 14934 with flag 24001/289066
15.01/14.53	c cleaning 8237 clauses out of 16483 with flag 33002/298067
15.51/15.07	c cleaning 9113 clauses out of 18245 with flag 43001/308066
15.82/15.35	c Got one! Elapsed wall clock time (in seconds):15.248
15.82/15.35	o 214
16.01/15.54	c cleaning 9734 clauses out of 19475 with flag 5000/318409
16.21/15.77	c cleaning 7868 clauses out of 15742 with flag 11001/324410
16.53/16.03	c cleaning 7429 clauses out of 14874 with flag 18001/331410
16.83/16.32	c cleaning 7716 clauses out of 15444 with flag 26000/339409
17.24/16.71	c cleaning 8363 clauses out of 16729 with flag 35001/348410
17.63/17.16	c cleaning 9174 clauses out of 18368 with flag 45003/358412
18.14/17.61	c Got one! Elapsed wall clock time (in seconds):17.504
18.14/17.61	o 212
18.34/17.82	c cleaning 11003 clauses out of 22013 with flag 5001/371231
18.54/18.04	c cleaning 8497 clauses out of 17010 with flag 11001/377231
18.64/18.19	c Got one! Elapsed wall clock time (in seconds):18.085
18.64/18.19	o 196
18.74/18.26	c cleaning 7146 clauses out of 14296 with flag 2001/383014
18.94/18.48	c cleaning 6571 clauses out of 13149 with flag 8000/389013
19.24/18.76	c cleaning 6782 clauses out of 13579 with flag 15001/396014
19.74/19.21	c cleaning 7384 clauses out of 14796 with flag 23000/404013
20.24/19.73	c cleaning 8202 clauses out of 16414 with flag 32002/413015
20.65/20.13	c Got one! Elapsed wall clock time (in seconds):20.024
20.65/20.13	o 193
20.85/20.32	c cleaning 10457 clauses out of 20924 with flag 5000/425727
21.05/20.55	c cleaning 8228 clauses out of 16467 with flag 11000/431727
21.35/20.83	c cleaning 7612 clauses out of 15239 with flag 18000/438727
21.65/21.13	c cleaning 7809 clauses out of 15627 with flag 26000/446727
22.05/21.51	c cleaning 8407 clauses out of 16821 with flag 35003/455730
22.25/21.73	c Got one! Elapsed wall clock time (in seconds):21.629
22.25/21.73	o 191
22.46/21.92	c cleaning 9225 clauses out of 18458 with flag 5001/465774
22.65/22.14	c cleaning 7611 clauses out of 15232 with flag 11000/471773
22.95/22.40	c cleaning 7306 clauses out of 14621 with flag 18000/478773
23.25/22.70	c cleaning 7654 clauses out of 15315 with flag 26000/486773
23.56/23.03	c cleaning 8324 clauses out of 16661 with flag 35000/495773
23.95/23.43	c cleaning 9168 clauses out of 18341 with flag 45004/505777
24.46/23.97	c cleaning 9579 clauses out of 19170 with flag 55001/515774
24.76/24.25	c Got one! Elapsed wall clock time (in seconds):24.142
24.76/24.25	o 180
24.96/24.43	c cleaning 9934 clauses out of 19877 with flag 5000/526060
25.26/24.71	c cleaning 7965 clauses out of 15944 with flag 11001/532061
25.56/25.05	c cleaning 7487 clauses out of 14979 with flag 18001/539061
25.96/25.49	c cleaning 7740 clauses out of 15492 with flag 26001/547061
26.46/25.98	c cleaning 8371 clauses out of 16751 with flag 35000/556060
26.66/26.17	c Got one! Elapsed wall clock time (in seconds):26.065
26.66/26.17	o 179
26.76/26.24	c cleaning 6848 clauses out of 13702 with flag 2001/561382
26.97/26.45	c cleaning 6420 clauses out of 12853 with flag 8000/567381
27.26/26.70	c cleaning 6712 clauses out of 13434 with flag 15001/574382
27.56/27.04	c cleaning 7358 clauses out of 14723 with flag 23002/582383
28.07/27.52	c cleaning 8178 clauses out of 16363 with flag 32000/591381
28.57/28.07	c cleaning 9089 clauses out of 18190 with flag 42005/601386
29.17/28.61	c cleaning 9543 clauses out of 19096 with flag 52000/611381
29.77/29.23	c cleaning 9773 clauses out of 19555 with flag 62002/621383
30.28/29.77	c Got one! Elapsed wall clock time (in seconds):29.664
30.28/29.77	o 178
30.47/29.98	c cleaning 12115 clauses out of 24234 with flag 5000/635835
30.77/30.23	c cleaning 9056 clauses out of 18119 with flag 11000/641835
31.07/30.51	c cleaning 8027 clauses out of 16066 with flag 18003/648838
31.38/30.81	c cleaning 8014 clauses out of 16037 with flag 26001/656836
31.68/31.17	c cleaning 8506 clauses out of 17022 with flag 35000/665835
32.08/31.56	c cleaning 9257 clauses out of 18518 with flag 45002/675837
32.58/32.08	c cleaning 9624 clauses out of 19261 with flag 55002/685837
33.08/32.59	c cleaning 9808 clauses out of 19636 with flag 65001/695836
33.58/33.09	c Got one! Elapsed wall clock time (in seconds):32.988
33.58/33.09	o 163
33.88/33.30	c cleaning 12189 clauses out of 24392 with flag 5000/710400
34.08/33.56	c cleaning 9097 clauses out of 18204 with flag 11001/716401
34.39/33.85	c cleaning 8046 clauses out of 16106 with flag 18000/723400
34.70/34.14	c cleaning 8023 clauses out of 16060 with flag 26000/731400
34.99/34.47	c cleaning 8515 clauses out of 17037 with flag 35000/740400
35.39/34.86	c cleaning 9259 clauses out of 18523 with flag 45001/750401
35.80/35.25	c cleaning 9629 clauses out of 19263 with flag 55000/760400
36.19/35.61	c cleaning 9813 clauses out of 19637 with flag 65003/770403
36.70/36.11	c cleaning 9908 clauses out of 19821 with flag 75000/780400
37.20/36.65	c cleaning 9953 clauses out of 19914 with flag 85001/790401
37.80/37.20	c cleaning 9976 clauses out of 19961 with flag 95001/800401
37.90/37.32	c Got one! Elapsed wall clock time (in seconds):37.214
37.90/37.32	o 162
38.00/37.42	c cleaning 7540 clauses out of 15092 with flag 3001/805508
38.20/37.64	c cleaning 6773 clauses out of 13553 with flag 9002/811509
38.50/37.92	c cleaning 6886 clauses out of 13780 with flag 16002/818509
38.90/38.32	c cleaning 7443 clauses out of 14893 with flag 24001/826508
39.30/38.77	c cleaning 8223 clauses out of 16449 with flag 33000/835507
39.90/39.32	c cleaning 9106 clauses out of 18226 with flag 43000/845507
40.11/39.59	c Got one! Elapsed wall clock time (in seconds):39.486
40.11/39.59	o 154
40.21/39.63	c cleaning 7511 clauses out of 15028 with flag 1000/851415
40.40/39.85	c cleaning 6754 clauses out of 13517 with flag 7000/857415
40.60/40.09	c cleaning 6877 clauses out of 13765 with flag 14002/864417
41.00/40.40	c cleaning 7437 clauses out of 14888 with flag 22002/872417
41.32/40.76	c cleaning 8221 clauses out of 16454 with flag 31005/881420
41.81/41.28	c cleaning 9105 clauses out of 18228 with flag 41000/891415
42.42/41.81	c cleaning 9556 clauses out of 19125 with flag 51002/901417
42.91/42.36	c cleaning 9779 clauses out of 19567 with flag 61000/911415
43.01/42.42	c Got one! Elapsed wall clock time (in seconds):42.318
43.01/42.42	o 145
43.12/42.56	c cleaning 7447 clauses out of 14913 with flag 4002/916540
43.32/42.79	c cleaning 6728 clauses out of 13464 with flag 10000/922538
43.62/43.05	c cleaning 6863 clauses out of 13736 with flag 17000/929538
43.92/43.35	c cleaning 7429 clauses out of 14873 with flag 25000/937538
44.22/43.68	c cleaning 8218 clauses out of 16445 with flag 34001/946539
44.63/44.06	c cleaning 9107 clauses out of 18227 with flag 44001/956539
45.13/44.58	c cleaning 9554 clauses out of 19119 with flag 54000/966538
45.33/44.75	c Got one! Elapsed wall clock time (in seconds):44.646
45.33/44.75	o 139
45.44/44.82	c cleaning 7610 clauses out of 15230 with flag 2000/972203
45.65/45.04	c cleaning 6805 clauses out of 13621 with flag 8001/978204
45.94/45.31	c cleaning 6904 clauses out of 13815 with flag 15000/985203
46.24/45.62	c cleaning 7451 clauses out of 14911 with flag 23000/993203
46.54/45.96	c cleaning 8226 clauses out of 16462 with flag 32002/1002205
46.94/46.37	c cleaning 9113 clauses out of 18234 with flag 42000/1012203
47.34/46.76	c cleaning 9560 clauses out of 19125 with flag 52004/1022207
47.75/47.14	c cleaning 9776 clauses out of 19562 with flag 62001/1032204
48.15/47.59	c cleaning 9887 clauses out of 19785 with flag 72000/1042203
48.75/48.11	c cleaning 9932 clauses out of 19898 with flag 82000/1052203
49.25/48.64	c cleaning 9979 clauses out of 19968 with flag 92002/1062205
49.75/49.16	c cleaning 9977 clauses out of 19987 with flag 102000/1072203
49.85/49.28	c Got one! Elapsed wall clock time (in seconds):49.175
49.85/49.28	o 125
49.95/49.38	c cleaning 7641 clauses out of 15289 with flag 3000/1077482
50.25/49.61	c cleaning 6822 clauses out of 13650 with flag 9002/1083484
50.46/49.87	c cleaning 6909 clauses out of 13827 with flag 16001/1090483
50.76/50.17	c cleaning 7454 clauses out of 14918 with flag 24001/1098483
51.17/50.56	c cleaning 8227 clauses out of 16465 with flag 33002/1107484
51.56/50.93	c cleaning 9113 clauses out of 18237 with flag 43001/1117483
51.96/51.31	c cleaning 9559 clauses out of 19125 with flag 53002/1127484
52.37/51.70	c cleaning 9773 clauses out of 19564 with flag 63000/1137482
52.77/52.10	c cleaning 9889 clauses out of 19793 with flag 73002/1147484
53.17/52.50	c cleaning 9946 clauses out of 19904 with flag 83002/1157484
53.47/52.87	c cleaning 9974 clauses out of 19961 with flag 93005/1167487
53.99/53.31	c cleaning 9987 clauses out of 19984 with flag 103002/1177484
54.77/53.89	c cleaning 9994 clauses out of 19995 with flag 113000/1187482
55.75/54.42	c cleaning 9997 clauses out of 20002 with flag 123001/1197483
56.27/54.96	c cleaning 9998 clauses out of 20007 with flag 133003/1207485
56.87/55.51	c cleaning 9999 clauses out of 20006 with flag 143000/1217482
57.38/56.09	c cleaning 9998 clauses out of 20007 with flag 153000/1227482
57.97/56.63	c cleaning 9999 clauses out of 20009 with flag 163000/1237482
58.17/56.88	c Got one! Elapsed wall clock time (in seconds):56.776
58.17/56.88	o 114
58.27/56.92	c cleaning 7932 clauses out of 15871 with flag 1001/1243343
58.48/57.14	c cleaning 6966 clauses out of 13939 with flag 7001/1249343
58.67/57.39	c cleaning 6982 clauses out of 13973 with flag 14001/1256343
59.08/57.71	c cleaning 7491 clauses out of 14990 with flag 22000/1264342
59.37/58.07	c cleaning 8244 clauses out of 16499 with flag 31000/1273342
59.88/58.58	c cleaning 9119 clauses out of 18257 with flag 41002/1283344
60.48/59.10	c cleaning 9564 clauses out of 19136 with flag 51000/1293342
60.98/59.65	c cleaning 9780 clauses out of 19574 with flag 61002/1303344
61.18/59.89	c Got one! Elapsed wall clock time (in seconds):59.785
61.18/59.89	o 87
61.28/59.93	c cleaning 7812 clauses out of 15628 with flag 1001/1309178
61.48/60.14	c cleaning 6905 clauses out of 13817 with flag 7002/1315179
61.68/60.40	c cleaning 6950 clauses out of 13910 with flag 14000/1322177
62.08/60.72	c cleaning 7478 clauses out of 14963 with flag 22003/1330180
62.38/61.02	c cleaning 8238 clauses out of 16483 with flag 31001/1339178
62.79/61.42	c cleaning 9120 clauses out of 18245 with flag 41001/1349178
63.29/61.92	c cleaning 9555 clauses out of 19126 with flag 51002/1359179
63.79/62.47	c cleaning 9784 clauses out of 19573 with flag 61004/1369181
64.30/62.93	c cleaning 9885 clauses out of 19785 with flag 71000/1379177
64.80/63.43	c cleaning 9936 clauses out of 19900 with flag 81000/1389177
65.30/63.98	c cleaning 9979 clauses out of 19966 with flag 91002/1399179
66.00/64.60	c cleaning 9989 clauses out of 19988 with flag 101003/1409180
66.40/65.07	c cleaning 9992 clauses out of 19997 with flag 111001/1419178
66.90/65.58	c cleaning 9994 clauses out of 20004 with flag 121000/1429177
67.41/66.08	c cleaning 10002 clauses out of 20010 with flag 131000/1439177
67.90/66.59	c cleaning 9999 clauses out of 20010 with flag 141002/1449179
68.51/67.15	c cleaning 9996 clauses out of 20009 with flag 151000/1459177
69.01/67.63	c cleaning 10002 clauses out of 20014 with flag 161001/1469178
69.41/68.10	c Got one! Elapsed wall clock time (in seconds):67.992
69.41/68.10	o 74
69.71/68.31	c cleaning 12174 clauses out of 24359 with flag 5004/1483525
69.91/68.55	c cleaning 9086 clauses out of 18181 with flag 11000/1489521
70.21/68.82	c cleaning 8043 clauses out of 16096 with flag 18001/1496522
70.51/69.12	c cleaning 8023 clauses out of 16052 with flag 26000/1504521
70.81/69.48	c cleaning 8508 clauses out of 17029 with flag 35000/1513521
71.21/69.84	c cleaning 9257 clauses out of 18523 with flag 45002/1523523
71.62/70.22	c cleaning 9630 clauses out of 19267 with flag 55003/1533524
71.92/70.57	c cleaning 9813 clauses out of 19636 with flag 65002/1543523
72.32/70.94	c cleaning 9905 clauses out of 19822 with flag 75001/1553522
72.72/71.32	c cleaning 9954 clauses out of 19916 with flag 85000/1563521
73.12/71.70	c cleaning 9974 clauses out of 19962 with flag 95000/1573521
73.52/72.12	c cleaning 9990 clauses out of 19991 with flag 105003/1583524
74.03/72.61	c cleaning 9995 clauses out of 19998 with flag 115000/1593521
74.42/73.04	c cleaning 9997 clauses out of 20003 with flag 125000/1603521
74.82/73.47	c cleaning 9995 clauses out of 20006 with flag 135000/1613521
75.32/73.95	c cleaning 10003 clauses out of 20012 with flag 145001/1623522
75.72/74.38	c cleaning 10000 clauses out of 20010 with flag 155002/1633523
76.23/74.86	c cleaning 9998 clauses out of 20009 with flag 165001/1643522
76.72/75.31	c cleaning 10001 clauses out of 20010 with flag 175000/1653521
77.12/75.75	c cleaning 10001 clauses out of 20010 with flag 185001/1663522
77.53/76.18	c cleaning 9998 clauses out of 20008 with flag 195000/1673521
78.03/76.61	c cleaning 10001 clauses out of 20011 with flag 205001/1683522
78.63/77.20	c cleaning 9996 clauses out of 20009 with flag 215000/1693521
79.13/77.76	c cleaning 9999 clauses out of 20013 with flag 225000/1703521
79.73/78.31	c cleaning 9997 clauses out of 20014 with flag 235000/1713521
80.23/78.89	c cleaning 10004 clauses out of 20017 with flag 245000/1723521
80.64/79.29	c cleaning 10003 clauses out of 20013 with flag 255000/1733521
81.13/79.71	c cleaning 9997 clauses out of 20010 with flag 265000/1743521
81.53/80.13	c cleaning 10004 clauses out of 20014 with flag 275001/1753522
81.93/80.60	c cleaning 9999 clauses out of 20009 with flag 285000/1763521
82.43/81.08	c cleaning 9998 clauses out of 20010 with flag 295000/1773521
82.93/81.55	c cleaning 10004 clauses out of 20015 with flag 305003/1783524
83.34/81.99	c cleaning 10002 clauses out of 20013 with flag 315005/1793526
83.84/82.42	c cleaning 9994 clauses out of 20006 with flag 325000/1803521
83.94/82.59	c Got one! Elapsed wall clock time (in seconds):82.486
83.94/82.59	o 72
84.04/82.66	c cleaning 7932 clauses out of 15874 with flag 2000/1809383
84.24/82.88	c cleaning 6969 clauses out of 13945 with flag 8003/1815386
84.54/83.14	c cleaning 6982 clauses out of 13974 with flag 15001/1822384
84.84/83.42	c cleaning 7493 clauses out of 14992 with flag 23001/1830384
85.15/83.75	c cleaning 8248 clauses out of 16501 with flag 32003/1839386
85.55/84.19	c cleaning 9120 clauses out of 18253 with flag 42003/1849386
85.95/84.60	c cleaning 9562 clauses out of 19132 with flag 52002/1859385
86.46/85.02	c cleaning 9773 clauses out of 19568 with flag 62000/1869383
86.86/85.45	c cleaning 9891 clauses out of 19795 with flag 72000/1879383
87.27/85.88	c cleaning 9949 clauses out of 19905 with flag 82001/1889384
87.76/86.30	c cleaning 9973 clauses out of 19957 with flag 92002/1899385
87.76/86.34	c Got one! Elapsed wall clock time (in seconds):86.234
87.76/86.34	o 68
87.96/86.51	c cleaning 7811 clauses out of 15632 with flag 5000/1905033
88.16/86.72	c cleaning 6906 clauses out of 13821 with flag 11000/1911033
88.37/86.97	c cleaning 6954 clauses out of 13917 with flag 18002/1918035
88.66/87.24	c cleaning 7475 clauses out of 14962 with flag 26001/1926034
88.97/87.58	c cleaning 8239 clauses out of 16486 with flag 35000/1935033
89.37/87.95	c cleaning 9118 clauses out of 18247 with flag 45000/1945033
89.77/88.30	c cleaning 9561 clauses out of 19129 with flag 55000/1955033
90.07/88.68	c cleaning 9780 clauses out of 19569 with flag 65001/1965034
90.57/89.18	c cleaning 9891 clauses out of 19788 with flag 75000/1975033
90.77/89.37	c Got one! Elapsed wall clock time (in seconds):89.268
90.77/89.37	o 66
90.97/89.56	c cleaning 9977 clauses out of 19962 with flag 5002/1985098
91.17/89.79	c cleaning 7988 clauses out of 15985 with flag 11002/1991098
91.47/90.05	c cleaning 7493 clauses out of 14997 with flag 18002/1998098
91.77/90.32	c cleaning 7746 clauses out of 15502 with flag 26000/2006096
92.07/90.68	c cleaning 8372 clauses out of 16756 with flag 35000/2015096
92.47/91.06	c cleaning 9187 clauses out of 18386 with flag 45002/2025098
92.87/91.42	c cleaning 9594 clauses out of 19198 with flag 55001/2035097
93.18/91.77	c cleaning 9795 clauses out of 19603 with flag 65000/2045096
93.58/92.11	c cleaning 9900 clauses out of 19809 with flag 75001/2055097
93.98/92.50	c cleaning 9949 clauses out of 19908 with flag 85000/2065096
94.28/92.88	c cleaning 9975 clauses out of 19961 with flag 95002/2075098
94.78/93.30	c cleaning 9983 clauses out of 19984 with flag 105000/2085096
95.18/93.72	c cleaning 9992 clauses out of 20002 with flag 115001/2095097
95.58/94.12	c cleaning 10000 clauses out of 20010 with flag 125001/2105097
96.09/94.64	c cleaning 10001 clauses out of 20010 with flag 135001/2115097
96.48/95.05	c cleaning 9999 clauses out of 20012 with flag 145004/2125100
96.88/95.47	c cleaning 10000 clauses out of 20009 with flag 155000/2135096
97.38/95.99	c cleaning 10000 clauses out of 20011 with flag 165002/2145098
97.88/96.44	c cleaning 10002 clauses out of 20012 with flag 175003/2155099
98.29/96.85	c cleaning 9999 clauses out of 20010 with flag 185003/2165099
98.59/97.16	c Got one! Elapsed wall clock time (in seconds):97.053
98.59/97.16	o 53
98.79/97.37	c cleaning 11200 clauses out of 22408 with flag 5000/2177496
98.99/97.59	c cleaning 8599 clauses out of 17208 with flag 11000/2183496
99.29/97.83	c cleaning 7800 clauses out of 15609 with flag 18000/2190496
99.59/98.12	c cleaning 7898 clauses out of 15810 with flag 26001/2198497
99.89/98.46	c cleaning 8453 clauses out of 16913 with flag 35002/2207498
100.29/98.82	c cleaning 9224 clauses out of 18459 with flag 45001/2217497
100.59/99.18	c cleaning 9612 clauses out of 19235 with flag 55001/2227497
100.99/99.52	c cleaning 9805 clauses out of 19624 with flag 65002/2237498
101.29/99.87	c cleaning 9900 clauses out of 19817 with flag 75000/2247496
101.70/100.21	c cleaning 9954 clauses out of 19918 with flag 85001/2257497
101.99/100.57	c cleaning 9977 clauses out of 19965 with flag 95002/2267498
102.40/100.92	c cleaning 9988 clauses out of 19986 with flag 105000/2277496
102.70/101.29	c cleaning 9993 clauses out of 19999 with flag 115001/2287497
103.10/101.64	c cleaning 9998 clauses out of 20005 with flag 125000/2297496
103.50/102.01	c cleaning 9996 clauses out of 20007 with flag 135000/2307496
103.81/102.37	c cleaning 10000 clauses out of 20013 with flag 145002/2317498
104.20/102.77	c cleaning 9999 clauses out of 20012 with flag 155001/2327497
104.61/103.15	c cleaning 10002 clauses out of 20012 with flag 165000/2337496
104.71/103.24	c Got one! Elapsed wall clock time (in seconds):103.14
104.71/103.24	o 24
104.81/103.34	c cleaning 7624 clauses out of 15253 with flag 3000/2342739
105.01/103.54	c cleaning 6808 clauses out of 13629 with flag 9000/2348739
105.21/103.78	c cleaning 6907 clauses out of 13823 with flag 16002/2355741
105.51/104.06	c cleaning 7448 clauses out of 14914 with flag 24000/2363739
105.82/104.39	c cleaning 8229 clauses out of 16467 with flag 33001/2372740
106.22/104.73	c cleaning 9114 clauses out of 18237 with flag 43000/2382739
106.52/105.10	c cleaning 9550 clauses out of 19123 with flag 53000/2392739
106.92/105.44	c cleaning 9780 clauses out of 19574 with flag 63001/2402740
107.32/105.80	c cleaning 9893 clauses out of 19797 with flag 73004/2412743
107.62/106.15	c cleaning 9946 clauses out of 19901 with flag 83001/2422740
107.92/106.49	c cleaning 9975 clauses out of 19957 with flag 93003/2432742
108.32/106.83	c cleaning 9983 clauses out of 19980 with flag 103001/2442740
108.62/107.18	c cleaning 9993 clauses out of 19997 with flag 113001/2452740
109.02/107.53	c cleaning 9996 clauses out of 20003 with flag 123000/2462739
109.33/107.88	c cleaning 9999 clauses out of 20007 with flag 133000/2472739
109.72/108.25	c cleaning 10000 clauses out of 20010 with flag 143002/2482741
110.12/108.60	c cleaning 9998 clauses out of 20008 with flag 153000/2492739
110.43/108.95	c cleaning 10003 clauses out of 20013 with flag 163003/2502742
110.72/109.29	c cleaning 9995 clauses out of 20007 with flag 173000/2512739
111.12/109.63	c cleaning 9999 clauses out of 20013 with flag 183001/2522740
111.43/109.98	c cleaning 10001 clauses out of 20013 with flag 193000/2532739
111.83/110.32	c cleaning 10002 clauses out of 20012 with flag 203000/2542739
112.13/110.65	c cleaning 10002 clauses out of 20011 with flag 213001/2552740
112.43/111.00	c cleaning 10000 clauses out of 20009 with flag 223001/2562740
112.83/111.36	c cleaning 10000 clauses out of 20009 with flag 233001/2572740
113.14/111.68	c cleaning 10000 clauses out of 20010 with flag 243002/2582741
113.54/112.02	c cleaning 10001 clauses out of 20010 with flag 253002/2592741
113.84/112.35	c cleaning 10001 clauses out of 20010 with flag 263003/2602742
114.14/112.69	c cleaning 9999 clauses out of 20006 with flag 273000/2612739
114.54/113.02	c cleaning 9997 clauses out of 20007 with flag 283000/2622739
114.85/113.36	c cleaning 9998 clauses out of 20010 with flag 293000/2632739
115.14/113.69	c cleaning 9998 clauses out of 20012 with flag 303000/2642739
115.55/114.01	c cleaning 10003 clauses out of 20015 with flag 313001/2652740
115.85/114.37	c cleaning 10004 clauses out of 20013 with flag 323002/2662741
116.25/114.70	c cleaning 9997 clauses out of 20008 with flag 333001/2672740
116.55/115.03	c cleaning 9998 clauses out of 20010 with flag 343000/2682739
116.85/115.38	c cleaning 10003 clauses out of 20013 with flag 353001/2692740
117.25/115.73	c cleaning 10002 clauses out of 20010 with flag 363001/2702740
117.55/116.06	c cleaning 9998 clauses out of 20008 with flag 373001/2712740
117.85/116.39	c cleaning 9999 clauses out of 20009 with flag 383000/2722739
118.25/116.70	c cleaning 10004 clauses out of 20015 with flag 393005/2732744
118.55/117.04	c cleaning 10000 clauses out of 20006 with flag 403000/2742739
118.85/117.39	c cleaning 9999 clauses out of 20007 with flag 413001/2752740
119.27/117.75	c cleaning 10000 clauses out of 20007 with flag 423000/2762739
119.57/118.08	c cleaning 9998 clauses out of 20011 with flag 433004/2772743
119.97/118.44	c cleaning 10000 clauses out of 20009 with flag 443000/2782739
120.17/118.61	c Got one! Elapsed wall clock time (in seconds):118.504
120.17/118.61	o 9
120.37/118.81	c cleaning 10203 clauses out of 20418 with flag 5000/2793148
120.57/119.02	c cleaning 8104 clauses out of 16215 with flag 11000/2799148
120.77/119.27	c cleaning 7550 clauses out of 15112 with flag 18001/2806149
121.07/119.55	c cleaning 7777 clauses out of 15562 with flag 26001/2814149
121.38/119.89	c cleaning 8383 clauses out of 16784 with flag 35000/2823148
121.77/120.26	c cleaning 9197 clauses out of 18401 with flag 45000/2833148
122.17/120.65	c cleaning 9597 clauses out of 19205 with flag 55001/2843149
122.58/121.01	c cleaning 9798 clauses out of 19607 with flag 65000/2853148
122.87/121.38	c cleaning 9899 clauses out of 19810 with flag 75001/2863149
123.27/121.74	c cleaning 9951 clauses out of 19913 with flag 85003/2873151
123.68/122.11	c cleaning 9978 clauses out of 19959 with flag 95000/2883148
123.98/122.48	c cleaning 9988 clauses out of 19982 with flag 105002/2893150
124.38/122.86	c cleaning 9991 clauses out of 19993 with flag 115001/2903149
124.48/122.98	c Got one! Elapsed wall clock time (in seconds):122.873
124.48/122.98	o 5
124.60/123.06	c cleaning 7792 clauses out of 15592 with flag 2001/2908739
124.80/123.28	c cleaning 6894 clauses out of 13799 with flag 8000/2914738
125.10/123.51	c cleaning 6946 clauses out of 13905 with flag 15000/2921738
125.40/123.80	c cleaning 7476 clauses out of 14960 with flag 23002/2929740
125.70/124.14	c cleaning 8242 clauses out of 16483 with flag 32001/2938739
125.81/124.23	c starts		: 278
125.81/124.23	c conflicts		: 2940911
125.81/124.23	c decisions		: 4846312
125.81/124.23	c propagations		: 80761827
125.81/124.23	c inspects		: 676043965
125.81/124.23	c shortcuts		: 0
125.81/124.23	c learnt literals	: 10
125.81/124.23	c learnt binary clauses	: 125
125.81/124.23	c learnt ternary clauses	: 2181
125.81/124.23	c learnt constraints	: 2940900
125.81/124.23	c ignored constraints	: 0
125.81/124.23	c root simplifications	: 0
125.81/124.23	c removed literals (reason simplification)	: 14110132
125.81/124.23	c reason swapping (by a shorter reason)	: 0
125.81/124.23	c Calls to reduceDB	: 333
125.81/124.23	c number of reductions to clauses (during analyze)	: 0
125.81/124.23	c number of learned constraints concerned by reduction	: 0
125.81/124.23	c number of learning phase by resolution	: 0
125.81/124.23	c number of learning phase by cutting planes	: 0
125.81/124.23	c speed (assignments/second)	: 6.46094616E7
125.81/124.23	c non guided choices	2707
125.81/124.23	c learnt constraints type 
125.81/124.23	c constraints type 
125.81/124.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
125.81/124.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
125.81/124.23	s OPTIMUM FOUND
125.81/124.23	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 
125.81/124.23	c objective function=5
125.81/124.23	c Total wall clock time (in seconds): 124.125

Verifier Data 

OK	5

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-3492736-1307911203/watcher-3492736-1307911203 -o /tmp/evaluation-result-3492736-1307911203/solver-3492736-1307911203 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492736-1307911203.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.02 2.01 2.00 3/196 21017
/proc/meminfo: memFree=32304636/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 1179 0 0 0 0 0 0 0 24 0 2 0 902718215 27824128 906 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 7096 906 688 9 0 381 0
[pid=21017/tid=21018] ppid=21015 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 69 0 0 0 0 0 0 0 25 0 2 0 902718215 29065216 910 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255372377735 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.015752 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 21017
/proc/meminfo: memFree=32304636/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 6385 0 1 0 0 0 0 0 24 0 2 0 902718215 10694979584 6086 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2611079 6107 917 9 0 2602235 0
[pid=21017/tid=21018] ppid=21015 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 5305 0 1 0 0 0 0 0 25 0 2 0 902718215 10694979584 6121 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.100723 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 21017
/proc/meminfo: memFree=32304636/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10539552 CPUtime=0.11 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 13102 0 1 0 9 2 0 0 24 0 18 0 902718215 10792501248 12765 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2634888 12765 2092 9 0 2625622 0
[pid=21017/tid=21018] ppid=21015 vsize=10539552 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 11157 0 1 0 7 2 0 0 25 0 18 0 902718215 10792501248 12765 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 47263039132895 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539552

[startup+0.300686 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 21017
/proc/meminfo: memFree=32304636/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10543436 CPUtime=0.5 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 15787 0 1 0 48 2 0 0 24 0 19 0 902718215 10796478464 14623 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2635859 14623 2215 9 0 2626593 0
[pid=21017/tid=21018] ppid=21015 vsize=10543436 CPUtime=0.29 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 11772 0 1 0 27 2 0 0 19 0 19 0 902718215 10796478464 14623 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505228260 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543436

[startup+0.700624 s]
/proc/loadavg: 2.02 2.01 2.00 3/196 21017
/proc/meminfo: memFree=32304636/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10543436 CPUtime=0.97 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 16943 0 1 0 95 2 0 0 24 0 19 0 902718215 10796478464 15358 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2635859 15358 2247 9 0 2626593 0
[pid=21017/tid=21018] ppid=21015 vsize=10543436 CPUtime=0.67 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 11981 0 1 0 65 2 0 0 19 0 19 0 902718215 10796478464 15358 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505562456 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10543436

[startup+1.50147 s]
/proc/loadavg: 2.02 2.01 2.00 3/215 21037
/proc/meminfo: memFree=32250376/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10543436 CPUtime=1.85 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 17621 0 1 0 182 3 0 0 24 0 19 0 902718215 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2635859 16033 2248 9 0 2626593 0
[pid=21017/tid=21018] ppid=21015 vsize=10543436 CPUtime=1.42 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 11985 0 1 0 140 2 0 0 20 0 19 0 902718215 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505589412 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10543436 CPUtime=0.04 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 409 0 0 0 4 0 0 0 16 0 19 0 902718218 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10543436 CPUtime=0.15 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 1751 0 0 0 15 0 0 0 15 0 19 0 902718220 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10543436 CPUtime=0.17 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 1635 0 0 0 17 0 0 0 15 0 19 0 902718220 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902718220 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10796478464 16033 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10543436

[startup+3.10118 s]
/proc/loadavg: 2.02 2.01 2.00 3/215 21037
/proc/meminfo: memFree=32247152/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10543436 CPUtime=3.47 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 18130 0 1 0 344 3 0 0 24 0 19 0 902718215 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2635859 16538 2249 9 0 2626593 0
[pid=21017/tid=21018] ppid=21015 vsize=10543436 CPUtime=2.97 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 11990 0 1 0 295 2 0 0 25 0 19 0 902718215 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505531211 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 204 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 179 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10543436 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 610 0 0 0 9 0 0 0 16 0 19 0 902718218 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10543436 CPUtime=0.17 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 1754 0 0 0 17 0 0 0 16 0 19 0 902718220 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10543436 CPUtime=0.17 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 1635 0 0 0 17 0 0 0 15 0 19 0 902718220 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902718220 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10796478464 16538 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10543436

[startup+6.30058 s]
/proc/loadavg: 2.02 2.01 2.00 3/215 21037
/proc/meminfo: memFree=32245792/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10543436 CPUtime=6.76 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 19141 0 1 0 673 3 0 0 24 0 19 0 902718215 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2635859 16559 2249 9 0 2626593 0
[pid=21017/tid=21018] ppid=21015 vsize=10543436 CPUtime=6.03 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 12002 0 1 0 601 2 0 0 25 0 19 0 902718215 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505613514 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10543436 CPUtime=0.01 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 111 0 0 0 1 0 0 0 15 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 902718217 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10543436 CPUtime=0.21 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 611 0 0 0 21 0 0 0 16 0 19 0 902718218 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10543436 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10543436 CPUtime=0.18 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 1755 0 0 0 18 0 0 0 15 0 19 0 902718220 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10543436 CPUtime=0.24 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 2624 0 0 0 24 0 0 0 15 0 19 0 902718220 10796478464 16559 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0

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

/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 96 0 0 0 10 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 212 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 56 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 122 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10559756 CPUtime=0.06 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 98 0 0 0 6 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10559756 CPUtime=0.11 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 230 0 0 0 11 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 86 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 193 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10559756 CPUtime=4.58 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 1254 0 0 0 453 5 0 0 15 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10559756 CPUtime=0.59 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 8865 0 0 0 58 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10559756 CPUtime=0.64 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 7649 0 0 0 63 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 124.7
Current children cumulated vsize (KiB) 10559756

[startup+123.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 21040
/proc/meminfo: memFree=32211652/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10559756 CPUtime=125.5 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 32340 0 1 0 12537 13 0 0 24 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2639939 23243 2252 9 0 2630673 0
[pid=21017/tid=21018] ppid=21015 vsize=10559756 CPUtime=118.84 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 12321 0 1 0 11881 3 0 0 17 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505531306 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10559756 CPUtime=0.1 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 96 0 0 0 10 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 212 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 56 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 122 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10559756 CPUtime=0.06 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 98 0 0 0 6 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10559756 CPUtime=0.11 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 230 0 0 0 11 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 86 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 193 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10559756 CPUtime=4.62 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 1254 0 0 0 457 5 0 0 15 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10559756 CPUtime=0.59 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 8865 0 0 0 58 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10559756 CPUtime=0.64 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 7649 0 0 0 63 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 125.5
Current children cumulated vsize (KiB) 10559756

[startup+124.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 21040
/proc/meminfo: memFree=32211652/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10559756 CPUtime=125.7 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 32340 0 1 0 12557 13 0 0 24 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2639939 23243 2252 9 0 2630673 0
[pid=21017/tid=21018] ppid=21015 vsize=10559756 CPUtime=119.04 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 12321 0 1 0 11901 3 0 0 18 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505553887 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10559756 CPUtime=0.1 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 96 0 0 0 10 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 212 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 56 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 122 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10559756 CPUtime=0.06 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 98 0 0 0 6 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10559756 CPUtime=0.11 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 230 0 0 0 11 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 86 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 193 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10559756 CPUtime=4.62 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 1254 0 0 0 457 5 0 0 15 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10559756 CPUtime=0.59 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 8865 0 0 0 58 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10559756 CPUtime=0.64 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 7649 0 0 0 63 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 125.7
Current children cumulated vsize (KiB) 10559756

[startup+124.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 21040
/proc/meminfo: memFree=32211652/32951124 swapFree=67072804/67111528
[pid=21017] ppid=21015 vsize=10559756 CPUtime=125.81 cores=1,3,5,7
/proc/21017/stat : 21017 (java) S 21015 21017 18875 0 -1 4202496 32341 0 1 0 12568 13 0 0 24 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/21017/statm: 2639939 23243 2252 9 0 2630673 0
[pid=21017/tid=21018] ppid=21015 vsize=10559756 CPUtime=119.13 cores=1,3,5,7
/proc/21017/task/21018/stat : 21018 (java) R 21015 21017 18875 0 -1 4202560 12322 0 1 0 11910 3 0 0 18 0 19 0 902718215 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 46912505589328 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=10559756 CPUtime=0.1 cores=1,3,5,7
/proc/21017/task/21020/stat : 21020 (java) S 21015 21017 18875 0 -1 4202560 96 0 0 0 10 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21021] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21021/stat : 21021 (java) S 21015 21017 18875 0 -1 4202560 212 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21022] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21022/stat : 21022 (java) S 21015 21017 18875 0 -1 4202560 56 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21023] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21023/stat : 21023 (java) S 21015 21017 18875 0 -1 4202560 122 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21024] ppid=21015 vsize=10559756 CPUtime=0.06 cores=1,3,5,7
/proc/21017/task/21024/stat : 21024 (java) S 21015 21017 18875 0 -1 4202560 98 0 0 0 6 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21025] ppid=21015 vsize=10559756 CPUtime=0.11 cores=1,3,5,7
/proc/21017/task/21025/stat : 21025 (java) S 21015 21017 18875 0 -1 4202560 230 0 0 0 11 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21026] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21026/stat : 21026 (java) S 21015 21017 18875 0 -1 4202560 86 0 0 0 9 0 0 0 15 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 7 0 0 0
[pid=21017/tid=21027] ppid=21015 vsize=10559756 CPUtime=0.09 cores=1,3,5,7
/proc/21017/task/21027/stat : 21027 (java) S 21015 21017 18875 0 -1 4202560 193 0 0 0 9 0 0 0 16 0 19 0 902718217 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21028] ppid=21015 vsize=10559756 CPUtime=4.63 cores=1,3,5,7
/proc/21017/task/21028/stat : 21028 (java) S 21015 21017 18875 0 -1 4202560 1254 0 0 0 458 5 0 0 15 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 0 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21029] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21029/stat : 21029 (java) S 21015 21017 18875 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21030] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21030/stat : 21030 (java) S 21015 21017 18875 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 902718218 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21031] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21031/stat : 21031 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389125041 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21032] ppid=21015 vsize=10559756 CPUtime=0.59 cores=1,3,5,7
/proc/21017/task/21032/stat : 21032 (java) S 21015 21017 18875 0 -1 4202560 8865 0 0 0 58 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
[pid=21017/tid=21033] ppid=21015 vsize=10559756 CPUtime=0.64 cores=1,3,5,7
/proc/21017/task/21033/stat : 21033 (java) S 21015 21017 18875 0 -1 4202560 7649 0 0 0 63 1 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21034] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21034/stat : 21034 (java) S 21015 21017 18875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117337 0 4 0 16800975 18446604471165530496 0 0 -1 1 0 0 0
[pid=21017/tid=21035] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21035/stat : 21035 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902718220 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 5 0 0 0
[pid=21017/tid=21036] ppid=21015 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/21017/task/21036/stat : 21036 (java) S 21015 21017 18875 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902718231 10813190144 23243 33554432000 1073741824 1073778376 140736813862208 18446744073709551615 255389117952 0 4 0 16800975 18446604471165530496 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 125.81
Current children cumulated vsize (KiB) 10559756

Child status: 30
Real time (s): 124.238
CPU time (s): 125.848
CPU user time (s): 125.708
CPU system time (s): 0.139978
CPU usage (%): 101.296
Max. virtual memory (cumulated for all children) (KiB): 10564108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.708
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32361
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= 12090
involuntary context switches= 5871

runsolver used 0.215967 second user time and 0.486925 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-12 22:40:03
IDJOB=3492736
IDBENCH=79251
IDSOLVER=1982
FILE ID=node135/3492736-1307911203
RUNJOBID= node135-1307908879-20391
PBS_JOBID= 13559571
Free space on /tmp= 73888 MiB

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

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

MD5SUM BENCH= 3f56278c0c7f2898f6b9e11f0d13a6fa
RANDOM SEED=866272022

node135.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.851
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.70
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.851
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	: 5332.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.75
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.851
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32305412 kB
Buffers:        124400 kB
Cached:         131752 kB
SwapCached:       6348 kB
Active:         357116 kB
Inactive:       102848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32305412 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:             172 kB
Writeback:           0 kB
AnonPages:      203040 kB
Mapped:          18932 kB
Slab:           122560 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10516376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73888 MiB
End job on node135 at 2011-06-12 22:42:08