Trace number 4291705

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 - Parallel with EPS 2018-07-02SAT (TO)657729 19898.7 2520.33

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1454226
Best CPU time to get the best result obtained on this benchmark14796.8
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax 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.66/0.55	c version: 2018-07-02
0.66/0.55	c seed: 1154369971
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
2.02/1.09	c Parsing done, starting search...
14.66/7.22	o 25947
14.66/7.22	o 28802
14.66/7.22	o 40982
14.66/7.22	o 43837
14.66/7.29	o 47730
14.66/7.29	o 50585
14.66/7.29	o 52916
14.66/7.29	o 56638
14.66/7.29	o 58969
15.37/7.31	o 59493
15.37/7.31	o 61824
15.37/7.31	o 65252
15.37/7.31	o 68107
15.37/7.31	o 70438
15.37/7.31	o 70750
15.37/7.31	o 73081
15.37/7.31	o 73605
15.37/7.32	o 75936
15.37/7.32	o 78009
15.37/7.32	o 80340
15.37/7.33	o 80706
15.37/7.33	o 82255
15.37/7.33	o 85110
15.37/7.37	o 87441
15.37/7.37	o 89244
15.37/7.37	o 91575
15.37/7.37	o 93454
15.37/7.37	o 97858
15.37/7.37	o 100189
15.37/7.37	o 100713
15.37/7.37	o 103044
15.37/7.38	o 106679
15.37/7.38	o 109534
15.37/7.38	o 113668
15.37/7.38	o 115181
15.37/7.38	o 115534
15.37/7.38	o 117878
15.37/7.39	o 122282
15.37/7.39	o 125137
15.37/7.39	o 127468
15.37/7.39	o 127470
16.14/7.42	o 128983
16.14/7.42	o 129336
16.14/7.42	o 131680
16.14/7.42	o 136084
16.14/7.42	o 138939
16.14/7.42	o 141270
16.14/7.42	o 142364
16.14/7.42	o 143300
16.14/7.43	o 143913
16.14/7.43	o 144437
16.14/7.43	o 146768
16.14/7.43	o 148651
16.14/7.43	o 149219
16.14/7.43	o 149848
16.14/7.43	o 150142
16.14/7.44	o 151655
16.14/7.44	o 152008
16.14/7.44	o 154352
16.14/7.44	o 155288
16.14/7.44	o 155901
16.14/7.44	o 158756
16.14/7.44	o 161399
16.14/7.45	o 164254
16.14/7.45	o 166585
16.14/7.45	o 167782
16.14/7.45	o 168718
16.14/7.45	o 169331
16.14/7.45	o 172186
16.14/7.45	o 172298
16.14/7.45	o 175153
16.14/7.46	o 175864
16.14/7.46	o 178719
16.14/7.47	o 179049
16.14/7.47	o 179760
16.14/7.47	o 182615
16.14/7.47	o 182727
16.14/7.47	o 185582
16.14/7.47	o 188241
16.14/7.48	o 191612
16.14/7.48	o 193943
16.14/7.48	o 195719
16.14/7.48	o 198835
16.14/7.48	o 201166
16.14/7.49	o 201217
16.14/7.49	o 204333
16.14/7.49	o 206664
16.14/7.49	o 206975
16.14/7.50	o 209306
16.14/7.50	o 211379
16.14/7.50	o 213710
16.14/7.50	o 215472
16.97/7.51	o 217071
16.97/7.51	o 217528
16.97/7.51	o 220187
16.97/7.51	o 222518
16.97/7.51	o 224158
16.97/7.52	o 224595
16.97/7.52	o 225638
16.97/7.52	o 227187
16.97/7.52	o 230042
16.97/7.52	o 230667
16.97/7.52	o 231266
16.97/7.52	o 234233
16.97/7.52	o 237088
16.97/7.53	o 239419
16.97/7.53	o 242569
16.97/7.53	o 245424
16.97/7.53	o 247755
16.97/7.53	o 248391
16.97/7.53	o 250722
16.97/7.53	o 251050
16.97/7.53	o 253381
16.97/7.55	o 253637
16.97/7.55	o 255316
16.97/7.55	o 255644
16.97/7.55	o 257975
16.97/7.55	o 258231
16.97/7.58	o 259033
16.97/7.58	o 259037
16.97/7.58	o 261368
16.97/7.59	o 263441
17.73/7.60	o 265772
17.73/7.63	o 265822
17.73/7.63	o 268789
17.73/7.63	o 271120
17.73/7.64	o 272561
17.73/7.64	o 274892
17.73/7.64	o 275528
17.73/7.64	o 277859
17.73/7.64	o 278942
17.73/7.64	o 280765
17.73/7.65	o 281601
17.73/7.65	o 283424
17.73/7.66	o 283543
17.73/7.66	o 284067
17.73/7.66	o 286398
17.73/7.67	o 287691
17.73/7.67	o 290022
17.73/7.67	o 290350
17.73/7.67	o 292681
17.73/7.68	o 294504
18.52/7.70	o 294813
18.52/7.70	o 297144
18.52/7.70	o 297780
18.52/7.70	o 300111
18.52/7.71	o 300439
18.52/7.71	o 302770
18.52/7.71	o 304593
18.52/7.71	o 305589
18.52/7.72	o 305917
18.52/7.72	o 308248
18.52/7.72	o 308780
18.52/7.73	o 309520
18.52/7.73	o 310052
18.52/7.73	o 311048
18.52/7.73	o 311376
18.52/7.73	o 313707
18.52/7.73	o 314239
18.52/7.73	o 314617
18.52/7.76	o 314893
18.52/7.78	o 315916
18.52/7.78	o 316192
18.52/7.78	o 317842
18.52/7.78	o 318170
18.52/7.78	o 320501
18.52/7.78	o 320757
18.52/7.78	o 321033
18.52/7.79	o 321824
19.28/7.80	o 322356
19.28/7.81	o 323739
19.28/7.81	o 325062
19.28/7.81	o 326706
19.28/7.81	o 328029
19.28/7.81	o 328529
19.28/7.81	o 329852
19.28/7.81	o 330418
19.28/7.81	o 332062
19.28/7.81	o 333385
19.28/7.82	o 333885
19.28/7.82	o 335208
19.28/7.83	o 336044
19.28/7.86	o 336544
19.28/7.86	o 337867
20.07/7.91	o 338641
20.07/7.91	o 339964
20.07/7.91	o 340464
20.07/7.91	o 341787
20.07/7.93	o 342879
20.07/7.93	o 343379
20.07/7.93	o 344702
20.07/7.93	o 345320
20.07/7.93	o 346912
20.07/7.93	o 348235
20.07/7.93	o 348735
20.07/7.93	o 350058
20.07/7.94	o 351489
20.07/7.95	o 352812
20.07/7.95	o 353312
20.07/7.95	o 354635
20.07/7.95	o 355727
20.07/7.95	o 356227
20.07/7.95	o 357550
20.07/7.97	o 357641
20.07/7.99	o 358161
20.07/7.99	o 358252
20.86/8.00	o 358547
20.86/8.00	o 359870
20.86/8.00	o 359961
20.86/8.00	o 359984
20.86/8.01	o 362194
20.86/8.01	o 363517
20.86/8.01	o 363608
20.86/8.02	o 364415
20.86/8.02	o 364506
20.86/8.02	o 365738
20.86/8.02	o 365829
20.86/8.02	o 367330
20.86/8.02	o 368653
20.86/8.02	o 368744
20.86/8.03	o 369153
20.86/8.03	o 369244
20.86/8.03	o 370476
20.86/8.03	o 370567
20.86/8.03	o 370673
20.86/8.03	o 370764
20.86/8.03	o 371313
20.86/8.03	o 371404
20.86/8.03	o 371554
20.86/8.03	o 372877
20.86/8.03	o 375120
20.86/8.03	o 376443
20.86/8.04	o 376534
20.86/8.05	o 377842
20.86/8.07	o 377933
20.86/8.07	o 379445
20.86/8.07	o 379536
20.86/8.07	o 381268
20.86/8.07	o 381359
20.86/8.07	o 382486
20.86/8.07	o 383809
20.86/8.07	o 383900
20.86/8.07	o 384065
20.86/8.07	o 384156
20.86/8.09	o 384897
20.86/8.10	o 386220
20.86/8.10	o 386311
20.86/8.11	o 387140
20.86/8.11	o 387231
20.86/8.11	o 388110
20.86/8.11	o 390411
20.86/8.11	o 391734
20.86/8.11	o 391825
21.70/8.12	o 391990
21.70/8.12	o 392081
21.70/8.16	o 393874
21.70/8.16	o 395197
21.70/8.16	o 395288
21.70/8.16	o 395453
21.70/8.16	o 395544
21.70/8.17	o 396422
21.70/8.17	o 396513
21.70/8.17	o 397902
21.70/8.17	o 399225
21.70/8.17	o 399316
21.70/8.17	o 400869
21.70/8.17	o 400960
21.70/8.17	o 402192
21.70/8.17	o 402283
23.23/8.30	o 402305
23.23/8.31	o 402396
23.23/8.31	o 402831
23.23/8.31	o 403801
23.23/8.31	o 403859
23.23/8.31	o 407425
23.23/8.31	o 407516
23.23/8.31	o 410392
23.23/8.31	o 410483
23.23/8.31	o 412236
23.23/8.31	o 412327
23.23/8.31	o 412340
23.23/8.31	o 415906
23.23/8.31	o 415997
23.23/8.31	o 417750
23.23/8.31	o 417841
23.23/8.32	o 418006
23.23/8.32	o 418097
24.01/8.41	o 418909
24.01/8.42	o 419000
24.01/8.42	o 420753
24.01/8.42	o 420844
24.81/8.55	o 420866
24.81/8.56	o 420957
24.81/8.56	o 423669
24.81/8.56	o 423760
24.81/8.56	o 426636
24.81/8.56	o 426727
25.60/8.60	o 428480
25.60/8.60	o 428571
26.40/8.74	o 428710
26.40/8.74	o 428801
26.40/8.75	o 430554
26.40/8.75	o 430645
26.40/8.80	o 431194
26.40/8.80	o 431285
29.64/9.12	o 431613
29.64/9.13	o 431704
31.96/9.42	o 432212
31.96/9.43	o 432303
31.96/9.44	o 432317
31.96/9.44	o 432794
31.96/9.44	o 432885
31.96/9.47	o 433431
31.96/9.47	o 433522
31.96/9.49	o 434013
31.96/9.49	o 434104
32.75/9.50	o 434581
32.75/9.50	o 434672
33.53/9.64	o 434712
33.53/9.64	o 434803
33.53/9.65	o 435294
33.53/9.65	o 435385
34.33/9.71	o 435862
34.33/9.72	o 435953
37.59/10.19	o 438190
37.59/10.20	o 438281
37.59/10.20	o 440034
37.59/10.20	o 440125
39.91/10.47	o 440453
39.91/10.47	o 440544
43.84/10.93	o 441159
43.84/10.93	o 441250
43.84/10.93	o 441791
43.84/10.93	o 441869
43.84/10.93	o 442946
43.84/10.93	o 443037
43.84/10.94	o 443146
43.84/10.94	o 443237
43.84/10.94	o 443610
43.84/10.94	o 443856
43.84/10.94	o 444933
43.84/10.94	o 445024
43.84/10.94	o 445557
43.84/10.94	o 445648
43.84/10.95	o 446634
43.84/10.95	o 446725
44.64/11.02	o 446838
44.64/11.02	o 447915
44.64/11.02	o 448006
46.30/11.22	o 448497
46.30/11.22	o 448588
51.00/11.83	o 448714
51.00/11.83	o 448805
51.80/11.93	o 449054
51.80/11.94	o 449145
55.78/12.44	o 450026
55.78/12.45	o 450117
55.78/12.46	o 451341
55.78/12.46	o 451432
57.36/12.62	o 451515
57.36/12.62	o 451606
57.36/12.63	o 452534
57.36/12.63	o 452625
58.16/12.70	o 453552
58.16/12.71	o 453643
58.16/12.71	o 454116
58.16/12.71	o 454207
58.16/12.71	o 454815
58.16/12.71	o 454906
58.16/12.71	o 456131
58.16/12.71	o 457208
58.16/12.71	o 457929
58.16/12.71	o 459006
58.16/12.71	o 459252
58.16/12.72	o 460329
58.16/12.72	o 460420
58.16/12.72	o 461493
58.16/12.72	o 461584
58.16/12.72	o 462816
58.16/12.72	o 462907
58.16/12.72	o 463893
58.16/12.72	o 463984
58.16/12.74	o 464097
58.16/12.74	o 465174
58.16/12.74	o 465265
60.55/13.04	o 465756
60.55/13.04	o 465847
67.71/13.97	o 466328
67.71/13.98	o 466419
67.71/13.98	o 466782
67.71/13.98	o 467028
67.71/13.98	o 468105
67.71/13.98	o 468196
67.71/13.99	o 468687
67.71/13.99	o 468778
68.55/14.09	o 469386
68.55/14.09	o 469477
69.38/14.14	o 469968
69.38/14.14	o 470059
82.86/15.87	o 470124
82.86/15.88	o 470215
82.86/15.88	o 471968
82.86/15.88	o 472059
82.86/15.88	o 472224
82.86/15.88	o 472315
82.86/15.89	o 473149
82.86/15.89	o 473240
84.45/16.02	o 473784
84.45/16.03	o 473931
84.45/16.03	o 474022
84.45/16.03	o 474366
84.45/16.03	o 474457
84.45/16.03	o 474484
84.45/16.03	o 475561
84.45/16.03	o 475652
84.45/16.03	o 476143
84.45/16.03	o 476234
88.43/16.57	o 477162
88.43/16.58	o 477309
88.43/16.58	o 477400
88.43/16.58	o 477744
88.43/16.58	o 477835
94.09/17.22	o 477862
94.09/17.23	o 478939
94.09/17.23	o 479030
94.09/17.23	o 479521
94.09/17.23	o 479612
100.38/18.02	o 480220
100.38/18.03	o 480311
100.38/18.03	o 480802
100.38/18.03	o 480893
105.17/18.65	o 481441
105.17/18.65	o 481532
105.17/18.66	o 482023
105.17/18.66	o 482114
110.74/19.32	o 482722
110.74/19.32	o 482813
110.74/19.33	o 483304
110.74/19.33	o 483395
122.69/20.87	o 484066
122.69/20.87	o 484157
122.69/20.88	o 484834
122.69/20.88	o 484925
122.69/20.88	o 485853
122.69/20.88	o 485944
122.69/20.89	o 486028
122.69/20.89	o 486119
122.69/20.89	o 486660
122.69/20.89	o 486738
122.69/20.89	o 487815
122.69/20.89	o 487906
122.69/20.89	o 488739
122.69/20.89	o 488830
122.69/20.89	o 488989
122.69/20.89	o 489067
122.69/20.89	o 490144
122.69/20.89	o 490164
122.69/20.89	o 491241
122.69/20.89	o 491332
122.69/20.89	o 491951
123.49/20.90	o 492042
123.49/20.90	o 493028
123.49/20.90	o 493119
123.49/20.95	o 493212
123.49/20.96	o 493303
123.49/20.96	o 494309
123.49/20.96	o 494400
124.28/21.04	o 494439
124.28/21.05	o 494530
124.28/21.05	o 495516
124.28/21.05	o 495607
124.28/21.05	o 495618
124.28/21.05	o 496695
124.28/21.05	o 496941
124.28/21.05	o 498018
124.28/21.05	o 498109
124.28/21.05	o 498222
124.28/21.05	o 499299
124.28/21.05	o 499390
124.28/21.06	o 499805
124.28/21.06	o 499896
124.28/21.06	o 500009
124.28/21.06	o 501086
124.28/21.06	o 501177
124.28/21.06	o 501355
124.28/21.07	o 501446
125.14/21.12	o 501494
125.14/21.12	o 501740
125.14/21.12	o 502817
125.14/21.12	o 502908
125.14/21.12	o 503532
125.14/21.13	o 503623
125.14/21.13	o 504222
125.14/21.13	o 504242
125.14/21.13	o 505319
125.14/21.13	o 505410
125.94/21.23	o 505523
125.94/21.24	o 506600
125.94/21.24	o 506691
125.94/21.26	o 506869
125.94/21.27	o 506960
133.09/22.19	o 506970
167.29/26.42	o 506986
167.29/26.42	o 506996
167.29/26.42	o 507077
167.29/26.42	o 507087
167.29/26.44	o 507432
167.29/26.45	o 507523
167.29/26.45	o 507533
167.29/26.45	o 508142
167.29/26.45	o 508152
167.29/26.45	o 509219
167.29/26.45	o 509229
167.29/26.45	o 509310
167.29/26.45	o 509320
167.29/26.45	o 509488
167.29/26.45	o 509579
167.29/26.46	o 509589
168.89/26.61	o 510500
168.89/26.62	o 510510
168.89/26.62	o 510591
168.89/26.62	o 510601
169.69/26.73	o 510769
169.69/26.73	o 510860
169.69/26.73	o 510870
223.07/33.46	o 511601
223.07/33.47	o 511611
223.07/33.47	o 511692
223.07/33.47	o 511702
227.06/33.96	o 511748
227.06/33.98	o 511758
227.06/33.98	o 512812
227.06/33.98	o 512903
227.06/33.98	o 512913
227.06/33.98	o 513527
227.06/33.98	o 513618
227.06/33.98	o 513628
227.06/33.99	o 514159
227.06/33.99	o 514169
227.06/33.99	o 514217
227.06/33.99	o 514237
227.06/33.99	o 515314
227.06/33.99	o 515324
227.06/33.99	o 515405
227.06/33.99	o 515415
227.85/34.04	o 515492
227.85/34.05	o 515583
227.85/34.05	o 515593
227.85/34.05	o 516049
227.85/34.05	o 516059
227.85/34.05	o 516140
227.85/34.06	o 516150
227.85/34.06	o 516764
227.85/34.06	o 516855
227.85/34.06	o 516865
227.85/34.06	o 517396
227.85/34.06	o 517406
227.85/34.06	o 517474
227.85/34.06	o 518551
227.85/34.06	o 518561
227.85/34.06	o 518642
227.85/34.06	o 518652
227.85/34.07	o 519219
227.85/34.07	o 519310
227.85/34.07	o 519320
227.85/34.07	o 519469
227.85/34.07	o 519479
227.85/34.07	o 519489
227.85/34.07	o 520566
227.85/34.07	o 520576
227.85/34.07	o 520644
227.85/34.07	o 520654
227.85/34.07	o 521721
227.85/34.07	o 521731
227.85/34.07	o 521812
227.85/34.08	o 521822
227.85/34.08	o 522353
227.85/34.08	o 522431
227.85/34.08	o 523508
227.85/34.08	o 523599
227.85/34.08	o 523609
240.52/35.66	o 524293
240.52/35.66	o 524303
240.52/35.67	o 524384
240.52/35.67	o 524394
240.52/35.69	o 524715
241.31/35.71	o 524806
241.31/35.71	o 524816
241.31/35.71	o 525405
241.31/35.71	o 525415
241.31/35.71	o 525425
241.31/35.71	o 526502
241.31/35.71	o 526512
241.31/35.71	o 526593
241.31/35.71	o 526603
241.31/35.71	o 526771
241.31/35.72	o 526862
241.31/35.72	o 526872
241.31/35.72	o 526975
241.31/35.72	o 526985
241.31/35.72	o 528052
241.31/35.72	o 528062
241.31/35.72	o 528143
241.31/35.72	o 528153
246.89/36.41	o 529004
246.89/36.41	o 529095
246.89/36.41	o 529105
246.89/36.41	o 529208
246.89/36.41	o 529218
246.89/36.41	o 530285
246.89/36.41	o 530295
246.89/36.41	o 530376
246.89/36.42	o 530386
246.89/36.46	o 530554
246.89/36.47	o 530645
246.89/36.47	o 530655
295.49/42.57	o 531234
295.49/42.58	o 531244
295.49/42.58	o 531709
295.49/42.58	o 531935
295.49/42.58	o 531955
295.49/42.58	o 533032
295.49/42.58	o 533042
295.49/42.58	o 533123
295.49/42.58	o 533133
302.62/43.47	o 533722
302.62/43.47	o 533732
302.62/43.48	o 533813
302.62/43.48	o 533823
302.62/43.48	o 533833
302.62/43.48	o 534819
302.62/43.48	o 534910
302.62/43.48	o 534920
309.07/44.22	o 535023
309.07/44.22	o 536100
309.07/44.22	o 536110
309.07/44.22	o 536191
309.07/44.22	o 536201
317.06/45.28	o 536295
317.06/45.28	o 536442
317.06/45.28	o 536452
317.06/45.28	o 536533
317.06/45.28	o 536543
317.06/45.28	o 536706
317.06/45.28	o 536797
317.06/45.28	o 537803
317.06/45.28	o 537894
317.06/45.28	o 537904
317.06/45.29	o 538536
317.06/45.29	o 538782
317.06/45.29	o 539859
317.06/45.29	o 539869
317.06/45.29	o 539950
317.06/45.29	o 539960
406.89/56.53	o 540554
406.89/56.53	o 540645
406.89/56.54	o 540655
406.89/56.55	o 540758
406.89/56.55	o 540768
406.89/56.55	o 541835
406.89/56.55	o 541845
406.89/56.55	o 541926
406.89/56.55	o 541936
416.41/57.72	o 542257
416.41/57.72	o 542267
416.41/57.72	o 542348
416.41/57.72	o 542358
416.41/57.72	o 542441
416.41/57.73	o 542532
416.41/57.73	o 543538
416.41/57.73	o 543629
416.41/57.73	o 543639
416.41/57.73	o 544313
416.41/57.73	o 544404
416.41/57.73	o 544414
416.41/57.73	o 544517
416.41/57.73	o 544527
416.41/57.73	o 545594
416.41/57.73	o 545604
416.41/57.73	o 545685
416.41/57.74	o 545695
480.95/65.82	o 545822
480.95/65.83	o 545913
480.95/65.83	o 545923
480.95/65.83	o 546691
480.95/65.83	o 546701
480.95/65.83	o 546782
480.95/65.83	o 546792
480.95/65.83	o 546919
480.95/65.83	o 547010
480.95/65.83	o 547020
484.13/66.29	o 547726
484.13/66.30	o 547736
484.13/66.30	o 547894
484.13/66.30	o 549049
484.13/66.30	o 549059
484.13/66.30	o 549140
484.13/66.30	o 549150
484.13/66.30	o 549277
484.13/66.30	o 549368
484.81/66.31	o 549378
484.81/66.31	o 550146
484.81/66.31	o 550156
484.81/66.31	o 550237
484.81/66.31	o 550247
484.81/66.31	o 550374
484.81/66.31	o 550465
484.81/66.31	o 550475
484.81/66.33	o 551187
484.81/66.34	o 551197
484.81/66.34	o 552342
484.81/66.34	o 552352
484.81/66.34	o 552433
484.81/66.34	o 552443
484.81/66.34	o 552570
484.81/66.34	o 552661
484.81/66.34	o 552671
484.81/66.34	o 553439
484.81/66.34	o 553449
484.81/66.34	o 553530
484.81/66.35	o 553540
484.81/66.35	o 553667
484.81/66.35	o 553758
484.81/66.35	o 553768
765.34/101.67	o 553885
765.34/101.67	o 553895
765.34/101.69	o 553976
765.34/101.69	o 553986
765.34/101.69	o 554113
765.34/101.69	o 554204
765.34/101.69	o 554214
768.53/102.04	o 554640
768.53/102.04	o 554650
768.53/102.05	o 554808
768.53/102.05	o 555963
768.53/102.05	o 555973
768.53/102.05	o 556054
768.53/102.05	o 556064
768.53/102.05	o 556191
768.53/102.05	o 556282
768.53/102.05	o 556292
768.53/102.05	o 557060
768.53/102.05	o 557070
768.53/102.05	o 557151
768.53/102.05	o 557161
768.53/102.05	o 557288
768.53/102.05	o 557379
768.53/102.06	o 557389
909.57/119.82	o 557445
909.57/119.83	o 557455
909.57/119.83	o 558314
909.57/119.83	o 558324
909.57/119.83	o 558542
909.57/119.83	o 558552
965.07/126.89	o 558617
965.87/126.90	o 558627
965.87/126.90	o 559486
965.87/126.90	o 559496
965.87/126.90	o 559714
965.87/126.90	o 559724
965.87/126.91	o 559821
965.87/126.91	o 559831
965.87/126.91	o 560049
965.87/126.91	o 560059
965.87/126.91	o 560542
965.87/126.91	o 560727
965.87/126.91	o 560895
965.87/126.91	o 561182
965.87/126.91	o 562050
965.87/126.91	o 562060
965.87/126.91	o 562730
965.87/126.91	o 562915
965.87/126.91	o 563083
965.87/126.91	o 564238
965.87/126.91	o 564248
965.87/126.91	o 564466
965.87/126.92	o 564476
965.87/126.92	o 565335
965.87/126.92	o 565345
965.87/126.92	o 565563
965.87/126.92	o 565573
1191.45/155.45	o 566055
1191.45/155.46	o 566283
1192.26/155.52	o 566625
1192.26/155.53	o 566810
1192.26/155.53	o 566978
1192.26/155.53	o 568133
1192.26/155.53	o 568361
1192.26/155.53	o 568362
1192.26/155.53	o 569230
1192.26/155.53	o 569458
1250.03/162.82	o 570520
1250.03/162.83	o 570530
1251.61/163.05	o 570824
1251.61/163.05	o 570834
1251.61/163.06	o 570844
1251.61/163.06	o 571921
1251.61/163.06	o 571931
1251.61/163.06	o 572307
1251.61/163.06	o 572317
1503.39/194.80	o 572389
1503.39/194.81	o 572617
1503.39/194.81	o 572618
1503.39/194.81	o 573486
1503.39/194.81	o 573714
1512.11/195.93	o 574409
1512.11/195.93	o 574696
1512.11/195.93	o 575564
1512.11/195.93	o 575792
1512.11/195.93	o 576661
1512.11/195.93	o 576889
1586.31/205.39	o 577117
1698.32/219.56	o 577472
1698.32/219.56	o 578569
1698.32/219.56	o 578797
1698.32/219.56	o 579118
1698.32/219.56	o 579798
1698.32/219.56	o 579983
1698.32/219.56	o 580151
1698.32/219.56	o 581306
1698.32/219.56	o 581535
1698.32/219.56	o 582403
1698.32/219.56	o 582631
1750.63/226.18	o 582962
1750.63/226.19	o 583644
1750.63/226.19	o 583812
1750.63/226.19	o 584967
1750.63/226.19	o 586000
1750.63/226.19	o 586287
1750.63/226.19	o 587155
1750.63/226.19	o 587383
1769.61/228.50	o 588252
1769.61/228.51	o 588480
1956.30/252.22	o 588702
2354.92/302.74	o 588759
2357.30/303.07	o 588955
2357.30/303.07	o 589413
2357.30/303.07	o 589598
2357.30/303.07	o 590921
2357.30/303.07	o 591143
2357.30/303.07	o 591503
2357.30/303.07	o 591725
2360.48/303.48	o 592693
2360.48/303.49	o 592915
2360.48/303.49	o 593275
2360.48/303.49	o 593497
2467.27/316.99	o 593726
2467.27/317.00	o 593948
2472.83/317.69	o 594869
2472.83/317.69	o 595091
2473.62/317.70	o 595107
2473.62/317.70	o 595309
2473.62/317.70	o 596817
2473.62/317.70	o 598875
2473.62/317.70	o 600383
2473.62/317.70	o 600605
2473.62/317.70	o 601480
2473.62/317.70	o 601702
2475.18/317.98	o 601852
2475.18/317.98	o 602074
2475.18/317.99	o 602949
2475.18/317.99	o 603171
2483.14/318.95	o 603342
2483.14/318.96	o 603492
2483.14/318.96	o 603714
2483.14/318.96	o 604589
2483.14/318.96	o 604811
2510.66/322.40	o 604877
3303.14/422.77	o 605642
3303.14/422.78	o 605994
3303.14/422.78	o 606216
3303.14/422.78	o 606283
3303.14/422.78	o 606505
3366.38/430.71	o 606874
3366.38/430.71	o 607096
3366.38/430.71	o 607102
3366.38/430.71	o 607324
3366.38/430.71	o 607778
3366.38/430.71	o 608000
3366.38/430.71	o 608517
3366.38/430.71	o 608685
3366.38/430.71	o 609840
3366.38/430.71	o 610062
3366.38/430.72	o 610068
3366.38/430.72	o 610290
3372.68/431.52	o 610569
3372.68/431.52	o 610791
3372.68/431.53	o 611437
3372.68/431.53	o 611659
3372.68/431.53	o 611665
3372.68/431.53	o 611887
3379.81/432.42	o 612258
3379.81/432.42	o 612480
3379.81/432.43	o 612486
3379.81/432.43	o 612708
3379.81/432.44	o 613036
3379.81/432.44	o 613258
3379.81/432.44	o 614069
3379.81/432.44	o 615224
3379.81/432.44	o 615446
3379.81/432.44	o 615452
3379.81/432.44	o 615674
3379.81/432.44	o 615963
3379.81/432.45	o 616131
3379.81/432.45	o 617286
3379.81/432.45	o 617508
3379.81/432.45	o 617514
3379.81/432.45	o 617736
3432.57/439.16	o 617772
3432.57/439.17	o 617903
3432.57/439.17	o 618190
3432.57/439.17	o 619058
3432.57/439.17	o 619280
3432.57/439.17	o 619286
3432.57/439.17	o 619508
3562.57/455.61	o 620155
3562.57/455.62	o 620377
3562.57/455.62	o 620383
3562.57/455.62	o 620605
4499.31/574.15	o 620832
4499.31/574.16	o 621054
4499.31/574.16	o 621929
4499.31/574.16	o 622151
4499.31/574.20	o 622157
4499.31/574.20	o 622379
4522.21/577.07	o 622994
4522.21/577.08	o 623216
4522.21/577.08	o 623222
4522.21/577.08	o 623444
4561.05/582.00	o 623510
4654.46/593.77	o 623767
4654.46/593.77	o 623989
4654.46/593.78	o 623995
4654.46/593.78	o 624217
4654.46/593.78	o 624832
4654.46/593.78	o 625054
4654.46/593.78	o 625060
4654.46/593.78	o 625282
5598.30/713.07	o 625418
5598.30/713.07	o 625710
5598.30/713.08	o 625932
5598.30/713.08	o 625999
5598.30/713.08	o 626221
5598.30/713.08	o 626351
5598.30/713.08	o 626573
5599.18/713.12	o 626626
5599.18/713.12	o 626689
5599.18/713.12	o 626978
5599.18/713.12	o 627200
5599.18/713.17	o 627788
5599.18/713.17	o 628140
5599.18/713.18	o 628362
5599.18/713.18	o 628429
5599.18/713.18	o 628651
5599.18/713.18	o 628767
5599.18/713.18	o 629056
5599.18/713.18	o 629278
6932.65/881.69	o 629435
6975.39/887.09	o 629510
6975.39/887.09	o 629516
6975.39/887.10	o 629738
7024.38/893.25	o 629933
7024.38/893.26	o 630350
7024.38/893.26	o 630572
7024.38/893.26	o 630578
7024.38/893.26	o 630800
7024.38/893.28	o 630977
7024.38/893.28	o 631199
7024.38/893.29	o 631205
7024.38/893.29	o 631427
7034.39/894.55	o 631546
7034.39/894.56	o 631951
7034.39/894.56	o 632173
7037.57/894.97	o 632179
7037.57/894.98	o 632401
7053.39/896.92	o 632476
7053.39/896.93	o 632482
7053.39/896.93	o 632704
7667.77/974.56	o 632889
7667.77/974.60	o 632901
7668.52/974.61	o 632907
7668.52/974.61	o 633129
7668.52/974.61	o 633306
7668.52/974.61	o 633528
7668.52/974.61	o 633534
7668.52/974.61	o 633756
7689.92/977.32	o 633804
7691.51/977.60	o 634042
7692.31/977.61	o 634264
7692.31/977.61	o 634971
7692.31/977.61	o 635193
7692.31/977.61	o 635651
7692.31/977.61	o 635873
7692.31/977.61	o 636004
7692.31/977.61	o 637159
7692.31/977.61	o 637381
7692.31/977.61	o 637786
7692.31/977.61	o 638008
7692.31/977.61	o 638014
7692.31/977.61	o 638236
7692.31/977.61	o 638802
7692.31/977.61	o 638970
7692.31/977.61	o 640125
7692.31/977.61	o 640347
7692.31/977.61	o 640752
7692.31/977.61	o 640974
7692.31/977.61	o 640980
7692.31/977.61	o 641202
7692.31/977.64	o 641268
8065.80/1024.85	o 641351
8378.78/1064.49	o 641399
8398.55/1066.98	o 641547
8398.55/1066.98	o 641769
8398.55/1066.99	o 641775
8398.55/1066.99	o 641997
8398.55/1066.99	o 642325
8398.55/1066.99	o 642547
8398.55/1067.00	o 643005
8398.55/1067.00	o 643358
8398.55/1067.00	o 644513
8398.55/1067.00	o 644735
8398.55/1067.00	o 644741
8398.55/1067.00	o 644963
8404.90/1067.71	o 645381
8404.90/1067.72	o 645603
8404.90/1067.72	o 646159
8404.90/1067.72	o 646381
8404.90/1067.72	o 647024
8404.90/1067.72	o 647192
8404.90/1067.72	o 648347
8404.90/1067.72	o 648569
8404.90/1067.75	o 648575
8404.90/1067.76	o 648797
8590.95/1091.23	o 648863
10859.96/1377.94	o 649040
10859.96/1377.94	o 649262
10859.96/1377.94	o 649268
10859.96/1377.94	o 649490
13442.02/1703.98	o 649588
13442.02/1703.98	o 649726
13442.02/1703.98	o 649948
13442.02/1703.98	o 650591
13442.02/1703.98	o 650759
13442.02/1703.98	o 651914
13442.02/1703.98	o 652136
13442.02/1703.98	o 652692
13442.02/1703.99	o 652914
13442.02/1703.99	o 653557
13442.02/1703.99	o 653725
13442.02/1703.99	o 654880
13442.02/1703.99	o 655102
13442.82/1704.05	o 655497
13442.82/1704.05	o 655784
13442.82/1704.05	o 656006
13442.82/1704.05	o 656652
13442.82/1704.05	o 656874
13461.03/1706.32	o 657279
13461.03/1706.32	o 657501
13627.05/1727.35	o 657507
13627.05/1727.36	o 657729
19896.42/2520.08	s SATISFIABLE
19896.42/2520.08	v <instantiation>
19896.42/2520.08	v 	<list>
19896.42/2520.08	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
19896.42/2520.08	v 	</list>
19896.42/2520.08	v 	<values>
19896.42/2520.08	v 		0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19896.42/2520.08	v 	</values>
19896.42/2520.08	v </instantiation>

Verifier Data 

OK	657729

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291705-1532634055/watcher-4291705-1532634055 -o /tmp/evaluation-result-4291705-1532634055/solver-4291705-1532634055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1154369971 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291705-1532634055.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7921, runsolver pid=7918
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 8.67 8.80 8.79 3/199 7941
/proc/meminfo: memFree=12267568/32770624 swapFree=67108860/67108860
[pid=7921] ppid=7918 vsize=26103424 memory=30864 CPUtime=0.11 cores=0-7
/proc/7921/stat : 7921 (java) S 7918 7921 7877 0 -1 1077944320 7186 0 0 0 10 1 0 0 20 0 20 0 80968696 26729906176 7716 33554432000 4194304 4196468 140737286277760 140737286260304 139754758430455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
/proc/7921/statm: 6525856 7716 3130 1 0 6487932 0
[pid=7921/tid=7923] ppid=7918 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) R 7918 7921 7877 0 -1 4202560 5398 0 0 0 8 0 0 0 20 0 20 0 80968697 26729906176 7848 33554432000 4194304 4196468 140737286277760 139754762633584 139754738706269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7924] ppid=7918 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754681011216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7925] ppid=7918 vsize=26103424 memory=139640958539392 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754315209872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7926] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754314156816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7927] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754313104272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7928] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754312051216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7929] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754310998672 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7930] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754309945616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7931] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 7914 33554432000 4194304 4196468 140737286277760 139754308893072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7932] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968699 26729906176 7914 33554432000 4194304 4196468 140737286277760 139753886309104 139754758441602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7933] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7918 7921 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 7914 33554432000 4194304 4196468 140737286277760 139753885255328 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7934] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7918 7921 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 7914 33554432000 4194304 4196468 140737286277760 139753884202224 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7935] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753883150800 139754758449051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7936] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7918 7921 7877 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753882097904 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7937] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753881045360 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7938] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753879992304 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7939] ppid=7918 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7918 7921 7877 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 80968702 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753878939760 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7940] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753877887968 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7941] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 7980 33554432000 4194304 4196468 140737286277760 139753876835504 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30864 KiB

[startup+0.210232 s]*
/proc/loadavg: 8.67 8.80 8.79 3/199 7941
/proc/meminfo: memFree=12252312/32770624 swapFree=67108860/67108860
[pid=7921] ppid=7918 vsize=26103424 memory=44936 CPUtime=0.3 cores=0-7
/proc/7921/stat : 7921 (java) S 7918 7921 7877 0 -1 1077944320 10375 0 0 0 28 2 0 0 20 0 20 0 80968696 26729906176 11234 33554432000 4194304 4196468 140737286277760 140737286260304 139754758430455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
/proc/7921/statm: 6525856 11234 3333 1 0 6487932 0
[pid=7921/tid=7923] ppid=7918 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) R 7918 7921 7877 0 -1 4202560 8175 0 0 0 18 1 0 0 20 0 20 0 80968697 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754762658400 139754758452381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7924] ppid=7918 vsize=26103424 memory=12881 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754681011216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7925] ppid=7918 vsize=26103424 memory=139640958547427 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754315209872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7926] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754314156816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7927] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754313104272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7928] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754312051216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7929] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754310998672 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7930] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754309945616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7931] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 11234 33554432000 4194304 4196468 140737286277760 139754308893072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7932] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968699 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753886309104 139754758441602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7933] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7918 7921 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753885255328 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7934] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7918 7921 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753884202224 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7935] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753883150800 139754758449051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7936] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7918 7921 7877 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753882097904 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7937] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7918 7921 7877 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753881045360 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7938] ppid=7918 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7918 7921 7877 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 80968702 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753879992304 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7939] ppid=7918 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) R 7918 7921 7877 0 -1 4202560 293 0 0 0 6 0 0 0 20 0 20 0 80968702 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753878935520 139754737822723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7940] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753877887968 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7941] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 11234 33554432000 4194304 4196468 140737286277760 139753876835504 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 44936 KiB

[startup+0.310495 s]*
/proc/loadavg: 8.67 8.80 8.79 3/199 7941
/proc/meminfo: memFree=12248900/32770624 swapFree=67108860/67108860
[pid=7921] ppid=7918 vsize=26103424 memory=48492 CPUtime=0.42 cores=0-7
/proc/7921/stat : 7921 (java) S 7918 7921 7877 0 -1 1077944320 10797 0 0 0 40 2 0 0 20 0 20 0 80968696 26729906176 12123 33554432000 4194304 4196468 140737286277760 140737286260304 139754758430455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
/proc/7921/statm: 6525856 12123 3378 1 0 6487932 0
[pid=7921/tid=7923] ppid=7918 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) R 7918 7921 7877 0 -1 4202560 8508 0 0 0 28 1 0 0 20 0 20 0 80968697 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754762592192 139754742510942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7924] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754681011216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7925] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754315209872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7926] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754314156816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7927] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754313104272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7928] ppid=7918 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754312051216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7929] ppid=7918 vsize=26103424 memory=139640795394991 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754310998672 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7930] ppid=7918 vsize=26103424 memory=139640795397296 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754309945616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7931] ppid=7918 vsize=26103424 memory=139640795399600 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26729906176 12123 33554432000 4194304 4196468 140737286277760 139754308893072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7932] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968699 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753886309104 139754758441602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7933] ppid=7918 vsize=26103424 memory=279281590806160 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7918 7921 7877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753885255328 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7934] ppid=7918 vsize=26103424 memory=279281590813072 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7918 7921 7877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80968700 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753884202224 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7935] ppid=7918 vsize=26103424 memory=279281590754352 CPUtime=0 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753883150800 139754758449051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7936] ppid=7918 vsize=26103424 memory=279281590826896 CPUtime=0.01 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7918 7921 7877 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 80968702 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753882097904 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7937] ppid=7918 vsize=26103424 memory=279281590833808 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7918 7921 7877 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 80968702 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753881045360 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7938] ppid=7918 vsize=26103424 memory=279281590831504 CPUtime=0.01 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7918 7921 7877 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 80968702 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753879992304 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7939] ppid=7918 vsize=26103424 memory=279281590848112 CPUtime=0.07 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7918 7921 7877 0 -1 1077944384 299 0 0 0 7 0 0 0 20 0 20 0 80968702 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753878939760 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7940] ppid=7918 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753877887968 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7941] ppid=7918 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968703 26729906176 12123 33554432000 4194304 4196468 140737286277760 139753876835504 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 48492 KiB

[startup+0.700944 s]
/proc/loadavg: 8.67 8.80 8.79 2/199 7941
/proc/meminfo: memFree=12225088/32770624 swapFree=67108860/67108860
[pid=7921] ppid=7918 vsize=26105492 memory=88984 CPUtime=0.98 cores=0-7
/proc/7921/stat : 7921 (java) S 7918 7921 7877 0 -1 1077944320 17720 0 0 0 94 4 0 0 20 0 20 0 80968696 26732023808 22246 33554432000 4194304 4196468 140737286277760 140737286260304 139754758430455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
/proc/7921/statm: 6526373 22246 3482 1 0 6488444 0
[pid=7921/tid=7923] ppid=7918 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) R 7918 7921 7877 0 -1 4202560 14961 0 0 0 64 3 0 0 20 0 20 0 80968697 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754762648544 139754742510942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7924] ppid=7918 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754681011216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7925] ppid=7918 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754315209872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7926] ppid=7918 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754314156816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7927] ppid=7918 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754313104272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7928] ppid=7918 vsize=26105492 memory=10604 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754312051216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7929] ppid=7918 vsize=26105492 memory=4616 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754310998672 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7930] ppid=7918 vsize=26105492 memory=1428 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754309945616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7931] ppid=7918 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7918 7921 7877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80968698 26732023808 22246 33554432000 4194304 4196468 140737286277760 139754308893072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7932] ppid=7918 vsize=26105492 memory=16436 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7918 7921 7877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80968699 26732023808 22246 33554432000 4194304 4196468 140737286277760 139753886309104 139754758441602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0

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

[pid=7921/tid=7941] ppid=7918 vsize=28050220 memory=2646172 CPUtime=0.74 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) S 7918 7921 7877 0 -1 1077944384 10300 0 0 0 30 44 0 0 20 0 48 0 80968703 28723425280 661645 33554432000 4194304 4196468 140737286277760 139753876835504 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7942] ppid=7918 vsize=28050220 memory=0 CPUtime=0.02 cores=0-7
/proc/7921/task/7942/stat : 7942 (java) S 7918 7921 7877 0 -1 1077944384 2696 0 0 0 2 0 0 0 20 0 48 0 80969306 28723425280 661645 33554432000 4194304 4196468 140737286277760 139753010226128 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7943] ppid=7918 vsize=28050220 memory=1987044 CPUtime=1.87 cores=0-7
/proc/7921/task/7943/stat : 7943 (java) R 7918 7921 7877 0 -1 1077944384 21982 0 0 0 61 126 0 0 20 0 48 0 80969327 28723425280 661645 33554432000 4194304 4196468 140737286277760 139753007076768 139754758441602 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7944] ppid=7918 vsize=28050220 memory=643 CPUtime=2475.19 cores=0-7
/proc/7921/task/7944/stat : 7944 (java) R 7918 7921 7877 0 -1 4202560 66879 0 0 0 247464 55 0 0 20 0 48 0 80969343 28723425280 661645 33554432000 4194304 4196468 140737286277760 139753003920760 139754367463923 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7945] ppid=7918 vsize=28050220 memory=985 CPUtime=2474.85 cores=0-7
/proc/7921/task/7945/stat : 7945 (java) R 7918 7921 7877 0 -1 4202560 73755 0 0 0 247437 48 0 0 20 0 48 0 80969344 28723425280 661645 33554432000 4194304 4196468 140737286277760 139753002869600 139754361459463 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7946] ppid=7918 vsize=28050220 memory=988 CPUtime=0.09 cores=0-7
/proc/7921/task/7946/stat : 7946 (java) S 7918 7921 7877 0 -1 1077944384 290 0 0 0 9 0 0 0 20 0 48 0 80969344 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752559694736 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7947] ppid=7918 vsize=28050220 memory=988 CPUtime=0.08 cores=0-7
/proc/7921/task/7947/stat : 7947 (java) S 7918 7921 7877 0 -1 1077944384 498 0 0 0 8 0 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752556545040 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7948] ppid=7918 vsize=28050220 memory=990 CPUtime=2473.9 cores=0-7
/proc/7921/task/7948/stat : 7948 (java) R 7918 7921 7877 0 -1 4202560 70160 0 0 0 247343 47 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752555484968 139754739836772 0 4 0 16800975 0 0 0 -1 3 0 0 39 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7949] ppid=7918 vsize=28050220 memory=988 CPUtime=2476.04 cores=0-7
/proc/7921/task/7949/stat : 7949 (java) R 7918 7921 7877 0 -1 4202560 68526 0 0 0 247554 50 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752554434304 139754367365599 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7950] ppid=7918 vsize=28050220 memory=986 CPUtime=2472.82 cores=0-7
/proc/7921/task/7950/stat : 7950 (java) R 7918 7921 7877 0 -1 4202560 68380 0 0 0 247236 46 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752553380072 139754367369485 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7951] ppid=7918 vsize=28050220 memory=989 CPUtime=0.08 cores=0-7
/proc/7921/task/7951/stat : 7951 (java) S 7918 7921 7877 0 -1 1077944384 481 0 0 0 8 0 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752552334864 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7952] ppid=7918 vsize=28050220 memory=4872558044660077418 CPUtime=2472.69 cores=0-7
/proc/7921/task/7952/stat : 7952 (java) R 7918 7921 7877 0 -1 4202560 77135 0 0 0 247224 45 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752551276088 139754367271091 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7953] ppid=7918 vsize=28050220 memory=1200 CPUtime=2473.51 cores=0-7
/proc/7921/task/7953/stat : 7953 (java) R 7918 7921 7877 0 -1 4202560 68533 0 0 0 247304 47 0 0 20 0 48 0 80969352 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752550223352 139754367272749 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7954] ppid=7918 vsize=28050220 memory=10604 CPUtime=0 cores=0-7
/proc/7921/task/7954/stat : 7954 (java) S 7918 7921 7877 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 48 0 80969364 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752549176208 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7955] ppid=7918 vsize=28050220 memory=4616 CPUtime=2475.02 cores=0-7
/proc/7921/task/7955/stat : 7955 (java) R 7918 7921 7877 0 -1 4202560 70563 0 0 0 247454 48 0 0 20 0 48 0 80969364 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752548119744 139754366813779 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7956] ppid=7918 vsize=28050220 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7921/task/7956/stat : 7956 (java) S 7918 7921 7877 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 48 0 80969419 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752544937616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7957] ppid=7918 vsize=28050220 memory=15876 CPUtime=0.01 cores=0-7
/proc/7921/task/7957/stat : 7957 (java) S 7918 7921 7877 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 48 0 80969421 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752543885072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7958] ppid=7918 vsize=28050220 memory=16436 CPUtime=0.01 cores=0-7
/proc/7921/task/7958/stat : 7958 (java) S 7918 7921 7877 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 48 0 80969421 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752542832016 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7959] ppid=7918 vsize=28050220 memory=2646172 CPUtime=0.01 cores=0-7
/proc/7921/task/7959/stat : 7959 (java) S 7918 7921 7877 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 48 0 80969422 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752541779472 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7960] ppid=7918 vsize=28050220 memory=2646172 CPUtime=0.01 cores=0-7
/proc/7921/task/7960/stat : 7960 (java) S 7918 7921 7877 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 48 0 80969423 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752540726416 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7961] ppid=7918 vsize=28050220 memory=1700 CPUtime=0.02 cores=0-7
/proc/7921/task/7961/stat : 7961 (java) R 7918 7921 7877 0 -1 4202560 959 0 0 0 2 0 0 0 20 0 48 0 80969424 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752539651208 139754740837507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7962] ppid=7918 vsize=28050220 memory=2646172 CPUtime=0.01 cores=0-7
/proc/7921/task/7962/stat : 7962 (java) S 7918 7921 7877 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 48 0 80969425 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752538620816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7963] ppid=7918 vsize=28050220 memory=5408 CPUtime=0 cores=0-7
/proc/7921/task/7963/stat : 7963 (java) S 7918 7921 7877 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 48 0 80969425 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752537568272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7964] ppid=7918 vsize=28050220 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/7921/task/7964/stat : 7964 (java) S 7918 7921 7877 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 48 0 80969426 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752536516240 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7965] ppid=7918 vsize=28050220 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/7921/task/7965/stat : 7965 (java) S 7918 7921 7877 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 48 0 80969428 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752535463696 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7966] ppid=7918 vsize=28050220 memory=14134428972616243 CPUtime=0 cores=0-7
/proc/7921/task/7966/stat : 7966 (java) S 7918 7921 7877 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 48 0 80969430 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752534410640 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7967] ppid=7918 vsize=28050220 memory=2646172 CPUtime=0 cores=0-7
/proc/7921/task/7967/stat : 7967 (java) S 7918 7921 7877 0 -1 1077944384 532 0 0 0 0 0 0 0 20 0 48 0 80969432 28723425280 661645 33554432000 4194304 4196468 140737286277760 139752533358096 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=8022] ppid=7918 vsize=28050220 memory=1728 CPUtime=0 cores=0-7
/proc/7921/task/8022/stat : 8022 (java) S 7918 7921 7877 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 48 0 81220700 28723425280 661645 33554432000 4194304 4196468 140737286277760 139750451175664 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=8024] ppid=7918 vsize=28050220 memory=1700 CPUtime=0 cores=0-7
/proc/7921/task/8024/stat : 8024 (java) S 7918 7921 7877 0 -1 1077944384 498 0 0 0 0 0 0 0 20 0 48 0 81220704 28723425280 661645 33554432000 4194304 4196468 140737286277760 139750449069824 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
Current children cumulated CPU time: 19897.5 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 2646580 KiB

[startup+2520.3 s]
/proc/loadavg: 9.18 8.80 8.76 10/228 8024
/proc/meminfo: memFree=9646340/32770624 swapFree=67108860/67108860
[pid=7921] ppid=7918 vsize=28050220 memory=2647056 CPUtime=19898.7 cores=0-7
/proc/7921/stat : 7921 (java) S 7918 7921 7877 0 -1 1077944320 1796943 0 0 0 1988866 1001 0 0 20 0 45 0 80968696 28723425280 661764 33554432000 4194304 4196468 140737286277760 140737286260304 139754758430455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
/proc/7921/statm: 7012555 661764 3624 1 0 6974105 0
[pid=7921/tid=7923] ppid=7918 vsize=28050220 memory=4420 CPUtime=6.43 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7918 7921 7877 0 -1 1077944384 21947 0 0 0 637 6 0 0 20 0 45 0 80968697 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754762669136 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7924] ppid=7918 vsize=28050220 memory=8112282956445269571 CPUtime=9.86 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7918 7921 7877 0 -1 1077944384 119953 0 0 0 920 66 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754681011216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7925] ppid=7918 vsize=28050220 memory=1228 CPUtime=9.9 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7918 7921 7877 0 -1 1077944384 126608 0 0 0 921 69 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754315209872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7926] ppid=7918 vsize=28050220 memory=1952 CPUtime=9.89 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7918 7921 7877 0 -1 1077944384 108288 0 0 0 922 67 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754314156816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7927] ppid=7918 vsize=28050220 memory=1200 CPUtime=9.92 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7918 7921 7877 0 -1 1077944384 111336 0 0 0 927 65 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754313104272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7928] ppid=7918 vsize=28050220 memory=636 CPUtime=9.9 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7918 7921 7877 0 -1 1077944384 117720 0 0 0 925 65 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754312051216 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7929] ppid=7918 vsize=28050220 memory=960 CPUtime=9.88 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7918 7921 7877 0 -1 1077944384 116621 0 0 0 924 64 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754310998672 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7930] ppid=7918 vsize=28050220 memory=1232 CPUtime=9.91 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7918 7921 7877 0 -1 1077944384 115731 0 0 0 927 64 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754309945616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7931] ppid=7918 vsize=28050220 memory=2344 CPUtime=9.91 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7918 7921 7877 0 -1 1077944384 107281 0 0 0 925 66 0 0 20 0 45 0 80968698 28723425280 661764 33554432000 4194304 4196468 140737286277760 139754308893072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7932] ppid=7918 vsize=28050220 memory=932 CPUtime=8.67 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7918 7921 7877 0 -1 1077944384 192657 0 0 0 762 105 0 0 20 0 45 0 80968699 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753886308608 139754758441602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7933] ppid=7918 vsize=28050220 memory=1580 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7918 7921 7877 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 45 0 80968700 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753885255392 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7934] ppid=7918 vsize=28050220 memory=2240 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7918 7921 7877 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 45 0 80968700 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753884202240 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7935] ppid=7918 vsize=28050220 memory=4124 CPUtime=0 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7918 7921 7877 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 45 0 80968702 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753883150448 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7936] ppid=7918 vsize=28050220 memory=2200 CPUtime=1.63 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7918 7921 7877 0 -1 1077944384 12049 0 0 0 161 2 0 0 20 0 45 0 80968702 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753882077648 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7937] ppid=7918 vsize=28050220 memory=7528 CPUtime=1.52 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7918 7921 7877 0 -1 1077944384 7145 0 0 0 151 1 0 0 20 0 45 0 80968702 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753881045360 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7938] ppid=7918 vsize=28050220 memory=844 CPUtime=1.57 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7918 7921 7877 0 -1 1077944384 9733 0 0 0 155 2 0 0 20 0 45 0 80968702 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753879992304 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7939] ppid=7918 vsize=28050220 memory=1696 CPUtime=1.3 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7918 7921 7877 0 -1 1077944384 20327 0 0 0 127 3 0 0 20 0 45 0 80968702 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753878939760 139754758441602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7940] ppid=7918 vsize=28050220 memory=920 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7918 7921 7877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 80968703 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753877887968 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7942] ppid=7918 vsize=28050220 memory=288230574492221466 CPUtime=0.02 cores=0-7
/proc/7921/task/7942/stat : 7942 (java) S 7918 7921 7877 0 -1 1077944384 2696 0 0 0 2 0 0 0 20 0 45 0 80969306 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753010226128 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7944] ppid=7918 vsize=28050220 memory=14134428972616243 CPUtime=2475.33 cores=0-7
/proc/7921/task/7944/stat : 7944 (java) S 7918 7921 7877 0 -1 1077944384 66883 0 0 0 247478 55 0 0 20 0 45 0 80969343 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753003920624 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7945] ppid=7918 vsize=28050220 memory=7234303152781525070 CPUtime=2474.98 cores=0-7
/proc/7921/task/7945/stat : 7945 (java) S 7918 7921 7877 0 -1 1077944384 73755 0 0 0 247450 48 0 0 20 0 45 0 80969344 28723425280 661764 33554432000 4194304 4196468 140737286277760 139753002866768 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7946] ppid=7918 vsize=28050220 memory=288293263952337985 CPUtime=0.09 cores=0-7
/proc/7921/task/7946/stat : 7946 (java) S 7918 7921 7877 0 -1 1077944384 330 0 0 0 9 0 0 0 20 0 45 0 80969344 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752559694736 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7947] ppid=7918 vsize=28050220 memory=288293263952337985 CPUtime=0.08 cores=0-7
/proc/7921/task/7947/stat : 7947 (java) S 7918 7921 7877 0 -1 1077944384 551 0 0 0 8 0 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752556545040 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7948] ppid=7918 vsize=28050220 memory=279281592356864 CPUtime=2474.03 cores=0-7
/proc/7921/task/7948/stat : 7948 (java) S 7918 7921 7877 0 -1 1077944384 70163 0 0 0 247356 47 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752555486960 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7949] ppid=7918 vsize=28050220 memory=8243122710528917583 CPUtime=2476.16 cores=0-7
/proc/7921/task/7949/stat : 7949 (java) S 7918 7921 7877 0 -1 1077944384 68527 0 0 0 247566 50 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752554434416 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7950] ppid=7918 vsize=28050220 memory=6369049087180301927 CPUtime=2472.92 cores=0-7
/proc/7921/task/7950/stat : 7950 (java) S 7918 7921 7877 0 -1 1077944384 68383 0 0 0 247246 46 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752553381360 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7951] ppid=7918 vsize=28050220 memory=279281591920800 CPUtime=0.08 cores=0-7
/proc/7921/task/7951/stat : 7951 (java) S 7918 7921 7877 0 -1 1077944384 525 0 0 0 8 0 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752552334864 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7952] ppid=7918 vsize=28050220 memory=8099531882097108048 CPUtime=2472.82 cores=0-7
/proc/7921/task/7952/stat : 7952 (java) S 7918 7921 7877 0 -1 1077944384 77137 0 0 0 247237 45 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752551275760 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7953] ppid=7918 vsize=28050220 memory=4642197910265684584 CPUtime=2473.65 cores=0-7
/proc/7921/task/7953/stat : 7953 (java) S 7918 7921 7877 0 -1 1077944384 68537 0 0 0 247318 47 0 0 20 0 45 0 80969352 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752550221792 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7954] ppid=7918 vsize=28050220 memory=5792262878997270608 CPUtime=0.01 cores=0-7
/proc/7921/task/7954/stat : 7954 (java) S 7918 7921 7877 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 45 0 80969364 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752549176208 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7955] ppid=7918 vsize=28050220 memory=7019467087990176055 CPUtime=2475.12 cores=0-7
/proc/7921/task/7955/stat : 7955 (java) S 7918 7921 7877 0 -1 1077944384 70565 0 0 0 247464 48 0 0 20 0 45 0 80969364 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752548117808 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7956] ppid=7918 vsize=28050220 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7921/task/7956/stat : 7956 (java) S 7918 7921 7877 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 45 0 80969419 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752544937616 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7957] ppid=7918 vsize=28050220 memory=23936 CPUtime=0.01 cores=0-7
/proc/7921/task/7957/stat : 7957 (java) S 7918 7921 7877 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 45 0 80969421 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752543885072 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7958] ppid=7918 vsize=28050220 memory=1292 CPUtime=0.01 cores=0-7
/proc/7921/task/7958/stat : 7958 (java) S 7918 7921 7877 0 -1 1077944384 544 0 0 0 1 0 0 0 20 0 45 0 80969421 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752542832016 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7959] ppid=7918 vsize=28050220 memory=2416 CPUtime=0.01 cores=0-7
/proc/7921/task/7959/stat : 7959 (java) S 7918 7921 7877 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 45 0 80969422 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752541779472 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7960] ppid=7918 vsize=28050220 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/7921/task/7960/stat : 7960 (java) S 7918 7921 7877 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 45 0 80969423 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752540726416 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7961] ppid=7918 vsize=28050220 memory=1700 CPUtime=0.02 cores=0-7
/proc/7921/task/7961/stat : 7961 (java) S 7918 7921 7877 0 -1 1077944384 1081 0 0 0 2 0 0 0 20 0 45 0 80969424 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752539673872 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7962] ppid=7918 vsize=28050220 memory=4128 CPUtime=0.01 cores=0-7
/proc/7921/task/7962/stat : 7962 (java) S 7918 7921 7877 0 -1 1077944384 537 0 0 0 1 0 0 0 20 0 45 0 80969425 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752538620816 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7963] ppid=7918 vsize=28050220 memory=23936 CPUtime=0 cores=0-7
/proc/7921/task/7963/stat : 7963 (java) S 7918 7921 7877 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 45 0 80969425 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752537568272 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7964] ppid=7918 vsize=28050220 memory=1292 CPUtime=0.01 cores=0-7
/proc/7921/task/7964/stat : 7964 (java) S 7918 7921 7877 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 45 0 80969426 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752536516240 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7965] ppid=7918 vsize=28050220 memory=2416 CPUtime=0 cores=0-7
/proc/7921/task/7965/stat : 7965 (java) S 7918 7921 7877 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 45 0 80969428 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752535463696 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7966] ppid=7918 vsize=28050220 memory=1728 CPUtime=0 cores=0-7
/proc/7921/task/7966/stat : 7966 (java) S 7918 7921 7877 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 45 0 80969430 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752534410640 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=7967] ppid=7918 vsize=28050220 memory=1700 CPUtime=0.01 cores=0-7
/proc/7921/task/7967/stat : 7967 (java) S 7918 7921 7877 0 -1 1077944384 610 0 0 0 1 0 0 0 20 0 45 0 80969432 28723425280 661764 33554432000 4194304 4196468 140737286277760 139752533358096 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
[pid=7921/tid=8022] ppid=7918 vsize=28050220 memory=796 CPUtime=0 cores=0-7
/proc/7921/task/8022/stat : 8022 (java) S 7918 7921 7877 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 45 0 81220700 28723425280 661764 33554432000 4194304 4196468 140737286277760 139750451175664 139754758440661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16388096 140737286284365 140737286284549 140737286284549 140737286287311 0
Current children cumulated CPU time: 19898.7 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 2647056 KiB

Child status: 143
Real time (s): 2520.33
CPU time (s): 19898.7
CPU user time (s): 19888.7
CPU system time (s): 10.0302
CPU usage (%): 789.529
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 2651300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19888.7
system time used= 10.0302
maximum resident set size= 2651300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1796966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 830321
involuntary context switches= 430701


# summary of solver processes directly reported to runsolver:
#   pid: 7921
#   total CPU time (s): 19898.7
#   total CPU user time (s): 19888.7
#   total CPU system time (s): 10.0302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.2328 second user time and 35.196 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-26 21:40:55
IDJOB=4291705
IDBENCH=141147
IDSOLVER=2745
FILE ID=node139/4291705-1532634055
RUNJOBID= node139-1532634055-7904
PBS_JOBID= 21022188
Free space on /tmp= 38720 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291705-1532634055/watcher-4291705-1532634055 -o /tmp/evaluation-result-4291705-1532634055/solver-4291705-1532634055 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532634055-7904 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1154369971 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291705-1532634055.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1154369971

node139.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.80
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.80
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.80
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.80
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:        12285288 kB
MemAvailable:   31931352 kB
Buffers:          243432 kB
Cached:         19358128 kB
SwapCached:            0 kB
Active:          3076688 kB
Inactive:       16575952 kB
Active(anon):       5536 kB
Inactive(anon):    73544 kB
Active(file):    3071152 kB
Inactive(file): 16502408 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35748 kB
Writeback:             0 kB
AnonPages:         58552 kB
Mapped:            41048 kB
Shmem:             25228 kB
Slab:             527732 kB
SReclaimable:     500964 kB
SUnreclaim:        26768 kB
KernelStack:        3200 kB
PageTables:         4544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38684 MiB
End job on node139 at 2018-07-26 22:22:56