Trace number 4291760

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)649490 19909.3 2520.31

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay200_c18.xml
MD5SUMb9a88cf563e94a20e010143964b9c3ad
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1189592
Best CPU time to get the best result obtained on this benchmark4586.79
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":"count","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.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 336809190
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.98/1.10	c Parsing done, starting search...
18.33/9.01	o 25947
19.10/9.02	o 28802
19.90/9.13	o 40982
19.90/9.13	o 43837
19.90/9.14	o 47730
19.90/9.15	o 50585
19.90/9.15	o 52916
19.90/9.15	o 56638
19.90/9.15	o 58969
19.90/9.15	o 59493
19.90/9.15	o 61824
19.90/9.16	o 65252
19.90/9.16	o 68107
19.90/9.16	o 70438
19.90/9.17	o 70750
19.90/9.17	o 73081
19.90/9.17	o 73605
19.90/9.17	o 75936
19.90/9.17	o 78009
19.90/9.17	o 80340
19.90/9.18	o 80706
19.90/9.18	o 82255
19.90/9.18	o 85110
19.90/9.18	o 87441
19.90/9.19	o 89244
19.90/9.19	o 91575
19.90/9.19	o 93454
19.90/9.20	o 97858
19.90/9.20	o 100189
20.56/9.21	o 100713
20.56/9.21	o 103044
20.56/9.24	o 106679
20.56/9.24	o 109534
20.56/9.24	o 110777
20.56/9.24	o 115181
20.56/9.26	o 118036
20.56/9.26	o 120733
20.56/9.26	o 122282
20.56/9.26	o 125137
20.56/9.26	o 127468
20.56/9.27	o 128270
20.56/9.27	o 132674
20.56/9.27	o 137178
20.56/9.27	o 141582
20.56/9.27	o 143913
20.56/9.27	o 144437
20.56/9.27	o 146768
20.56/9.28	o 146993
20.56/9.28	o 148087
20.56/9.28	o 152491
20.56/9.28	o 156995
20.56/9.28	o 161399
20.56/9.28	o 164254
20.56/9.29	o 166585
20.56/9.29	o 169331
20.56/9.29	o 172186
20.56/9.29	o 172298
20.56/9.29	o 175153
20.56/9.29	o 175864
20.56/9.29	o 178719
21.33/9.31	o 179760
21.33/9.31	o 182727
21.33/9.31	o 185582
21.33/9.31	o 188241
21.33/9.32	o 191612
21.33/9.32	o 193943
21.33/9.32	o 195719
21.33/9.32	o 198835
21.33/9.33	o 201166
21.33/9.33	o 203098
21.33/9.33	o 204333
21.33/9.34	o 206664
21.33/9.34	o 208212
21.33/9.34	o 211379
21.33/9.35	o 213710
21.33/9.35	o 216816
21.33/9.35	o 217071
21.33/9.36	o 218952
21.33/9.36	o 220187
21.33/9.36	o 222518
21.33/9.36	o 224158
21.33/9.37	o 225213
21.33/9.37	o 227544
21.33/9.37	o 229717
21.33/9.37	o 230555
21.33/9.37	o 231266
21.33/9.37	o 234121
21.33/9.37	o 236452
21.33/9.37	o 239747
21.33/9.39	o 242078
21.33/9.40	o 242569
21.33/9.40	o 245424
21.33/9.40	o 247484
21.33/9.40	o 251050
22.13/9.41	o 253381
22.13/9.41	o 253637
22.13/9.43	o 255316
22.13/9.43	o 255644
22.13/9.43	o 257975
22.13/9.44	o 258231
22.13/9.46	o 260069
22.13/9.46	o 260325
22.13/9.47	o 260526
22.13/9.47	o 262857
22.13/9.48	o 263185
22.13/9.48	o 265516
22.13/9.48	o 265772
22.93/9.54	o 266381
22.93/9.54	o 266905
22.93/9.54	o 269236
22.93/9.54	o 269872
22.93/9.54	o 272203
22.93/9.55	o 273644
22.93/9.55	o 275975
22.93/9.55	o 276611
22.93/9.55	o 278942
22.93/9.56	o 280765
22.93/9.56	o 281601
22.93/9.56	o 283424
22.93/9.58	o 284724
22.93/9.58	o 287055
22.93/9.59	o 287691
22.93/9.59	o 290022
22.93/9.59	o 290350
22.93/9.59	o 292681
22.93/9.59	o 294504
22.93/9.60	o 294813
23.72/9.60	o 297144
23.72/9.60	o 297780
23.72/9.60	o 300111
23.72/9.60	o 300439
23.72/9.60	o 302770
23.72/9.60	o 304593
23.72/9.61	o 304626
23.72/9.61	o 306957
23.72/9.61	o 308248
23.72/9.61	o 308504
23.72/9.61	o 308780
23.72/9.61	o 311048
23.72/9.62	o 311376
23.72/9.62	o 313707
23.72/9.62	o 313963
23.72/9.62	o 314239
23.72/9.64	o 314361
23.72/9.65	o 314617
23.72/9.65	o 314893
23.72/9.66	o 317188
23.72/9.67	o 317516
23.72/9.67	o 319847
23.72/9.67	o 320103
23.72/9.68	o 320379
23.72/9.70	o 320501
23.72/9.70	o 321033
24.56/9.71	o 321170
24.56/9.71	o 321426
24.56/9.71	o 322080
24.56/9.71	o 322356
24.56/9.72	o 323891
24.56/9.73	o 325214
24.56/9.73	o 325685
24.56/9.76	o 328441
24.56/9.76	o 329764
24.56/9.76	o 331408
24.56/9.76	o 332731
24.56/9.76	o 333231
24.56/9.76	o 334554
24.56/9.79	o 335390
24.56/9.79	o 335890
24.56/9.79	o 337213
24.56/9.79	o 337867
25.26/9.85	o 339869
25.26/9.86	o 341192
25.26/9.86	o 343997
25.26/9.86	o 345320
25.26/9.86	o 345820
25.26/9.86	o 347143
25.26/9.86	o 348235
25.26/9.86	o 348735
25.26/9.86	o 350058
26.06/9.91	o 350527
26.06/9.91	o 350721
26.06/9.93	o 352044
26.06/9.93	o 352361
26.06/9.93	o 353684
26.06/9.93	o 353885
26.06/9.94	o 355208
26.06/9.96	o 355727
26.06/9.96	o 356227
26.06/9.97	o 357550
26.06/10.00	o 358213
26.06/10.01	o 359536
26.06/10.01	o 359853
26.06/10.01	o 361176
26.92/10.03	o 362602
26.92/10.04	o 363925
26.92/10.04	o 364016
26.92/10.04	o 365002
26.92/10.04	o 365093
26.92/10.04	o 365532
26.92/10.04	o 365623
26.92/10.05	o 366283
26.92/10.05	o 366813
26.92/10.05	o 366904
26.92/10.06	o 367284
26.92/10.06	o 367375
26.92/10.09	o 369350
26.92/10.11	o 369441
26.92/10.11	o 370673
26.92/10.11	o 370764
26.92/10.11	o 371849
26.92/10.11	o 372877
26.92/10.11	o 375120
26.92/10.11	o 376443
26.92/10.11	o 376534
27.72/10.13	o 376972
27.72/10.14	o 377063
27.72/10.14	o 378295
27.72/10.14	o 378386
27.72/10.14	o 379775
27.72/10.14	o 381098
27.72/10.14	o 381189
27.72/10.14	o 382742
27.72/10.15	o 382833
27.72/10.15	o 384065
27.72/10.15	o 384156
29.23/10.32	o 384368
29.23/10.32	o 384459
29.23/10.32	o 387370
29.23/10.32	o 387461
29.23/10.32	o 389193
29.23/10.32	o 389284
29.23/10.33	o 390411
29.23/10.33	o 391734
29.23/10.33	o 391825
29.23/10.33	o 391990
29.23/10.33	o 392081
30.83/10.53	o 392895
30.83/10.53	o 392986
30.83/10.54	o 393099
30.83/10.54	o 394176
30.83/10.54	o 394267
30.83/10.55	o 397572
30.83/10.55	o 397663
30.83/10.55	o 397902
30.83/10.55	o 399225
30.83/10.55	o 399316
30.83/10.55	o 400869
30.83/10.55	o 400960
30.83/10.55	o 402192
30.83/10.55	o 402283
32.48/10.79	o 403074
32.48/10.80	o 403165
32.48/10.80	o 404053
32.48/10.80	o 404144
33.26/10.86	o 405243
33.26/10.87	o 406566
33.26/10.87	o 407643
33.26/10.87	o 407734
33.26/10.88	o 407847
33.26/10.90	o 407938
33.26/10.90	o 408924
33.26/10.90	o 409015
34.04/10.95	o 409029
34.04/10.95	o 409120
34.04/10.96	o 409137
34.04/10.96	o 409161
34.04/10.96	o 409252
34.04/10.96	o 409531
34.04/10.96	o 410686
34.04/10.96	o 410777
34.04/10.96	o 410801
34.04/10.96	o 410892
34.88/11.04	o 413195
37.89/11.50	o 413286
37.89/11.50	o 416162
37.89/11.51	o 416253
37.89/11.51	o 418006
37.89/11.51	o 418097
37.89/11.59	o 418355
37.89/11.60	o 418446
39.55/11.74	o 419315
39.55/11.75	o 419406
39.55/11.75	o 420403
39.55/11.75	o 421558
39.55/11.75	o 421726
39.55/11.75	o 422881
39.55/11.75	o 422972
41.07/11.95	o 423850
41.07/11.95	o 423941
41.07/11.96	o 424096
41.07/11.96	o 425173
41.07/11.96	o 425264
41.07/11.96	o 425741
41.07/11.96	o 425832
41.07/11.96	o 426454
41.07/11.96	o 426545
41.07/11.96	o 427022
41.07/11.96	o 427113
41.07/11.99	o 427431
41.07/11.99	o 427522
41.07/12.00	o 428296
41.07/12.00	o 428464
41.07/12.00	o 429619
41.07/12.00	o 429710
46.67/12.63	o 430554
46.67/12.64	o 430645
46.67/12.65	o 431194
46.67/12.67	o 431285
49.01/12.92	o 431613
49.01/12.93	o 431704
49.88/13.03	o 431717
49.88/13.03	o 432794
49.88/13.04	o 432885
49.88/13.04	o 433504
49.88/13.04	o 433595
49.88/13.04	o 434581
49.88/13.04	o 434672
49.88/13.04	o 434785
49.88/13.04	o 435862
49.88/13.04	o 435953
56.98/13.98	o 436080
56.98/13.99	o 436171
56.98/13.99	o 436555
56.98/13.99	o 437878
56.98/13.99	o 437969
56.98/13.99	o 438955
56.98/13.99	o 439046
57.84/14.07	o 439159
57.84/14.09	o 440236
57.84/14.09	o 440327
59.37/14.25	o 440702
59.37/14.27	o 440793
59.37/14.27	o 441779
59.37/14.27	o 441870
59.37/14.27	o 441983
59.37/14.27	o 443060
59.37/14.27	o 443151
63.33/14.74	o 443528
63.33/14.75	o 443619
63.33/14.75	o 443654
63.33/14.75	o 443732
63.33/14.75	o 444809
63.33/14.75	o 444900
63.33/14.76	o 446139
63.33/14.76	o 446230
63.33/14.76	o 447216
63.33/14.76	o 447307
63.33/14.77	o 447420
63.33/14.77	o 448497
63.33/14.77	o 448588
73.79/16.04	o 449054
73.79/16.04	o 449145
76.88/16.49	o 449193
76.88/16.49	o 450270
76.88/16.49	o 450361
78.49/16.66	o 450989
78.49/16.67	o 451080
78.49/16.69	o 451272
78.49/16.69	o 451363
78.49/16.69	o 451596
78.49/16.69	o 451842
78.49/16.69	o 452919
78.49/16.69	o 453610
78.49/16.69	o 453621
78.49/16.70	o 454085
78.49/16.70	o 455408
78.49/16.70	o 456485
78.49/16.70	o 456576
78.49/16.70	o 456689
78.49/16.70	o 456780
78.49/16.70	o 457766
78.49/16.70	o 457857
79.21/16.74	o 458262
79.21/16.75	o 458353
79.21/16.75	o 458466
79.21/16.75	o 459543
79.21/16.75	o 459634
80.01/16.85	o 459823
80.01/16.86	o 459914
80.01/16.86	o 460298
80.01/16.86	o 461621
80.01/16.86	o 461712
80.01/16.86	o 462698
80.01/16.86	o 462789
80.01/16.86	o 462902
80.01/16.86	o 463979
80.01/16.86	o 464070
80.01/16.87	o 464475
80.01/16.87	o 464566
80.01/16.87	o 464679
80.01/16.87	o 465756
80.01/16.87	o 465847
87.17/17.78	o 465909
87.17/17.78	o 466524
87.17/17.78	o 466615
87.17/17.78	o 466728
87.17/17.79	o 467805
87.17/17.79	o 467896
88.77/17.91	o 468191
88.77/17.91	o 468282
92.75/18.44	o 468301
92.75/18.44	o 468392
92.75/18.44	o 468505
92.75/18.44	o 469582
92.75/18.44	o 469673
92.75/18.47	o 469968
92.75/18.47	o 470059
105.54/20.05	o 470320
105.54/20.05	o 470411
105.54/20.06	o 470706
105.54/20.06	o 470797
109.45/20.51	o 470901
109.45/20.52	o 470912
109.45/20.52	o 471376
109.45/20.52	o 471622
109.45/20.52	o 472699
109.45/20.52	o 472790
109.45/20.53	o 473085
109.45/20.53	o 473176
109.45/20.57	o 473980
109.45/20.58	o 474071
109.45/20.58	o 474366
109.45/20.58	o 474457
110.25/20.68	o 474476
110.25/20.68	o 474567
110.25/20.68	o 474862
110.25/20.69	o 474953
111.10/20.71	o 475757
111.10/20.72	o 475848
111.10/20.73	o 476143
111.10/20.73	o 476234
126.20/22.64	o 476281
126.20/22.65	o 477358
126.20/22.65	o 477449
126.20/22.69	o 478058
126.20/22.69	o 478149
126.20/22.69	o 479135
126.20/22.69	o 479226
126.98/22.77	o 479521
126.98/22.77	o 479612
134.12/23.68	o 480416
134.12/23.68	o 480507
134.12/23.68	o 480802
134.12/23.68	o 480893
149.26/25.56	o 481527
149.26/25.56	o 481618
150.85/25.72	o 482023
150.85/25.72	o 482114
150.85/25.73	o 482207
150.85/25.73	o 482298
150.85/25.73	o 483304
150.85/25.73	o 483395
165.99/27.70	o 484026
165.99/27.70	o 484117
166.79/27.76	o 484750
166.79/27.77	o 484841
166.79/27.78	o 485307
166.79/27.79	o 485398
167.58/27.87	o 485404
167.58/27.89	o 486410
167.58/27.89	o 486501
167.58/27.90	o 487134
167.58/27.90	o 487225
167.58/27.90	o 487691
167.58/27.90	o 487782
168.40/27.96	o 488013
168.40/27.97	o 488104
168.40/27.97	o 489110
168.40/27.97	o 489201
168.40/27.99	o 489667
168.40/28.00	o 489758
169.25/28.01	o 490742
169.25/28.01	o 490833
169.25/28.01	o 491011
169.25/28.01	o 491102
169.25/28.01	o 491931
169.25/28.03	o 492022
169.25/28.03	o 493028
169.25/28.03	o 493119
169.25/28.03	o 493585
169.25/28.03	o 493676
169.25/28.03	o 494592
169.25/28.03	o 494683
169.25/28.04	o 495741
169.25/28.04	o 495820
169.25/28.04	o 495833
169.25/28.04	o 496308
169.25/28.04	o 497631
169.25/28.04	o 498708
169.25/28.04	o 498799
169.25/28.04	o 499805
169.25/28.04	o 499896
169.25/28.04	o 500362
169.25/28.04	o 500453
169.25/28.05	o 500631
169.25/28.05	o 500722
169.25/28.08	o 500815
169.25/28.09	o 500906
169.25/28.09	o 501086
169.25/28.09	o 501177
169.25/28.10	o 501355
169.25/28.10	o 501446
169.25/28.10	o 501643
169.25/28.10	o 501734
169.25/28.10	o 501912
169.25/28.10	o 502003
172.37/28.44	o 502435
172.37/28.45	o 502899
172.37/28.45	o 503145
172.37/28.45	o 504222
172.37/28.45	o 504313
172.37/28.45	o 504333
172.37/28.45	o 505319
172.37/28.45	o 505410
172.37/28.48	o 505588
172.37/28.48	o 505679
173.19/28.56	o 505772
173.19/28.57	o 505863
173.19/28.57	o 506600
173.19/28.57	o 506691
173.19/28.57	o 506869
173.19/28.57	o 506960
193.14/31.03	o 506970
238.49/36.70	o 507045
238.49/36.71	o 508122
238.49/36.71	o 508132
238.49/36.71	o 508213
238.49/36.71	o 508223
238.49/36.71	o 509219
238.49/36.71	o 509310
238.49/36.71	o 509320
238.49/36.71	o 509403
238.49/36.71	o 509413
238.49/36.71	o 509494
238.49/36.71	o 509504
238.49/36.71	o 509514
238.49/36.73	o 510500
238.49/36.73	o 510591
238.49/36.73	o 510601
253.69/38.62	o 510769
253.69/38.63	o 510779
253.69/38.63	o 510860
253.69/38.63	o 510870
305.48/45.12	o 511577
305.48/45.13	o 511668
305.48/45.13	o 511678
307.00/45.35	o 512668
307.00/45.36	o 512678
307.00/45.36	o 512759
307.00/45.36	o 512769
308.59/45.51	o 512818
308.59/45.52	o 513895
308.59/45.52	o 514616
308.59/45.52	o 515693
308.59/45.52	o 515784
308.59/45.52	o 515794
308.59/45.52	o 515804
308.59/45.52	o 515814
308.59/45.52	o 516790
308.59/45.52	o 516881
308.59/45.52	o 516891
320.67/47.08	o 517270
320.67/47.08	o 517280
320.67/47.09	o 517361
320.67/47.09	o 517371
320.67/47.09	o 517382
320.67/47.09	o 517390
320.67/47.09	o 517481
320.67/47.09	o 518467
320.67/47.09	o 518558
320.67/47.09	o 518614
320.67/47.09	o 518705
320.67/47.09	o 518898
320.67/47.09	o 519975
320.67/47.09	o 520066
320.67/47.09	o 520144
320.67/47.09	o 521130
320.67/47.09	o 521221
320.67/47.09	o 521231
320.67/47.09	o 522227
320.67/47.10	o 522237
320.67/47.10	o 522318
320.67/47.10	o 522328
327.76/47.93	o 522963
327.76/47.95	o 523054
327.76/47.95	o 523064
327.76/47.95	o 524060
327.76/47.95	o 524070
327.76/47.95	o 524151
327.76/47.95	o 524161
327.76/47.95	o 525055
327.76/47.95	o 525146
327.76/47.95	o 525301
327.76/47.95	o 526378
327.76/47.95	o 526469
327.76/47.95	o 527099
327.76/47.95	o 527190
327.76/47.95	o 528176
327.76/47.95	o 528267
327.76/47.96	o 528277
327.76/47.96	o 529273
327.76/47.96	o 529283
327.76/47.96	o 529364
327.76/47.96	o 529374
340.52/49.55	o 529457
340.52/49.56	o 529548
340.52/49.56	o 529558
340.52/49.56	o 530554
340.52/49.56	o 530564
340.52/49.56	o 530645
340.52/49.56	o 530655
375.53/53.98	o 530672
375.53/53.98	o 531658
375.53/53.98	o 531749
375.53/53.99	o 531759
375.53/53.99	o 532755
375.53/53.99	o 532765
375.53/53.99	o 532846
375.53/53.99	o 532856
375.53/54.01	o 533141
375.53/54.01	o 533232
375.53/54.01	o 533242
385.16/55.13	o 533325
385.16/55.14	o 533335
385.16/55.14	o 533416
385.16/55.14	o 533426
385.16/55.14	o 534036
385.16/55.14	o 534127
385.16/55.14	o 534137
385.16/55.14	o 534422
385.16/55.14	o 534432
385.16/55.14	o 534513
385.16/55.14	o 534523
401.10/57.18	o 534607
401.10/57.18	o 534617
401.10/57.20	o 534633
401.10/57.20	o 534724
401.10/57.20	o 534734
401.10/57.20	o 534902
401.10/57.20	o 534912
401.10/57.20	o 534993
401.10/57.20	o 535003
403.41/57.48	o 535714
403.41/57.49	o 535805
403.41/57.49	o 535815
403.41/57.49	o 535976
403.41/57.49	o 535986
403.41/57.49	o 537299
403.41/57.49	o 537309
403.41/57.49	o 538376
403.41/57.49	o 538386
403.41/57.49	o 538467
403.41/57.49	o 538477
403.41/57.49	o 538487
403.41/57.49	o 539473
403.41/57.49	o 539564
403.41/57.49	o 539574
404.27/57.59	o 539859
404.27/57.59	o 539869
405.01/57.60	o 539950
405.01/57.60	o 539960
449.65/63.29	o 540352
449.65/63.29	o 540443
450.45/63.30	o 540453
450.45/63.30	o 541449
450.45/63.30	o 541459
450.45/63.30	o 541540
450.45/63.30	o 541550
450.45/63.30	o 541835
450.45/63.30	o 541926
450.45/63.30	o 541936
450.45/63.36	o 542334
450.45/63.37	o 542344
450.45/63.37	o 542481
450.45/63.37	o 542491
450.45/63.37	o 542519
450.45/63.37	o 542765
450.45/63.37	o 543842
450.45/63.37	o 543852
450.45/63.37	o 543933
450.45/63.37	o 543943
450.45/63.37	o 544939
450.45/63.37	o 545030
450.45/63.37	o 545040
450.45/63.39	o 545325
450.45/63.39	o 545335
451.24/63.40	o 545416
451.24/63.40	o 545426
451.24/63.40	o 545594
451.24/63.41	o 545685
451.24/63.41	o 545695
622.60/84.99	o 546691
622.60/85.00	o 546782
622.60/85.00	o 546792
622.60/85.00	o 546841
622.60/85.00	o 546851
622.60/85.00	o 546861
622.60/85.00	o 546952
622.60/85.00	o 547958
622.60/85.00	o 548049
622.60/85.00	o 548059
622.60/85.00	o 548823
622.60/85.00	o 548991
622.60/85.00	o 550146
623.49/85.02	o 550156
623.49/85.02	o 550237
623.49/85.02	o 550247
623.49/85.02	o 551251
623.49/85.02	o 551342
623.49/85.02	o 551352
623.49/85.02	o 552116
623.49/85.02	o 552126
623.49/85.02	o 552342
623.49/85.02	o 553439
623.49/85.02	o 553449
623.49/85.02	o 553530
623.49/85.02	o 553540
623.49/85.04	o 553667
623.49/85.04	o 553758
623.49/85.04	o 553768
951.01/126.14	o 554113
951.01/126.14	o 554123
951.01/126.14	o 554204
951.01/126.14	o 554214
951.01/126.14	o 554232
951.01/126.14	o 554323
951.01/126.14	o 555100
951.01/126.14	o 555191
951.01/126.15	o 555201
951.01/126.15	o 555780
951.01/126.15	o 555965
951.01/126.15	o 556133
951.01/126.15	o 557288
951.01/126.15	o 557298
951.01/126.15	o 557379
951.01/126.15	o 557389
1137.46/149.58	o 557541
1137.46/149.58	o 557551
1141.52/150.04	o 558559
1141.52/150.05	o 558846
1141.52/150.05	o 558856
1141.52/150.05	o 559714
1141.52/150.05	o 559724
1210.75/158.73	o 560049
1210.75/158.74	o 560059
1210.75/158.79	o 560200
1210.75/158.80	o 560210
1210.75/158.80	o 561065
1210.75/158.80	o 561233
1210.75/158.80	o 562388
1210.75/158.80	o 562398
1210.75/158.80	o 562507
1210.75/158.80	o 562517
1210.75/158.80	o 563375
1210.75/158.80	o 563385
1210.75/158.80	o 564240
1210.75/158.80	o 564408
1210.75/158.80	o 565563
1210.75/158.80	o 565573
1358.99/177.36	o 566055
1358.99/177.37	o 566283
1404.51/183.11	o 567042
1405.31/183.12	o 568075
1405.31/183.12	o 568362
1405.31/183.12	o 569230
1405.31/183.12	o 569458
1544.59/200.65	o 569747
1544.59/200.65	o 569757
1544.59/200.67	o 570824
1544.59/200.67	o 570834
1544.59/200.67	o 571210
1544.59/200.67	o 571220
1544.59/200.67	o 571921
1544.59/200.67	o 571931
1544.59/200.67	o 572307
1544.59/200.67	o 572317
1609.16/208.76	o 573055
1609.96/208.85	o 573714
1609.96/208.86	o 574701
1609.96/208.86	o 575381
1609.96/208.86	o 575566
1609.96/208.86	o 575734
1609.96/208.86	o 576889
2188.59/281.44	o 576953
2188.59/281.44	o 577240
2188.59/281.46	o 578108
2188.59/281.46	o 578161
2188.59/281.46	o 579316
2188.59/281.46	o 580349
2188.59/281.46	o 580636
2188.59/281.46	o 581504
2188.59/281.46	o 581732
2188.59/281.46	o 581890
2188.59/281.46	o 582118
2188.59/281.47	o 582738
2188.59/281.48	o 582966
2188.59/281.48	o 583701
2188.59/281.48	o 583988
2188.59/281.48	o 584856
2188.59/281.48	o 584909
2188.59/281.48	o 586064
2188.59/281.48	o 587097
2188.59/281.48	o 587384
2188.59/281.48	o 588252
2188.59/281.48	o 588480
2474.64/317.38	o 588702
3053.10/389.98	o 588765
3053.10/389.99	o 590088
3053.10/389.99	o 590310
3053.10/389.99	o 590495
3053.10/389.99	o 591596
3053.10/389.99	o 591818
3054.00/390.08	o 592693
3054.00/390.09	o 592915
3209.20/409.55	o 593275
3209.20/409.56	o 593497
4918.31/624.84	o 593651
4918.31/624.85	o 594297
4918.31/624.85	o 594519
4918.31/624.86	o 594526
4918.31/624.86	o 594748
4918.31/624.86	o 595394
4918.31/624.86	o 595616
4919.10/624.90	o 596108
4919.10/624.90	o 596395
4919.10/624.91	o 596617
4919.10/624.91	o 597205
4919.10/624.91	o 597427
4919.10/624.91	o 597492
4919.10/624.91	o 597714
4919.10/624.91	o 598360
4919.10/624.91	o 598582
5855.48/743.02	o 599240
5855.48/743.03	o 599529
5855.48/743.03	o 599592
5855.48/743.03	o 599881
5855.48/743.03	o 600103
5856.98/743.28	o 600585
5856.98/743.28	o 600937
5856.98/743.28	o 601226
5856.98/743.28	o 601448
5856.98/743.28	o 602249
5856.98/743.28	o 602538
5856.98/743.28	o 602601
5856.98/743.28	o 602890
5856.98/743.28	o 603112
5856.98/743.28	o 603442
5856.98/743.28	o 603731
5856.98/743.28	o 603953
5856.98/743.30	o 603958
5856.98/743.30	o 604754
5856.98/743.30	o 605106
5856.98/743.30	o 605395
5856.98/743.30	o 605617
5922.55/751.51	o 605642
5922.55/751.52	o 605994
5922.55/751.52	o 606283
5922.55/751.52	o 606505
5925.72/751.90	o 606631
5925.72/751.91	o 606853
5925.72/751.91	o 606919
5925.72/751.91	o 607720
5925.72/751.91	o 608072
5925.72/751.91	o 608361
5925.72/751.91	o 608583
6289.26/797.86	o 608672
6289.26/797.86	o 608894
6298.74/799.07	o 609264
6298.74/799.08	o 609486
6298.74/799.08	o 609551
6298.74/799.08	o 609773
6298.74/799.08	o 610419
6298.74/799.08	o 610641
6298.74/799.08	o 610648
6298.74/799.08	o 610870
6298.74/799.08	o 611516
6298.74/799.08	o 611738
6301.06/799.31	o 611756
6301.06/799.31	o 611941
6301.06/799.32	o 612048
6301.06/799.32	o 612977
6301.06/799.32	o 613264
6301.06/799.32	o 613486
6301.06/799.32	o 614236
6301.06/799.32	o 614458
6301.06/799.32	o 614523
6301.06/799.32	o 614745
6301.06/799.32	o 614755
6301.06/799.32	o 615165
6301.06/799.32	o 615452
6301.06/799.32	o 615674
6301.06/799.32	o 616320
6301.06/799.32	o 616542
6301.06/799.32	o 616549
6301.06/799.33	o 616771
6301.06/799.33	o 617417
6301.06/799.33	o 617639
6301.06/799.33	o 618131
6301.06/799.33	o 618418
6301.06/799.33	o 618640
6301.06/799.33	o 619286
6301.06/799.33	o 619508
6301.06/799.33	o 619515
6301.06/799.33	o 619737
6301.06/799.33	o 620383
6301.06/799.33	o 620605
8426.40/1067.92	o 621286
8426.40/1067.93	o 621508
8801.01/1115.26	o 621574
8862.86/1123.04	o 621743
8862.86/1123.04	o 621965
8862.86/1123.04	o 622030
8862.86/1123.04	o 622252
8862.86/1123.04	o 622898
8862.86/1123.04	o 623120
8862.86/1123.04	o 623127
8862.86/1123.04	o 623349
8862.86/1123.04	o 623995
8862.86/1123.04	o 624217
8908.59/1128.90	o 624348
8908.59/1128.90	o 624994
8909.43/1128.91	o 625216
8911.04/1129.17	o 625282
12782.37/1618.62	o 625326
12782.37/1618.62	o 625972
12782.37/1618.62	o 626194
12782.37/1618.64	o 626275
12782.37/1618.64	o 626497
12784.74/1618.93	o 626599
12784.74/1618.94	o 626821
12784.74/1618.94	o 626902
12784.74/1618.94	o 627124
12875.09/1630.38	o 627273
12875.09/1630.38	o 627309
12875.09/1630.38	o 627955
12875.09/1630.38	o 628177
12875.09/1630.39	o 628862
12875.09/1630.39	o 629149
12875.09/1630.39	o 629371
12875.09/1630.39	o 630017
12875.09/1630.39	o 630239
12875.83/1630.40	o 630644
12875.83/1630.41	o 630866
12875.83/1630.42	o 630921
12875.83/1630.43	o 631143
12875.83/1630.43	o 631789
12875.83/1630.43	o 632011
12875.83/1630.43	o 632416
12875.83/1630.43	o 632638
13023.99/1649.11	o 632704
14097.89/1784.95	o 632718
14097.89/1784.96	o 633529
14097.89/1784.96	o 633751
14097.89/1784.96	o 633816
14097.89/1784.96	o 634038
14097.89/1784.96	o 634684
14097.89/1784.96	o 634906
14100.25/1785.26	o 635265
14100.25/1785.27	o 635487
14100.25/1785.27	o 636298
14100.25/1785.27	o 636585
14100.25/1785.27	o 636807
14100.25/1785.27	o 637453
14100.25/1785.27	o 637675
14100.25/1785.28	o 638231
14100.25/1785.28	o 638453
14100.25/1785.28	o 639264
14100.25/1785.28	o 639551
14100.25/1785.28	o 639773
14100.25/1785.28	o 640419
14100.25/1785.28	o 640641
14161.22/1792.99	o 641046
14161.22/1792.99	o 641268
15325.50/1940.23	o 641399
15325.50/1940.27	o 641804
15325.50/1940.28	o 642026
16992.55/2151.23	o 642063
16992.55/2151.24	o 642332
16992.55/2151.24	o 642619
16992.55/2151.24	o 642841
16992.55/2151.24	o 643012
16992.55/2151.24	o 643234
16992.55/2151.24	o 644520
16992.55/2151.24	o 644742
16992.55/2151.24	o 644807
16992.55/2151.24	o 645029
16992.55/2151.24	o 645675
16992.55/2151.24	o 645897
16994.07/2151.43	o 645978
16994.07/2151.43	o 646200
16994.07/2151.43	o 646265
16994.07/2151.43	o 646487
16994.07/2151.43	o 647486
16994.07/2151.43	o 647773
16994.07/2151.43	o 647995
16994.07/2151.43	o 648641
16994.07/2151.44	o 648863
16994.89/2151.57	o 649268
16994.89/2151.57	o 649490
19907.12/2520.09	s SATISFIABLE
19907.12/2520.09	v <instantiation>
19907.12/2520.09	v 	<list>
19907.12/2520.09	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]
19907.12/2520.09	v 	</list>
19907.12/2520.09	v 	<values>
19907.12/2520.09	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 
19907.12/2520.09	v 	</values>
19907.12/2520.09	v </instantiation>

Verifier Data 

OK	649490

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291760-1532636405/watcher-4291760-1532636405 -o /tmp/evaluation-result-4291760-1532636405/solver-4291760-1532636405 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532633880-24569 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 336809190 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291760-1532636405.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
Current StackSize limit: 8192 KiB
solver pid=24862, runsolver pid=24859


[startup+0.101035 s]*
/proc/loadavg: 8.87 8.94 8.92 2/204 24882
/proc/meminfo: memFree=19263748/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=26103424 memory=31332 CPUtime=0.11 cores=0-7
/proc/24862/stat : 24862 (java) S 24859 24862 24542 0 -1 1077944320 7311 0 0 0 10 1 0 0 20 0 20 0 81203701 26729906176 7833 33554432000 4194304 4196468 140727513143568 140727513126112 139905753337591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
/proc/24862/statm: 6525856 7833 3137 1 0 6487932 0
[pid=24862/tid=24864] ppid=24859 vsize=26103424 memory=8257520824411397021 CPUtime=0.08 cores=0-7
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 24542 0 -1 4202560 5462 0 0 0 8 0 0 0 20 0 20 0 81203701 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905757540720 139905733614416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24865] ppid=24859 vsize=26103424 memory=732370080806194149 CPUtime=0 cores=0-7
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905675917712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24866] ppid=24859 vsize=26103424 memory=139942468740736 CPUtime=0 cores=0-7
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905310152976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24867] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905309100688 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24868] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905308047888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24869] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905306995600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24870] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905305942800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24871] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905304890512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24872] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 7965 33554432000 4194304 4196468 140727513143568 139905303837712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24873] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203703 26729906176 7965 33554432000 4194304 4196468 140727513143568 139904814143600 139905753348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24874] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 24542 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 7965 33554432000 4194304 4196468 140727513143568 139904813089568 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24875] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 24542 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904812037232 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24876] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904810985552 139905753356187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24877] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 24542 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904809933424 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24878] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24878/stat : 24878 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904808880624 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24879] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24879/stat : 24879 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904807828336 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24880] ppid=24859 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/24862/task/24880/stat : 24880 (java) S 24859 24862 24542 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904806775536 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24881] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24881/stat : 24881 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904805722464 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24882] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24882/stat : 24882 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 8031 33554432000 4194304 4196468 140727513143568 139904804669744 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 31332 KiB

[startup+0.210611 s]*
/proc/loadavg: 8.87 8.94 8.92 3/204 24882
/proc/meminfo: memFree=19249128/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=26103424 memory=44916 CPUtime=0.3 cores=0-7
/proc/24862/stat : 24862 (java) S 24859 24862 24542 0 -1 1077944320 10384 0 0 0 28 2 0 0 20 0 20 0 81203701 26729906176 11229 33554432000 4194304 4196468 140727513143568 140727513126112 139905753337591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
/proc/24862/statm: 6525856 11229 3333 1 0 6487932 0
[pid=24862/tid=24864] ppid=24859 vsize=26103424 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 24542 0 -1 4202560 8168 0 0 0 19 1 0 0 20 0 20 0 81203701 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905757566992 139905745574718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24865] ppid=24859 vsize=26103424 memory=288230583233151328 CPUtime=0 cores=0-7
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905675917712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24866] ppid=24859 vsize=26103424 memory=139942469236728 CPUtime=0 cores=0-7
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905310152976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24867] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905309100688 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24868] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905308047888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24869] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905306995600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24870] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905305942800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24871] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905304890512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24872] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 11229 33554432000 4194304 4196468 140727513143568 139905303837712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24873] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203703 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904814143600 139905753348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24874] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 24542 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904813089568 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24875] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 24542 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904812037232 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24876] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904810985552 139905753356187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24877] ppid=24859 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 24542 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904809933424 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24878] ppid=24859 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/24862/task/24878/stat : 24878 (java) S 24859 24862 24542 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904808880624 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24879] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24879/stat : 24879 (java) S 24859 24862 24542 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904807828336 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24880] ppid=24859 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/24862/task/24880/stat : 24880 (java) R 24859 24862 24542 0 -1 4202560 289 0 0 0 6 0 0 0 20 0 20 0 81203706 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904806775536 139905745574718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24881] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24881/stat : 24881 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904805722464 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24882] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24882/stat : 24882 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 11229 33554432000 4194304 4196468 140727513143568 139904804669744 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 44916 KiB

[startup+0.31079 s]*
/proc/loadavg: 8.87 8.94 8.92 3/204 24882
/proc/meminfo: memFree=19245220/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=26103424 memory=48468 CPUtime=0.42 cores=0-7
/proc/24862/stat : 24862 (java) S 24859 24862 24542 0 -1 1077944320 10805 0 0 0 40 2 0 0 20 0 20 0 81203701 26729906176 12117 33554432000 4194304 4196468 140727513143568 140727513126112 139905753337591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
/proc/24862/statm: 6525856 12117 3362 1 0 6487932 0
[pid=24862/tid=24864] ppid=24859 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 24542 0 -1 4202560 8490 0 0 0 28 1 0 0 20 0 20 0 81203701 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905757499328 139905733612921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24865] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905675917712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24866] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905310152976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24867] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905309100688 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24868] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905308047888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24869] ppid=24859 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905306995600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24870] ppid=24859 vsize=26103424 memory=139942315520943 CPUtime=0 cores=0-7
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905305942800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24871] ppid=24859 vsize=26103424 memory=139942315523248 CPUtime=0 cores=0-7
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905304890512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24872] ppid=24859 vsize=26103424 memory=139942315525552 CPUtime=0 cores=0-7
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26729906176 12117 33554432000 4194304 4196468 140727513143568 139905303837712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24873] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203703 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904814143600 139905753348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24874] ppid=24859 vsize=26103424 memory=279884631058064 CPUtime=0 cores=0-7
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 24542 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904813089568 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24875] ppid=24859 vsize=26103424 memory=279884631064976 CPUtime=0 cores=0-7
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 24542 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203704 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904812037232 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24876] ppid=24859 vsize=26103424 memory=279884631006256 CPUtime=0 cores=0-7
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203706 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904810985552 139905753356187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24877] ppid=24859 vsize=26103424 memory=279884631078800 CPUtime=0.01 cores=0-7
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 24542 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904809933424 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24878] ppid=24859 vsize=26103424 memory=279884631085712 CPUtime=0.01 cores=0-7
/proc/24862/task/24878/stat : 24878 (java) S 24859 24862 24542 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904808880624 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24879] ppid=24859 vsize=26103424 memory=279884631083408 CPUtime=0.01 cores=0-7
/proc/24862/task/24879/stat : 24879 (java) S 24859 24862 24542 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 81203706 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904807828336 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24880] ppid=24859 vsize=26103424 memory=279884631099968 CPUtime=0.07 cores=0-7
/proc/24862/task/24880/stat : 24880 (java) S 24859 24862 24542 0 -1 1077944384 295 0 0 0 7 0 0 0 20 0 20 0 81203706 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904806775536 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24881] ppid=24859 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24881/stat : 24881 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904805722464 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24882] ppid=24859 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/24862/task/24882/stat : 24882 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203707 26729906176 12117 33554432000 4194304 4196468 140727513143568 139904804669744 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 48468 KiB

[startup+0.700797 s]
/proc/loadavg: 8.24 8.81 8.88 3/204 24882
/proc/meminfo: memFree=19221036/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=26105492 memory=86908 CPUtime=0.98 cores=0-7
/proc/24862/stat : 24862 (java) S 24859 24862 24542 0 -1 1077944320 17672 0 0 0 93 5 0 0 20 0 20 0 81203701 26732023808 21727 33554432000 4194304 4196468 140727513143568 140727513126112 139905753337591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
/proc/24862/statm: 6526373 21727 3465 1 0 6488444 0
[pid=24862/tid=24864] ppid=24859 vsize=26105492 memory=7230638415973804631 CPUtime=0.66 cores=0-7
/proc/24862/task/24864/stat : 24864 (java) R 24859 24862 24542 0 -1 4202560 14946 0 0 0 63 3 0 0 20 0 20 0 81203701 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905757564192 139905737418078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24865] ppid=24859 vsize=26105492 memory=106863081341538 CPUtime=0 cores=0-7
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905675917712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24866] ppid=24859 vsize=26105492 memory=139942315547991 CPUtime=0 cores=0-7
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905310152976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24867] ppid=24859 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905309100688 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24868] ppid=24859 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905308047888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24869] ppid=24859 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905306995600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24870] ppid=24859 vsize=26105492 memory=2353 CPUtime=0 cores=0-7
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905305942800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24871] ppid=24859 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 24542 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905304890512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24872] ppid=24859 vsize=26105492 memory=1832 CPUtime=0 cores=0-7
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203702 26732023808 21727 33554432000 4194304 4196468 140727513143568 139905303837712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24873] ppid=24859 vsize=26105492 memory=1948 CPUtime=0 cores=0-7
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 24542 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203703 26732023808 21727 33554432000 4194304 4196468 140727513143568 139904814143600 139905753348738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0

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

[pid=24862/tid=24890] ppid=24859 vsize=27850528 memory=928 CPUtime=2474.68 cores=0-7
/proc/24862/task/24890/stat : 24890 (java) R 24859 24862 24542 0 -1 4202560 63593 0 0 0 247405 63 0 0 20 0 46 0 81204498 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903549379208 139905366974678 0 4 0 16800975 0 0 0 -1 0 0 0 50 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24891] ppid=24859 vsize=27850528 memory=2236 CPUtime=0.06 cores=0-7
/proc/24862/task/24891/stat : 24891 (java) S 24859 24862 24542 0 -1 1077944384 409 0 0 0 6 0 0 0 20 0 46 0 81204498 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903548331280 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24892] ppid=24859 vsize=27850528 memory=6791534058613427641 CPUtime=2474.02 cores=0-7
/proc/24862/task/24892/stat : 24892 (java) R 24859 24862 24542 0 -1 4202560 66546 0 0 0 247334 68 0 0 20 0 46 0 81204498 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903547274592 139905356353576 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24893] ppid=24859 vsize=27850528 memory=9047017150487036575 CPUtime=0 cores=0-7
/proc/24862/task/24893/stat : 24893 (java) S 24859 24862 24542 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 46 0 81204498 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903546226192 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24894] ppid=24859 vsize=27850528 memory=-8341965534556230502 CPUtime=2476.09 cores=0-7
/proc/24862/task/24894/stat : 24894 (java) R 24859 24862 24542 0 -1 4202560 65235 0 0 0 247545 64 0 0 20 0 46 0 81204498 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903545167216 139905366973531 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24895] ppid=24859 vsize=27850528 memory=-8412656567318647667 CPUtime=0.01 cores=0-7
/proc/24862/task/24895/stat : 24895 (java) S 24859 24862 24542 0 -1 1077944384 649 0 0 0 1 0 0 0 20 0 46 0 81204499 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903544121104 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24896] ppid=24859 vsize=27850528 memory=4713745541279610410 CPUtime=2474.24 cores=0-7
/proc/24862/task/24896/stat : 24896 (java) R 24859 24862 24542 0 -1 4202560 68132 0 0 0 247366 58 0 0 20 0 46 0 81204510 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903543064600 139905361780636 0 4 0 16800975 0 0 0 -1 5 0 0 60 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24897] ppid=24859 vsize=27850528 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/24862/task/24897/stat : 24897 (java) S 24859 24862 24542 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 46 0 81204602 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903539880976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24898] ppid=24859 vsize=27850528 memory=9047017150487036571 CPUtime=0 cores=0-7
/proc/24862/task/24898/stat : 24898 (java) S 24859 24862 24542 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 46 0 81204603 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903538828176 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24899] ppid=24859 vsize=27850528 memory=4427205132082312746 CPUtime=0 cores=0-7
/proc/24862/task/24899/stat : 24899 (java) S 24859 24862 24542 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 46 0 81204603 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903537775888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24900] ppid=24859 vsize=27850528 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24900/stat : 24900 (java) S 24859 24862 24542 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 46 0 81204606 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903536723088 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24901] ppid=24859 vsize=27850528 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24901/stat : 24901 (java) S 24859 24862 24542 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 46 0 81204606 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903535670800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24902] ppid=24859 vsize=27850528 memory=0 CPUtime=0 cores=0-7
/proc/24862/task/24902/stat : 24902 (java) S 24859 24862 24542 0 -1 1077944384 616 0 0 0 0 0 0 0 20 0 46 0 81204608 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903534618000 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24903] ppid=24859 vsize=27850528 memory=279884635430816 CPUtime=0.01 cores=0-7
/proc/24862/task/24903/stat : 24903 (java) S 24859 24862 24542 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 46 0 81204611 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903533565712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24904] ppid=24859 vsize=27850528 memory=4128 CPUtime=0 cores=0-7
/proc/24862/task/24904/stat : 24904 (java) S 24859 24862 24542 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 46 0 81204612 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903532512912 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24905] ppid=24859 vsize=27850528 memory=2196 CPUtime=0 cores=0-7
/proc/24862/task/24905/stat : 24905 (java) S 24859 24862 24542 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 46 0 81204613 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903531459600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24906] ppid=24859 vsize=27850528 memory=7288 CPUtime=0.01 cores=0-7
/proc/24862/task/24906/stat : 24906 (java) S 24859 24862 24542 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 46 0 81204613 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903530406800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24907] ppid=24859 vsize=27850528 memory=840 CPUtime=0 cores=0-7
/proc/24862/task/24907/stat : 24907 (java) S 24859 24862 24542 0 -1 1077944384 590 0 0 0 0 0 0 0 20 0 46 0 81204616 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903529354512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24908] ppid=24859 vsize=27850528 memory=1800 CPUtime=0 cores=0-7
/proc/24862/task/24908/stat : 24908 (java) S 24859 24862 24542 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 46 0 81204619 28518940672 642264 33554432000 4194304 4196468 140727513143568 139903528301712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
Current children cumulated CPU time: 19907.1 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 2569056 KiB

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

[startup+2520.31 s]
# the end of solver process 24862 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19898.2 s, system=11.1257 s

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

[startup+2520.21 s]
/proc/loadavg: 8.74 8.86 8.83 10/232 24980
/proc/meminfo: memFree=16719544/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=28050220 memory=2570032 CPUtime=19908.7 cores=0-7
/proc/24862/stat : 24862 (java) S 24859 24862 24542 0 -1 1077944320 1549773 0 0 0 1989756 1111 0 0 20 0 48 0 81203701 28723425280 642508 33554432000 4194304 4196468 140727513143568 140727513126112 139905753337591 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
/proc/24862/statm: 7012555 642508 3626 1 0 6974105 0
[pid=24862/tid=24864] ppid=24859 vsize=28050220 memory=4136 CPUtime=7.3 cores=0-7
/proc/24862/task/24864/stat : 24864 (java) S 24859 24862 24542 0 -1 1077944384 22091 0 0 0 721 9 0 0 20 0 48 0 81203701 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905757575056 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24865] ppid=24859 vsize=28050220 memory=4096 CPUtime=10.38 cores=0-7
/proc/24862/task/24865/stat : 24865 (java) S 24859 24862 24542 0 -1 1077944384 91047 0 0 0 975 63 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905675917712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24866] ppid=24859 vsize=28050220 memory=1408 CPUtime=10.41 cores=0-7
/proc/24862/task/24866/stat : 24866 (java) S 24859 24862 24542 0 -1 1077944384 105911 0 0 0 975 66 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905310152976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24867] ppid=24859 vsize=28050220 memory=4504 CPUtime=10.38 cores=0-7
/proc/24862/task/24867/stat : 24867 (java) S 24859 24862 24542 0 -1 1077944384 88402 0 0 0 972 66 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905309100688 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24868] ppid=24859 vsize=28050220 memory=2569056 CPUtime=10.39 cores=0-7
/proc/24862/task/24868/stat : 24868 (java) S 24859 24862 24542 0 -1 1077944384 91070 0 0 0 976 63 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905308047888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24869] ppid=24859 vsize=28050220 memory=24256 CPUtime=10.33 cores=0-7
/proc/24862/task/24869/stat : 24869 (java) S 24859 24862 24542 0 -1 1077944384 92058 0 0 0 975 58 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905306995600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24870] ppid=24859 vsize=28050220 memory=1292 CPUtime=10.42 cores=0-7
/proc/24862/task/24870/stat : 24870 (java) S 24859 24862 24542 0 -1 1077944384 93969 0 0 0 981 61 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905305942800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24871] ppid=24859 vsize=28050220 memory=2567008 CPUtime=10.37 cores=0-7
/proc/24862/task/24871/stat : 24871 (java) S 24859 24862 24542 0 -1 1077944384 90375 0 0 0 973 64 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905304890512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24872] ppid=24859 vsize=28050220 memory=-7003737579269690708 CPUtime=10.32 cores=0-7
/proc/24862/task/24872/stat : 24872 (java) S 24859 24862 24542 0 -1 1077944384 94101 0 0 0 968 64 0 0 20 0 48 0 81203702 28723425280 642508 33554432000 4194304 4196468 140727513143568 139905303837712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24873] ppid=24859 vsize=28050220 memory=1236 CPUtime=7.41 cores=0-7
/proc/24862/task/24873/stat : 24873 (java) S 24859 24862 24542 0 -1 1077944384 158285 0 0 0 634 107 0 0 20 0 48 0 81203703 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904814143600 139905753348738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24874] ppid=24859 vsize=28050220 memory=648 CPUtime=0 cores=0-7
/proc/24862/task/24874/stat : 24874 (java) S 24859 24862 24542 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 48 0 81203704 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904813089632 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24875] ppid=24859 vsize=28050220 memory=956 CPUtime=0 cores=0-7
/proc/24862/task/24875/stat : 24875 (java) S 24859 24862 24542 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 48 0 81203704 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904812037248 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24876] ppid=24859 vsize=28050220 memory=2340 CPUtime=0 cores=0-7
/proc/24862/task/24876/stat : 24876 (java) S 24859 24862 24542 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 48 0 81203706 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904810985552 139905753356187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24877] ppid=24859 vsize=28050220 memory=1584 CPUtime=1.59 cores=0-7
/proc/24862/task/24877/stat : 24877 (java) S 24859 24862 24542 0 -1 1077944384 9683 0 0 0 156 3 0 0 20 0 48 0 81203706 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904809933424 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24878] ppid=24859 vsize=28050220 memory=928 CPUtime=1.86 cores=0-7
/proc/24862/task/24878/stat : 24878 (java) S 24859 24862 24542 0 -1 1077944384 10078 0 0 0 184 2 0 0 20 0 48 0 81203706 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904808880624 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24879] ppid=24859 vsize=28050220 memory=2236 CPUtime=1.75 cores=0-7
/proc/24862/task/24879/stat : 24879 (java) S 24859 24862 24542 0 -1 1077944384 9991 0 0 0 173 2 0 0 20 0 48 0 81203706 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904807828336 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24880] ppid=24859 vsize=28050220 memory=4128 CPUtime=1.32 cores=0-7
/proc/24862/task/24880/stat : 24880 (java) D 24859 24862 24542 0 -1 4202560 21859 0 0 0 129 3 0 0 20 0 48 0 81203706 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904806770192 139905731706230 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24881] ppid=24859 vsize=28050220 memory=2196 CPUtime=0 cores=0-7
/proc/24862/task/24881/stat : 24881 (java) S 24859 24862 24542 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81203707 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904805722464 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24882] ppid=24859 vsize=28050220 memory=7288 CPUtime=0.71 cores=0-7
/proc/24862/task/24882/stat : 24882 (java) S 24859 24862 24542 0 -1 1077944384 9037 0 0 0 37 34 0 0 20 0 48 0 81203707 28723425280 642508 33554432000 4194304 4196468 140727513143568 139904804669744 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24883] ppid=24859 vsize=28050220 memory=840 CPUtime=0.03 cores=0-7
/proc/24862/task/24883/stat : 24883 (java) S 24859 24862 24542 0 -1 1077944384 2054 0 0 0 2 1 0 0 20 0 48 0 81204451 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903870952272 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24884] ppid=24859 vsize=28050220 memory=1800 CPUtime=1.9 cores=0-7
/proc/24862/task/24884/stat : 24884 (java) S 24859 24862 24542 0 -1 1077944384 18376 0 0 0 78 112 0 0 20 0 48 0 81204473 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903867802544 139905753348738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24885] ppid=24859 vsize=28050220 memory=916 CPUtime=2473.55 cores=0-7
/proc/24862/task/24885/stat : 24885 (java) R 24859 24862 24542 0 -1 4202560 73154 0 0 0 247290 65 0 0 20 0 48 0 81204489 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903864648632 139905366784883 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24886] ppid=24859 vsize=28050220 memory=1236 CPUtime=0.08 cores=0-7
/proc/24862/task/24886/stat : 24886 (java) D 24859 24862 24542 0 -1 4202560 892 0 0 0 8 0 0 0 20 0 48 0 81204490 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903863592992 139905733614416 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24887] ppid=24859 vsize=28050220 memory=648 CPUtime=2474.88 cores=0-7
/proc/24862/task/24887/stat : 24887 (java) R 24859 24862 24542 0 -1 4202560 62796 0 0 0 247420 68 0 0 20 0 48 0 81204491 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903554632344 139905363778270 0 4 0 16800975 0 0 0 -1 5 0 0 52 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24888] ppid=24859 vsize=28050220 memory=956 CPUtime=2476.31 cores=0-7
/proc/24862/task/24888/stat : 24888 (java) R 24859 24862 24542 0 -1 4202560 65386 0 0 0 247574 57 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903551483504 139905362056064 0 4 0 16800975 0 0 0 -1 2 0 0 51 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24889] ppid=24859 vsize=28050220 memory=2340 CPUtime=2476.7 cores=0-7
/proc/24862/task/24889/stat : 24889 (java) R 24859 24862 24542 0 -1 4202560 65245 0 0 0 247605 65 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903550432384 139905367211620 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24890] ppid=24859 vsize=28050220 memory=1584 CPUtime=2474.86 cores=0-7
/proc/24862/task/24890/stat : 24890 (java) R 24859 24862 24542 0 -1 4202560 63593 0 0 0 247423 63 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903549376136 140727514098900 0 4 0 16800975 0 0 0 -1 0 0 0 50 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24891] ppid=24859 vsize=28050220 memory=928 CPUtime=0.06 cores=0-7
/proc/24862/task/24891/stat : 24891 (java) S 24859 24862 24542 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903548331280 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24892] ppid=24859 vsize=28050220 memory=2236 CPUtime=2474.21 cores=0-7
/proc/24862/task/24892/stat : 24892 (java) R 24859 24862 24542 0 -1 4202560 66546 0 0 0 247353 68 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903547274504 139905366974855 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24893] ppid=24859 vsize=28050220 memory=4128 CPUtime=0 cores=0-7
/proc/24862/task/24893/stat : 24893 (java) R 24859 24862 24542 0 -1 4202560 309 0 0 0 0 0 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903546217080 139905733614410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24894] ppid=24859 vsize=28050220 memory=2196 CPUtime=2476.26 cores=0-7
/proc/24862/task/24894/stat : 24894 (java) R 24859 24862 24542 0 -1 4202560 65235 0 0 0 247562 64 0 0 20 0 48 0 81204498 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903545165960 139905366883169 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24895] ppid=24859 vsize=28050220 memory=7288 CPUtime=0.01 cores=0-7
/proc/24862/task/24895/stat : 24895 (java) S 24859 24862 24542 0 -1 1077944384 649 0 0 0 1 0 0 0 20 0 48 0 81204499 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903544121104 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24896] ppid=24859 vsize=28050220 memory=840 CPUtime=2474.42 cores=0-7
/proc/24862/task/24896/stat : 24896 (java) R 24859 24862 24542 0 -1 4202560 68132 0 0 0 247384 58 0 0 20 0 48 0 81204510 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903543063880 139905366974584 0 4 0 16800975 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24897] ppid=24859 vsize=28050220 memory=1800 CPUtime=0 cores=0-7
/proc/24862/task/24897/stat : 24897 (java) S 24859 24862 24542 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 48 0 81204602 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903539880976 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24898] ppid=24859 vsize=28050220 memory=916 CPUtime=0.01 cores=0-7
/proc/24862/task/24898/stat : 24898 (java) S 24859 24862 24542 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 48 0 81204603 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903538828176 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24899] ppid=24859 vsize=28050220 memory=4136 CPUtime=0 cores=0-7
/proc/24862/task/24899/stat : 24899 (java) S 24859 24862 24542 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 48 0 81204603 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903537775888 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24900] ppid=24859 vsize=28050220 memory=303430223234596890 CPUtime=0.01 cores=0-7
/proc/24862/task/24900/stat : 24900 (java) S 24859 24862 24542 0 -1 1077944384 550 0 0 0 1 0 0 0 20 0 48 0 81204606 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903536723088 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24901] ppid=24859 vsize=28050220 memory=302304344886477115 CPUtime=0.02 cores=0-7
/proc/24862/task/24901/stat : 24901 (java) S 24859 24862 24542 0 -1 1077944384 703 0 0 0 2 0 0 0 20 0 48 0 81204606 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903535670800 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24902] ppid=24859 vsize=28050220 memory=16100360058046859 CPUtime=0 cores=0-7
/proc/24862/task/24902/stat : 24902 (java) S 24859 24862 24542 0 -1 1077944384 616 0 0 0 0 0 0 0 20 0 48 0 81204608 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903534618000 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24903] ppid=24859 vsize=28050220 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/24862/task/24903/stat : 24903 (java) S 24859 24862 24542 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 48 0 81204611 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903533565712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24904] ppid=24859 vsize=28050220 memory=3546639897424072883 CPUtime=0 cores=0-7
/proc/24862/task/24904/stat : 24904 (java) S 24859 24862 24542 0 -1 1077944384 326 0 0 0 0 0 0 0 20 0 48 0 81204612 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903532512912 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24905] ppid=24859 vsize=28050220 memory=3545800970437953042 CPUtime=0 cores=0-7
/proc/24862/task/24905/stat : 24905 (java) S 24859 24862 24542 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 48 0 81204613 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903531459600 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24906] ppid=24859 vsize=28050220 memory=3546639897424068467 CPUtime=0.02 cores=0-7
/proc/24862/task/24906/stat : 24906 (java) D 24859 24862 24542 0 -1 4202560 896 0 0 0 2 0 0 0 20 0 48 0 81204613 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903530384200 139905746054743 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24907] ppid=24859 vsize=28050220 memory=2560864 CPUtime=0 cores=0-7
/proc/24862/task/24907/stat : 24907 (java) S 24859 24862 24542 0 -1 1077944384 611 0 0 0 0 0 0 0 20 0 48 0 81204616 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903529354512 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
[pid=24862/tid=24908] ppid=24859 vsize=28050220 memory=3546639897424064051 CPUtime=0.01 cores=0-7
/proc/24862/task/24908/stat : 24908 (java) S 24859 24862 24542 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 48 0 81204619 28723425280 642508 33554432000 4194304 4196468 140727513143568 139903528301712 139905753347797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22818816 140727513150542 140727513150725 140727513150725 140727513153487 0
Current children cumulated CPU time: 19908.7 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 2570032 KiB

[startup+2520.3 s]*
/proc/loadavg: 8.74 8.86 8.83 2/188 24983
/proc/meminfo: memFree=18502836/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.31
CPU time (s): 19909.3
CPU user time (s): 19898.2
CPU system time (s): 11.1257
CPU usage (%): 789.954
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 2570032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19898.2
system time used= 11.1257
maximum resident set size= 2570976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1550443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 708733
involuntary context switches= 444262


# summary of solver processes directly reported to runsolver:
#   pid: 24862
#   total CPU time (s): 19909.3
#   total CPU user time (s): 19898.2
#   total CPU system time (s): 11.1257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6104 second user time and 36.1448 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-26 22:20:05
IDJOB=4291760
IDBENCH=141158
IDSOLVER=2745
FILE ID=node132/4291760-1532636405
RUNJOBID= node132-1532633880-24569
PBS_JOBID= 21022176
Free space on /tmp= 52044 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-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-4291760-1532636405/watcher-4291760-1532636405 -o /tmp/evaluation-result-4291760-1532636405/solver-4291760-1532636405 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532633880-24569 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 336809190 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291760-1532636405.xml

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

MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad
RANDOM SEED=336809190

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19281484 kB
MemAvailable:   31929404 kB
Buffers:          224140 kB
Cached:         12584360 kB
SwapCached:            0 kB
Active:          3452872 kB
Inactive:        9408952 kB
Active(anon):       3740 kB
Inactive(anon):    77496 kB
Active(file):    3449132 kB
Inactive(file):  9331456 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35704 kB
Writeback:             0 kB
AnonPages:         60572 kB
Mapped:            41252 kB
Shmem:             25248 kB
Slab:             322824 kB
SReclaimable:     295792 kB
SUnreclaim:        27032 kB
KernelStack:        3264 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324080 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52008 MiB
End job on node132 at 2018-07-26 23:02:06