Trace number 4292044

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 NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)100248967 2400.05 2369.53

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
MD5SUMbcb772945ca2f244c7b00bb761820cd7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35787314
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints945
Number of intensional constraints1108
Distribution of constraint types[{"type":"extension","count":945},{"type":"intension","count":1108}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 340350225
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
18.96/11.08	c Parsing done, starting search...
670.76/658.75	o 100504672
670.76/658.76	o 100504661
670.76/658.76	o 100504654
670.76/658.77	o 100504653
670.76/658.77	o 100504651
670.76/658.78	o 100504643
670.76/658.78	o 100504640
670.76/658.79	o 100504639
670.76/658.79	o 100504636
670.96/658.80	o 100495168
670.96/658.81	o 100495165
670.96/658.81	o 100495162
670.96/658.82	o 100485716
670.96/658.82	o 100485715
670.96/658.83	o 100485712
670.96/658.83	o 100485710
670.96/658.84	o 100485709
670.96/658.84	o 100485706
670.96/658.87	o 100485705
670.96/658.87	o 100485704
670.96/658.89	o 100485700
670.96/658.90	o 100485699
671.20/658.90	o 100485698
671.20/658.90	o 100485689
671.20/658.91	o 100485686
671.20/658.95	o 100485685
671.20/658.96	o 100485684
671.20/658.97	o 100485683
671.20/658.99	o 100476297
671.20/658.99	o 100476292
671.20/659.00	o 100476287
671.20/659.00	o 100476281
671.20/659.00	o 100476270
671.20/659.01	o 100476269
671.39/659.01	o 100476267
671.39/659.01	o 100476250
671.39/659.01	o 100476247
671.39/659.02	o 100476243
671.39/659.02	o 100476242
671.39/659.03	o 100476241
671.39/659.03	o 100476240
671.39/659.03	o 100476238
671.39/659.04	o 100476235
671.39/659.04	o 100476232
671.39/659.04	o 100476231
671.39/659.05	o 100476230
671.39/659.05	o 100476229
671.49/659.14	o 100476227
671.49/659.14	o 100476226
671.49/659.15	o 100476224
671.49/659.15	o 100476223
671.49/659.17	o 100476222
671.49/659.17	o 100476221
671.49/659.19	o 100476220
671.59/659.24	o 100466767
671.59/659.25	o 100466765
671.59/659.26	o 100466764
671.59/659.26	o 100466763
671.69/659.32	o 100466756
671.69/659.32	o 100466755
671.69/659.34	o 100466753
671.69/659.34	o 100466750
671.69/659.35	o 100466749
671.69/659.36	o 100466748
671.69/659.39	o 100466747
671.99/659.67	o 100466746
671.99/659.69	o 100466745
672.09/659.72	o 100466744
672.40/660.10	o 100466742
672.50/660.11	o 100466741
672.50/660.12	o 100466740
672.79/660.49	o 100457347
672.79/660.49	o 100457346
672.79/660.49	o 100457343
672.79/660.50	o 100457340
672.89/660.50	o 100457337
672.89/660.50	o 100457336
672.89/660.50	o 100457335
672.89/660.51	o 100457334
672.89/660.51	o 100457332
672.89/660.52	o 100457329
672.89/660.52	o 100457327
672.89/660.53	o 100457324
672.89/660.53	o 100457321
672.89/660.54	o 100457319
672.89/660.54	o 100457318
672.89/660.59	o 100457312
672.89/660.59	o 100457292
672.89/660.59	o 100457285
672.99/660.60	o 100457284
672.99/660.60	o 100457275
672.99/660.61	o 100457274
673.19/660.82	o 100447904
673.19/660.82	o 100447885
673.19/660.82	o 100447884
673.19/660.83	o 100447880
673.19/660.83	o 100447879
673.19/660.85	o 100447871
673.19/660.85	o 100447869
673.19/660.86	o 100438436
673.19/660.87	o 100438435
673.19/660.88	o 100438432
673.19/660.88	o 100438425
673.19/660.88	o 100438419
673.19/660.89	o 100438418
673.19/660.89	o 100438416
673.19/660.89	o 100438413
673.29/660.90	o 100438411
673.29/660.91	o 100438409
673.29/660.91	o 100438402
673.29/660.91	o 100438398
673.29/660.92	o 100438397
673.29/660.92	o 100438396
673.29/660.94	o 100438393
673.29/660.94	o 100438392
673.29/660.94	o 100438390
673.29/660.95	o 100438389
673.29/660.95	o 100438388
673.29/661.00	o 100438387
673.41/661.03	o 100438385
673.41/661.04	o 100438384
673.41/661.04	o 100438375
673.41/661.07	o 100438374
673.51/661.16	o 100438373
673.60/661.27	o 100438372
673.90/661.52	o 100438371
673.90/661.53	o 100438370
674.20/661.80	o 100438369
689.02/676.56	o 100438368
701.64/689.18	o 100438367
705.43/692.91	o 100438366
706.03/693.52	o 100438365
707.54/695.08	o 100438364
854.39/841.73	o 100428985
854.39/841.73	o 100428984
854.39/841.73	o 100428974
854.39/841.74	o 100428969
854.39/841.74	o 100428968
854.39/841.74	o 100428967
854.39/841.75	o 100428966
854.39/841.75	o 100428965
854.39/841.76	o 100428960
854.39/841.76	o 100428959
854.39/841.78	o 100428957
854.39/841.79	o 100428956
854.50/841.80	o 100428955
854.50/841.81	o 100428954
854.60/841.93	o 100428941
854.60/841.93	o 100428938
854.60/841.93	o 100428937
854.60/841.93	o 100428936
854.60/841.94	o 100428935
854.81/842.14	o 100428928
854.81/842.15	o 100428927
854.81/842.17	o 100428926
854.90/842.24	o 100428923
854.90/842.24	o 100428918
855.00/842.32	o 100419449
855.00/842.32	o 100419445
855.00/842.33	o 100419444
855.00/842.33	o 100419441
855.00/842.34	o 100419440
855.00/842.34	o 100419439
855.00/842.35	o 100419438
855.10/842.42	o 100410005
855.10/842.42	o 100409999
855.10/842.43	o 100409991
855.10/842.43	o 100409985
855.10/842.43	o 100409984
855.10/842.45	o 100409982
855.10/842.48	o 100409979
855.10/842.49	o 100409978
855.20/842.55	o 100409976
855.20/842.57	o 100409975
855.30/842.63	o 100409974
855.30/842.63	o 100409973
855.30/842.64	o 100409972
855.40/842.71	o 100409971
855.71/843.03	o 100409970
855.71/843.03	o 100409969
855.71/843.08	o 100409965
855.71/843.08	o 100409964
855.71/843.08	o 100409963
855.71/843.08	o 100409962
855.71/843.09	o 100409961
855.71/843.10	o 100409958
855.71/843.11	o 100409954
855.81/843.11	o 100409953
855.81/843.11	o 100409952
855.81/843.12	o 100409951
855.81/843.13	o 100409943
855.81/843.13	o 100409942
855.81/843.14	o 100409941
855.81/843.14	o 100409940
855.81/843.16	o 100409939
855.81/843.20	o 100409938
855.90/843.20	o 100409933
855.90/843.28	o 100400531
855.90/843.28	o 100400530
855.90/843.29	o 100400523
855.90/843.29	o 100400519
855.90/843.29	o 100400503
856.00/843.30	o 100400502
856.00/843.30	o 100400501
856.00/843.31	o 100400498
856.00/843.31	o 100400497
856.00/843.31	o 100400496
856.00/843.32	o 100400495
856.00/843.32	o 100400480
856.00/843.33	o 100400479
856.10/843.47	o 100400478
856.10/843.47	o 100400477
856.20/843.51	o 100400476
856.20/843.57	o 100400475
856.20/843.58	o 100400470
856.20/843.58	o 100400468
856.20/843.58	o 100400467
856.30/843.63	o 100400466
856.40/843.71	o 100400465
856.50/843.88	o 100400464
856.60/843.91	o 100400463
856.60/843.91	o 100400462
856.60/843.98	o 100400461
856.60/843.99	o 100400460
857.10/844.42	o 100391057
857.10/844.42	o 100391049
857.10/844.42	o 100391048
857.10/844.42	o 100391038
857.10/844.42	o 100391034
857.10/844.43	o 100391033
857.10/844.43	o 100391032
857.10/844.43	o 100391031
857.10/844.44	o 100391030
857.10/844.44	o 100391029
857.10/844.45	o 100391028
857.10/844.46	o 100391023
857.10/844.46	o 100391017
857.10/844.46	o 100391013
857.10/844.47	o 100391012
857.10/844.49	o 100391007
857.10/844.49	o 100391006
857.20/844.54	o 100391005
857.40/844.72	o 100391003
857.40/844.72	o 100391000
857.40/844.73	o 100390999
857.40/844.73	o 100390998
857.40/844.73	o 100390995
857.40/844.74	o 100390994
857.40/844.78	o 100390992
857.40/844.78	o 100390991
857.40/844.78	o 100390990
857.40/844.79	o 100390989
857.51/844.81	o 100390988
857.51/844.82	o 100390987
857.82/845.15	o 100390984
857.82/845.15	o 100390981
857.82/845.15	o 100390979
857.82/845.16	o 100390978
857.82/845.16	o 100390977
857.82/845.18	o 100390976
857.94/845.26	o 100390975
859.75/847.03	o 100390973
859.75/847.03	o 100390972
859.75/847.03	o 100390971
859.75/847.04	o 100390970
859.85/847.11	o 100390969
859.85/847.13	o 100390963
859.85/847.14	o 100390962
859.85/847.14	o 100390961
859.85/847.15	o 100390960
860.64/847.90	o 100390959
860.64/847.90	o 100390956
860.64/847.94	o 100390955
860.64/847.95	o 100390954
861.44/848.74	o 100390953
861.44/848.75	o 100390952
861.44/848.75	o 100390949
861.44/848.75	o 100390941
861.44/848.76	o 100390940
861.44/848.77	o 100390936
862.13/849.33	o 100381507
862.13/849.33	o 100381506
862.13/849.33	o 100381505
862.13/849.33	o 100381504
862.13/849.34	o 100381495
862.13/849.35	o 100381492
862.13/849.38	o 100381490
862.13/849.40	o 100381489
874.58/861.73	o 100372092
874.58/861.73	o 100372089
874.58/861.74	o 100372086
874.58/861.74	o 100372085
874.58/861.74	o 100372082
874.58/861.74	o 100372081
874.58/861.78	o 100372080
874.58/861.78	o 100372079
874.58/861.79	o 100372078
874.68/861.80	o 100372077
874.68/861.82	o 100372076
874.68/861.83	o 100372075
874.68/861.87	o 100372074
874.68/861.88	o 100372073
874.68/861.88	o 100372072
874.68/861.89	o 100372069
874.68/861.90	o 100372068
874.78/861.91	o 100372067
874.78/861.92	o 100372065
874.78/861.92	o 100372062
874.78/861.93	o 100372061
874.78/861.94	o 100372060
874.78/861.94	o 100372059
874.78/861.99	o 100372057
874.89/862.09	o 100372056
874.89/862.09	o 100372055
874.89/862.10	o 100372054
874.89/862.10	o 100372052
874.99/862.12	o 100372049
875.08/862.22	o 100372048
875.08/862.29	o 100372039
875.18/862.30	o 100372038
875.18/862.30	o 100372037
875.18/862.31	o 100372035
875.18/862.31	o 100372034
875.18/862.32	o 100372033
875.18/862.33	o 100372032
875.18/862.33	o 100372031
875.18/862.33	o 100372030
875.18/862.34	o 100372029
875.18/862.34	o 100372027
875.18/862.39	o 100372026
888.20/875.38	o 100372025
888.20/875.38	o 100372024
888.30/875.41	o 100372023
888.30/875.43	o 100372019
888.80/876.00	o 100372017
888.80/876.00	o 100372016
888.91/876.03	o 100372015
889.01/876.17	o 100372014
889.80/876.93	o 100372013
893.60/880.73	o 100362569
893.60/880.74	o 100362563
893.60/880.74	o 100362555
893.60/880.74	o 100362554
893.60/880.75	o 100362553
893.60/880.75	o 100362552
893.60/880.77	o 100362551
893.70/880.84	o 100362550
894.20/881.34	o 100362548
894.20/881.34	o 100362547
894.20/881.39	o 100362546
902.14/889.25	o 100362545
902.14/889.25	o 100362544
902.24/889.34	o 100362543
902.34/889.41	o 100362542
902.34/889.42	o 100362541
902.34/889.42	o 100362539
902.44/889.53	o 100362538
918.96/906.10	o 100362537
918.96/906.10	o 100362536
919.07/906.11	o 100362535
919.07/906.19	o 100362534
924.46/911.56	o 100362533
924.46/911.56	o 100362532
925.35/912.49	o 100353143
925.46/912.53	o 100353141
925.46/912.53	o 100353139
925.46/912.57	o 100353138
925.46/912.59	o 100353137
925.56/912.60	o 100353128
925.56/912.64	o 100353127
925.56/912.66	o 100353126
925.66/912.73	o 100353123
925.66/912.73	o 100353122
925.86/912.97	o 100353121
925.86/912.98	o 100353120
926.36/913.44	o 100353119
926.36/913.44	o 100353118
926.36/913.44	o 100353117
926.36/913.45	o 100353116
926.36/913.45	o 100353115
926.36/913.46	o 100353114
926.36/913.46	o 100353113
927.49/914.59	o 100353112
927.59/914.65	o 100353111
927.69/914.72	o 100353107
927.69/914.76	o 100353106
928.49/915.54	o 100353105
928.69/915.76	o 100353104
949.41/936.45	o 100343693
949.41/936.46	o 100343692
949.41/936.46	o 100343691
949.41/936.46	o 100343690
949.41/936.46	o 100343689
949.41/936.46	o 100343685
949.41/936.46	o 100343684
949.41/936.47	o 100343683
949.41/936.47	o 100343672
949.41/936.47	o 100343671
949.51/936.52	o 100343670
949.91/936.97	o 100343669
949.91/936.97	o 100343668
950.12/937.13	o 100343667
950.12/937.16	o 100343666
951.61/938.63	o 100343664
951.61/938.64	o 100343662
951.71/938.72	o 100343661
973.76/960.75	o 100343660
975.36/962.32	o 100343659
975.36/962.32	o 100343658
975.36/962.32	o 100343657
975.36/962.33	o 100343654
975.36/962.33	o 100343653
975.36/962.35	o 100343652
985.39/972.34	o 100343650
985.39/972.34	o 100343645
985.39/972.34	o 100343644
985.39/972.35	o 100343643
985.39/972.35	o 100343642
985.49/972.44	o 100343641
985.69/972.62	o 100343640
985.79/972.72	o 100343639
985.79/972.72	o 100343637
985.89/972.89	o 100343636
991.80/978.74	o 100343635
991.80/978.75	o 100343634
991.80/978.79	o 100343633
992.00/978.93	o 100343632
992.00/978.93	o 100343631
992.00/978.93	o 100343630
993.90/980.84	o 100343629
993.90/980.84	o 100343628
994.21/981.16	o 100343627
995.60/982.55	o 100343626
1008.44/995.30	o 100334198
1008.44/995.31	o 100334190
1008.44/995.31	o 100334189
1008.44/995.32	o 100334187
1008.44/995.32	o 100334186
1008.44/995.32	o 100334185
1008.44/995.33	o 100334183
1008.44/995.33	o 100334182
1008.44/995.34	o 100334179
1008.44/995.35	o 100334178
1008.44/995.35	o 100334177
1008.64/995.53	o 100334176
1010.54/997.41	o 100334175
1010.54/997.41	o 100334174
1010.54/997.42	o 100334171
1010.54/997.48	o 100334170
1010.64/997.55	o 100334169
1010.64/997.55	o 100334168
1010.64/997.57	o 100334167
1010.64/997.57	o 100334166
1026.60/1013.48	o 100334165
1026.60/1013.48	o 100334164
1026.60/1013.48	o 100334163
1058.70/1045.49	o 100334162
1059.11/1045.83	o 100334161
1067.42/1054.17	o 100334160
1145.68/1132.26	o 100334159
1148.78/1135.30	o 100334156
1148.78/1135.30	o 100334155
1148.78/1135.30	o 100334152
1148.78/1135.31	o 100334151
1148.78/1135.31	o 100334144
1148.78/1135.32	o 100334142
1148.78/1135.34	o 100334141
1166.02/1152.50	o 100334140
1166.02/1152.51	o 100334139
1166.02/1152.51	o 100334138
1166.12/1152.63	o 100334137
1183.76/1170.25	o 100324826
1183.76/1170.25	o 100324815
1183.76/1170.26	o 100324814
1183.76/1170.27	o 100324811
1183.76/1170.27	o 100324807
1183.76/1170.27	o 100324805
1183.86/1170.31	o 100324804
1183.86/1170.31	o 100324803
1183.86/1170.34	o 100324802
1183.86/1170.38	o 100324801
1183.96/1170.47	o 100324799
1184.06/1170.50	o 100324798
1184.06/1170.51	o 100324797
1184.06/1170.52	o 100324796
1184.67/1171.14	o 100324795
1184.67/1171.14	o 100324790
1184.67/1171.14	o 100324789
1184.67/1171.15	o 100324781
1184.67/1171.15	o 100324777
1184.67/1171.16	o 100324776
1184.67/1171.16	o 100324775
1184.67/1171.17	o 100324774
1184.67/1171.18	o 100324770
1184.67/1171.18	o 100324769
1184.67/1171.18	o 100324768
1184.67/1171.19	o 100324767
1184.67/1171.19	o 100324764
1184.67/1171.19	o 100324763
1184.76/1171.21	o 100324762
1184.76/1171.27	o 100324761
1184.96/1171.48	o 100324760
1185.06/1171.52	o 100324759
1185.16/1171.63	o 100324758
1189.96/1176.49	o 100324757
1189.96/1176.49	o 100324756
1190.06/1176.55	o 100324751
1190.06/1176.55	o 100324750
1190.16/1176.65	o 100324749
1190.16/1176.65	o 100324747
1190.16/1176.66	o 100324746
1190.16/1176.66	o 100324745
1190.16/1176.66	o 100324744
1190.16/1176.67	o 100324743
1190.27/1176.74	o 100324742
1190.47/1177.00	o 100324741
1190.68/1177.14	o 100324739
1190.68/1177.14	o 100324738
1190.68/1177.15	o 100324737
1190.68/1177.15	o 100324736
1190.68/1177.16	o 100324735
1192.51/1178.98	o 100315407
1192.51/1178.98	o 100315406
1192.51/1178.98	o 100315404
1192.51/1178.98	o 100315401
1192.51/1178.99	o 100315392
1192.51/1178.99	o 100315391
1192.51/1178.99	o 100315390
1192.51/1179.00	o 100315388
1192.51/1179.00	o 100315386
1192.51/1179.01	o 100315383
1192.62/1179.01	o 100315382
1192.62/1179.01	o 100315371
1192.62/1179.02	o 100315369
1192.62/1179.02	o 100315368
1192.62/1179.02	o 100315362
1192.62/1179.04	o 100315360
1192.62/1179.04	o 100315359
1192.62/1179.05	o 100315358
1192.62/1179.05	o 100315355
1192.62/1179.06	o 100315351
1192.62/1179.06	o 100315345
1192.62/1179.06	o 100315344
1192.62/1179.07	o 100315335
1192.62/1179.07	o 100315334
1192.62/1179.08	o 100315332
1192.62/1179.09	o 100315331
1192.62/1179.10	o 100315329
1192.62/1179.10	o 100315327
1192.72/1179.11	o 100315326
1192.72/1179.20	o 100315325
1192.81/1179.21	o 100315324
1192.81/1179.22	o 100315322
1192.91/1179.31	o 100315321
1192.91/1179.38	o 100315320
1193.11/1179.52	o 100315317
1193.11/1179.53	o 100315316
1193.11/1179.54	o 100315315
1193.11/1179.55	o 100315314
1193.31/1179.72	o 100315313
1193.41/1179.80	o 100315312
1193.41/1179.81	o 100315311
1193.41/1179.81	o 100315310
1193.41/1179.81	o 100315301
1193.41/1179.82	o 100315300
1193.51/1179.97	o 100315299
1193.72/1180.16	o 100315298
1193.72/1180.16	o 100315297
1193.72/1180.17	o 100315295
1193.72/1180.17	o 100315293
1193.72/1180.18	o 100315292
1193.81/1180.22	o 100315291
1194.41/1180.84	o 100315289
1194.41/1180.84	o 100315288
1194.41/1180.84	o 100315287
1194.41/1180.85	o 100315285
1194.41/1180.86	o 100315284
1194.41/1180.86	o 100315282
1194.51/1180.98	o 100315281
1194.81/1181.23	o 100315277
1194.81/1181.23	o 100315276
1194.81/1181.28	o 100315275
1194.81/1181.29	o 100315274
1194.91/1181.30	o 100315273
1198.63/1185.03	o 100305960
1198.63/1185.03	o 100305955
1198.63/1185.03	o 100305946
1198.63/1185.03	o 100305937
1198.63/1185.03	o 100305921
1198.63/1185.04	o 100305920
1198.63/1185.04	o 100305915
1198.63/1185.04	o 100305914
1198.63/1185.05	o 100305913
1198.63/1185.05	o 100305910
1198.63/1185.05	o 100305909
1198.63/1185.06	o 100305904
1198.63/1185.06	o 100305903
1198.63/1185.06	o 100305901
1198.63/1185.07	o 100305900
1198.63/1185.08	o 100305899
1198.63/1185.08	o 100305898
1198.63/1185.08	o 100305894
1198.63/1185.09	o 100305893
1198.63/1185.09	o 100305891
1198.63/1185.10	o 100305890
1198.63/1185.10	o 100305889
1198.73/1185.12	o 100305888
1198.73/1185.17	o 100305886
1198.73/1185.17	o 100305885
1198.73/1185.17	o 100305880
1198.73/1185.19	o 100305879
1198.73/1185.19	o 100305878
1198.82/1185.26	o 100305877
1198.92/1185.33	o 100305876
1198.92/1185.34	o 100305875
1198.92/1185.34	o 100305870
1198.92/1185.36	o 100305869
1198.92/1185.37	o 100305868
1199.02/1185.41	o 100305867
1199.02/1185.41	o 100305866
1199.02/1185.41	o 100305865
1199.02/1185.41	o 100305864
1199.02/1185.41	o 100305863
1199.02/1185.41	o 100305862
1199.02/1185.42	o 100305853
1199.02/1185.43	o 100305850
1199.02/1185.43	o 100305848
1199.02/1185.43	o 100305847
1199.02/1185.44	o 100305846
1199.02/1185.47	o 100305845
1199.02/1185.48	o 100305844
1199.12/1185.50	o 100305843
1199.12/1185.51	o 100305842
1199.12/1185.52	o 100305837
1199.22/1185.61	o 100305835
1199.22/1185.61	o 100305834
1199.22/1185.64	o 100305833
1199.22/1185.65	o 100305830
1199.22/1185.65	o 100305829
1199.22/1185.66	o 100305828
1199.22/1185.66	o 100305827
1199.22/1185.66	o 100305826
1199.22/1185.67	o 100305825
1199.43/1185.80	o 100305824
1199.43/1185.81	o 100305822
1199.43/1185.87	o 100305821
1199.43/1185.90	o 100305820
1199.74/1186.12	o 100305819
1199.74/1186.14	o 100305818
1199.74/1186.14	o 100305817
1199.74/1186.18	o 100305816
1199.93/1186.32	o 100305815
1199.93/1186.32	o 100305814
1199.93/1186.36	o 100305813
1199.93/1186.37	o 100305812
1201.43/1187.82	o 100305811
1201.43/1187.83	o 100305810
1201.53/1187.91	o 100305808
1201.53/1187.92	o 100305807
1201.53/1187.92	o 100305806
1202.43/1188.84	o 100305805
1202.43/1188.85	o 100305804
1203.38/1189.70	o 100305801
1203.38/1189.71	o 100305797
1203.38/1189.73	o 100305796
1203.38/1189.73	o 100305792
1203.98/1190.30	o 100296400
1203.98/1190.30	o 100296399
1203.98/1190.31	o 100296392
1203.98/1190.31	o 100296390
1203.98/1190.31	o 100296389
1203.98/1190.31	o 100296380
1203.98/1190.32	o 100296379
1203.98/1190.32	o 100296376
1203.98/1190.32	o 100296373
1203.98/1190.33	o 100296365
1203.98/1190.33	o 100296361
1203.98/1190.34	o 100296360
1203.98/1190.36	o 100296359
1203.98/1190.37	o 100296353
1203.98/1190.37	o 100296351
1203.98/1190.38	o 100296349
1204.08/1190.40	o 100296345
1204.08/1190.40	o 100296344
1204.08/1190.43	o 100296342
1204.08/1190.44	o 100296341
1204.69/1191.04	o 100296340
1204.88/1191.24	o 100296337
1204.88/1191.26	o 100296336
1204.88/1191.27	o 100296334
1204.88/1191.27	o 100296333
1204.88/1191.29	o 100296332
1205.28/1191.66	o 100296331
1205.28/1191.69	o 100296330
1205.58/1191.96	o 100296329
1207.38/1193.75	o 100296327
1207.38/1193.75	o 100296326
1207.38/1193.76	o 100296325
1207.38/1193.76	o 100296323
1207.38/1193.76	o 100296322
1207.38/1193.79	o 100296321
1207.38/1193.79	o 100296320
1207.38/1193.79	o 100296319
1207.38/1193.80	o 100296318
1207.48/1193.80	o 100296317
1207.48/1193.80	o 100296316
1207.48/1193.81	o 100296314
1207.48/1193.83	o 100296311
1207.48/1193.83	o 100296310
1207.48/1193.86	o 100296308
1207.58/1193.94	o 100296307
1208.28/1194.68	o 100296306
1208.28/1194.69	o 100296303
1208.28/1194.69	o 100296302
1209.29/1195.62	o 100296301
1209.49/1195.82	o 100296300
1209.49/1195.82	o 100296299
1209.49/1195.82	o 100296298
1209.49/1195.83	o 100296297
1209.80/1196.16	o 100296296
1209.80/1196.17	o 100296295
1209.80/1196.18	o 100296290
1378.66/1364.39	o 100286956
1378.66/1364.39	o 100286952
1378.77/1364.40	o 100286951
1378.77/1364.40	o 100286950
1378.77/1364.41	o 100286949
1378.77/1364.41	o 100286938
1378.77/1364.41	o 100286937
1378.77/1364.42	o 100286936
1378.77/1364.42	o 100286935
1378.77/1364.42	o 100286932
1378.77/1364.42	o 100286930
1378.77/1364.42	o 100286926
1378.87/1364.55	o 100286924
1378.97/1364.60	o 100286923
1378.97/1364.61	o 100286917
1378.97/1364.62	o 100286916
1379.27/1364.99	o 100286915
1379.27/1364.99	o 100286913
1379.27/1365.00	o 100286912
1379.27/1365.00	o 100286910
1379.38/1365.04	o 100286907
1379.38/1365.04	o 100286906
1379.38/1365.05	o 100286905
1379.38/1365.06	o 100286904
1379.48/1365.11	o 100286901
1379.48/1365.11	o 100286900
1379.48/1365.13	o 100286897
1379.48/1365.13	o 100286896
1379.77/1365.45	o 100286894
1379.77/1365.46	o 100286893
1379.77/1365.47	o 100286892
1379.77/1365.48	o 100286889
1379.97/1365.64	o 100286888
1380.48/1366.16	o 100286886
1380.48/1366.18	o 100286885
1380.57/1366.22	o 100286884
1380.67/1366.33	o 100286883
1382.38/1368.03	o 100286882
1382.77/1368.47	o 100286881
1383.40/1369.04	o 100286880
1383.40/1369.05	o 100286878
1383.40/1369.06	o 100286875
1383.40/1369.06	o 100286874
1383.40/1369.07	o 100286873
1384.10/1369.75	o 100286872
1386.80/1372.46	o 100286871
1387.90/1373.59	o 100286869
1387.90/1373.59	o 100286868
1388.00/1373.60	o 100286867
1388.10/1373.73	o 100286866
1388.30/1373.92	o 100286865
1396.24/1381.84	o 100286864
1396.24/1381.86	o 100286862
1396.34/1381.96	o 100286860
1396.45/1382.02	o 100286859
1396.45/1382.04	o 100286858
1397.14/1382.73	o 100286857
1404.78/1390.39	o 100286856
1404.88/1390.42	o 100286855
1404.88/1390.48	o 100286854
1419.25/1404.79	o 100286853
1476.46/1461.59	o 100286852
1476.56/1461.60	o 100286851
1476.56/1461.66	o 100286850
1476.56/1461.66	o 100286849
1476.76/1461.85	o 100286848
1476.86/1461.99	o 100286847
1479.39/1464.46	o 100286846
1490.61/1475.59	o 100286843
1490.61/1475.59	o 100286841
1490.71/1475.60	o 100286840
1516.30/1500.93	o 100268152
1516.30/1500.93	o 100268143
1516.30/1500.93	o 100268142
1516.30/1500.94	o 100268133
1516.30/1500.94	o 100268126
1516.30/1500.94	o 100268125
1516.30/1500.94	o 100268112
1516.30/1500.94	o 100268108
1516.30/1500.95	o 100268107
1516.30/1500.95	o 100268106
1516.30/1500.96	o 100268103
1516.30/1500.96	o 100268100
1516.30/1500.96	o 100268098
1516.30/1500.96	o 100268097
1516.30/1500.97	o 100268096
1516.30/1500.97	o 100268092
1516.30/1500.97	o 100268090
1516.30/1500.98	o 100268088
1516.30/1500.98	o 100268071
1516.30/1500.98	o 100268070
1516.30/1500.99	o 100268062
1516.30/1500.99	o 100268059
1516.30/1500.99	o 100268058
1516.30/1500.99	o 100268057
1516.30/1501.00	o 100268056
1516.30/1501.00	o 100268055
1516.30/1501.01	o 100268054
1516.40/1501.01	o 100268053
1516.40/1501.03	o 100268051
1516.40/1501.04	o 100268049
1516.40/1501.04	o 100268048
1516.40/1501.04	o 100268043
1516.40/1501.06	o 100268042
1516.40/1501.06	o 100268040
1516.40/1501.09	o 100268039
1516.40/1501.09	o 100268035
1516.40/1501.10	o 100268034
1516.40/1501.10	o 100268032
1516.40/1501.10	o 100268031
1516.40/1501.11	o 100268030
1516.50/1501.12	o 100268029
1516.50/1501.13	o 100268028
1516.50/1501.13	o 100268027
1516.62/1501.20	o 100268026
1516.72/1501.33	o 100268025
1516.72/1501.33	o 100268024
1516.72/1501.33	o 100268023
1516.72/1501.33	o 100268022
1516.72/1501.34	o 100268021
1516.72/1501.34	o 100268016
1516.92/1501.56	o 100268013
1517.22/1501.80	o 100268011
1517.22/1501.80	o 100268008
1517.22/1501.80	o 100268007
1517.22/1501.81	o 100268006
1517.22/1501.84	o 100268005
1517.22/1501.85	o 100268004
1517.53/1502.17	o 100268003
1517.82/1502.45	o 100268002
1517.82/1502.46	o 100268001
1520.37/1504.93	o 100268000
1520.37/1504.93	o 100267999
1520.37/1504.93	o 100267997
1520.37/1504.93	o 100267995
1520.58/1505.14	o 100267994
1521.91/1506.40	o 100267993
1521.91/1506.41	o 100267992
1532.81/1517.14	o 100267991
1532.81/1517.15	o 100267990
1532.81/1517.15	o 100267989
1532.81/1517.19	o 100267986
1533.23/1517.52	o 100267985
1534.46/1518.75	o 100267984
1534.66/1518.98	o 100267983
1535.97/1520.21	o 100267982
1537.81/1522.03	o 100267981
1537.81/1522.08	o 100267980
1537.81/1522.08	o 100267979
1537.81/1522.10	o 100267978
1544.95/1529.02	o 100267977
1544.95/1529.04	o 100267975
1544.95/1529.06	o 100267973
1544.95/1529.06	o 100267970
1545.06/1529.12	o 100267967
1545.06/1529.14	o 100267966
1545.06/1529.14	o 100267965
1545.18/1529.25	o 100267964
1545.18/1529.27	o 100267961
1545.28/1529.33	o 100267960
1545.28/1529.33	o 100267959
1545.28/1529.33	o 100267958
1545.28/1529.34	o 100267956
1545.28/1529.34	o 100267952
1545.28/1529.35	o 100267950
1545.28/1529.35	o 100267946
1545.28/1529.36	o 100267945
1545.28/1529.37	o 100267939
1545.28/1529.38	o 100267936
1545.38/1529.45	o 100267934
1545.68/1529.79	o 100267933
1545.68/1529.79	o 100267932
1545.78/1529.81	o 100267927
1547.93/1531.98	o 100267926
1565.86/1549.53	o 100258549
1565.86/1549.53	o 100258548
1565.86/1549.53	o 100258547
1565.96/1549.66	o 100258546
1566.06/1549.77	o 100258545
1566.06/1549.77	o 100258544
1566.06/1549.77	o 100258542
1566.06/1549.77	o 100258541
1566.06/1549.77	o 100258540
1566.16/1549.82	o 100258539
1566.16/1549.85	o 100258537
1566.16/1549.88	o 100258532
1566.26/1549.91	o 100258531
1566.56/1550.22	o 100258530
1566.66/1550.33	o 100258527
1566.66/1550.33	o 100258526
1566.66/1550.35	o 100258525
1567.78/1551.49	o 100258522
1567.78/1551.49	o 100258521
1567.78/1551.50	o 100258520
1567.88/1551.50	o 100258519
1567.98/1551.61	o 100258518
1567.98/1551.61	o 100258517
1567.98/1551.62	o 100258515
1568.49/1552.11	o 100258514
1568.49/1552.17	o 100258513
1594.55/1577.71	o 100258512
1594.55/1577.75	o 100258511
1594.55/1577.77	o 100258510
1594.55/1577.78	o 100258509
1594.65/1577.80	o 100258507
1596.02/1579.11	o 100258506
1607.21/1590.19	o 100258505
1607.40/1590.31	o 100258504
1607.50/1590.47	o 100258503
1607.90/1590.87	o 100258501
1607.90/1590.87	o 100258500
1608.00/1590.94	o 100258499
1608.00/1590.95	o 100258497
1608.11/1591.07	o 100258495
1608.11/1591.07	o 100258494
1620.24/1602.99	o 100258493
1647.33/1629.54	o 100258492
1647.33/1629.54	o 100258491
1647.33/1629.54	o 100258489
1647.33/1629.54	o 100258488
1647.33/1629.55	o 100258487
1647.33/1629.55	o 100258484
1647.33/1629.55	o 100258483
1647.33/1629.55	o 100258476
1647.33/1629.56	o 100258475
1647.33/1629.56	o 100258474
1647.33/1629.59	o 100258473
1647.43/1629.61	o 100258472
1647.43/1629.61	o 100258471
1678.78/1660.43	o 100258470
1718.13/1699.05	o 100258469
1718.13/1699.05	o 100258468
1718.13/1699.06	o 100258466
1718.13/1699.07	o 100258465
1718.24/1699.17	o 100258464
1725.10/1705.92	o 100258463
1725.10/1705.93	o 100258462
1725.10/1705.93	o 100258461
1725.10/1705.94	o 100258460
1725.10/1706.00	o 100258458
1725.20/1706.01	o 100258456
1725.20/1706.02	o 100258455
1763.04/1743.12	o 100258454
1785.27/1764.96	o 100258453
1785.38/1765.06	o 100258452
1787.53/1767.18	o 100258451
1787.92/1767.52	o 100258450
1787.92/1767.52	o 100258447
1788.34/1767.91	o 100258446
1788.34/1767.93	o 100258445
1797.82/1777.25	o 100258444
1799.96/1779.38	o 100258443
1799.96/1779.38	o 100258442
1799.96/1779.38	o 100258441
1799.96/1779.39	o 100258440
1800.06/1779.44	o 100258439
1800.16/1779.56	o 100258438
1800.16/1779.56	o 100258436
1805.90/1785.11	o 100258435
1806.29/1785.58	o 100258434
1806.29/1785.58	o 100258433
1806.39/1785.69	o 100258432
1806.49/1785.70	o 100258431
1806.49/1785.70	o 100258429
1806.49/1785.70	o 100258427
1806.49/1785.71	o 100258426
1936.93/1913.89	o 100249103
1937.03/1913.91	o 100249100
1937.03/1913.91	o 100249098
1937.03/1913.92	o 100249097
1937.03/1913.96	o 100249095
1937.03/1913.96	o 100249094
1937.14/1914.02	o 100249093
1937.36/1914.21	o 100249092
1937.46/1914.33	o 100249091
1937.46/1914.34	o 100249084
1937.76/1914.69	o 100249083
1937.76/1914.69	o 100249082
1937.86/1914.70	o 100249079
1937.86/1914.71	o 100249077
1937.86/1914.73	o 100249076
1938.06/1914.91	o 100249075
1938.06/1914.92	o 100249074
1938.06/1914.92	o 100249069
1938.06/1914.92	o 100249067
1938.06/1914.92	o 100249066
1938.06/1914.93	o 100249065
1938.06/1914.98	o 100249064
1938.06/1914.98	o 100249062
1938.16/1915.03	o 100249061
1938.49/1915.35	o 100249060
1938.49/1915.38	o 100249059
1938.49/1915.38	o 100249056
1938.69/1915.54	o 100249055
1938.69/1915.54	o 100249054
1938.79/1915.68	o 100249053
1938.79/1915.68	o 100249052
1938.79/1915.68	o 100249051
1938.79/1915.70	o 100249050
1938.89/1915.71	o 100249049
1938.99/1915.85	o 100249048
1938.99/1915.85	o 100249042
1938.99/1915.85	o 100249041
1938.99/1915.86	o 100249040
1939.90/1916.74	o 100249037
1939.90/1916.74	o 100249036
1940.00/1916.81	o 100249035
1940.21/1917.11	o 100249034
1940.31/1917.18	o 100249033
1941.33/1918.11	o 100249032
1941.33/1918.11	o 100249031
1943.64/1920.45	o 100249030
1943.64/1920.46	o 100249025
1943.64/1920.46	o 100249024
1943.64/1920.46	o 100249022
1943.64/1920.46	o 100249020
1943.64/1920.46	o 100249019
1943.64/1920.47	o 100249015
1943.64/1920.48	o 100249013
1943.64/1920.49	o 100249011
1943.64/1920.49	o 100249010
1943.74/1920.52	o 100249009
1943.74/1920.53	o 100249008
1955.51/1932.20	o 100249007
1990.23/1966.42	o 100249006
1990.93/1967.19	o 100249005
1991.45/1967.61	o 100249004
2016.44/1992.13	o 100249003
2021.12/1996.71	o 100249002
2021.12/1996.71	o 100249000
2021.22/1996.87	o 100248999
2021.55/1997.13	o 100248998
2021.64/1997.23	o 100248996
2021.64/1997.23	o 100248993
2021.74/1997.32	o 100248992
2057.77/2032.64	o 100248991
2057.77/2032.64	o 100248990
2058.09/2032.97	o 100248988
2058.09/2032.97	o 100248987
2058.09/2032.98	o 100248986
2068.27/2042.92	o 100248985
2069.40/2044.06	o 100248984
2100.61/2074.60	o 100248983
2100.91/2074.97	o 100248982
2100.91/2074.97	o 100248981
2101.52/2075.51	o 100248980
2102.34/2076.37	o 100248979
2102.84/2076.86	o 100248978
2104.21/2078.16	o 100248977
2105.23/2079.16	o 100248976
2106.04/2079.95	o 100248975
2106.04/2079.95	o 100248974
2118.58/2092.25	o 100248973
2118.58/2092.27	o 100248972
2123.49/2097.04	o 100248971
2123.49/2097.04	o 100248970
2123.49/2097.04	o 100248968
2123.91/2097.45	o 100248967
2400.00/2369.50	s SATISFIABLE
2400.00/2369.51	v <instantiation>
2400.00/2369.51	v 	<list>
2400.00/2369.51	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944]
2400.00/2369.51	v 	</list>
2400.00/2369.51	v 	<values>
2400.00/2369.51	v 		2632 2412 2460 2588 2460 2504 2468 2424 2484 2372 2412 2636 2524 2572 2464 2396 2388 2480 2444 2488 2560 2532 2372 2436 2556 2448 2312 2600 2616 2612 2600 2280 2376 2424 2492 2520 2636 2516 2440 2408 2360 2404 2472 2524 2400 2492 2412 2340 2504 2520 2480 2376 2380 2576 2352 2420 2324 2464 2404 2512 2320 2528 2452 2468 2488 2532 2448 2472 2528 2392 2348 2404 2596 2464 2324 2572 2556 2600 2596 2328 2472 2392 2284 2616 2412 2408 2492 2516 2448 2640 2536 2372 2464 2424 2444 2432 2492 2460 2452 2320 2400 2612 2472 2468 2484 2416 2560 2452 2440 2468 2504 2368 2348 2336 2412 2420 2444 2592 2432 2656 2404 2428 2332 2336 2516 2464 2428 2400 2504 2468 2628 2616 2508 2440 2556 2488 2592 2400 2600 2604 2424 2280 2484 2284 2452 2544 2360 2592 2444 2544 2300 2352 2556 2440 2340 2444 2640 2452 2432 2368 2520 2380 2452 2284 2552 2588 2424 2492 2656 2400 2532 2416 2496 2464 2596 2336 2444 2352 2376 2420 2644 2488 2420 2296 2632 2640 2456 2324 2548 2400 2544 2572 2428 2656 2532 2616 2388 2404 2332 2428 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 11 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 7 0 9 0 0 0 0 10 0 0 9 10 9 5 7 0 0 10 9 10 0 4 0 8 0 0 10 10 0 0 6 0 10 0 0 7 0 0 10 1 0 1 10 10 0 10 10 10 0 9 1 0 0 10 0 0 0 0 0 1 10 0 1 1 0 2 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 9 0 1 0 0 2 0 0 10 2 3 9 0 1 10 0 0 0 4 0 0 10 0 0 0 0 10 0 0 0 0 0 10 1 1 8 9 0 0 6 0 8 0 0 7 10 0 10 0 0 10 9 0 4 10 1 0 0 0 10 10 1 10 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 6 0 0 10 0 10 0 0 10 10 10 0 10 8 0 10 5 10 10 4 0 1 0 1 0 10 0 0 1 0 5 10 0 0 0 0 0 0 10 0 10 10 10 0 10 4 10 0 0 0 0 0 0 1 2 0 0 10 5 10 10 0 0 0 6 0 0 0 1 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 1 10 10 0 10 0 0 0 2 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 9 0 0 0 10 0 0 10 10 7 10 0 0 10 0 10 0 10 0 0 0 0 0 3 5 10 10 2 0 0 10 10 0 0 0 9 10 0 10 0 5 0 10 0 10 0 10 1 3 0 10 10 6 0 1 0 1 8 4 0 10 0 0 0 10 0 0 10 5 6 5 10 0 6 1 0 0 10 10 0 0 10 10 10 8 8 10 0 10 10 0 0 1 0 1 0 1 10 0 10 0 7 0 3 10 0 10 0 0 10 0 10 10 1 1 5 10 8 10 0 5 0 1 10 0 0 0 10 0 10 0 0 0 0 0 0 1 9 0 10 10 0 1 10 0 10 2 0 10 0 1 0 0 0 10 0 10 9 10 10 9 10 0 0 10 10 10 0 0 10 0 0 10 1 10 10 0 0 0 0 2 3 0 0 0 10 10 10 0 0 0 0 8 0 9 2 7 10 5 1 0 10 10 0 0 0 1 10 10 10 10 0 0 0 0 10 10 0 5 0 0 0 10 0 7 0 0 0 10 1 1 10 0 1 10 0 0 1 5 0 0 5 3 1 0 0 0 0 0 0 10 0 0 9 10 10 1 7 0 0 10 0 0 9 0 0 1 0 0 2 0 10 2 1 0 0 10 0 10 0 0 0 0 0 6 0 0 0 10 10 0 0 10 0 8 0 8 10 0 6 0 10 0 0 8 0 10 1 1 1 6 1 10 0 1 6 0 9 1 0 0 1 1 0 0 10 0 1 0 3 0 0 0 0 0 10 0 6 0 6 1 0 0 10 0 8 2 1 0 7 10 4 10 5 10 1 10 0 6 4 0 0 1 0 0 0 9 1 1 7 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 4 10 0 0 0 10 8 10 0 0 0 10 0 0 1 3 10 10 10 0 1 0 0 10 0 0 10 1 0 1 1 10 0 10 0 10 4 0 0 7 10 0 9 10 10 0 0 1 10 1 10 0 9 1 0 0 0 1 10 0 0 5 0 10 10 10 0 0 0 10 0 0 10 0 0 10 10 8 10 0 10 1 0 0 10 0 0 0 10 10 0 0 0 8 0 0 7 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 10 10 0 9 3 0 0 0 0 0 0 9 10 1 0 0 0 10 0 1 0 9 10 0 0 1 10 4 0 0 10 0 1 2 10 1 1 0 1 10 0 1 0 10 10 0 1 10 1 10 1 10 10 10 0 0 1 1 10 0 10 10 0 10 10 1 9 1 0 10 4 0 0 10 0 0 0 0 0 10 10 1 9 10 0 10 2 10 0 7 1 0 0 1 0 0 0 10 0 0 9 0 0 0 0 10 1 6 0 0 0 0 0 8 0 0 0 10 1 2 10 1 0 5 10 10 10 0 1 6 1 0 10 0 10 0 0 0 6 0 0 0 7 10 5 3 0 10 10 9 10 0 0 0 0 0 0 9 0 0 0 5 320 112 228 168 212 116 140 232 92 8 4 80 44 36 20 84 8 56 36 0 48 24 16 60 164 72 128 28 216 168 116 116 72 164 100 4 0 44 96 100 116 56 112 36 28 20 128 72 12 132 72 168 88 16 140 20 64 32 36 68 128 52 24 96 212 100 16 0 140 68 4 32 20 160 52 24 0 84 12 108 160 200 244 88 180 44 68 148 132 32 216 244 36 148 212 296 284 164 40 36 204 212 236 104 300 44 100 4 20 92 116 32 72 96 32 60 184 84 292 180 180 288 68 236 168 152 28 16 24 60 136 180 128 52 28 112 140 36 152 36 116 240 92 216 92 112 148 148 16 68 140 20 12 32 16 196 12 20 40 44 36 24 44 160 72 0 12 44 32 112 0 20 64 4 44 180 112 24 192 212 228 16 144 264 56 220 12 40 100 28 28 16 12 40 76 92 12 44 4 180 260 84 80 60 120 164 68 72 48 60 16 108 136 156 76 44 16 8 24 152 152 188 128 20 192 48 168 4 212 36 112 36 88 208 132 232 108 28 192 200 132 176 44 180 52 172 236 60 124 280 172 264 320 192 160 28 120 52 264 200 168 116 168 124 136 108 184 188 316 56 108 180 160 192 60 172 336 316 352 292 336 64 128 52 28 56 252 132 76 8 280 52 52 28 64 8 76 16 108 108 24 68 52 48 152 108 56 72 188 56 92 80 24 188 36 264 184 268 80 192 108 188 100 64 112 72 136 92 20 100 24 64 72 116 140 100 4 108 12 148 76 36 56 228 28 88 64 80 192 24 48 92 212 72 132 32 8 56 20 56 188 48 8 140 20 32 176 28 20 4 8 240 256 204 24 0 64 48 112 20 80 20 92 140 4 184 144 60 180 228 80 16 72 28 88 16 28 112 100 156 104 164 84 144 148 200 92 84 72 12 144 152 32 60 24 120 196 24 4 108 44 52 140 128 36 44 52 12 88 92 72 20 60 20 104 4 24 84 148 20 132 64 292 24 80 44 244 112 140 32 116 92 192 92 48 112 196 76 68 136 24 220 316 164 76 104 0 136 40 4 96 128 40 164 128 124 76 4 68 36 140 20 64 88 80 180 20 160 132 92 80 108 184 132 124 100 324 100 296 44 192 12 100 228 76 108 72 36 60 120 0 40 0 112 192 20 128 24 92 48 20 64 24 104 208 104 44 68 208 84 48 68 108 108 16 20 60 152 44 60 148 0 44 140 168 84 36 44 112 160 112 64 108 108 104 68 56 236 12 8 140 224 76 104 64 84 28 196 168 24 4 144 0 108 64 4 36 36 128 180 124 192 104 36 332 164 332 8 24 72 148 132 112 104 84 232 24 168 0 316 136 28 204 164 128 244 152 188 4 120 40 104 168 248 144 56 32 152 104 36 224 84 304 144 132 172 284 84 12 28 132 60 36 220 88 136 8 32 12 76 92 112 64 52 208 24 96 48 96 8 72 100 80 28 60 4 208 48 96 108 104 20 208 136 172 40 52 240 84 104 252 104 92 284 28 228 184 32 268 56 44 92 12 88 168 80 12 100 108 108 12 196 212 100 40 100 72 72 56 4 12 204 148 64 272 212 176 136 68 68 120 0 128 96 212 212 184 156 72 128 48 136 168 0 48 20 76 28 136 204 144 172 144 68 88 240 28 156 32 28 96 224 264 16 116 140 52 168 204 160 0 52 24 40 124 92 76 4 80 224 20 60 168 180 260 140 92 96 64 52 116 80 304 68 32 44 128 76 12 68 212 104 212 36 172 28 196 32 72 224 16 28 316 164 108 84 236 168 72 92 40 68 48 144 216 212 48 88 208 24 252 40 52 76 76 80 112 192 164 48 76 8 132 144 192 96 20 60 208 112 24 68 188 288 76 176 72 24 164 20 0 56 136 104 24 104 44 100 152 32 168 308 72 40 4 44 100 120 300 148 4 36 60 120 136 184 56 208 148 160 56 0 204 136 144 100 176 116 92 192 40 92 148 112 144 52 68 80 140 112 92 68 56 100 104 56 152 316 8 220 164 64 120 120 72 140 32 56 92 44 116 44 8 24 116 356 188 132 256 232 108 40 40 92 332 256 104 156 84 192 320 288 44 52 124 60 84 100 236 28 80 16 216 132 24 
2400.00/2369.51	v 	</values>
2400.00/2369.51	v </instantiation>

Verifier Data 

OK	100248967

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1599 MiB free)
  memory of node 1: 16384 MiB (13214 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292044-1532282571/watcher-4292044-1532282571 -o /tmp/evaluation-result-4292044-1532282571/solver-4292044-1532282571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532270698-13416 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 340350225 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292044-1532282571.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14707, runsolver pid=14704

[startup+0.104851 s]*
/proc/loadavg: 1.98 1.97 1.94 4/219 14722
/proc/meminfo: memFree=15150028/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14082740 memory=34380 CPUtime=0.12 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 8154 0 0 0 11 1 0 0 20 0 15 0 45820282 14420725760 8595 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3520685 8595 3155 1 0 3482761 0
[pid=14707/tid=14709] ppid=14704 vsize=14082740 memory=-6966723992705655424 CPUtime=0.09 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 6192 0 0 0 8 1 0 0 20 0 15 0 45820282 14420725760 8595 33554432000 4194304 4196468 140726134086368 140645156282384 140645136139614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14082740 memory=5793855122581002681 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 8595 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 8595 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644693046176 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644691993584 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0.01 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 8595 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34380 KiB

[startup+0.210991 s]*
/proc/loadavg: 1.98 1.97 1.94 4/219 14722
/proc/meminfo: memFree=15135268/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14082740 memory=47324 CPUtime=0.29 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 10437 0 0 0 27 2 0 0 20 0 15 0 45820282 14420725760 11831 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3520685 11831 3325 1 0 3482761 0
[pid=14707/tid=14709] ppid=14704 vsize=14082740 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 8220 0 0 0 18 1 0 0 20 0 15 0 45820282 14420725760 11831 33554432000 4194304 4196468 140726134086368 140645156288288 140645144296254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14082740 memory=4211973597775900042 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 11831 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 11831 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644693046176 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644691993584 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 11831 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 15 0 45820288 14420725760 11897 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) R 14704 14707 2672 0 -1 4202560 199 0 0 0 1 0 0 0 20 0 15 0 45820288 14420725760 11897 33554432000 4194304 4196468 140726134086368 140644688837232 140645137697664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0.05 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) R 14704 14707 2672 0 -1 1077944384 304 0 0 0 5 0 0 0 20 0 15 0 45820288 14420725760 11897 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 11897 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 11897 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47324 KiB

[startup+0.311106 s]*
/proc/loadavg: 1.98 1.97 1.94 3/219 14722
/proc/meminfo: memFree=15131940/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14082740 memory=50976 CPUtime=0.44 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 10879 0 0 0 42 2 0 0 20 0 15 0 45820282 14420725760 12744 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3520685 12744 3400 1 0 3482761 0
[pid=14707/tid=14709] ppid=14704 vsize=14082740 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 8551 0 0 0 27 2 0 0 20 0 15 0 45820282 14420725760 12744 33554432000 4194304 4196468 140726134086368 140645156267160 140645133624080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14082740 memory=4211973597775900042 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 12744 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14082740 memory=279743019686272 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 12744 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14082740 memory=279742897181184 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14082740 memory=139871448576783 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45820283 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14082740 memory=279743019695488 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14082740 memory=139871448581391 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644693046176 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14082740 memory=139871448597112 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45820285 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644691993584 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14082740 memory=139871448600487 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14082740 memory=139871571109504 CPUtime=0.08 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14082740 memory=139871571143884 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820288 14420725760 12744 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50976 KiB

[startup+0.700746 s]
/proc/loadavg: 1.98 1.97 1.94 5/219 14722
/proc/meminfo: memFree=15107508/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14084808 memory=90600 CPUtime=0.99 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 17580 0 0 0 94 5 0 0 20 0 15 0 45820282 14422843392 22650 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3521202 22650 3500 1 0 3483273 0
[pid=14707/tid=14709] ppid=14704 vsize=14084808 memory=56 CPUtime=0.66 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 14877 0 0 0 62 4 0 0 20 0 15 0 45820282 14422843392 22650 33554432000 4194304 4196468 140726134086368 140645156269904 140645144297988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14422843392 22650 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14422843392 22650 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820283 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45820283 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45820285 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45820285 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644693046176 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14084808 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45820285 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644691993584 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14084808 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14084808 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 557 0 0 0 7 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14084808 memory=11956 CPUtime=0.08 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 379 0 0 0 8 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14084808 memory=1008 CPUtime=0.15 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 384 0 0 0 15 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14084808 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14084808 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45820288 14422843392 22650 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90600 KiB

[startup+1.50077 s]
/proc/loadavg: 1.98 1.97 1.94 8/219 14722
/proc/meminfo: memFree=14989252/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14086856 memory=326168 CPUtime=3 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 23364 0 0 0 278 22 0 0 20 0 15 0 45820282 14424940544 81542 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3521714 81542 3567 1 0 3483785 0
[pid=14707/tid=14709] ppid=14704 vsize=14086856 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 16441 0 0 0 132 7 0 0 20 0 15 0 45820282 14424940544 81542 33554432000 4194304 4196468 140726134086368 140645156295328 140644764512094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14086856 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 383 0 0 0 2 2 0 0 20 0 15 0 45820283 14424940544 81542 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14086856 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 164 0 0 0 2 3 0 0 20 0 15 0 45820283 14424940544 81542 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14086856 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 98 0 0 0 1 3 0 0 20 0 15 0 45820283 14424940544 81542 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14086856 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 261 0 0 0 2 3 0 0 20 0 15 0 45820283 14424940544 81542 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 15 0 45820285 14424940544 81542 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0

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

/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 297334 0 0 0 225371 83 0 0 20 0 15 0 45820282 14431232000 340596 33554432000 4194304 4196468 140726134086368 140645156297040 140644774957157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14093000 memory=1370592 CPUtime=6.59 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 40670 0 0 0 620 39 0 0 20 0 15 0 45820283 14431232000 340596 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14093000 memory=139871448845421 CPUtime=6.61 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 40721 0 0 0 620 41 0 0 20 0 15 0 45820283 14431232000 340596 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14093000 memory=1363924 CPUtime=6.58 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 41730 0 0 0 618 40 0 0 20 0 15 0 45820283 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14093000 memory=660 CPUtime=6.63 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 43077 0 0 0 623 40 0 0 20 0 15 0 45820283 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14093000 memory=1363924 CPUtime=0.72 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 15146 0 0 0 55 17 0 0 20 0 15 0 45820285 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14093000 memory=1362384 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644693046240 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14093000 memory=1362384 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644691993600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14093000 memory=1362896 CPUtime=3.56 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 16787 0 0 0 353 3 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14093000 memory=1362896 CPUtime=3.82 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 18945 0 0 0 380 2 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14093000 memory=1364948 CPUtime=1.42 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 32093 0 0 0 138 4 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14093000 memory=1369052 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14093000 memory=1362896 CPUtime=1.01 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 2540 0 0 0 44 57 0 0 20 0 15 0 45820288 14431232000 340596 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 2291.58 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1362384 KiB

[startup+2322.3 s]
/proc/loadavg: 1.73 1.75 1.84 3/220 14797
/proc/meminfo: memFree=16796760/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14093000 memory=1339804 CPUtime=2352.29 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 560659 0 0 0 234908 321 0 0 20 0 15 0 45820282 14431232000 334951 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3523250 334951 3626 1 0 3485321 0
[pid=14707/tid=14709] ppid=14704 vsize=14093000 memory=1340828 CPUtime=2314.18 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 302842 0 0 0 231335 83 0 0 20 0 15 0 45820282 14431232000 334951 33554432000 4194304 4196468 140726134086368 140645156296992 140644764543924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14093000 memory=1339296 CPUtime=6.83 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 41415 0 0 0 644 39 0 0 20 0 15 0 45820283 14431232000 334951 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14093000 memory=1339296 CPUtime=6.86 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 41881 0 0 0 644 42 0 0 20 0 15 0 45820283 14431232000 334951 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14093000 memory=1340316 CPUtime=6.83 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 43590 0 0 0 642 41 0 0 20 0 15 0 45820283 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14093000 memory=1340316 CPUtime=6.87 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 43650 0 0 0 647 40 0 0 20 0 15 0 45820283 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14093000 memory=1339804 CPUtime=0.79 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 15430 0 0 0 61 18 0 0 20 0 15 0 45820285 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14093000 memory=1339296 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644693046240 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14093000 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644691993600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14093000 memory=1340316 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14093000 memory=2196 CPUtime=3.56 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 16789 0 0 0 353 3 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14093000 memory=1339804 CPUtime=3.82 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 18948 0 0 0 380 2 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14093000 memory=1340316 CPUtime=1.42 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 32096 0 0 0 138 4 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14093000 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14093000 memory=-7175204567652784766 CPUtime=1.04 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 2561 0 0 0 45 59 0 0 20 0 15 0 45820288 14431232000 334951 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 2352.29 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1339804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2369.5 s]
/proc/loadavg: 1.68 1.74 1.83 3/220 14953
/proc/meminfo: memFree=19349284/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14093000 memory=1336208 CPUtime=2400 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 564148 0 0 0 239676 324 0 0 20 0 15 0 45820282 14431232000 334052 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3523250 334052 3626 1 0 3485321 0
[pid=14707/tid=14709] ppid=14704 vsize=14093000 memory=0 CPUtime=2361.08 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 303700 0 0 0 236024 84 0 0 20 0 15 0 45820282 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645156296944 140644773765583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.02 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 42039 0 0 0 662 40 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.04 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 42166 0 0 0 662 42 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.01 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 44253 0 0 0 660 41 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.06 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 44392 0 0 0 665 41 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14093000 memory=83 CPUtime=0.85 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 15704 0 0 0 66 19 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644693046240 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14093000 memory=1336208 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644691993600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14093000 memory=164 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14093000 memory=1336208 CPUtime=3.56 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 16792 0 0 0 353 3 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14093000 memory=1292 CPUtime=3.82 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 18955 0 0 0 380 2 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14093000 memory=2576 CPUtime=1.42 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 32101 0 0 0 138 4 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14093000 memory=2576 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14093000 memory=1336208 CPUtime=1.06 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 2589 0 0 0 46 60 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1336208 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2369.53 s]
# the end of solver process 14707 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.78 s, system=3.26319 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2369.5 s]
/proc/loadavg: 1.68 1.74 1.83 3/220 14953
/proc/meminfo: memFree=19349284/32770624 swapFree=67108860/67108860
[pid=14707] ppid=14704 vsize=14093000 memory=1336208 CPUtime=2400 cores=1,3,5,7
/proc/14707/stat : 14707 (java) S 14704 14707 2672 0 -1 1077944320 564148 0 0 0 239676 324 0 0 20 0 15 0 45820282 14431232000 334052 33554432000 4194304 4196468 140726134086368 140726134068912 140645152059127 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
/proc/14707/statm: 3523250 334052 3626 1 0 3485321 0
[pid=14707/tid=14709] ppid=14704 vsize=14093000 memory=0 CPUtime=2361.08 cores=1,3,5,7
/proc/14707/task/14709/stat : 14709 (java) R 14704 14707 2672 0 -1 4202560 303700 0 0 0 236024 84 0 0 20 0 15 0 45820282 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645156296944 140644773765583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14710] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.02 cores=1,3,5,7
/proc/14707/task/14710/stat : 14710 (java) S 14704 14707 2672 0 -1 1077944384 42039 0 0 0 662 40 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645082147600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14711] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.04 cores=1,3,5,7
/proc/14707/task/14711/stat : 14711 (java) S 14704 14707 2672 0 -1 1077944384 42166 0 0 0 662 42 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140645081095056 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14712] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.01 cores=1,3,5,7
/proc/14707/task/14712/stat : 14712 (java) S 14704 14707 2672 0 -1 1077944384 44253 0 0 0 660 41 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644745657360 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14713] ppid=14704 vsize=14093000 memory=1336208 CPUtime=7.06 cores=1,3,5,7
/proc/14707/task/14713/stat : 14713 (java) S 14704 14707 2672 0 -1 1077944384 44392 0 0 0 665 41 0 0 20 0 15 0 45820283 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644744604816 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14714] ppid=14704 vsize=14093000 memory=83 CPUtime=0.85 cores=1,3,5,7
/proc/14707/task/14714/stat : 14714 (java) S 14704 14707 2672 0 -1 1077944384 15704 0 0 0 66 19 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644694099952 140645152070274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14715] ppid=14704 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14715/stat : 14715 (java) S 14704 14707 2672 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644693046240 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14716] ppid=14704 vsize=14093000 memory=1336208 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14716/stat : 14716 (java) S 14704 14707 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 45820285 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644691993600 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14717] ppid=14704 vsize=14093000 memory=164 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14717/stat : 14717 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644690942160 140645152077723 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14718] ppid=14704 vsize=14093000 memory=1336208 CPUtime=3.56 cores=1,3,5,7
/proc/14707/task/14718/stat : 14718 (java) S 14704 14707 2672 0 -1 1077944384 16792 0 0 0 353 3 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644689889776 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14719] ppid=14704 vsize=14093000 memory=1292 CPUtime=3.82 cores=1,3,5,7
/proc/14707/task/14719/stat : 14719 (java) S 14704 14707 2672 0 -1 1077944384 18955 0 0 0 380 2 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644688837232 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14720] ppid=14704 vsize=14093000 memory=2576 CPUtime=1.42 cores=1,3,5,7
/proc/14707/task/14720/stat : 14720 (java) S 14704 14707 2672 0 -1 1077944384 32101 0 0 0 138 4 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644687784688 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14721] ppid=14704 vsize=14093000 memory=2576 CPUtime=0 cores=1,3,5,7
/proc/14707/task/14721/stat : 14721 (java) S 14704 14707 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644686732384 140645152069333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
[pid=14707/tid=14722] ppid=14704 vsize=14093000 memory=1336208 CPUtime=1.06 cores=1,3,5,7
/proc/14707/task/14722/stat : 14722 (java) S 14704 14707 2672 0 -1 1077944384 2589 0 0 0 46 60 0 0 20 0 15 0 45820288 14431232000 334052 33554432000 4194304 4196468 140726134086368 140644685678896 140645152070274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20471808 140726134088777 140726134088969 140726134088969 140726134091727 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1336208 KiB

Child status: 143
Real time (s): 2369.53
CPU time (s): 2400.05
CPU user time (s): 2396.78
CPU system time (s): 3.26319
CPU usage (%): 101.288
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4058200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.78
system time used= 3.26319
maximum resident set size= 4061584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72103
involuntary context switches= 3991


# summary of solver processes directly reported to runsolver:
#   pid: 14707
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2396.78
#   total CPU system time (s): 3.26319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9687 second user time and 19.6787 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-22 20:02:51
IDJOB=4292044
IDBENCH=141272
IDSOLVER=2743
FILE ID=node132/4292044-1532282571
RUNJOBID= node132-1532270698-13416
PBS_JOBID= 21018965
Free space on /tmp= 54908 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292044-1532282571/watcher-4292044-1532282571 -o /tmp/evaluation-result-4292044-1532282571/solver-4292044-1532282571 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532270698-13416 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 340350225 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4292044-1532282571.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=340350225

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15169744 kB
MemAvailable:   26409708 kB
Buffers:          251404 kB
Cached:         11132280 kB
SwapCached:            0 kB
Active:          7782392 kB
Inactive:        9175868 kB
Active(anon):    5577372 kB
Inactive(anon):    17028 kB
Active(file):    2205020 kB
Inactive(file):  9158840 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             75784 kB
Writeback:             0 kB
AnonPages:       5582220 kB
Mapped:            49636 kB
Shmem:             17056 kB
Slab:             331972 kB
SReclaimable:     304564 kB
SUnreclaim:        27408 kB
KernelStack:        3648 kB
PageTables:        16268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6605484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5408768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55020 MiB
End job on node132 at 2018-07-22 20:42:21