Trace number 4312024

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-08-17SAT (TO)330897 2520.07 2486.52

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
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.55	c version: 2018-08-17
0.67/0.55	c seed: 2119236025
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 1
0.67/0.57	c Parsing instance...
9.20/4.50	c Parsing done, starting search...
277.18/268.42	o 433371
277.18/268.43	o 433271
277.18/268.43	o 432271
277.18/268.44	o 432263
277.18/268.45	o 432262
277.18/268.45	o 432261
277.18/268.46	o 431261
277.18/268.47	o 431251
277.18/268.47	o 429251
277.18/268.48	o 428251
277.18/268.49	o 428150
277.18/268.49	o 428146
277.43/268.53	o 427240
277.43/268.53	o 427239
277.43/268.54	o 427238
277.43/268.54	o 427237
277.43/268.55	o 427236
277.43/268.56	o 427230
277.43/268.56	o 427226
277.43/268.57	o 427126
277.71/268.60	o 427116
277.71/268.61	o 427115
277.71/268.62	o 427106
277.71/268.63	o 427105
277.71/268.65	o 426305
277.71/268.65	o 426304
277.71/268.66	o 426204
277.71/268.66	o 426108
277.71/268.67	o 426107
277.71/268.68	o 426106
277.71/268.68	o 426105
277.71/268.69	o 426104
278.02/268.70	o 425406
278.02/268.71	o 425405
278.02/268.71	o 425205
278.02/268.71	o 425005
278.02/268.72	o 425004
278.02/268.73	o 424904
278.02/268.74	o 424903
278.02/268.74	o 424804
278.02/268.77	o 424794
278.02/268.78	o 424793
278.02/268.79	o 424708
278.02/268.79	o 424698
278.02/268.79	o 424697
278.15/268.80	o 424696
278.15/268.80	o 424695
278.15/268.81	o 424694
278.15/268.83	o 424685
278.15/268.83	o 424684
278.15/268.84	o 424585
278.15/268.84	o 424584
278.15/268.86	o 424484
278.15/268.86	o 424384
278.15/268.87	o 424284
278.15/268.88	o 424275
278.15/268.89	o 424274
278.25/268.91	o 424273
278.25/268.91	o 424174
278.25/268.96	o 424154
278.25/268.97	o 424144
278.25/268.99	o 424066
278.25/268.99	o 424065
278.25/269.00	o 424055
278.25/269.00	o 424054
278.36/269.01	o 424053
278.36/269.07	o 424051
278.36/269.10	o 423453
278.46/269.11	o 423353
278.46/269.11	o 423153
278.46/269.12	o 423152
278.46/269.13	o 423151
278.46/269.13	o 423052
278.46/269.16	o 421052
278.46/269.16	o 419951
278.46/269.18	o 417951
278.46/269.19	o 417851
278.60/269.23	o 417842
278.60/269.24	o 417841
278.70/269.38	o 417752
278.70/269.39	o 417751
278.70/269.40	o 417741
278.79/269.40	o 417740
278.79/269.41	o 417732
278.79/269.42	o 417652
278.79/269.43	o 417651
278.79/269.43	o 417641
278.79/269.47	o 417623
278.79/269.48	o 417622
278.79/269.49	o 417621
278.90/269.52	o 417611
279.00/269.62	o 417590
279.10/269.74	o 417581
279.10/269.75	o 417580
279.51/270.13	o 417100
279.51/270.13	o 417000
279.51/270.14	o 416999
279.51/270.15	o 416998
279.51/270.16	o 416997
279.51/270.16	o 416996
279.51/270.16	o 416995
279.51/270.17	o 416993
279.51/270.17	o 416991
279.51/270.17	o 416990
279.51/270.18	o 416989
279.51/270.19	o 416920
279.60/270.20	o 416919
279.60/270.20	o 416909
279.60/270.21	o 416900
279.60/270.22	o 416889
279.60/270.23	o 416820
279.60/270.23	o 416810
279.60/270.25	o 416800
279.60/270.25	o 416790
279.80/270.47	o 416712
279.80/270.48	o 416711
279.80/270.49	o 416710
279.80/270.49	o 416611
279.92/270.50	o 416600
279.92/270.51	o 416591
279.92/270.52	o 416590
279.92/270.56	o 416001
279.92/270.57	o 415901
279.92/270.57	o 415900
279.92/270.58	o 415790
280.02/270.60	o 415786
280.02/270.60	o 415785
280.02/270.61	o 415784
280.02/270.61	o 415783
280.02/270.61	o 415763
280.02/270.62	o 415733
280.02/270.62	o 415723
280.02/270.63	o 415721
280.02/270.63	o 415717
280.02/270.63	o 415707
280.02/270.64	o 415704
280.02/270.64	o 415702
280.02/270.65	o 415701
280.02/270.65	o 415691
280.02/270.66	o 415690
280.02/270.68	o 415689
280.26/270.83	o 415601
280.26/270.84	o 415600
280.26/270.85	o 415592
280.26/270.85	o 415591
280.26/270.87	o 415590
280.57/271.15	o 414894
280.57/271.15	o 414694
280.57/271.16	o 414574
280.57/271.17	o 414564
280.57/271.18	o 414563
280.57/271.19	o 414511
280.66/271.20	o 414501
280.66/271.23	o 414500
280.86/271.46	o 413901
280.86/271.46	o 413900
280.86/271.47	o 413800
280.86/271.48	o 413701
280.86/271.49	o 413601
280.96/271.50	o 413600
280.96/271.58	o 413591
280.96/271.58	o 413590
281.36/271.96	o 413580
281.36/271.99	o 413572
281.36/272.00	o 413571
281.47/272.04	o 413570
282.06/272.67	o 413523
282.06/272.68	o 413413
282.06/272.68	o 413403
282.06/272.69	o 413391
282.16/272.70	o 413381
282.26/272.82	o 413380
282.96/273.51	o 413371
282.96/273.51	o 413370
283.57/274.13	o 412841
283.57/274.13	o 412641
283.57/274.14	o 411551
283.57/274.15	o 410751
283.66/274.23	o 410745
283.66/274.23	o 410744
283.66/274.23	o 410742
283.66/274.23	o 410741
283.66/274.24	o 410740
283.66/274.24	o 410736
283.66/274.24	o 410733
283.66/274.25	o 410633
283.66/274.25	o 410631
283.66/274.26	o 410630
283.66/274.26	o 410620
283.66/274.29	o 410521
283.87/274.47	o 410512
283.87/274.49	o 410511
284.27/274.81	o 409922
284.27/274.82	o 409722
284.27/274.82	o 409602
284.37/274.96	o 409601
284.87/275.47	o 409592
284.87/275.47	o 409591
285.07/275.60	o 409583
285.07/275.61	o 409582
285.07/275.63	o 409581
286.27/276.83	o 408944
286.27/276.83	o 408744
286.27/276.84	o 408624
286.27/276.85	o 408602
286.27/276.86	o 408593
286.27/276.86	o 408592
286.97/277.55	o 408591
288.62/279.18	o 408583
288.62/279.18	o 408582
288.71/279.20	o 408581
289.11/279.68	o 408512
289.11/279.68	o 408502
289.41/279.96	o 408501
293.71/284.20	o 408491
294.01/284.59	o 408481
296.44/287.00	o 408472
296.55/287.01	o 408471
296.55/287.02	o 408461
296.55/287.04	o 408402
296.55/287.04	o 408392
296.55/287.05	o 408372
296.55/287.06	o 408361
301.95/292.47	o 408360
301.95/292.47	o 408357
301.95/292.47	o 408356
301.95/292.48	o 408354
301.95/292.48	o 408303
301.95/292.49	o 408292
302.05/292.53	o 408282
302.35/292.85	o 408281
302.66/293.14	o 408203
302.66/293.15	o 408192
302.66/293.16	o 408182
302.75/293.26	o 408181
304.75/295.27	o 408172
304.75/295.28	o 408171
309.46/299.97	o 407590
309.46/299.97	o 407580
309.46/299.98	o 407570
309.46/299.98	o 407569
309.46/299.99	o 407469
309.46/300.00	o 407369
309.46/300.00	o 407359
309.57/300.01	o 407259
309.57/300.03	o 407258
309.57/300.04	o 407257
309.57/300.08	o 407256
310.06/300.55	o 407252
310.06/300.55	o 407251
310.06/300.56	o 407250
310.06/300.56	o 407249
310.06/300.57	o 407239
310.06/300.58	o 407237
310.06/300.58	o 407236
310.97/301.45	o 406357
310.97/301.46	o 406257
310.97/301.46	o 406247
310.97/301.47	o 406246
312.88/303.32	o 406229
312.88/303.33	o 406227
312.88/303.33	o 406226
319.56/309.93	o 406220
404.82/394.97	o 406211
404.82/394.97	o 406201
404.82/394.98	o 406191
404.82/394.99	o 406171
404.82/394.99	o 406170
404.82/395.00	o 406169
404.82/395.00	o 406168
404.93/395.01	o 405968
404.93/395.02	o 405868
404.93/395.03	o 405768
404.93/395.04	o 405767
406.32/396.43	o 405766
406.32/396.43	o 405765
406.32/396.47	o 404767
406.32/396.47	o 404766
410.13/400.22	o 404765
418.45/408.57	o 404666
418.96/409.05	o 404665
459.24/449.14	o 404376
459.24/449.15	o 404375
459.24/449.15	o 404275
459.24/449.15	o 404075
459.24/449.16	o 404074
459.24/449.16	o 403974
459.24/449.16	o 403973
459.24/449.17	o 402973
459.24/449.17	o 402972
459.24/449.18	o 401972
459.33/449.23	o 401970
459.33/449.24	o 401969
459.33/449.24	o 401968
459.33/449.24	o 401967
459.33/449.25	o 401966
459.33/449.25	o 401965
459.33/449.25	o 401964
459.33/449.25	o 401963
459.33/449.26	o 401953
459.33/449.26	o 401853
459.33/449.27	o 401852
459.33/449.28	o 399852
459.33/449.28	o 399752
459.33/449.29	o 399742
459.33/449.29	o 399732
459.43/449.30	o 399632
459.43/449.31	o 399432
459.43/449.31	o 398432
459.43/449.32	o 398431
459.43/449.33	o 398233
459.43/449.33	o 398232
459.43/449.34	o 398133
459.43/449.35	o 397133
459.43/449.36	o 395133
459.43/449.37	o 395101
459.43/449.39	o 395054
459.43/449.39	o 395053
459.43/449.39	o 395022
459.53/449.40	o 395021
459.53/449.40	o 395011
459.53/449.41	o 395001
459.53/449.42	o 394999
459.53/449.42	o 394930
459.53/449.43	o 394898
459.53/449.45	o 394889
459.53/449.45	o 394888
459.53/449.45	o 394887
459.53/449.46	o 394877
459.53/449.47	o 393876
459.53/449.48	o 392876
459.53/449.49	o 392867
459.64/449.50	o 392866
459.64/449.50	o 392846
459.64/449.52	o 392796
459.64/449.52	o 392786
459.64/449.53	o 392776
459.64/449.53	o 392756
459.64/449.56	o 392597
459.64/449.56	o 392596
459.64/449.57	o 392595
459.64/449.57	o 392585
459.64/449.58	o 392575
459.64/449.58	o 392555
459.74/449.60	o 392554
459.74/449.60	o 392533
459.74/449.65	o 392530
459.74/449.65	o 392529
459.74/449.65	o 392528
459.74/449.66	o 392527
459.74/449.66	o 392526
459.74/449.66	o 392525
459.74/449.67	o 392524
459.74/449.69	o 391756
459.84/449.70	o 391676
459.84/449.70	o 391576
459.84/449.71	o 391556
459.84/449.71	o 391546
459.84/449.74	o 391545
459.84/449.75	o 391543
459.84/449.76	o 391533
459.84/449.77	o 391524
459.84/449.80	o 391523
459.94/449.80	o 391522
459.94/449.81	o 390622
459.94/449.87	o 390585
459.94/449.87	o 390584
459.94/449.87	o 390583
459.94/449.88	o 390582
459.94/449.88	o 390572
459.94/449.89	o 390571
460.04/449.90	o 390561
460.04/449.91	o 390551
460.04/449.91	o 390542
460.04/449.93	o 390476
460.04/449.93	o 390475
460.04/449.94	o 390474
460.04/449.94	o 390464
460.04/449.95	o 390455
460.04/449.96	o 390454
460.04/449.96	o 390453
460.04/449.97	o 390443
460.04/449.98	o 390434
460.04/449.98	o 390433
460.04/449.99	o 390432
460.04/449.99	o 390422
460.15/450.06	o 390385
460.15/450.06	o 390375
460.15/450.06	o 390365
460.15/450.07	o 390364
460.15/450.07	o 390363
460.15/450.08	o 390353
460.15/450.08	o 390343
460.15/450.09	o 390322
460.25/450.14	o 390258
460.25/450.14	o 390257
460.25/450.15	o 390256
460.25/450.16	o 390179
460.25/450.17	o 390169
460.25/450.18	o 390159
460.25/450.19	o 390158
460.25/450.20	o 390157
460.37/450.23	o 390148
460.37/450.24	o 390147
460.37/450.24	o 390137
460.37/450.25	o 390136
460.37/450.28	o 390135
460.47/450.39	o 390129
460.57/450.40	o 390128
460.57/450.42	o 390050
460.57/450.42	o 390049
460.57/450.43	o 390039
460.57/450.43	o 390029
460.57/450.45	o 390028
460.57/450.45	o 390027
460.57/450.47	o 389969
460.57/450.48	o 389960
460.57/450.48	o 389959
460.57/450.49	o 389949
460.57/450.49	o 389939
460.67/450.54	o 389560
460.67/450.55	o 389558
460.67/450.56	o 389557
460.67/450.56	o 389547
460.67/450.57	o 389546
460.67/450.57	o 389536
460.67/450.58	o 389525
460.67/450.59	o 389472
460.67/450.60	o 389471
460.77/450.60	o 389470
460.77/450.60	o 389460
460.77/450.61	o 389459
460.77/450.61	o 389427
460.77/450.62	o 389229
460.77/450.63	o 389129
460.77/450.64	o 389127
460.77/450.65	o 389028
460.77/450.65	o 389027
460.77/450.66	o 389026
460.77/450.67	o 388950
460.77/450.68	o 388940
460.77/450.69	o 388939
460.77/450.69	o 388938
460.87/450.70	o 388937
460.87/450.75	o 388863
460.87/450.75	o 388861
460.87/450.76	o 388860
460.87/450.76	o 388859
460.87/450.78	o 388858
460.97/450.83	o 388849
460.97/450.83	o 388839
460.97/450.84	o 388838
460.97/450.84	o 388837
461.07/450.94	o 388836
461.07/450.94	o 388835
461.57/451.47	o 388210
461.57/451.48	o 388209
461.57/451.49	o 388109
461.57/451.49	o 388108
461.57/451.50	o 388009
461.67/451.50	o 387999
461.67/451.51	o 387899
461.67/451.57	o 387891
461.67/451.58	o 387890
461.67/451.58	o 387889
465.01/454.85	o 387880
465.01/454.86	o 387879
465.01/454.87	o 387869
465.01/454.89	o 387868
466.34/456.12	o 386869
466.34/456.16	o 386868
466.63/456.42	o 386769
466.73/456.51	o 386768
467.55/457.30	o 386760
467.55/457.30	o 386759
467.55/457.31	o 386758
467.55/457.32	o 386668
467.55/457.39	o 386667
467.95/457.70	o 386660
467.95/457.70	o 386659
467.95/457.71	o 386658
467.95/457.72	o 386657
468.65/458.48	o 386648
468.76/458.52	o 386647
473.22/462.95	o 386638
473.22/462.95	o 386637
473.22/462.96	o 386627
473.22/462.96	o 386616
473.22/462.97	o 386606
479.58/469.22	o 386548
479.58/469.23	o 386448
479.58/469.23	o 386447
479.58/469.24	o 386347
479.58/469.26	o 386346
479.58/469.27	o 386246
479.58/469.28	o 386167
479.58/469.28	o 386157
479.58/469.29	o 386146
479.68/469.30	o 386046
479.68/469.32	o 386036
479.68/469.32	o 386027
479.68/469.37	o 385946
479.68/469.37	o 385936
479.68/469.38	o 385927
479.80/469.43	o 385926
480.60/470.20	o 385837
480.60/470.21	o 385827
480.60/470.22	o 385826
481.81/471.40	o 385735
481.81/471.42	o 385726
506.25/495.67	o 385724
519.90/509.11	o 385616
519.90/509.12	o 385615
537.25/526.21	o 385548
537.25/526.22	o 385547
537.25/526.22	o 385546
537.25/526.23	o 385536
537.36/526.33	o 384847
537.36/526.33	o 384846
537.36/526.34	o 384746
537.36/526.34	o 384736
537.36/526.35	o 383736
537.36/526.35	o 383636
537.36/526.36	o 383536
537.36/526.39	o 383526
593.52/581.80	o 383525
593.52/581.80	o 383524
593.52/581.81	o 383523
593.52/581.81	o 383413
593.52/581.82	o 383403
593.52/581.82	o 383393
593.52/581.83	o 383373
593.52/581.85	o 383365
593.52/581.85	o 383364
593.52/581.86	o 383363
593.52/581.89	o 383185
593.62/581.90	o 383176
593.62/581.90	o 383175
595.45/583.79	o 383076
595.45/583.79	o 382976
595.66/583.90	o 382580
595.66/583.97	o 382578
595.66/583.98	o 382378
595.66/583.98	o 382277
595.66/583.99	o 382077
595.66/584.00	o 381977
595.77/584.01	o 381976
596.06/584.33	o 381888
596.06/584.33	o 381887
596.06/584.34	o 381885
596.06/584.37	o 381875
596.06/584.37	o 381866
604.33/592.48	o 381865
604.33/592.48	o 381864
608.33/596.31	o 381384
608.33/596.31	o 381374
608.33/596.32	o 381274
608.33/596.33	o 381174
608.33/596.34	o 381074
608.33/596.35	o 381064
608.33/596.39	o 380974
608.33/596.39	o 380964
660.04/647.57	o 380869
660.04/647.57	o 380769
660.04/647.58	o 380768
660.04/647.58	o 380758
660.04/647.59	o 380658
660.14/647.60	o 380558
660.14/647.61	o 380557
660.14/647.61	o 380457
660.14/647.62	o 380456
660.14/647.63	o 380357
660.14/647.63	o 380347
660.14/647.64	o 380237
660.14/647.64	o 380227
660.14/647.65	o 380127
660.14/647.66	o 380126
660.14/647.66	o 380026
660.14/647.67	o 380025
660.14/647.68	o 379824
660.46/647.95	o 379814
1414.73/1395.24	o 378815
1414.73/1395.25	o 378814
1414.73/1395.25	o 378813
1414.73/1395.25	o 378791
1414.73/1395.26	o 378790
1414.73/1395.26	o 378690
1414.73/1395.27	o 378490
1414.73/1395.27	o 378380
1414.73/1395.27	o 377380
1414.73/1395.28	o 377279
1414.73/1395.28	o 377180
1414.73/1395.29	o 377169
1414.73/1395.30	o 377168
1414.83/1395.31	o 377158
1414.83/1395.32	o 377157
1414.83/1395.34	o 377156
1414.83/1395.34	o 377146
1414.83/1395.36	o 377136
1414.83/1395.37	o 377135
1414.83/1395.39	o 377126
1414.83/1395.40	o 377125
1414.94/1395.40	o 377124
1414.94/1395.43	o 377045
1414.94/1395.44	o 376944
1414.94/1395.44	o 376934
1414.94/1395.45	o 376924
1414.94/1395.45	o 376923
1414.94/1395.46	o 376922
1415.04/1395.58	o 376826
1415.04/1395.60	o 376816
1415.14/1395.60	o 376815
1415.14/1395.61	o 376726
1415.14/1395.62	o 376725
1415.14/1395.63	o 376715
1415.14/1395.63	o 376714
1415.24/1395.78	o 376706
1415.24/1395.79	o 376694
1416.57/1397.05	o 376610
1416.57/1397.05	o 376601
1416.57/1397.06	o 376393
1416.57/1397.08	o 376383
1416.67/1397.15	o 376283
1416.67/1397.15	o 376282
1417.47/1397.93	o 375292
1417.47/1397.96	o 375291
1417.47/1397.97	o 375281
1418.18/1398.66	o 374504
1418.28/1398.74	o 374502
1418.28/1398.77	o 374492
1418.48/1399.00	o 374481
1419.61/1400.09	o 373799
1419.71/1400.11	o 373699
1419.71/1400.12	o 373689
1419.80/1400.22	o 373491
1419.80/1400.23	o 373481
1423.94/1404.37	o 371809
1423.94/1404.37	o 371800
1423.94/1404.39	o 371710
1424.04/1404.40	o 371502
1424.15/1404.59	o 371422
1424.25/1404.60	o 371413
1424.25/1404.61	o 371323
1424.25/1404.64	o 371313
1425.06/1405.41	o 371312
1425.06/1405.44	o 371302
1429.01/1409.38	o 371292
1429.01/1409.38	o 371291
1433.36/1413.69	o 370820
1433.36/1413.69	o 370720
1433.46/1413.70	o 370709
1433.46/1413.71	o 370501
1433.46/1413.73	o 370490
1433.46/1413.74	o 370312
1433.46/1413.76	o 370301
1433.56/1413.82	o 370244
1433.56/1413.83	o 370243
1433.56/1413.83	o 370233
1433.56/1413.84	o 370223
1433.56/1413.84	o 370213
1433.56/1413.85	o 370212
1433.56/1413.85	o 370202
1433.56/1413.87	o 370191
1440.36/1420.56	o 370090
1440.36/1420.58	o 370079
1497.46/1476.82	o 369898
1497.46/1476.82	o 369897
1497.46/1476.85	o 369797
1497.46/1476.86	o 369796
1497.46/1476.87	o 369696
1497.46/1476.89	o 369488
1497.56/1476.93	o 369388
1535.75/1514.45	o 369026
1535.75/1514.45	o 369025
1535.75/1514.46	o 369004
1535.75/1514.46	o 368994
1535.75/1514.47	o 368993
1535.75/1514.48	o 368983
1535.75/1514.48	o 368982
1535.75/1514.49	o 368883
1535.75/1514.50	o 368882
1536.06/1514.70	o 368872
1543.47/1522.07	o 368860
1543.47/1522.08	o 368760
1543.47/1522.08	o 368560
1543.47/1522.09	o 368460
1543.47/1522.10	o 368451
1543.47/1522.10	o 368351
1543.57/1522.12	o 368261
1544.38/1522.95	o 367460
1544.38/1522.95	o 367360
1544.38/1522.96	o 367351
1544.50/1523.07	o 367270
1544.50/1523.08	o 367261
1735.63/1712.12	o 367245
1735.63/1712.13	o 367234
1735.63/1712.13	o 367214
1735.63/1712.14	o 367102
1735.63/1712.14	o 366902
1735.63/1712.14	o 366892
1735.63/1712.15	o 366792
1735.63/1712.16	o 366791
1735.63/1712.16	o 366790
1735.63/1712.17	o 366789
1735.82/1712.39	o 365790
1735.93/1712.40	o 365780
1735.93/1712.41	o 363780
1735.93/1712.42	o 363779
1735.93/1712.44	o 363680
1735.93/1712.45	o 363679
1735.93/1712.47	o 362879
1735.93/1712.48	o 362878
1736.03/1712.51	o 362788
1736.03/1712.51	o 362778
1736.03/1712.55	o 361888
1736.03/1712.55	o 361879
1736.03/1712.56	o 361779
1736.03/1712.57	o 361778
1736.13/1712.63	o 361758
1736.13/1712.64	o 361748
1736.13/1712.65	o 361648
1736.13/1712.66	o 361647
1736.13/1712.67	o 361565
1736.13/1712.68	o 361555
1736.13/1712.69	o 361545
1736.13/1712.69	o 361487
1736.23/1712.70	o 361478
1736.23/1712.75	o 360803
1736.23/1712.76	o 360793
1736.23/1712.76	o 360783
1736.23/1712.77	o 360773
1736.33/1712.80	o 360741
1736.33/1712.81	o 360694
1736.33/1712.82	o 360683
1736.33/1712.83	o 360674
1736.44/1712.90	o 360670
1736.44/1712.91	o 360669
1736.44/1712.95	o 360660
1736.84/1713.39	o 360652
1736.84/1713.39	o 360643
1736.94/1713.40	o 360642
1737.56/1714.08	o 360641
1737.56/1714.09	o 360583
1737.56/1714.10	o 360574
1738.26/1714.74	o 360572
1738.26/1714.75	o 360561
1738.26/1714.77	o 360560
1739.58/1716.02	o 360369
1739.58/1716.03	o 360359
1739.58/1716.03	o 360159
1739.58/1716.04	o 360059
1739.58/1716.05	o 359959
1739.58/1716.07	o 359950
1739.68/1716.16	o 359949
1739.68/1716.17	o 359948
1739.68/1716.18	o 359890
1739.68/1716.19	o 359881
1739.78/1716.28	o 359681
1739.78/1716.29	o 359581
1739.78/1716.29	o 359481
1753.63/1729.91	o 359365
1753.63/1729.91	o 359265
1753.63/1729.92	o 359165
1753.63/1729.93	o 359164
1753.63/1729.95	o 359093
1753.63/1729.96	o 359083
1753.63/1729.96	o 359073
1753.63/1729.97	o 359004
1753.63/1729.98	o 358995
1753.74/1730.02	o 358723
1753.74/1730.02	o 358713
1753.74/1730.03	o 358703
1753.74/1730.04	o 358694
1753.74/1730.06	o 358673
1753.74/1730.07	o 358604
1753.74/1730.09	o 358595
1753.93/1730.26	o 358582
1754.03/1730.32	o 358581
1754.34/1730.69	o 358569
1754.34/1730.70	o 358559
1754.44/1730.70	o 358550
1754.44/1730.71	o 358549
1754.44/1730.75	o 358539
1754.44/1730.75	o 358481
1765.99/1742.12	o 356484
1765.99/1742.12	o 356384
1766.91/1743.07	o 356285
1768.23/1744.33	o 356185
1768.23/1744.36	o 356184
1768.23/1744.37	o 355184
1768.23/1744.37	o 355084
1768.32/1744.43	o 354985
1768.32/1744.44	o 354984
1770.07/1746.17	o 354983
1785.98/1761.86	o 354796
1785.98/1761.87	o 354795
1785.98/1761.87	o 354794
1785.98/1761.88	o 354664
1785.98/1761.88	o 354663
1785.98/1761.89	o 354563
1786.08/1761.90	o 354554
1786.08/1761.91	o 352553
1786.08/1761.91	o 352552
1786.08/1761.92	o 352452
1786.08/1761.92	o 352451
1786.08/1761.93	o 352351
1786.08/1761.94	o 352341
1786.08/1761.95	o 352241
1786.08/1761.96	o 352141
1786.08/1761.97	o 351152
1786.08/1762.00	o 351092
1786.18/1762.01	o 351091
1786.18/1762.01	o 351090
1786.18/1762.02	o 350990
1786.18/1762.02	o 350890
1786.18/1762.03	o 350490
1786.18/1762.04	o 350489
1786.18/1762.05	o 350389
1786.18/1762.08	o 350370
1786.18/1762.09	o 350360
1786.18/1762.09	o 350359
1786.18/1762.10	o 350349
1786.38/1762.21	o 350348
1786.38/1762.21	o 350338
1786.58/1762.42	o 350300
1786.58/1762.42	o 350299
1786.58/1762.43	o 350289
1786.58/1762.43	o 350288
1786.58/1762.44	o 350287
1786.58/1762.44	o 350286
1786.58/1762.45	o 350285
1786.58/1762.45	o 350265
1786.58/1762.46	o 350264
1786.58/1762.47	o 350254
1786.58/1762.47	o 350240
1786.58/1762.49	o 350230
1786.70/1762.51	o 349259
1786.70/1762.52	o 349248
1786.70/1762.53	o 349238
1787.00/1762.83	o 349230
1787.31/1763.17	o 348408
1787.31/1763.17	o 348407
1787.31/1763.18	o 348406
1787.31/1763.18	o 348405
1787.31/1763.19	o 348404
1787.31/1763.19	o 348403
1787.70/1763.56	o 348393
1787.82/1763.60	o 348392
1787.92/1763.79	o 348302
1788.02/1763.80	o 348292
1788.12/1763.91	o 348279
1788.12/1763.92	o 348278
1788.42/1764.29	o 348189
1788.52/1764.30	o 348179
1788.52/1764.31	o 348079
1788.52/1764.31	o 348069
1788.52/1764.32	o 347979
1788.64/1764.48	o 347970
1788.64/1764.48	o 347960
1788.64/1764.49	o 347950
1788.64/1764.50	o 347949
1789.15/1765.00	o 347939
1798.72/1774.30	o 345993
1798.72/1774.31	o 345992
1798.72/1774.31	o 345982
1798.72/1774.33	o 345882
1798.72/1774.34	o 344882
1798.72/1774.35	o 343882
1798.72/1774.36	o 342692
1798.72/1774.37	o 342682
1798.82/1774.49	o 342583
1798.92/1774.50	o 342582
1798.92/1774.51	o 341582
1798.92/1774.55	o 341573
1798.92/1774.55	o 341572
1798.92/1774.59	o 341494
1798.92/1774.59	o 341493
1799.12/1774.78	o 341396
1799.12/1774.79	o 341386
1799.23/1774.80	o 341286
1799.23/1774.80	o 341086
1799.23/1774.81	o 340986
1799.23/1774.82	o 340985
1799.23/1774.83	o 340585
1799.23/1774.83	o 340485
1799.23/1774.84	o 340385
1799.23/1774.85	o 340365
1799.23/1774.86	o 340364
1799.23/1774.87	o 340285
1799.44/1775.10	o 340265
1799.54/1775.12	o 340185
1799.54/1775.15	o 340184
1799.64/1775.26	o 339784
1799.64/1775.27	o 339774
1799.64/1775.28	o 339674
1799.64/1775.28	o 339574
1799.64/1775.29	o 339474
1799.74/1775.30	o 339374
1799.74/1775.31	o 339373
1799.74/1775.32	o 339273
1799.95/1775.50	o 339184
1799.95/1775.58	o 339085
1799.95/1775.59	o 339084
1800.56/1776.12	o 339073
1800.56/1776.18	o 338985
1800.66/1776.20	o 338984
1800.86/1776.45	o 338973
1800.86/1776.47	o 338884
1801.48/1777.05	o 338855
1801.48/1777.07	o 338854
1801.77/1777.38	o 338853
1819.59/1794.83	o 338561
1819.59/1794.84	o 338461
1819.59/1794.86	o 338441
1819.59/1794.86	o 338361
1819.59/1794.88	o 338351
1819.70/1794.94	o 338151
1821.72/1796.94	o 338071
1821.72/1796.95	o 338061
1821.72/1796.97	o 338052
1821.72/1796.98	o 338051
1844.81/1819.59	o 338047
1844.91/1819.60	o 338046
1844.91/1819.61	o 338036
1844.91/1819.61	o 338025
1844.91/1819.62	o 338024
1844.91/1819.63	o 338014
1845.21/1820.00	o 338013
1845.62/1820.31	o 337904
1845.62/1820.31	o 337884
1845.62/1820.32	o 337883
1845.62/1820.32	o 337873
1845.62/1820.34	o 337785
1845.62/1820.35	o 337784
1845.62/1820.35	o 337783
1845.62/1820.37	o 337782
1845.82/1820.58	o 337684
1845.82/1820.58	o 337683
1845.92/1820.61	o 337682
2017.94/1990.88	o 337249
2017.94/1990.88	o 337239
2017.94/1990.89	o 337229
2017.94/1990.89	o 337228
2018.04/1990.90	o 337227
2018.04/1990.90	o 337226
2018.04/1990.91	o 337216
2018.04/1990.91	o 337215
2018.55/1991.42	o 337016
2018.55/1991.43	o 337015
2018.55/1991.44	o 336115
2072.75/2044.92	o 335702
2072.75/2044.92	o 335692
2072.75/2044.93	o 335592
2072.75/2044.93	o 335582
2072.75/2044.94	o 335581
2072.75/2044.94	o 335580
2072.75/2044.95	o 335480
2072.75/2044.95	o 335479
2072.75/2044.96	o 335379
2072.75/2044.96	o 335369
2072.75/2044.97	o 335269
2072.75/2044.97	o 335259
2072.75/2044.98	o 335249
2072.75/2044.99	o 335239
2072.75/2044.99	o 335139
2072.75/2045.00	o 335129
2072.86/2045.01	o 335119
2074.48/2046.67	o 335118
2075.19/2047.32	o 335109
2075.19/2047.34	o 335108
2075.61/2047.77	o 335107
2075.92/2048.02	o 334318
2075.92/2048.02	o 334317
2075.92/2048.04	o 334307
2075.92/2048.04	o 334207
2075.92/2048.05	o 334197
2079.19/2051.21	o 334108
2080.32/2052.36	o 334008
2082.25/2054.25	o 333008
2183.32/2154.23	o 333006
2183.32/2154.25	o 332999
2183.32/2154.26	o 332998
2183.42/2154.34	o 332997
2183.42/2154.39	o 332996
2183.53/2154.40	o 332895
2183.53/2154.41	o 332116
2183.53/2154.42	o 332105
2183.53/2154.44	o 332098
2183.53/2154.45	o 332097
2184.94/2155.84	o 332096
2192.34/2163.17	o 331508
2192.34/2163.18	o 331497
2192.34/2163.19	o 331408
2192.43/2163.20	o 331397
2192.43/2163.22	o 331396
2192.52/2163.36	o 331305
2192.62/2163.45	o 331304
2193.03/2163.82	o 331297
2193.03/2163.83	o 331296
2200.22/2170.96	o 331215
2200.22/2170.97	o 331204
2200.83/2171.60	o 331197
2200.93/2171.60	o 331196
2210.15/2180.74	o 331096
2210.96/2181.55	o 330897
2520.01/2486.50	s SATISFIABLE
2520.01/2486.51	v <instantiation>
2520.01/2486.51	v 	<list>
2520.01/2486.51	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2520.01/2486.51	v 	</list>
2520.01/2486.51	v 	<values>
2520.01/2486.51	v 		442 680 554 792 694 456 442 680 296 58 142 380 526 764 680 442 310 72 58 296 114 352 16 254 680 442 142 380 512 750 100 338 484 722 414 652 540 778 156 394 442 680 30 268 554 792 282 44 296 58 722 484 44 282 338 100 16 254 722 484 338 100 778 540 44 282 366 128 324 86 750 512 58 296 554 792 338 100 142 380 156 394 338 100 44 282 526 764 708 470 366 128 268 30 498 736 58 296 526 764 352 114 498 736 296 58 414 652 254 16 778 540 750 512 128 366 456 694 44 282 30 268 16 254 282 44 72 310 792 554 428 666 296 58 456 694 442 680 156 394 442 680 442 680 58 296 296 58 394 156 58 296 666 428 792 554 792 554 170 408 512 750 282 44 778 540 268 30 652 414 750 512 428 666 352 114 442 680 484 722 128 366 324 86 296 58 352 114 86 324 680 442 142 380 764 526 792 554 352 114 652 414 156 394 310 72 366 128 680 442 324 86 526 764 526 764 268 30 72 310 722 484 142 380 764 526 680 442 456 694 296 58 268 30 764 526 86 324 750 512 428 666 512 750 540 778 30 268 310 72 268 30 778 540 100 338 540 778 470 708 540 778 282 44 30 268 268 30 338 100 428 666 324 86 30 268 764 526 44 282 694 456 86 324 86 324 736 498 44 282 380 142 540 778 44 282 380 142 268 30 366 128 526 764 282 44 484 722 380 142 282 44 72 310 540 778 512 750 296 58 708 470 128 366 296 58 666 428 764 526 764 526 338 100 30 268 428 666 540 778 44 282 750 512 540 778 142 380 470 708 736 498 44 282 750 512 764 526 72 310 142 380 778 540 792 554 470 708 512 750 114 352 380 142 310 72 456 694 282 44 282 44 484 722 72 310 338 100 666 428 254 16 282 44 254 16 44 282 736 498 414 652 380 142 680 442 764 526 86 324 540 778 750 512 680 442 708 470 736 498 428 666 484 722 296 58 268 30 366 128 282 44 778 540 680 442 352 114 778 540 708 470 540 778 86 324 380 142 778 540 470 708 736 498 498 736 540 778 142 380 156 394 268 30 352 114 414 652 16 254 16 254 156 394 750 512 694 456 72 310 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 764 526 484 722 414 652 778 540 254 16 554 792 142 380 764 526 540 778 128 366 296 58 282 44 456 694 296 58 722 484 352 114 268 30 268 30 526 764 694 456 442 680 456 694 366 128 268 30 324 86 792 554 128 366 30 268 380 142 694 456 540 778 666 428 156 394 142 380 268 30 428 666 352 114 708 470 380 142 442 680 114 352 324 86 764 526 100 338 142 380 282 44 764 526 282 44 338 100 114 352 680 442 366 128 44 282 254 16 114 352 666 428 282 44 778 540 310 72 512 750 778 540 736 498 114 352 156 394 380 142 428 666 338 100 30 268 512 750 778 540 414 652 324 86 470 708 338 100 282 44 708 470 268 30 680 442 680 442 498 736 366 128 268 30 778 540 380 142 44 282 414 652 554 792 338 100 72 310 100 338 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 100 100 100 100 0 0 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 0 0 100 100 0 0 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 1000 0 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 1000 0 0 1000 1000 1000 0 1000 0 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 1000 0 1000 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 1000 1000 0 1000 0 1000 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 1000 1000 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 1000 1000 0 1000 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 0 1000 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 100 100 0 0 0 100 0 0 100 100 0 100 100 0 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 0 0 100 100 100 100 100 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 100 100 0 0 0 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 100 0 100 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 0 100 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 100 0 100 100 0 0 100 100 0 0 100 0 0 100 100 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 0 0 0 0 100 0 0 0 100 100 0 100 100 100 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 100 100 100 100 0 100 100 100 0 100 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 100 100 0 100 100 100 0 0 100 0 100 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 100 0 0 100 0 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 100 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 100 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 10 0 10 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 10 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 10 10 0 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 10 0 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 10 10 0 0 0 0 0 10 10 10 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 0 0 10 10 10 0 10 10 0 0 10 0 0 0 0 0 0 10 10 10 10 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 10 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 0 10 10 0 0 10 10 10 10 0 10 0 10 0 10 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 10 0 10 0 10 10 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 0 0 10 10 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 0 10 10 10 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 10 0 0 10 0 0 0 10 0 10 10 10 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 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 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 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 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 
2520.01/2486.51	v 	</values>
2520.01/2486.51	v </instantiation>

Verifier Data 

OK	330897

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 (9661 MiB free)
  memory of node 1: 16384 MiB (13168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312024-1534546073/watcher-4312024-1534546073 -o /tmp/evaluation-result-4312024-1534546073/solver-4312024-1534546073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22859 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312024-1534546073.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=23486, runsolver pid=23483

[startup+0.101816 s]*
/proc/loadavg: 1.96 1.64 1.61 3/215 23501
/proc/meminfo: memFree=23344944/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14082736 memory=31256 CPUtime=0.13 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 6698 0 0 0 12 1 0 0 20 0 15 0 272170531 14420721664 7814 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3520684 7814 3160 1 0 3482761 0
[pid=23486/tid=23488] ppid=23483 vsize=14082736 memory=-8701690554792054913 CPUtime=0.09 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 4731 0 0 0 9 0 0 0 20 0 15 0 272170532 14420721664 7814 33554432000 4194304 4196468 140732374638336 140161809555664 140161785636768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 7814 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 7814 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 7814 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 7814 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160717235488 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160716183152 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0.01 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 7814 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31256 KiB

[startup+0.218039 s]*
/proc/loadavg: 1.96 1.64 1.61 5/215 23501
/proc/meminfo: memFree=23313476/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14082736 memory=47384 CPUtime=0.32 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 10439 0 0 0 30 2 0 0 20 0 15 0 272170531 14420721664 11846 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3520684 11846 3399 1 0 3482761 0
[pid=23486/tid=23488] ppid=23483 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 8120 0 0 0 19 1 0 0 20 0 15 0 272170532 14420721664 11846 33554432000 4194304 4196468 140732374638336 140161809589216 140161797612454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 11846 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14082736 memory=139654460717538 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 11846 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 11846 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 11846 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160717235488 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160716183152 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) R 23483 23486 22827 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0.06 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 321 0 0 0 6 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 11846 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47384 KiB

[startup+0.310437 s]*
/proc/loadavg: 1.96 1.64 1.61 3/215 23501
/proc/meminfo: memFree=23297776/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14082736 memory=50924 CPUtime=0.44 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 10823 0 0 0 42 2 0 0 20 0 15 0 272170531 14420721664 12731 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3520684 12731 3413 1 0 3482761 0
[pid=23486/tid=23488] ppid=23483 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 8463 0 0 0 28 1 0 0 20 0 15 0 272170532 14420721664 12731 33554432000 4194304 4196468 140732374638336 140161809572400 140161786924447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 12731 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14082736 memory=139654460720381 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 12731 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 12731 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272170533 14420721664 12731 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160717235488 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272170534 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160716183152 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0.08 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 339 0 0 0 8 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14082736 memory=139654459295360 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170537 14420721664 12731 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50924 KiB

[startup+0.700791 s]
/proc/loadavg: 1.96 1.64 1.61 3/215 23501
/proc/meminfo: memFree=23244520/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14084804 memory=89028 CPUtime=0.98 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 17640 0 0 0 94 4 0 0 20 0 15 0 272170531 14422839296 22257 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3521201 22257 3499 1 0 3483273 0
[pid=23486/tid=23488] ppid=23483 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 14893 0 0 0 64 3 0 0 20 0 15 0 272170532 14422839296 22257 33554432000 4194304 4196468 140732374638336 140161809589248 140161805382813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14422839296 22257 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14084804 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14422839296 22257 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14084804 memory=4296 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170533 14422839296 22257 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14084804 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272170533 14422839296 22257 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272170534 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14084804 memory=10212 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272170534 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160717235488 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272170534 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160716183152 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14084804 memory=6404 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14084804 memory=6297835844906604903 CPUtime=0.08 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 644 0 0 0 8 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14084804 memory=8099279071866868840 CPUtime=0.07 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14084804 memory=4641330296368681044 CPUtime=0.14 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 424 0 0 0 14 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272170537 14422839296 22257 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89028 KiB

[startup+1.50123 s]
/proc/loadavg: 1.96 1.64 1.61 5/215 23501
/proc/meminfo: memFree=23111908/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14088900 memory=227540 CPUtime=3.5 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 23285 0 0 0 341 9 0 0 20 0 15 0 272170531 14427033600 56885 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3522225 56885 3548 1 0 3484297 0
[pid=23486/tid=23488] ppid=23483 vsize=14088900 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 16127 0 0 0 140 6 0 0 20 0 15 0 272170532 14427033600 56885 33554432000 4194304 4196468 140732374638336 140161809591392 140161447124999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 272170533 14427033600 56885 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14088900 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 272170533 14427033600 56885 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 272170533 14427033600 56885 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 272170533 14427033600 56885 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 272170534 14427033600 56885 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0

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

/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 64878 0 0 0 237055 36 0 0 20 0 15 0 272170532 14429130752 165862 33554432000 4194304 4196468 140732374638336 140161809598992 140161455516910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14090948 memory=1116 CPUtime=7.74 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 16256 0 0 0 746 28 0 0 20 0 15 0 272170533 14429130752 165862 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14090948 memory=663448 CPUtime=7.73 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 13684 0 0 0 744 29 0 0 20 0 15 0 272170533 14429130752 165862 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14090948 memory=663448 CPUtime=7.72 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 13239 0 0 0 745 27 0 0 20 0 15 0 272170533 14429130752 165862 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14090948 memory=663448 CPUtime=7.76 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 16592 0 0 0 749 27 0 0 20 0 15 0 272170533 14429130752 165862 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14090948 memory=663448 CPUtime=2.84 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 21265 0 0 0 255 29 0 0 20 0 15 0 272170534 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14090948 memory=663448 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160717235552 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14090948 memory=663448 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160716183168 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14090948 memory=663448 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14090948 memory=3816 CPUtime=3.76 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 11700 0 0 0 374 2 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14090948 memory=6496 CPUtime=3.87 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 12727 0 0 0 385 2 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14090948 memory=1116 CPUtime=1.18 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 20840 0 0 0 115 3 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14090948 memory=663448 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14090948 memory=1612 CPUtime=0.95 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1439 0 0 0 44 51 0 0 20 0 15 0 272170537 14429130752 165862 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 2414.54 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 663448 KiB

[startup+2442.3 s]
/proc/loadavg: 1.42 1.38 1.41 3/215 23600
/proc/meminfo: memFree=22533672/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14090948 memory=658320 CPUtime=2475.31 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 195442 0 0 0 247313 218 0 0 20 0 15 0 272170531 14429130752 164580 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3522737 164580 3610 1 0 3484809 0
[pid=23486/tid=23488] ppid=23483 vsize=14090948 memory=658320 CPUtime=2430.55 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 65488 0 0 0 243019 36 0 0 20 0 15 0 272170532 14429130752 164580 33554432000 4194304 4196468 140732374638336 140161809598944 140161455516806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14090948 memory=658320 CPUtime=7.97 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 16360 0 0 0 769 28 0 0 20 0 15 0 272170533 14429130752 164580 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14090948 memory=658320 CPUtime=7.97 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 13858 0 0 0 767 30 0 0 20 0 15 0 272170533 14429130752 164580 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14090948 memory=663448 CPUtime=7.96 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 13445 0 0 0 768 28 0 0 20 0 15 0 272170533 14429130752 164580 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14090948 memory=658320 CPUtime=8 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 16662 0 0 0 773 27 0 0 20 0 15 0 272170533 14429130752 164580 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14090948 memory=658320 CPUtime=2.96 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 21447 0 0 0 265 31 0 0 20 0 15 0 272170534 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14090948 memory=658320 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160717235552 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14090948 memory=658320 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160716183168 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14090948 memory=658320 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14090948 memory=658320 CPUtime=3.76 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 11702 0 0 0 374 2 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14090948 memory=658320 CPUtime=3.87 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 12729 0 0 0 385 2 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14090948 memory=658320 CPUtime=1.18 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 20842 0 0 0 115 3 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14090948 memory=658320 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14090948 memory=658320 CPUtime=0.98 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1456 0 0 0 46 52 0 0 20 0 15 0 272170537 14429130752 164580 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 2475.31 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 658320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.5 s]
/proc/loadavg: 1.48 1.41 1.41 4/215 23678
/proc/meminfo: memFree=23193256/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14090948 memory=653704 CPUtime=2520.01 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 196430 0 0 0 251780 221 0 0 20 0 15 0 272170531 14429130752 163426 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3522737 163426 3610 1 0 3484809 0
[pid=23486/tid=23488] ppid=23483 vsize=14090948 memory=653704 CPUtime=2474.49 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 65876 0 0 0 247412 37 0 0 20 0 15 0 272170532 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161809598912 140161455516916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14090948 memory=657292 CPUtime=8.14 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 16409 0 0 0 786 28 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14090948 memory=657292 CPUtime=8.14 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 13960 0 0 0 784 30 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14090948 memory=658320 CPUtime=8.13 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 13686 0 0 0 785 28 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14090948 memory=653704 CPUtime=8.17 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 16694 0 0 0 790 27 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14090948 memory=658320 CPUtime=3.03 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 21610 0 0 0 272 31 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14090948 memory=656268 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160717235552 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14090948 memory=653704 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160716183168 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14090948 memory=653704 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14090948 memory=653704 CPUtime=3.76 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 11702 0 0 0 374 2 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14090948 memory=3816 CPUtime=3.87 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 12729 0 0 0 385 2 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14090948 memory=4296 CPUtime=1.18 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 20842 0 0 0 115 3 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14090948 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14090948 memory=1228 CPUtime=1 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1469 0 0 0 47 53 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 653704 KiB

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

[startup+2486.52 s]
# the end of solver process 23486 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.84 s, system=2.22599 s

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

[startup+2486.5 s]
/proc/loadavg: 1.48 1.41 1.41 4/215 23678
/proc/meminfo: memFree=23193256/32770624 swapFree=67108500/67108860
[pid=23486] ppid=23483 vsize=14090948 memory=653704 CPUtime=2520.01 cores=1,3,5,7
/proc/23486/stat : 23486 (java) S 23483 23486 22827 0 -1 1077944320 196430 0 0 0 251780 221 0 0 20 0 15 0 272170531 14429130752 163426 33554432000 4194304 4196468 140732374638336 140732374620880 140161805360887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
/proc/23486/statm: 3522737 163426 3610 1 0 3484809 0
[pid=23486/tid=23488] ppid=23483 vsize=14090948 memory=653704 CPUtime=2474.49 cores=1,3,5,7
/proc/23486/task/23488/stat : 23488 (java) R 23483 23486 22827 0 -1 4202560 65876 0 0 0 247412 37 0 0 20 0 15 0 272170532 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161809598912 140161455516916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23489] ppid=23483 vsize=14090948 memory=657292 CPUtime=8.14 cores=1,3,5,7
/proc/23486/task/23489/stat : 23489 (java) S 23483 23486 22827 0 -1 1077944384 16409 0 0 0 786 28 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161401153936 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23490] ppid=23483 vsize=14090948 memory=657292 CPUtime=8.14 cores=1,3,5,7
/proc/23486/task/23490/stat : 23490 (java) S 23483 23486 22827 0 -1 1077944384 13960 0 0 0 784 30 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161400101136 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23491] ppid=23483 vsize=14090948 memory=658320 CPUtime=8.13 cores=1,3,5,7
/proc/23486/task/23491/stat : 23491 (java) S 23483 23486 22827 0 -1 1077944384 13686 0 0 0 785 28 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161399048848 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23492] ppid=23483 vsize=14090948 memory=653704 CPUtime=8.17 cores=1,3,5,7
/proc/23486/task/23492/stat : 23492 (java) S 23483 23486 22827 0 -1 1077944384 16694 0 0 0 790 27 0 0 20 0 15 0 272170533 14429130752 163426 33554432000 4194304 4196468 140732374638336 140161397996048 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23493] ppid=23483 vsize=14090948 memory=658320 CPUtime=3.03 cores=1,3,5,7
/proc/23486/task/23493/stat : 23493 (java) S 23483 23486 22827 0 -1 1077944384 21610 0 0 0 272 31 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160718289520 140161805372034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23494] ppid=23483 vsize=14090948 memory=656268 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23494/stat : 23494 (java) S 23483 23486 22827 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160717235552 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23495] ppid=23483 vsize=14090948 memory=653704 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23495/stat : 23495 (java) S 23483 23486 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 272170534 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160716183168 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23496] ppid=23483 vsize=14090948 memory=653704 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23496/stat : 23496 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160715131472 140161805379483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23497] ppid=23483 vsize=14090948 memory=653704 CPUtime=3.76 cores=1,3,5,7
/proc/23486/task/23497/stat : 23497 (java) S 23483 23486 22827 0 -1 1077944384 11702 0 0 0 374 2 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160714078320 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23498] ppid=23483 vsize=14090948 memory=3816 CPUtime=3.87 cores=1,3,5,7
/proc/23486/task/23498/stat : 23498 (java) S 23483 23486 22827 0 -1 1077944384 12729 0 0 0 385 2 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160713025520 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23499] ppid=23483 vsize=14090948 memory=4296 CPUtime=1.18 cores=1,3,5,7
/proc/23486/task/23499/stat : 23499 (java) S 23483 23486 22827 0 -1 1077944384 20842 0 0 0 115 3 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160711973232 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23500] ppid=23483 vsize=14090948 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/23486/task/23500/stat : 23500 (java) S 23483 23486 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160710920672 140161805371093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
[pid=23486/tid=23501] ppid=23483 vsize=14090948 memory=1228 CPUtime=1 cores=1,3,5,7
/proc/23486/task/23501/stat : 23501 (java) S 23483 23486 22827 0 -1 1077944384 1469 0 0 0 47 53 0 0 20 0 15 0 272170537 14429130752 163426 33554432000 4194304 4196468 140732374638336 140160709868464 140161805372034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11268096 140732374639688 140732374639881 140732374639881 140732374642639 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 653704 KiB

Child status: 143
Real time (s): 2486.52
CPU time (s): 2520.07
CPU user time (s): 2517.84
CPU system time (s): 2.22599
CPU usage (%): 101.349
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1781524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.22599
maximum resident set size= 1784060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124204
involuntary context switches= 2883


# summary of solver processes directly reported to runsolver:
#   pid: 23486
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.84
#   total CPU system time (s): 2.22599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6075 second user time and 21.336 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-18 00:47:54
IDJOB=4312024
IDBENCH=141188
IDSOLVER=2799
FILE ID=node104/4312024-1534546073
RUNJOBID= node104-1534541043-22859
PBS_JOBID= 21038643
Free space on /tmp= 47320 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312024-1534546073/watcher-4312024-1534546073 -o /tmp/evaluation-result-4312024-1534546073/solver-4312024-1534546073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22859 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312024-1534546073.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=2119236025

node104.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.11
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.11
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.11
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.11
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:        23382244 kB
MemAvailable:   31053616 kB
Buffers:          209716 kB
Cached:          7710336 kB
SwapCached:            4 kB
Active:          4929440 kB
Inactive:        3881416 kB
Active(anon):     866260 kB
Inactive(anon):    92888 kB
Active(file):    4063180 kB
Inactive(file):  3788528 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:             35928 kB
Writeback:             0 kB
AnonPages:        817672 kB
Mapped:            32172 kB
Shmem:             66020 kB
Slab:             277140 kB
SReclaimable:     248124 kB
SUnreclaim:        29016 kB
KernelStack:        3792 kB
PageTables:         6496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2270464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    675840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47284 MiB
End job on node104 at 2018-08-18 01:29:20