Trace number 354113

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23OPT1228810444800 1742.19 1727.87

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-glass4.opb
MD5SUM9d32bc57adc83bca41f939562e4ccfd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1228810444800
Best CPU time to get the best result obtained on this benchmark1742.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1228810444800
Optimality of the best value was proved YES
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 1073761158741413
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 71583145981965762560
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 303620978593259231065
Number of bits of the biggest sum of numbers69
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 (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb
0.20/0.20	c reading problem ... 
2.00/1.26	c ... done. Wall clock time 1.052s.
2.00/1.26	c CPU time (experimental) 0.7s.
2.00/1.26	c #vars     780
2.00/1.26	c #constraints  441
2.56/1.58	c SATISFIABLE
2.56/1.58	c OPTIMIZING...
2.56/1.58	c Got one! Elapsed wall clock time (in seconds):1.379
2.56/1.59	o 1072965097077476
3.04/1.99	c Got one! Elapsed wall clock time (in seconds):1.79
3.04/1.99	o 1072951141370307
3.24/2.13	c Got one! Elapsed wall clock time (in seconds):1.926
3.24/2.13	o 1072932485414529
3.50/2.31	c Got one! Elapsed wall clock time (in seconds):2.103
3.50/2.31	o 1072909037894861
3.62/2.49	c Got one! Elapsed wall clock time (in seconds):2.29
3.62/2.49	o 1072909037526529
3.84/2.62	c Got one! Elapsed wall clock time (in seconds):2.413
3.84/2.62	o 1072762294096595
4.06/2.82	c Got one! Elapsed wall clock time (in seconds):2.619
4.06/2.82	o 1072735602559626
4.17/2.95	c Got one! Elapsed wall clock time (in seconds):2.752
4.17/2.96	o 1072735336343430
4.27/3.06	c Got one! Elapsed wall clock time (in seconds):2.855
4.27/3.06	o 1072719288585665
4.37/3.14	c Got one! Elapsed wall clock time (in seconds):2.941
4.37/3.14	o 1072718255404673
4.66/3.31	c Got one! Elapsed wall clock time (in seconds):3.103
4.66/3.31	o 1072711018520211
4.77/3.45	c Got one! Elapsed wall clock time (in seconds):3.243
4.77/3.45	o 1072708968293779
4.87/3.58	c Got one! Elapsed wall clock time (in seconds):3.379
4.87/3.58	o 1072706964069719
5.12/3.75	c Got one! Elapsed wall clock time (in seconds):3.551
5.12/3.75	o 1072704239511160
5.23/3.85	c Got one! Elapsed wall clock time (in seconds):3.65
5.23/3.85	o 1072702877702873
5.33/3.97	c Got one! Elapsed wall clock time (in seconds):3.764
5.33/3.97	o 1072702827760717
5.54/4.13	c Got one! Elapsed wall clock time (in seconds):3.928
5.54/4.13	o 1072702824333249
5.64/4.23	c Got one! Elapsed wall clock time (in seconds):4.025
5.64/4.23	o 1072702824324544
5.74/4.34	c Got one! Elapsed wall clock time (in seconds):4.136
5.74/4.34	o 1072702823868864
5.84/4.47	c Got one! Elapsed wall clock time (in seconds):4.265
5.84/4.47	o 1072701878230464
5.96/4.59	c Got one! Elapsed wall clock time (in seconds):4.388
5.96/4.59	o 1072701365440449
6.22/4.72	c Got one! Elapsed wall clock time (in seconds):4.52
6.22/4.72	o 1072698726375065
6.42/4.94	c Got one! Elapsed wall clock time (in seconds):4.737
6.42/4.94	o 536871031908294
6.52/5.07	c Got one! Elapsed wall clock time (in seconds):4.869
6.52/5.07	o 535822978227347
6.63/5.18	c Got one! Elapsed wall clock time (in seconds):4.98
6.63/5.18	o 535822957532234
6.83/5.31	c Got one! Elapsed wall clock time (in seconds):5.112
6.83/5.32	o 535821256732096
6.94/5.46	c Got one! Elapsed wall clock time (in seconds):5.252
6.94/5.46	o 535819896962884
7.13/5.60	c Got one! Elapsed wall clock time (in seconds):5.395
7.13/5.60	o 535810700459701
7.23/5.71	c Got one! Elapsed wall clock time (in seconds):5.507
7.23/5.71	o 535810695808513
7.33/5.82	c Got one! Elapsed wall clock time (in seconds):5.618
7.33/5.82	o 535810656651850
7.43/5.96	c Got one! Elapsed wall clock time (in seconds):5.758
7.43/5.96	o 535810564616080
7.63/6.12	c Got one! Elapsed wall clock time (in seconds):5.916
7.63/6.12	o 535810538251926
8.16/6.67	c Got one! Elapsed wall clock time (in seconds):6.471
8.16/6.67	o 535810534099634
8.36/6.80	c Got one! Elapsed wall clock time (in seconds):6.596
8.36/6.80	o 535799105373155
8.46/6.99	c Got one! Elapsed wall clock time (in seconds):6.783
8.46/6.99	o 535766350584143
8.66/7.12	c Got one! Elapsed wall clock time (in seconds):6.917
8.66/7.12	o 535766290071178
8.76/7.24	c Got one! Elapsed wall clock time (in seconds):7.035
8.76/7.24	o 535761616538496
9.18/7.67	c Got one! Elapsed wall clock time (in seconds):7.471
9.18/7.67	o 535731407745134
9.28/7.79	c Got one! Elapsed wall clock time (in seconds):7.592
9.28/7.80	o 535728760057955
9.47/7.92	c Got one! Elapsed wall clock time (in seconds):7.715
9.47/7.92	o 535728759110918
9.57/8.08	c Got one! Elapsed wall clock time (in seconds):7.877
9.57/8.08	o 535728757848141
9.97/8.49	c Got one! Elapsed wall clock time (in seconds):8.285
9.97/8.49	o 268501082600193
10.20/8.66	c Got one! Elapsed wall clock time (in seconds):8.456
10.20/8.66	o 268470500389811
10.40/8.83	c Got one! Elapsed wall clock time (in seconds):8.624
10.40/8.83	o 268456432143245
10.60/9.04	c Got one! Elapsed wall clock time (in seconds):8.837
10.60/9.04	o 267323618807675
10.70/9.19	c Got one! Elapsed wall clock time (in seconds):8.992
10.70/9.20	o 267323603686848
10.90/9.38	c Got one! Elapsed wall clock time (in seconds):9.177
10.90/9.38	o 267323438300379
11.20/9.60	c Got one! Elapsed wall clock time (in seconds):9.396
11.20/9.60	o 267323437042563
11.62/10.00	c Got one! Elapsed wall clock time (in seconds):9.796
11.62/10.00	o 134225776870525
11.72/10.16	c Got one! Elapsed wall clock time (in seconds):9.959
11.72/10.16	o 134225657527003
12.02/10.48	c Got one! Elapsed wall clock time (in seconds):10.282
12.02/10.49	o 134219411553560
12.22/10.64	c Got one! Elapsed wall clock time (in seconds):10.432
12.22/10.64	o 133103733696667
12.32/10.78	c Got one! Elapsed wall clock time (in seconds):10.574
12.32/10.78	o 133103732330971
12.53/10.93	c Got one! Elapsed wall clock time (in seconds):10.727
12.53/10.93	o 133103607958235
12.63/11.08	c Got one! Elapsed wall clock time (in seconds):10.877
12.63/11.08	o 133103277338054
12.83/11.27	c Got one! Elapsed wall clock time (in seconds):11.068
12.83/11.27	o 133103269387648
13.03/11.42	c Got one! Elapsed wall clock time (in seconds):11.217
13.03/11.42	o 133103068937869
13.23/11.67	c Got one! Elapsed wall clock time (in seconds):11.463
13.23/11.67	o 133100768340748
13.53/11.92	c Got one! Elapsed wall clock time (in seconds):11.715
13.53/11.92	o 133100768044152
14.03/12.50	c Got one! Elapsed wall clock time (in seconds):12.293
14.13/12.50	o 133074085195457
14.34/12.73	c Got one! Elapsed wall clock time (in seconds):12.532
14.34/12.74	o 133074084249710
14.54/12.96	c Got one! Elapsed wall clock time (in seconds):12.76
14.54/12.96	o 133073328142719
14.78/13.13	c Got one! Elapsed wall clock time (in seconds):12.924
14.78/13.13	o 133071970913357
15.18/13.55	c Got one! Elapsed wall clock time (in seconds):13.343
15.18/13.55	o 133039228736657
15.58/13.97	c Got one! Elapsed wall clock time (in seconds):13.767
15.58/13.97	o 67141460697386
15.90/14.21	c Got one! Elapsed wall clock time (in seconds):14.007
15.90/14.21	o 67126009089206
16.10/14.43	c Got one! Elapsed wall clock time (in seconds):14.229
16.10/14.43	o 67125758939446
16.30/14.65	c Got one! Elapsed wall clock time (in seconds):14.448
16.30/14.65	o 65962494530570
16.50/14.86	c Got one! Elapsed wall clock time (in seconds):14.656
16.50/14.86	o 65962439134864
16.90/15.22	c Got one! Elapsed wall clock time (in seconds):15.013
16.90/15.22	o 33587192275233
17.10/15.44	c Got one! Elapsed wall clock time (in seconds):15.24
17.10/15.44	o 33571036158402
17.32/15.67	c Got one! Elapsed wall clock time (in seconds):15.471
17.32/15.67	o 33571029751939
17.53/15.89	c Got one! Elapsed wall clock time (in seconds):15.692
17.53/15.90	o 33554544667351
17.73/16.07	c Got one! Elapsed wall clock time (in seconds):15.868
17.73/16.07	o 33554464281801
18.03/16.30	c Got one! Elapsed wall clock time (in seconds):16.097
18.03/16.30	o 33554433501633
18.23/16.58	c Got one! Elapsed wall clock time (in seconds):16.375
18.23/16.58	o 33554433067591
18.53/16.82	c Got one! Elapsed wall clock time (in seconds):16.613
18.53/16.82	o 33554211621569
18.73/17.08	c Got one! Elapsed wall clock time (in seconds):16.875
18.73/17.08	o 33554083495361
18.94/17.29	c Got one! Elapsed wall clock time (in seconds):17.086
18.94/17.29	o 33553774394821
19.24/17.51	c Got one! Elapsed wall clock time (in seconds):17.305
19.24/17.51	o 33553732011715
19.43/17.73	c Got one! Elapsed wall clock time (in seconds):17.524
19.43/17.73	o 33553442815431
19.63/17.91	c Got one! Elapsed wall clock time (in seconds):17.709
19.63/17.91	o 33455006092160
19.83/18.18	c Got one! Elapsed wall clock time (in seconds):17.979
19.83/18.18	o 33454461589659
20.13/18.45	c Got one! Elapsed wall clock time (in seconds):18.25
20.13/18.45	o 33454333653901
20.43/18.72	c Got one! Elapsed wall clock time (in seconds):18.513
20.43/18.72	o 33452394424768
20.73/19.02	c Got one! Elapsed wall clock time (in seconds):18.819
20.73/19.02	o 32407894371032
20.93/19.29	c Got one! Elapsed wall clock time (in seconds):19.09
20.93/19.29	o 32391515400920
21.73/20.04	c Got one! Elapsed wall clock time (in seconds):19.836
21.73/20.04	o 32391514618371
21.93/20.26	c Got one! Elapsed wall clock time (in seconds):20.061
21.93/20.26	o 32391457945013
22.13/20.49	c Got one! Elapsed wall clock time (in seconds):20.289
22.13/20.49	o 32383356132801
22.43/20.76	c Got one! Elapsed wall clock time (in seconds):20.559
22.43/20.76	o 32383355407872
22.73/21.02	c Got one! Elapsed wall clock time (in seconds):20.812
22.73/21.02	o 32383249443201
22.93/21.27	c Got one! Elapsed wall clock time (in seconds):21.068
22.93/21.27	o 32383127403597
23.24/21.53	c Got one! Elapsed wall clock time (in seconds):21.324
23.24/21.53	o 32382682381968
23.54/21.83	c Got one! Elapsed wall clock time (in seconds):21.623
23.54/21.83	o 32382682065473
23.74/22.07	c Got one! Elapsed wall clock time (in seconds):21.867
23.74/22.07	o 32382422720141
24.04/22.32	c Got one! Elapsed wall clock time (in seconds):22.115
24.04/22.32	o 32382356700237
24.24/22.54	c Got one! Elapsed wall clock time (in seconds):22.341
24.24/22.54	o 32379113306851
24.54/22.82	c Got one! Elapsed wall clock time (in seconds):22.613
24.54/22.82	o 32379094583237
24.75/23.07	c Got one! Elapsed wall clock time (in seconds):22.87
24.75/23.07	o 32379094044707
25.04/23.38	c Got one! Elapsed wall clock time (in seconds):23.179
25.04/23.38	o 32379029577816
25.34/23.66	c Got one! Elapsed wall clock time (in seconds):23.454
25.34/23.66	o 32378966813773
25.64/23.99	c Got one! Elapsed wall clock time (in seconds):23.788
25.64/23.99	o 32378722639795
25.95/24.25	c Got one! Elapsed wall clock time (in seconds):24.045
25.95/24.25	o 32378648726402
26.25/24.54	c Got one! Elapsed wall clock time (in seconds):24.339
26.25/24.54	o 32375001894548
26.35/24.70	c Got one! Elapsed wall clock time (in seconds):24.494
26.35/24.70	o 32375001894526
26.65/24.99	c Got one! Elapsed wall clock time (in seconds):24.79
26.65/24.99	o 31850841811896
26.85/25.14	c Got one! Elapsed wall clock time (in seconds):24.937
26.85/25.14	o 23986398809907
27.25/25.54	c Got one! Elapsed wall clock time (in seconds):25.336
27.25/25.54	o 9568320825027
27.65/25.96	c Got one! Elapsed wall clock time (in seconds):25.76
27.65/25.96	o 9568306281207
27.95/26.25	c Got one! Elapsed wall clock time (in seconds):26.044
27.95/26.25	o 9306191097969
28.25/26.50	c Got one! Elapsed wall clock time (in seconds):26.299
28.25/26.50	o 9306187938189
28.55/26.80	c Got one! Elapsed wall clock time (in seconds):26.597
28.55/26.80	o 9306170049309
28.85/27.13	c Got one! Elapsed wall clock time (in seconds):26.928
28.85/27.13	o 9306154822946
28.95/27.28	c Got one! Elapsed wall clock time (in seconds):27.078
28.95/27.28	o 9302126638157
29.86/28.18	c Got one! Elapsed wall clock time (in seconds):27.981
29.86/28.18	o 9302124182660
30.16/28.48	c Got one! Elapsed wall clock time (in seconds):28.274
30.16/28.48	o 9257454026623
30.56/28.82	c Got one! Elapsed wall clock time (in seconds):28.614
30.56/28.82	o 9171055794154
30.76/29.08	c Got one! Elapsed wall clock time (in seconds):28.874
30.76/29.08	o 9171046121317
31.06/29.38	c Got one! Elapsed wall clock time (in seconds):29.176
31.06/29.38	o 9171045349171
31.26/29.57	c Got one! Elapsed wall clock time (in seconds):29.365
31.26/29.57	o 9043525113038
31.86/30.19	c Got one! Elapsed wall clock time (in seconds):29.984
31.86/30.19	o 8814671999568
32.17/30.47	c Got one! Elapsed wall clock time (in seconds):30.265
32.17/30.47	o 8814666254323
32.47/30.76	c Got one! Elapsed wall clock time (in seconds):30.555
32.47/30.76	o 8781896579081
32.77/31.04	c Got one! Elapsed wall clock time (in seconds):30.834
32.77/31.04	o 8781895563779
33.07/31.38	c Got one! Elapsed wall clock time (in seconds):31.174
33.07/31.38	o 8777740749611
33.37/31.66	c Got one! Elapsed wall clock time (in seconds):31.455
33.37/31.66	o 8777740746752
33.67/31.98	c Got one! Elapsed wall clock time (in seconds):31.78
33.67/31.98	o 8777740668988
33.97/32.28	c Got one! Elapsed wall clock time (in seconds):32.073
33.97/32.28	o 8777671546084
34.37/32.63	c Got one! Elapsed wall clock time (in seconds):32.429
34.37/32.63	o 8777671173249
34.68/32.96	c Got one! Elapsed wall clock time (in seconds):32.762
34.68/32.97	o 8765518403248
34.98/33.27	c Got one! Elapsed wall clock time (in seconds):33.066
34.98/33.27	o 8765517572097
35.58/33.83	c Got one! Elapsed wall clock time (in seconds):33.625
35.58/33.83	o 8011837152264
35.89/34.14	c Got one! Elapsed wall clock time (in seconds):33.938
35.89/34.14	o 8011836569862
36.18/34.47	c Got one! Elapsed wall clock time (in seconds):34.272
36.18/34.48	o 7856168575873
36.48/34.75	c Got one! Elapsed wall clock time (in seconds):34.547
36.48/34.75	o 7856167262847
36.78/35.02	c Got one! Elapsed wall clock time (in seconds):34.819
36.78/35.02	o 7856116175872
37.59/35.85	c Got one! Elapsed wall clock time (in seconds):35.65
37.59/35.85	o 7856115252862
37.99/36.22	c Got one! Elapsed wall clock time (in seconds):36.015
37.99/36.22	o 7855672408429
38.29/36.54	c Got one! Elapsed wall clock time (in seconds):36.34
38.29/36.54	o 7855607510896
38.69/36.94	c Got one! Elapsed wall clock time (in seconds):36.74
38.69/36.94	o 7855607351745
39.10/37.36	c Got one! Elapsed wall clock time (in seconds):37.153
39.10/37.36	o 7195712319039
40.00/38.25	c Got one! Elapsed wall clock time (in seconds):38.043
40.00/38.25	o 7192599471555
40.50/38.76	c Got one! Elapsed wall clock time (in seconds):38.56
40.50/38.76	o 7159903685278
40.80/39.07	c Got one! Elapsed wall clock time (in seconds):38.864
40.80/39.07	o 7159840773895
41.10/39.37	c Got one! Elapsed wall clock time (in seconds):39.169
41.10/39.37	o 7127067663871
41.40/39.69	c Got one! Elapsed wall clock time (in seconds):39.491
41.40/39.69	o 6668318341647
41.70/39.92	c Got one! Elapsed wall clock time (in seconds):39.715
41.70/39.92	o 6668262215038
42.00/40.26	c Got one! Elapsed wall clock time (in seconds):40.06
42.00/40.26	o 5095334363557
42.41/40.61	c Got one! Elapsed wall clock time (in seconds):40.407
42.41/40.61	o 5095207820814
42.90/41.13	c Got one! Elapsed wall clock time (in seconds):40.931
42.90/41.13	o 5095138363303
43.21/41.47	c Got one! Elapsed wall clock time (in seconds):41.265
43.21/41.47	o 5094952231059
43.81/42.07	c Got one! Elapsed wall clock time (in seconds):41.864
43.81/42.07	o 5094462940609
44.12/42.35	c Got one! Elapsed wall clock time (in seconds):42.152
44.12/42.36	o 5091370748802
44.52/42.72	c Got one! Elapsed wall clock time (in seconds):42.521
44.52/42.72	o 5091362964934
44.82/43.07	c Got one! Elapsed wall clock time (in seconds):42.864
44.82/43.07	o 5091361329111
45.32/43.52	c Got one! Elapsed wall clock time (in seconds):43.319
45.32/43.52	o 5091350303618
45.73/43.91	c Got one! Elapsed wall clock time (in seconds):43.708
45.73/43.91	o 5091110049317
46.03/44.25	c Got one! Elapsed wall clock time (in seconds):44.05
46.03/44.25	o 5091094199500
46.33/44.59	c Got one! Elapsed wall clock time (in seconds):44.382
46.33/44.59	o 5090854346277
46.72/44.92	c Got one! Elapsed wall clock time (in seconds):44.714
46.72/44.92	o 5090821858694
47.83/46.08	c Got one! Elapsed wall clock time (in seconds):45.882
47.83/46.09	o 5090356607650
48.22/46.43	c Got one! Elapsed wall clock time (in seconds):46.228
48.22/46.43	o 5089316551573
48.52/46.77	c Got one! Elapsed wall clock time (in seconds):46.568
48.52/46.77	o 5089190149010
48.93/47.16	c Got one! Elapsed wall clock time (in seconds):46.961
48.93/47.16	o 5087272477635
49.33/47.53	c Got one! Elapsed wall clock time (in seconds):47.327
49.33/47.53	o 5087255480786
49.83/48.01	c Got one! Elapsed wall clock time (in seconds):47.807
49.83/48.01	o 5085225936735
50.24/48.41	c Got one! Elapsed wall clock time (in seconds):48.21
50.24/48.41	o 5085098133611
50.53/48.79	c Got one! Elapsed wall clock time (in seconds):48.59
50.53/48.79	o 5084966989898
50.93/49.18	c Got one! Elapsed wall clock time (in seconds):48.973
50.93/49.18	o 5084839758739
52.13/50.31	c Got one! Elapsed wall clock time (in seconds):50.112
52.13/50.32	o 3303820459280
52.53/50.75	c Got one! Elapsed wall clock time (in seconds):50.543
52.53/50.75	o 3276818891650
53.64/51.87	c Got one! Elapsed wall clock time (in seconds):51.665
53.64/51.87	o 3244061215060
54.05/52.25	c Got one! Elapsed wall clock time (in seconds):52.047
54.05/52.25	o 3244054075842
54.45/52.63	c Got one! Elapsed wall clock time (in seconds):52.431
54.45/52.63	o 3244049890256
54.75/52.98	c Got one! Elapsed wall clock time (in seconds):52.772
54.75/52.98	o 3145746008508
55.25/53.40	c Got one! Elapsed wall clock time (in seconds):53.202
55.25/53.41	o 3145745224689
56.56/54.76	c Got one! Elapsed wall clock time (in seconds):54.558
56.56/54.76	o 3145242547743
56.96/55.15	c Got one! Elapsed wall clock time (in seconds):54.944
56.96/55.15	o 3112984142588
57.37/55.53	c Got one! Elapsed wall clock time (in seconds):55.322
57.37/55.53	o 2981908646969
57.67/55.82	c Got one! Elapsed wall clock time (in seconds):55.62
57.67/55.82	o 2981906624209
57.98/56.20	c Got one! Elapsed wall clock time (in seconds):55.993
57.98/56.20	o 2981903855247
58.77/56.95	c Got one! Elapsed wall clock time (in seconds):56.748
58.77/56.95	o 2261011326051
59.27/57.44	c Got one! Elapsed wall clock time (in seconds):57.236
59.27/57.44	o 2261003773025
60.78/58.92	c Got one! Elapsed wall clock time (in seconds):58.72
60.78/58.92	o 2228239703467
62.08/60.20	c Got one! Elapsed wall clock time (in seconds):59.996
62.08/60.20	o 2195460244130
63.69/61.81	c Got one! Elapsed wall clock time (in seconds):61.606
63.69/61.81	o 2187283936081
64.19/62.30	c Got one! Elapsed wall clock time (in seconds):62.096
64.19/62.30	o 2187271516265
64.89/63.07	c Got one! Elapsed wall clock time (in seconds):62.871
64.89/63.07	o 2162699079399
67.42/65.54	c Got one! Elapsed wall clock time (in seconds):65.34
67.42/65.54	o 2162698628399
69.34/67.48	c Got one! Elapsed wall clock time (in seconds):67.279
69.34/67.48	o 2031631564102
70.54/68.65	c Got one! Elapsed wall clock time (in seconds):68.452
70.54/68.66	o 1966094041192
74.87/72.98	c Got one! Elapsed wall clock time (in seconds):72.782
74.87/72.99	o 1966093626862
82.13/80.15	c Got one! Elapsed wall clock time (in seconds):79.948
82.13/80.15	o 1966089010330
92.23/90.15	c Got one! Elapsed wall clock time (in seconds):89.947
92.23/90.15	o 1962000900159
93.43/91.37	c Got one! Elapsed wall clock time (in seconds):91.164
93.43/91.37	o 1962000067029
95.14/93.08	c Got one! Elapsed wall clock time (in seconds):92.874
95.14/93.08	o 1925134478320
148.93/146.55	c Got one! Elapsed wall clock time (in seconds):146.343
148.93/146.55	o 1925134478319
160.50/158.06	c Got one! Elapsed wall clock time (in seconds):157.852
160.50/158.06	o 1925128171639
165.34/162.86	c Got one! Elapsed wall clock time (in seconds):162.661
165.34/162.86	o 1900559370424
173.51/170.93	c Got one! Elapsed wall clock time (in seconds):170.723
173.51/170.93	o 1900558715459
175.92/173.31	c Got one! Elapsed wall clock time (in seconds):173.108
175.92/173.31	o 1898514071559
177.74/175.17	c Got one! Elapsed wall clock time (in seconds):174.966
177.74/175.17	o 1898506339287
179.04/176.48	c Got one! Elapsed wall clock time (in seconds):176.274
179.04/176.48	o 1898491790514
181.26/178.64	c Got one! Elapsed wall clock time (in seconds):178.441
181.26/178.64	o 1898380845159
184.29/181.60	c Got one! Elapsed wall clock time (in seconds):181.4
184.29/181.60	o 1890444128644
184.69/182.01	c Got one! Elapsed wall clock time (in seconds):181.806
184.69/182.01	o 1884140082920
197.00/194.28	c Got one! Elapsed wall clock time (in seconds):194.073
197.00/194.28	o 1884107511187
199.71/196.96	c Got one! Elapsed wall clock time (in seconds):196.755
199.71/196.96	o 1867790669523
209.48/206.62	c Got one! Elapsed wall clock time (in seconds):206.417
209.48/206.62	o 1867790001139
212.31/209.44	c Got one! Elapsed wall clock time (in seconds):209.235
212.31/209.44	o 1867788629735
220.96/218.05	c Got one! Elapsed wall clock time (in seconds):217.844
220.96/218.05	o 1867788421895
246.85/243.75	c Got one! Elapsed wall clock time (in seconds):243.544
246.85/243.75	o 1802252037801
250.79/247.63	c Got one! Elapsed wall clock time (in seconds):247.43
250.79/247.63	o 1802251645278
271.07/267.72	c Got one! Elapsed wall clock time (in seconds):267.513
271.07/267.72	o 1802251554426
273.28/269.99	c Got one! Elapsed wall clock time (in seconds):269.782
273.28/269.99	o 1802251313528
296.48/292.90	c Got one! Elapsed wall clock time (in seconds):292.696
296.48/292.90	o 1802222392513
302.75/299.15	c Got one! Elapsed wall clock time (in seconds):298.95
302.75/299.15	o 1794059266559
316.46/312.76	c Got one! Elapsed wall clock time (in seconds):312.559
316.46/312.76	o 1794058848148
323.02/319.24	c Got one! Elapsed wall clock time (in seconds):319.037
323.02/319.24	o 1785869357406
341.27/337.32	c Got one! Elapsed wall clock time (in seconds):337.119
341.27/337.32	o 1785866178754
375.63/371.45	c Got one! Elapsed wall clock time (in seconds):371.248
375.63/371.45	o 1781782342292
383.82/379.58	c Got one! Elapsed wall clock time (in seconds):379.379
383.82/379.58	o 1781781761935
397.92/393.54	c Got one! Elapsed wall clock time (in seconds):393.342
397.92/393.55	o 1781773279238
405.69/401.21	c Got one! Elapsed wall clock time (in seconds):401.012
405.69/401.22	o 1781773106155
423.24/418.64	c Got one! Elapsed wall clock time (in seconds):418.44
423.24/418.64	o 1781770688378
454.39/449.59	c Got one! Elapsed wall clock time (in seconds):449.384
454.39/449.59	o 1781261567841
455.40/450.52	c Got one! Elapsed wall clock time (in seconds):450.319
455.40/450.52	o 1769307722113
472.13/467.19	c Got one! Elapsed wall clock time (in seconds):466.992
472.13/467.20	o 1769228898602
476.46/471.44	c Got one! Elapsed wall clock time (in seconds):471.241
476.46/471.44	o 1769228559834
485.32/480.28	c Got one! Elapsed wall clock time (in seconds):480.082
485.32/480.29	o 1769228466166
518.70/513.34	c Got one! Elapsed wall clock time (in seconds):513.132
518.70/513.34	o 1769228121541
529.89/524.49	c Got one! Elapsed wall clock time (in seconds):524.282
529.89/524.49	o 1769166849740
531.21/525.71	c Got one! Elapsed wall clock time (in seconds):525.508
531.21/525.71	o 1768973046217
533.43/527.99	c Got one! Elapsed wall clock time (in seconds):527.789
533.43/527.99	o 1768970211889
535.44/529.93	c Got one! Elapsed wall clock time (in seconds):529.731
535.44/529.93	o 1768205298909
540.48/534.96	c Got one! Elapsed wall clock time (in seconds):534.761
540.48/534.96	o 1761292067230
555.59/549.91	c Got one! Elapsed wall clock time (in seconds):549.71
555.59/549.91	o 1757200546799
572.53/566.71	c Got one! Elapsed wall clock time (in seconds):566.507
572.53/566.71	o 1757199445787
608.84/602.79	c Got one! Elapsed wall clock time (in seconds):602.586
608.84/602.79	o 1757199032980
646.33/639.92	c Got one! Elapsed wall clock time (in seconds):639.717
646.33/639.92	o 1744909771375
657.84/651.38	c Got one! Elapsed wall clock time (in seconds):651.179
657.84/651.38	o 1744909575312
666.31/659.75	c Got one! Elapsed wall clock time (in seconds):659.55
666.31/659.75	o 1744908833808
672.47/665.81	c Got one! Elapsed wall clock time (in seconds):665.602
672.47/665.81	o 1736719595013
673.77/667.19	c Got one! Elapsed wall clock time (in seconds):666.982
673.77/667.19	o 1736712125389
674.88/668.27	c Got one! Elapsed wall clock time (in seconds):668.064
674.88/668.27	o 1702908951904
689.02/682.20	c Got one! Elapsed wall clock time (in seconds):681.996
689.02/682.20	o 1702908677196
700.71/693.80	c Got one! Elapsed wall clock time (in seconds):693.601
700.71/693.80	o 1702824120911
710.50/703.50	c Got one! Elapsed wall clock time (in seconds):703.298
710.50/703.50	o 1702792953481
721.18/714.14	c Got one! Elapsed wall clock time (in seconds):713.937
721.18/714.14	o 1702791187965
735.81/728.61	c Got one! Elapsed wall clock time (in seconds):728.408
735.81/728.61	o 1697942407053
765.96/758.54	c Got one! Elapsed wall clock time (in seconds):758.34
765.96/758.54	o 1695754078664
794.90/787.21	c Got one! Elapsed wall clock time (in seconds):787.006
794.90/787.21	o 1695743133831
896.09/887.66	c Got one! Elapsed wall clock time (in seconds):887.458
896.09/887.66	o 1695737935155
950.86/942.01	c Got one! Elapsed wall clock time (in seconds):941.808
950.86/942.01	o 1686443160219
960.72/951.81	c Got one! Elapsed wall clock time (in seconds):951.611
960.72/951.81	o 1686442497559
986.64/977.54	c Got one! Elapsed wall clock time (in seconds):977.333
986.64/977.54	o 1685498949855
1010.81/1001.50	c Got one! Elapsed wall clock time (in seconds):1001.296
1010.81/1001.50	o 1684492923996
1035.19/1025.78	c Got one! Elapsed wall clock time (in seconds):1025.572
1035.19/1025.78	o 1684483703195
1101.49/1091.53	c Got one! Elapsed wall clock time (in seconds):1091.329
1101.49/1091.53	o 1684482504530
1251.94/1240.88	c Got one! Elapsed wall clock time (in seconds):1240.675
1251.94/1240.88	o 1684167369309
1260.01/1248.86	c Got one! Elapsed wall clock time (in seconds):1248.661
1260.01/1248.86	o 1684051142918
1300.92/1289.44	c Got one! Elapsed wall clock time (in seconds):1289.232
1300.92/1289.44	o 1684050841896
1338.40/1326.62	c Got one! Elapsed wall clock time (in seconds):1326.413
1338.40/1326.62	o 1684050255432
1360.73/1348.86	c Got one! Elapsed wall clock time (in seconds):1348.661
1360.73/1348.86	o 1684048771771
1401.50/1389.37	c Got one! Elapsed wall clock time (in seconds):1389.17
1401.50/1389.37	o 1683981495103
1410.66/1398.49	c Got one! Elapsed wall clock time (in seconds):1398.286
1410.66/1398.49	o 1683979998403
1412.26/1400.07	c Got one! Elapsed wall clock time (in seconds):1399.871
1412.26/1400.07	o 1683468965312
1414.87/1402.66	c Got one! Elapsed wall clock time (in seconds):1402.456
1414.87/1402.66	o 1671171310535
1420.82/1408.53	c Got one! Elapsed wall clock time (in seconds):1408.33
1420.82/1408.53	o 1671170674236
1438.74/1426.36	c Got one! Elapsed wall clock time (in seconds):1426.156
1438.74/1426.36	o 1667596467120
1443.77/1431.35	c Got one! Elapsed wall clock time (in seconds):1431.152
1443.77/1431.36	o 1667341737567
1460.30/1447.79	c Got one! Elapsed wall clock time (in seconds):1447.585
1460.30/1447.79	o 1667341136956
1673.60/1659.64	c Got one! Elapsed wall clock time (in seconds):1659.434
1673.60/1659.64	o 1667085368807
1710.48/1696.32	c Got one! Elapsed wall clock time (in seconds):1696.12
1710.48/1696.32	o 1667080947221
1735.35/1721.04	c Got one! Elapsed wall clock time (in seconds):1720.837
1735.35/1721.04	o 1666312296809
1736.05/1721.78	c Got one! Elapsed wall clock time (in seconds):1721.581
1736.05/1721.78	o 1228810444800
1742.06/1727.74	c starts		: 1058
1742.06/1727.74	c conflicts		: 467040
1742.06/1727.74	c decisions		: 885850
1742.06/1727.74	c propagations		: 13252249
1742.06/1727.74	c inspects		: 1969750202
1742.06/1727.74	c learnt literals	: 15
1742.06/1727.74	c learnt binary clauses	: 60
1742.06/1727.74	c learnt ternary clauses	: 47
1742.06/1727.74	c learnt clauses	: 467024
1742.06/1727.74	c root simplifications	: 0
1742.06/1727.74	c removed literals (reason simplification)	: 0
1742.06/1727.74	c reason swapping (by a shorter reason)	: 0
1742.06/1727.75	c Calls to reduceDB	: 0
1742.06/1727.75	c speed (decisions/second)	: 148657.49286793088
1742.06/1727.75	c non guided choices	15740
1742.06/1727.75	s OPTIMUM FOUND
1742.06/1727.75	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
1742.06/1727.75	v -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
1742.06/1727.75	v -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
1742.06/1727.75	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106
1742.06/1727.75	v -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1742.06/1727.75	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1742.06/1727.75	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169
1742.06/1727.75	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1742.06/1727.75	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1742.06/1727.75	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1742.06/1727.75	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1742.06/1727.75	v x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1742.06/1727.75	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 x285 x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296
1742.06/1727.75	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1742.06/1727.75	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1742.06/1727.75	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359
1742.06/1727.75	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 x379 -x380
1742.06/1727.75	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401
1742.06/1727.75	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 x419 -x420 -x421 -x422
1742.06/1727.75	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443
1742.06/1727.75	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464
1742.06/1727.75	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485
1742.06/1727.75	v -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506
1742.06/1727.75	v -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
1742.06/1727.75	v -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 x547 -x548
1742.06/1727.75	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569
1742.06/1727.75	v -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1742.06/1727.75	v -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611
1742.06/1727.75	v -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632
1742.06/1727.75	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 x648 -x649 -x650 -x651 -x652 -x653
1742.06/1727.75	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674
1742.06/1727.75	v -x675 -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695
1742.06/1727.75	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716
1742.06/1727.75	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737
1742.06/1727.75	v -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1742.06/1727.75	v -x759 -x760 x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779
1742.06/1727.75	v -x780
1742.06/1727.75	c objective function=1228810444800
1742.06/1727.75	c Total wall clock time (ms): 1727.548

Verifier Data (download as text)

OK	1228810444800

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-354113-1176694753 -o ROOT/results/node14/solver-354113-1176694753 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21917
/proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=272 CPUtime=0
/proc/21917/stat : 21917 (java) D 21915 21917 20800 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 117393068 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21917/statm: 68 37 28 9 0 6 0

[startup+0.0855189 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21917
/proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1777844 CPUtime=0.07
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 3815 0 1 0 5 2 0 0 18 0 7 0 117393068 1820512256 3558 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 444461 3558 1090 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.102486 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21917
/proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1780108 CPUtime=0.08
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 3976 0 1 0 6 2 0 0 18 0 12 0 117393068 1822830592 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 445027 3718 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.302505 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21917
/proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1782420 CPUtime=0.33
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 5113 0 1 0 30 3 0 0 18 0 12 0 117393068 1825198080 4852 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 445605 4852 1263 9 0 443217 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782420

[startup+0.702547 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 21917
/proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1791100 CPUtime=1.01
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 8787 0 1 0 95 6 0 0 18 0 12 0 117393068 1834086400 7822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 447775 7822 1303 9 0 445387 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1791100

[startup+1.50262 s]
/proc/loadavg: 0.92 0.98 0.99 4/89 21929
/proc/meminfo: memFree=1753824/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793824 CPUtime=2.56
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 18353 0 1 0 245 11 0 0 18 0 13 0 117393068 1836875776 13983 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448456 13984 1322 9 0 446068 0
[pid=21917/tid=21919] ppid=21915 vsize=1793824 CPUtime=0.85
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 10257 0 1 0 79 6 0 0 25 0 13 0 117393069 1836875776 13984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109748664 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 117393071 1836875776 13984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 117393071 1836875776 13985 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 13985 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 117393073 1836875776 13986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 117393073 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793824 CPUtime=0.69
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 1892 0 0 0 69 0 0 0 16 0 13 0 117393077 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793824 CPUtime=0.99
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5480 0 0 0 96 3 0 0 17 0 13 0 117393077 1836875776 13988 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836875776 13988 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836875776 13989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 1793824

[startup+3.10177 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 21932
/proc/meminfo: memFree=1686808/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793824 CPUtime=4.37
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 46692 0 1 0 414 23 0 0 18 0 13 0 117393068 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448456 42315 1334 9 0 446068 0
[pid=21917/tid=21919] ppid=21915 vsize=1793824 CPUtime=2.34
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 37726 0 1 0 216 18 0 0 25 0 13 0 117393069 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615422 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793824 CPUtime=0.01
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 472 0 0 0 1 0 0 0 16 0 13 0 117393071 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793824 CPUtime=0.01
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 363 0 0 0 1 0 0 0 16 0 13 0 117393071 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793824 CPUtime=0.87
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 1906 0 0 0 87 0 0 0 16 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793824 CPUtime=1.1
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5494 0 0 0 107 3 0 0 16 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793824 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 1793824

[startup+6.30206 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 21956
/proc/meminfo: memFree=1616000/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793504 CPUtime=7.86
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 48671 0 1 0 761 25 0 0 18 0 13 0 117393068 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448376 44025 1335 9 0 445988 0
[pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=5.43
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 37745 0 1 0 525 18 0 0 17 0 13 0 117393069 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109749078 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.05
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 1308 0 0 0 5 0 0 0 17 0 13 0 117393071 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.05
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 1283 0 0 0 5 0 0 0 16 0 13 0 117393071 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793504 CPUtime=1.02
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2050 0 0 0 102 0 0 0 15 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793504 CPUtime=1.24
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5511 0 0 0 121 3 0 0 16 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 1793504

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 21989
/proc/meminfo: memFree=1598224/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793504 CPUtime=14.34
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 58136 0 1 0 1404 30 0 0 18 0 13 0 117393068 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448376 51776 1335 9 0 445988 0
[pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=11.73
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 41078 0 1 0 1153 20 0 0 23 0 13 0 117393069 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109748997 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.13
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 4497 0 0 0 12 1 0 0 16 0 13 0 117393071 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.14
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 4149 0 0 0 12 2 0 0 16 0 13 0 117393071 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 43 0 0 0 0 0 0 0 17 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793504 CPUtime=1.02
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2050 0 0 0 102 0 0 0 15 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793504 CPUtime=1.24
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5511 0 0 0 121 3 0 0 16 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.34
Current children cumulated vsize (KiB) 1793504

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 22038
/proc/meminfo: memFree=1595184/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793504 CPUtime=27.25
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 60159 0 1 0 2693 32 0 0 18 0 13 0 117393068 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448376 47805 1335 9 0 445988 0
[pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=24.45
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 41088 0 1 0 2425 20 0 0 18 0 13 0 117393069 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656464 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.19
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 5440 0 0 0 18 1 0 0 16 0 13 0 117393071 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.19
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 5209 0 0 0 17 2 0 0 16 0 13 0 117393071 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0.01
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 45 0 0 0 1 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1739.05
Current children cumulated vsize (KiB) 1793828

[startup+1726.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22405
/proc/meminfo: memFree=1406376/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793828 CPUtime=1740.66
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 173906 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448457 95089 1336 9 0 446069 0
[pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1709.26
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170864 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109746826 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1740.66
Current children cumulated vsize (KiB) 1793828

[startup+1727.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22405
/proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793828 CPUtime=1741.46
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 173986 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448457 95089 1336 9 0 446069 0
[pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.06
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170944 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109778396 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1741.46
Current children cumulated vsize (KiB) 1793828

[startup+1727.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22405
/proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793828 CPUtime=1741.86
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 174026 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448457 95089 1336 9 0 446069 0
[pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.46
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170984 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109649360 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1741.86
Current children cumulated vsize (KiB) 1793828

[startup+1727.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22405
/proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793828 CPUtime=1742.06
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 174046 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448457 95089 1336 9 0 446069 0
[pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.66
/proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 171004 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109563619 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1742.06
Current children cumulated vsize (KiB) 1793828

[startup+1727.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22405
/proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956
[pid=21917] ppid=21915 vsize=1793828 CPUtime=1742.12
/proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163295 0 1 0 174052 160 0 0 18 0 12 0 117393068 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21917/statm: 448457 95093 1336 9 0 446069 0
[pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.71
/proc/21917/task/21919/stat : 21919 (java) S 21915 21917 20800 0 -1 64 86723 0 1 0 171009 62 0 0 25 0 12 0 117393069 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27
/proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 12 0 117393071 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31
/proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 12 0 117393071 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37
/proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09
/proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27
/proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0
/proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1742.12
Current children cumulated vsize (KiB) 1793828

Child status: 30
Real time (s): 1727.87
CPU time (s): 1742.19
CPU user time (s): 1740.52
CPU system time (s): 1.66675
CPU usage (%): 100.829
Max. virtual memory (cumulated for all children) (KiB): 1795288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.52
system time used= 1.66675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163299
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= 51325
involuntary context switches= 56821

runsolver used 2.05269 second user time and 5.35719 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Apr 16 03:39:13 UTC 2007

IDJOB= 354113
IDBENCH= 2347
IDSOLVER= 159
FILE ID= node14/354113-1176694753

PBS_JOBID= 4559412

Free space on /tmp= 66517 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-354113-1176694753 -o ROOT/results/node14/solver-354113-1176694753 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  9d32bc57adc83bca41f939562e4ccfd8

RANDOM SEED= 929404468

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1786968 kB
Buffers:         24284 kB
Cached:         150424 kB
SwapCached:      11748 kB
Active:         132012 kB
Inactive:        79256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786968 kB
SwapTotal:     4192956 kB
SwapFree:      4149104 kB
Dirty:            3928 kB
Writeback:           0 kB
Mapped:          43172 kB
Slab:            43120 kB
Committed_AS:  6509720 kB
PageTables:       1840 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66517 MiB

End job on node14 on Mon Apr 16 04:08:01 UTC 2007