Trace number 4309273

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-08-14SAT (TO)644538 19896.2 2520.23

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1454226
Best CPU time to get the best result obtained on this benchmark14796.8
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.56	c seed: 889094149
0.67/0.56	c timeout: 20160
0.67/0.56	c memlimit: 22000
0.67/0.56	c nbcore: 8
0.67/0.59	c Parsing instance...
2.29/1.11	c Parsing done, starting search...
15.81/7.31	o 25947
15.81/7.31	o 28802
15.81/7.37	o 40982
15.81/7.37	o 43837
15.81/7.38	o 47730
16.61/7.42	o 50585
16.61/7.42	o 52916
16.61/7.42	o 56638
16.61/7.42	o 58969
16.61/7.42	o 59493
16.61/7.43	o 61824
16.61/7.43	o 65252
16.61/7.43	o 68107
16.61/7.43	o 70438
16.61/7.43	o 70750
16.61/7.45	o 73081
16.61/7.45	o 73605
16.61/7.45	o 75936
16.61/7.47	o 78009
16.61/7.47	o 80340
16.61/7.47	o 82255
16.61/7.47	o 84586
16.61/7.47	o 85110
16.61/7.47	o 87441
16.61/7.47	o 87695
16.61/7.47	o 89244
16.61/7.48	o 92099
16.61/7.48	o 92360
16.61/7.48	o 93454
16.61/7.48	o 97858
16.61/7.48	o 100713
16.61/7.49	o 103044
16.61/7.49	o 105130
16.61/7.49	o 107461
16.61/7.49	o 109264
16.61/7.49	o 111595
16.61/7.50	o 112380
16.61/7.50	o 117878
16.61/7.50	o 120209
16.61/7.50	o 120733
16.61/7.50	o 123064
16.61/7.50	o 124000
16.61/7.50	o 125137
16.61/7.50	o 127468
17.44/7.51	o 128564
17.44/7.51	o 131419
17.44/7.51	o 131680
17.44/7.51	o 137178
17.44/7.51	o 140033
17.44/7.51	o 140969
17.44/7.51	o 141582
17.44/7.51	o 144437
17.44/7.52	o 146768
17.44/7.52	o 148381
17.44/7.52	o 149894
17.44/7.52	o 150247
17.44/7.52	o 151497
17.44/7.52	o 156995
17.44/7.52	o 157931
17.44/7.52	o 161399
17.44/7.52	o 163730
17.44/7.54	o 164254
17.44/7.54	o 166585
17.44/7.54	o 169331
17.44/7.54	o 172186
17.44/7.54	o 172298
17.44/7.54	o 175153
17.44/7.54	o 175864
17.44/7.54	o 178719
17.44/7.54	o 179161
17.44/7.54	o 179760
17.44/7.54	o 182727
17.44/7.54	o 185582
17.44/7.54	o 188241
17.44/7.54	o 188317
17.44/7.55	o 191612
17.44/7.55	o 193943
17.44/7.58	o 195515
17.44/7.58	o 198886
17.44/7.58	o 201217
17.44/7.58	o 204333
17.44/7.58	o 206664
17.44/7.59	o 208263
17.44/7.59	o 211379
17.44/7.59	o 213710
17.44/7.59	o 214412
17.44/7.59	o 214740
17.44/7.59	o 217071
18.25/7.61	o 220187
18.25/7.61	o 222518
18.25/7.61	o 224158
18.25/7.62	o 224285
18.25/7.62	o 225447
18.25/7.62	o 226383
18.25/7.63	o 229851
18.25/7.63	o 232182
18.25/7.63	o 233423
18.25/7.63	o 235754
18.25/7.64	o 236989
18.25/7.64	o 239320
18.25/7.67	o 242037
18.25/7.67	o 245603
18.25/7.67	o 247934
18.25/7.67	o 251050
18.25/7.68	o 253381
18.25/7.68	o 253637
18.25/7.69	o 255644
18.25/7.70	o 257975
19.05/7.71	o 258231
19.05/7.74	o 258777
19.05/7.75	o 259033
19.05/7.76	o 260069
19.05/7.76	o 263185
19.05/7.76	o 265516
19.05/7.78	o 265772
19.79/7.83	o 266674
19.79/7.83	o 267672
19.79/7.83	o 268907
19.79/7.83	o 271238
19.79/7.83	o 272531
19.79/7.84	o 274862
19.79/7.84	o 275646
19.79/7.84	o 275704
19.79/7.84	o 279270
19.79/7.84	o 281601
19.79/7.85	o 283424
19.79/7.87	o 283611
19.79/7.87	o 285942
19.79/7.87	o 286784
19.79/7.87	o 290350
19.79/7.87	o 292681
19.79/7.87	o 294504
19.79/7.88	o 296031
19.79/7.88	o 296815
19.79/7.88	o 299146
19.79/7.88	o 300439
20.56/7.92	o 302770
20.56/7.93	o 303279
20.56/7.93	o 304919
20.56/7.93	o 305051
20.56/7.93	o 306691
20.56/7.94	o 306957
20.56/7.94	o 308248
20.56/7.94	o 308780
20.56/7.94	o 308792
20.56/7.94	o 310085
20.56/7.95	o 312416
20.56/7.98	o 314239
20.56/7.99	o 314361
20.56/7.99	o 314617
20.56/7.99	o 314893
20.56/8.00	o 315082
20.56/8.00	o 316373
20.56/8.00	o 316905
21.40/8.01	o 318556
21.40/8.01	o 320379
21.40/8.01	o 320501
21.40/8.01	o 321033
21.40/8.01	o 321101
21.40/8.01	o 322618
21.40/8.02	o 323004
21.40/8.04	o 325237
21.40/8.04	o 326560
21.40/8.04	o 327027
21.40/8.04	o 330593
21.40/8.04	o 331916
21.40/8.04	o 334067
21.40/8.04	o 335390
21.40/8.04	o 335890
21.40/8.04	o 337213
21.40/8.04	o 337867
21.40/8.09	o 338519
21.40/8.10	o 338641
21.40/8.10	o 339964
21.40/8.10	o 340464
21.40/8.10	o 341787
21.40/8.10	o 342879
21.40/8.10	o 344017
21.40/8.10	o 345340
21.40/8.10	o 345817
21.40/8.10	o 347140
21.40/8.11	o 347716
22.14/8.12	o 348235
22.14/8.12	o 348735
22.14/8.12	o 350058
22.14/8.13	o 350261
22.14/8.14	o 353885
22.14/8.14	o 355208
22.14/8.14	o 355727
22.14/8.14	o 356227
22.14/8.14	o 357550
22.14/8.18	o 357641
22.14/8.19	o 358387
22.14/8.19	o 358478
22.14/8.19	o 358643
22.14/8.19	o 358734
22.84/8.20	o 359951
22.84/8.20	o 362194
22.84/8.20	o 363517
22.84/8.20	o 363608
22.84/8.21	o 363649
22.84/8.21	o 367215
22.84/8.21	o 367306
22.84/8.21	o 368538
22.84/8.21	o 368629
22.84/8.21	o 369038
22.84/8.21	o 370361
22.84/8.21	o 370452
22.84/8.22	o 371313
22.84/8.22	o 371404
22.84/8.22	o 371849
22.84/8.22	o 372819
22.84/8.22	o 372877
22.84/8.22	o 375120
22.84/8.23	o 376443
22.84/8.23	o 376534
22.84/8.23	o 379445
22.84/8.23	o 379536
22.84/8.24	o 381268
22.84/8.24	o 381359
22.84/8.24	o 382486
22.84/8.24	o 383809
22.84/8.24	o 383900
22.84/8.24	o 384065
22.84/8.25	o 384156
22.84/8.28	o 384319
22.84/8.28	o 384410
22.84/8.28	o 387370
22.84/8.28	o 387461
22.84/8.28	o 389193
22.84/8.28	o 389284
22.84/8.28	o 390411
22.84/8.28	o 391734
22.84/8.28	o 391825
22.84/8.28	o 391990
22.84/8.28	o 392081
23.71/8.33	o 392442
23.71/8.33	o 392533
23.71/8.33	o 392823
23.71/8.33	o 394146
23.71/8.33	o 394237
23.71/8.33	o 394402
23.71/8.33	o 394493
23.71/8.33	o 395197
23.71/8.33	o 395288
23.71/8.34	o 396989
23.71/8.34	o 398312
23.71/8.34	o 400613
23.71/8.34	o 401936
23.71/8.34	o 402027
23.71/8.34	o 402192
23.71/8.34	o 402283
24.43/8.43	o 403221
24.43/8.43	o 403312
24.43/8.43	o 405722
24.43/8.43	o 406417
24.43/8.43	o 406447
24.43/8.43	o 407602
24.43/8.43	o 411011
24.43/8.43	o 411102
24.43/8.43	o 411267
24.43/8.43	o 411358
24.43/8.44	o 412340
24.43/8.44	o 415906
24.43/8.44	o 417750
24.43/8.44	o 417841
24.43/8.44	o 418006
24.43/8.44	o 418097
25.22/8.50	o 420497
25.22/8.51	o 420588
25.22/8.51	o 420753
25.22/8.51	o 420844
25.22/8.59	o 423633
25.22/8.59	o 423724
26.02/8.60	o 426380
26.02/8.60	o 426471
26.02/8.60	o 426636
26.02/8.60	o 426727
26.02/8.60	o 428224
26.02/8.60	o 428315
26.02/8.60	o 428480
26.02/8.60	o 428571
26.82/8.71	o 429350
26.82/8.72	o 429441
26.82/8.74	o 429619
26.82/8.75	o 429710
26.82/8.75	o 431194
26.82/8.75	o 431285
30.05/9.13	o 431613
30.05/9.14	o 431704
31.58/9.31	o 432506
31.58/9.32	o 435253
31.58/9.32	o 435344
31.58/9.32	o 435835
31.58/9.32	o 435926
32.38/9.49	o 436091
32.38/9.49	o 436182
37.96/10.19	o 437097
38.68/10.20	o 437188
38.68/10.20	o 437679
38.68/10.20	o 437770
39.48/10.38	o 438459
39.48/10.38	o 438550
39.48/10.38	o 439130
39.48/10.40	o 439298
39.48/10.40	o 440453
39.48/10.40	o 440544
46.65/11.27	o 440966
46.65/11.27	o 441057
46.65/11.28	o 442054
46.65/11.28	o 443209
46.65/11.28	o 443377
46.65/11.28	o 444532
46.65/11.28	o 444623
46.65/11.28	o 445565
46.65/11.28	o 445656
46.65/11.28	o 446720
46.65/11.28	o 446811
49.03/11.59	o 447391
49.03/11.60	o 447559
49.03/11.60	o 448714
49.03/11.60	o 448805
63.35/13.31	o 449865
63.35/13.32	o 449956
63.35/13.32	o 449963
63.35/13.32	o 451286
63.35/13.32	o 452441
63.35/13.32	o 452532
63.35/13.32	o 452890
63.35/13.32	o 452981
63.35/13.32	o 453058
63.35/13.32	o 454213
63.35/13.32	o 454304
66.55/13.78	o 454533
66.55/13.78	o 454624
66.55/13.79	o 454983
66.55/13.80	o 455074
66.55/13.80	o 455678
66.55/13.80	o 456755
66.55/13.80	o 456846
66.55/13.80	o 457545
66.55/13.80	o 457636
66.55/13.80	o 458020
66.55/13.80	o 459343
66.55/13.80	o 459434
66.55/13.80	o 460420
66.55/13.80	o 460511
67.38/13.81	o 461115
67.38/13.81	o 462192
67.38/13.81	o 462283
67.38/13.81	o 462298
67.38/13.81	o 462664
67.38/13.81	o 462755
67.38/13.81	o 462902
67.38/13.81	o 463979
67.38/13.81	o 464070
68.15/13.90	o 464075
68.15/13.91	o 464679
68.15/13.92	o 464770
68.15/13.92	o 465756
68.15/13.92	o 465847
71.32/14.39	o 466419
72.12/14.40	o 466510
72.12/14.40	o 466873
72.12/14.40	o 467119
72.12/14.40	o 468196
72.12/14.40	o 468287
72.12/14.48	o 468891
72.12/14.48	o 468982
72.12/14.48	o 469968
72.12/14.48	o 470059
77.77/15.18	o 470124
77.77/15.18	o 470215
77.77/15.19	o 471968
77.77/15.19	o 472059
79.36/15.32	o 472224
79.36/15.32	o 472315
79.36/15.32	o 472567
79.36/15.32	o 472658
79.36/15.32	o 473149
79.36/15.32	o 473240
84.08/15.97	o 473830
84.08/15.98	o 473921
84.08/15.98	o 474867
84.08/15.98	o 474958
84.08/15.98	o 476711
84.08/15.98	o 476802
84.08/16.00	o 477495
84.08/16.00	o 477586
84.08/16.00	o 477751
84.93/16.02	o 477842
91.12/16.81	o 478094
91.12/16.82	o 478185
91.12/16.82	o 478676
91.12/16.82	o 478767
117.47/20.13	o 478997
117.47/20.14	o 479088
117.47/20.14	o 479116
117.47/20.14	o 479121
117.47/20.14	o 479479
117.47/20.15	o 479725
117.47/20.15	o 480802
117.47/20.15	o 480893
120.59/20.54	o 480909
120.59/20.54	o 481000
120.59/20.55	o 481491
120.59/20.55	o 481582
121.38/20.68	o 482194
121.38/20.68	o 482285
121.38/20.68	o 482295
129.35/21.68	o 482753
129.35/21.68	o 482844
129.35/21.69	o 483335
129.35/21.69	o 483426
131.73/22.00	o 483656
131.73/22.00	o 483747
135.71/22.41	o 484454
135.71/22.42	o 484545
135.71/22.42	o 484555
135.71/22.42	o 484586
135.71/22.42	o 484596
135.71/22.42	o 484997
135.71/22.42	o 486094
135.71/22.42	o 486104
135.71/22.42	o 486185
135.71/22.42	o 486195
145.28/23.70	o 486212
146.08/23.71	o 487276
146.08/23.71	o 487367
146.08/23.71	o 487908
146.08/23.71	o 487966
146.08/23.71	o 489063
146.08/23.71	o 489154
146.08/23.78	o 489723
146.08/23.78	o 489814
146.08/23.79	o 490756
146.08/23.79	o 491911
146.08/23.79	o 492002
146.87/23.83	o 492057
146.87/23.84	o 492349
146.87/23.84	o 492440
146.87/23.84	o 492817
146.87/23.84	o 493914
146.87/23.84	o 494082
146.87/23.84	o 495237
146.87/23.84	o 495328
146.87/23.84	o 496270
146.87/23.84	o 496361
146.87/23.84	o 497425
146.87/23.84	o 497516
149.34/24.12	o 498051
149.34/24.12	o 498142
149.34/24.12	o 498668
149.34/24.13	o 498726
149.34/24.13	o 498746
149.34/24.13	o 499823
149.34/24.13	o 499914
150.06/24.21	o 500078
150.06/24.22	o 500263
150.06/24.22	o 500431
150.06/24.22	o 501586
150.06/24.22	o 501677
150.85/24.36	o 502326
150.85/24.37	o 502417
150.85/24.37	o 502590
150.85/24.37	o 502737
150.85/24.37	o 503001
150.85/24.37	o 503021
150.85/24.37	o 504098
150.85/24.37	o 504189
150.85/24.37	o 504367
150.85/24.37	o 504458
150.85/24.37	o 504828
150.85/24.37	o 504919
150.85/24.37	o 505092
150.85/24.37	o 505239
150.85/24.38	o 505277
150.85/24.38	o 505523
150.85/24.38	o 506600
150.85/24.38	o 506691
150.85/24.38	o 506869
150.85/24.38	o 506960
164.48/26.05	o 506970
201.05/30.63	o 507010
201.05/30.64	o 507101
201.05/30.64	o 507111
201.85/30.71	o 507205
201.85/30.71	o 507215
201.85/30.71	o 507352
201.85/30.71	o 507362
201.85/30.71	o 507390
201.85/30.71	o 507636
201.85/30.71	o 508713
201.85/30.71	o 508723
201.85/30.71	o 508804
201.85/30.72	o 508814
201.85/30.72	o 508819
201.85/30.72	o 508829
201.85/30.72	o 508992
201.85/30.72	o 509139
201.85/30.72	o 509177
201.85/30.73	o 509403
201.85/30.73	o 509423
201.85/30.73	o 510500
201.85/30.73	o 510591
201.85/30.73	o 510601
201.85/30.77	o 510769
201.85/30.77	o 510779
201.85/30.77	o 510860
201.85/30.77	o 510870
213.06/32.19	o 511386
213.06/32.19	o 511477
213.06/32.20	o 511487
213.06/32.20	o 511518
213.06/32.20	o 511528
213.06/32.20	o 513026
213.06/32.21	o 513036
213.06/32.21	o 513117
213.06/32.21	o 513127
213.85/32.26	o 513158
213.85/32.28	o 513249
213.85/32.28	o 513259
213.85/32.28	o 513290
213.85/32.28	o 513300
213.85/32.28	o 513701
213.85/32.28	o 514798
213.85/32.28	o 514808
213.85/32.28	o 514889
213.85/32.28	o 514899
239.33/35.43	o 515314
239.33/35.44	o 515405
239.33/35.44	o 515415
243.27/35.92	o 515424
243.27/35.92	o 515429
243.27/35.92	o 515439
243.27/35.92	o 515955
243.27/35.92	o 516046
243.27/35.92	o 517110
243.27/35.92	o 517201
243.27/35.92	o 517211
243.27/35.94	o 517447
243.27/35.94	o 517538
243.27/35.94	o 517548
243.27/35.94	o 517697
243.27/35.94	o 517707
243.27/35.95	o 517717
243.27/35.95	o 518794
243.27/35.95	o 518804
243.27/35.95	o 518872
243.27/35.95	o 518882
243.27/35.95	o 519949
243.27/35.95	o 519959
243.27/35.95	o 520040
243.27/35.95	o 520050
243.27/35.97	o 520581
243.27/35.97	o 520659
243.27/35.97	o 521736
243.27/35.97	o 521827
243.27/35.97	o 521837
243.27/36.02	o 522411
243.27/36.02	o 522431
243.27/36.02	o 523508
243.27/36.02	o 523599
243.27/36.02	o 523609
252.12/37.09	o 524156
252.12/37.09	o 524166
252.12/37.09	o 524247
252.12/37.09	o 524257
252.12/37.09	o 524590
252.12/37.09	o 524681
252.12/37.10	o 524691
252.94/37.16	o 525008
252.94/37.16	o 525018
252.94/37.16	o 525099
252.94/37.16	o 525109
252.94/37.17	o 525649
252.94/37.17	o 525740
252.94/37.17	o 526726
252.94/37.17	o 526817
252.94/37.17	o 526827
252.94/37.17	o 527401
252.94/37.17	o 527411
252.94/37.17	o 527492
252.94/37.17	o 527502
252.94/37.17	o 527512
252.94/37.17	o 528498
252.94/37.17	o 528589
252.94/37.17	o 528599
252.94/37.19	o 528782
252.94/37.19	o 528792
252.94/37.19	o 528873
252.94/37.19	o 528883
252.94/37.19	o 529231
252.94/37.19	o 529322
252.94/37.19	o 529457
252.94/37.19	o 529477
252.94/37.19	o 530554
252.94/37.19	o 530645
252.94/37.19	o 530655
287.82/41.54	o 531776
287.82/41.55	o 531786
323.75/46.10	o 531970
323.75/46.10	o 532061
323.75/46.10	o 532071
323.75/46.10	o 533047
323.75/46.10	o 533057
323.75/46.10	o 533138
323.75/46.10	o 533148
323.75/46.10	o 533251
323.75/46.10	o 533342
323.75/46.10	o 534328
323.75/46.11	o 534419
323.75/46.11	o 534429
324.58/46.13	o 534750
324.58/46.13	o 534760
324.58/46.13	o 534841
324.58/46.13	o 534851
324.58/46.13	o 535460
324.58/46.13	o 535551
324.58/46.13	o 536537
324.58/46.13	o 536628
324.58/46.13	o 536638
324.58/46.13	o 536806
324.58/46.13	o 536816
324.58/46.13	o 536897
324.58/46.13	o 536907
324.58/46.14	o 537818
324.58/46.14	o 537909
324.58/46.14	o 537919
324.58/46.14	o 538087
324.58/46.14	o 538097
324.58/46.15	o 538178
324.58/46.15	o 538188
329.27/46.75	o 538267
329.27/46.75	o 538358
329.27/46.75	o 538493
329.27/46.75	o 538513
329.27/46.75	o 539590
329.27/46.76	o 539681
329.27/46.76	o 539691
329.27/46.77	o 539859
329.27/46.77	o 539869
329.27/46.77	o 539950
329.27/46.77	o 539960
383.38/53.58	o 540554
383.38/53.58	o 540645
383.38/53.59	o 540655
384.17/53.66	o 540738
384.17/53.67	o 540758
384.17/53.67	o 541835
384.17/53.67	o 541845
384.17/53.67	o 541926
384.17/53.67	o 541936
384.97/53.71	o 542230
384.97/53.72	o 542321
384.97/53.72	o 542331
384.97/53.72	o 542476
384.97/53.72	o 542486
384.97/53.72	o 543553
384.97/53.72	o 543563
384.97/53.72	o 543644
384.97/53.72	o 543654
384.97/53.72	o 544228
384.97/53.72	o 544319
384.97/53.72	o 545325
384.97/53.72	o 545416
384.97/53.72	o 545426
384.97/53.73	o 545594
384.97/53.73	o 545604
384.97/53.73	o 545685
384.97/53.73	o 545695
476.42/65.29	o 545965
476.42/65.29	o 545975
476.42/65.29	o 546056
476.42/65.29	o 546066
476.42/65.29	o 546830
476.42/65.29	o 546921
476.42/65.29	o 546998
476.42/65.29	o 548153
476.42/65.29	o 548244
476.42/65.29	o 548254
510.66/69.56	o 548277
510.66/69.57	o 548287
510.66/69.57	o 548866
510.66/69.57	o 548957
510.66/69.57	o 549051
510.66/69.57	o 549219
510.66/69.57	o 550374
510.66/69.57	o 550465
510.66/69.57	o 550475
510.66/69.57	o 551479
510.66/69.57	o 551570
510.66/69.57	o 551580
510.66/69.57	o 552512
510.66/69.58	o 552522
510.66/69.58	o 552603
510.66/69.58	o 552613
510.66/69.58	o 553667
510.66/69.58	o 553758
510.66/69.58	o 553768
814.24/107.76	o 554113
814.24/107.78	o 554123
814.24/107.78	o 554204
814.24/107.78	o 554214
814.24/107.78	o 554419
814.24/107.78	o 554510
814.24/107.78	o 554520
814.24/107.78	o 554648
814.24/107.78	o 554658
814.24/107.78	o 555516
814.24/107.78	o 555526
814.24/107.79	o 555607
814.24/107.79	o 555617
814.24/107.79	o 556191
814.24/107.79	o 556282
814.24/107.79	o 556292
814.24/107.79	o 557288
814.24/107.79	o 557298
814.24/107.79	o 557379
814.24/107.79	o 557389
1048.07/137.21	o 557942
1048.07/137.22	o 557952
1048.07/137.22	o 558617
1048.07/137.22	o 558627
1048.07/137.22	o 558649
1048.07/137.22	o 558659
1048.07/137.22	o 559714
1048.07/137.22	o 559724
1048.07/137.28	o 559783
1048.07/137.29	o 559793
1048.07/137.29	o 560136
1048.07/137.29	o 561291
1048.07/137.29	o 561301
1048.87/137.31	o 561539
1048.87/137.32	o 561826
1048.87/137.32	o 561836
1048.87/137.32	o 562694
1048.87/137.32	o 562704
1048.87/137.32	o 562958
1048.87/137.32	o 563143
1048.87/137.32	o 563311
1048.87/137.32	o 563598
1048.87/137.32	o 564466
1048.87/137.32	o 564476
1048.87/137.37	o 565563
1048.87/137.38	o 565573
1595.08/206.47	o 565610
1595.08/206.48	o 565620
1595.08/206.48	o 566674
1595.08/206.48	o 566765
1595.08/206.48	o 566775
1595.08/206.48	o 567334
1595.08/206.48	o 567344
1595.08/206.48	o 567502
1595.08/206.48	o 568657
1595.08/206.48	o 568667
1595.08/206.48	o 568748
1595.08/206.48	o 568758
1597.46/206.72	o 569615
1597.46/206.72	o 569706
1597.46/206.73	o 569716
1833.84/236.71	o 569747
1833.84/236.71	o 569757
1833.84/236.71	o 570824
1833.84/236.71	o 570834
1833.84/236.71	o 571210
1833.84/236.71	o 571220
1834.64/236.83	o 571921
1834.64/236.83	o 571931
1834.64/236.85	o 572307
1834.64/236.85	o 572317
2278.61/293.04	o 572529
2278.61/293.04	o 572539
2552.75/327.73	o 572617
2552.75/327.74	o 573714
2552.75/327.77	o 574637
2552.75/327.77	o 574924
2552.75/327.78	o 575792
2552.75/327.78	o 576889
3044.38/390.03	o 576911
3044.38/390.03	o 578012
3044.38/390.03	o 578234
3044.38/390.03	o 578594
3044.38/390.03	o 578816
3234.70/414.17	o 578948
3235.42/414.26	o 579116
3235.42/414.27	o 579175
3235.42/414.29	o 579397
3235.42/414.29	o 580498
3235.42/414.29	o 580720
3237.76/414.51	o 580736
3237.76/414.53	o 580755
3237.76/414.53	o 580814
3237.76/414.53	o 581036
3237.76/414.53	o 582137
3237.76/414.53	o 582359
3237.76/414.55	o 582606
3237.76/414.55	o 582828
3237.76/414.55	o 582858
3237.76/414.55	o 583085
3237.76/414.55	o 583307
3237.76/414.55	o 584408
3237.76/414.55	o 584630
3237.76/414.55	o 584689
3237.76/414.55	o 584911
3237.76/414.55	o 586012
3237.76/414.55	o 586234
3291.59/421.32	o 587383
3291.59/421.32	o 588480
3327.19/425.81	o 588626
3327.19/425.82	o 589727
3327.19/425.82	o 589949
3327.19/425.82	o 590309
3327.19/425.82	o 590531
3328.05/426.01	o 590921
3328.05/426.01	o 591143
3328.05/426.01	o 591370
3328.05/426.01	o 591592
3328.05/426.01	o 592693
3328.05/426.01	o 592915
3328.90/426.04	o 593275
3328.90/426.06	o 593497
4968.42/633.58	o 593726
4968.42/633.60	o 593948
5198.75/662.63	o 594203
5198.75/662.63	o 594425
5198.75/662.63	o 594555
5198.75/662.63	o 594777
5198.75/662.70	o 594803
5199.54/662.71	o 595025
5199.54/662.71	o 595900
5199.54/662.71	o 596122
5199.54/662.71	o 596817
5199.54/662.71	o 597002
5199.54/662.71	o 598325
5199.54/662.72	o 598547
5199.54/662.72	o 599422
5199.54/662.72	o 599644
5199.54/662.72	o 600317
5199.54/662.72	o 600539
5199.54/662.72	o 601414
5199.54/662.72	o 601636
5199.54/662.73	o 601786
5199.54/662.75	o 602008
5199.54/662.75	o 602883
5199.54/662.75	o 603105
5208.24/663.88	o 603267
5208.24/663.88	o 603398
5208.24/663.88	o 603405
5208.24/663.88	o 603912
5208.24/663.88	o 604201
5208.24/663.89	o 604264
5208.24/663.89	o 604553
5208.24/663.89	o 604775
5209.02/663.94	o 604834
5209.02/663.95	o 605123
5209.02/663.95	o 605345
5209.02/663.95	o 605409
5209.02/663.95	o 605416
5209.02/663.95	o 605990
5209.02/663.95	o 606342
5209.02/663.95	o 606564
5209.02/663.95	o 606631
5209.02/663.95	o 606853
5354.56/682.35	o 606919
5354.56/682.35	o 607075
5354.56/682.35	o 607076
5354.56/682.35	o 607720
5354.56/682.35	o 607942
5354.56/682.35	o 608009
5354.56/682.35	o 608231
5354.56/682.35	o 608361
5354.56/682.35	o 608583
7680.69/976.55	o 608734
7680.69/976.55	o 608893
7680.69/976.55	o 608956
7680.69/976.55	o 609023
7680.69/976.55	o 609245
7680.69/976.56	o 609298
7680.69/976.56	o 609361
7680.69/976.56	o 609650
7680.69/976.56	o 609872
7680.69/976.56	o 610202
7680.69/976.56	o 610554
7680.69/976.56	o 610776
7680.69/976.56	o 611350
7680.69/976.56	o 611572
7680.69/976.56	o 611702
7680.69/976.56	o 611924
7680.69/976.56	o 611991
7680.69/976.56	o 612213
7680.69/976.56	o 612858
7680.69/976.56	o 613210
7680.69/976.56	o 613499
7680.69/976.57	o 613721
7680.69/976.57	o 613877
7680.69/976.57	o 614008
7680.69/976.57	o 614015
7680.69/976.57	o 614522
7680.69/976.57	o 614811
7680.69/976.58	o 614874
7680.69/976.58	o 615163
7680.69/976.58	o 615385
7680.69/976.58	o 615501
7680.69/976.58	o 615723
7680.69/976.58	o 615790
7680.69/976.58	o 616012
7683.13/976.88	o 616204
7683.13/976.88	o 616426
7683.13/976.89	o 616600
7683.13/976.89	o 616952
7683.13/976.89	o 617241
7683.13/976.89	o 617463
7683.13/976.89	o 617516
7683.13/976.89	o 617738
7683.13/976.89	o 617868
7683.13/976.89	o 618090
7755.72/986.09	o 618129
7755.72/986.10	o 618351
7755.72/986.10	o 618467
7755.72/986.10	o 618756
7755.72/986.10	o 618978
7760.41/986.61	o 619052
7760.41/986.61	o 619274
7760.41/986.62	o 619566
7760.41/986.62	o 619855
7760.41/986.62	o 619918
7760.41/986.62	o 620207
7760.41/986.62	o 620429
7760.41/986.62	o 620545
7760.41/986.62	o 620767
7760.41/986.62	o 620834
7760.41/986.62	o 621056
10290.95/1306.26	o 621274
10290.95/1306.27	o 621341
10290.95/1306.27	o 621563
10290.95/1306.27	o 621701
10290.95/1306.27	o 622208
10290.95/1306.27	o 622497
10290.95/1306.27	o 622560
10290.95/1306.27	o 622849
10290.95/1306.27	o 623071
10290.95/1306.28	o 623137
10290.95/1306.28	o 623293
10290.95/1306.28	o 623938
10290.95/1306.28	o 624290
10290.95/1306.28	o 624512
10290.95/1306.28	o 624579
10290.95/1306.28	o 624801
10313.26/1309.06	o 624854
10313.26/1309.07	o 624917
10313.26/1309.07	o 625206
10313.26/1309.07	o 625428
10336.17/1311.90	o 625710
10336.17/1311.91	o 625999
10336.17/1311.91	o 626221
10336.17/1311.91	o 626284
10336.17/1311.91	o 626351
10336.17/1311.91	o 626573
10336.17/1311.91	o 626626
10336.17/1311.91	o 626689
10336.17/1311.91	o 626978
10336.17/1311.91	o 627200
10449.21/1326.30	o 627788
10450.00/1326.30	o 628077
10450.00/1326.30	o 628299
10450.00/1326.30	o 628362
10450.00/1326.30	o 628429
10450.00/1326.30	o 628651
10450.00/1326.30	o 628704
10450.00/1326.30	o 628767
10450.00/1326.30	o 629056
10450.00/1326.31	o 629278
12344.16/1565.44	o 629500
12344.16/1565.44	o 629563
12344.16/1565.44	o 629852
12344.16/1565.44	o 630074
12353.70/1566.70	o 630199
12354.49/1566.71	o 630266
12354.49/1566.71	o 630488
12354.49/1566.71	o 630644
12354.49/1566.71	o 630782
12354.49/1566.71	o 631289
12354.49/1566.71	o 631578
12354.49/1566.71	o 631641
12354.49/1566.71	o 631930
12354.49/1566.71	o 632152
12426.56/1575.88	o 632177
12426.56/1575.89	o 632529
12426.56/1575.89	o 632751
12426.56/1575.89	o 632818
12426.56/1575.89	o 633040
12427.34/1575.95	o 633232
12427.34/1575.95	o 633454
12427.34/1575.95	o 633610
12427.34/1575.95	o 633741
12427.34/1575.95	o 633748
12427.34/1575.95	o 634255
12427.34/1575.95	o 634607
12427.34/1575.95	o 634896
12427.34/1575.95	o 635118
12584.55/1595.77	o 635160
12587.78/1596.18	o 635226
12587.78/1596.20	o 635382
12587.78/1596.20	o 635390
12587.78/1596.20	o 636027
12587.78/1596.20	o 636249
12587.78/1596.20	o 636316
12587.78/1596.20	o 636538
12587.78/1596.20	o 636668
12587.78/1596.20	o 636890
12937.02/1640.26	o 636943
12937.02/1640.28	o 637006
12937.02/1640.28	o 637295
12937.02/1640.28	o 637517
14765.41/1871.47	o 637651
14767.00/1871.68	o 637717
14767.00/1871.69	o 637873
14767.00/1871.69	o 638058
14767.00/1871.69	o 638226
14767.00/1871.69	o 638518
14767.00/1871.69	o 638740
14767.00/1871.69	o 638807
14767.00/1871.69	o 639029
14767.00/1871.69	o 639159
14767.00/1871.69	o 639381
14785.97/1874.05	o 639573
14785.97/1874.05	o 639795
14785.97/1874.05	o 639951
14785.97/1874.05	o 640089
14785.97/1874.05	o 640596
14785.97/1874.05	o 640885
14785.97/1874.05	o 640948
14785.97/1874.05	o 641237
14785.97/1874.05	o 641459
15717.08/1991.73	o 641575
15717.08/1991.74	o 641797
15717.08/1991.74	o 641864
15717.08/1991.74	o 642086
19514.97/2472.03	o 642247
19514.97/2472.03	o 642403
19514.97/2472.03	o 642404
19514.97/2472.03	o 642534
19514.97/2472.03	o 642756
19514.97/2472.03	o 643337
19514.97/2472.03	o 643689
19514.97/2472.03	o 643911
19526.73/2473.60	o 643964
19526.73/2473.61	o 644186
19526.73/2473.61	o 644316
19526.73/2473.61	o 644538
19894.55/2520.10	s SATISFIABLE
19894.55/2520.10	v <instantiation>
19894.55/2520.10	v 	<list>
19894.55/2520.10	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]
19894.55/2520.10	v 	</list>
19894.55/2520.10	v 	<values>
19894.55/2520.10	v 		0 0 0 0 0 1 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 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 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 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 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 
19894.55/2520.10	v 	</values>
19894.55/2520.10	v </instantiation>

Verifier Data 

OK	644538

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309273-1534360373/watcher-4309273-1534360373 -o /tmp/evaluation-result-4309273-1534360373/solver-4309273-1534360373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1534352793-26274 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 889094149 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309273-1534360373.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=26941, runsolver pid=26938

[startup+0.100142 s]*
/proc/loadavg: 8.79 8.88 8.83 2/203 26961
/proc/meminfo: memFree=24879624/32770624 swapFree=67108840/67108860
[pid=26941] ppid=26938 vsize=26103420 memory=29596 CPUtime=0.11 cores=0-7
/proc/26941/stat : 26941 (java) S 26938 26941 26247 0 -1 1077944320 7347 0 0 0 10 1 0 0 20 0 20 0 253600478 26729902080 7399 33554432000 4194304 4196468 140720384686528 140720384669072 139850342211319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
/proc/26941/statm: 6525855 7399 3156 1 0 6487932 0
[pid=26941/tid=26943] ppid=26938 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/26941/task/26943/stat : 26943 (java) R 26938 26941 26247 0 -1 4202560 5380 0 0 0 8 1 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139850346414448 139850326254949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26944] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26944/stat : 26944 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849900362256 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26945] ppid=26938 vsize=26103420 memory=139950140352128 CPUtime=0 cores=0-7
/proc/26941/task/26945/stat : 26945 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849899309712 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26946] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26946/stat : 26946 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849898256656 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26947] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26947/stat : 26947 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849897204112 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26948] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26948/stat : 26948 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849896152080 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26949] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26949/stat : 26949 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849895099536 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26950] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26950/stat : 26950 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849894046480 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26951] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26951/stat : 26951 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 7445 33554432000 4194304 4196468 140720384686528 139849892993936 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26952] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26952/stat : 26952 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848615655664 139850342222466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26953] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26953/stat : 26953 (java) S 26938 26941 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848614601888 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26954] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26954/stat : 26954 (java) S 26938 26941 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848613548784 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26955] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26955/stat : 26955 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848612497360 139850342229915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26956] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26956/stat : 26956 (java) S 26938 26941 26247 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848611445488 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26957] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26957/stat : 26957 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848610392944 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26958] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26958/stat : 26958 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848609339888 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26959] ppid=26938 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/26941/task/26959/stat : 26959 (java) R 26938 26941 26247 0 -1 4202560 280 0 0 0 1 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848608287344 139850322454089 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26960] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26960/stat : 26960 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848607234528 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26961] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26961/stat : 26961 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 7445 33554432000 4194304 4196468 140720384686528 139848606182064 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 29596 KiB

[startup+0.21027 s]*
/proc/loadavg: 8.79 8.88 8.83 3/203 26961
/proc/meminfo: memFree=24865424/32770624 swapFree=67108840/67108860
[pid=26941] ppid=26938 vsize=26103420 memory=41996 CPUtime=0.31 cores=0-7
/proc/26941/stat : 26941 (java) S 26938 26941 26247 0 -1 1077944320 10645 0 0 0 29 2 0 0 20 0 20 0 253600478 26729902080 10499 33554432000 4194304 4196468 140720384686528 140720384669072 139850342211319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
/proc/26941/statm: 6525855 10499 3370 1 0 6487932 0
[pid=26941/tid=26943] ppid=26938 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/26941/task/26943/stat : 26943 (java) R 26938 26941 26247 0 -1 4202560 8230 0 0 0 18 1 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139850346435168 139849979477211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26944] ppid=26938 vsize=26103420 memory=14961 CPUtime=0 cores=0-7
/proc/26941/task/26944/stat : 26944 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849900362256 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26945] ppid=26938 vsize=26103420 memory=288370326292063872 CPUtime=0 cores=0-7
/proc/26941/task/26945/stat : 26945 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849899309712 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26946] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26946/stat : 26946 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849898256656 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26947] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26947/stat : 26947 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849897204112 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26948] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26948/stat : 26948 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849896152080 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26949] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26949/stat : 26949 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849895099536 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26950] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26950/stat : 26950 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849894046480 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26951] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26951/stat : 26951 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 10499 33554432000 4194304 4196468 140720384686528 139849892993936 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26952] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26952/stat : 26952 (java) S 26938 26941 26247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848615655664 139850342222466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26953] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26953/stat : 26953 (java) S 26938 26941 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848614601888 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26954] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26954/stat : 26954 (java) S 26938 26941 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848613548784 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26955] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26955/stat : 26955 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848612497360 139850342229915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26956] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26956/stat : 26956 (java) S 26938 26941 26247 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848611445488 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26957] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26957/stat : 26957 (java) S 26938 26941 26247 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848610392944 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26958] ppid=26938 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/26941/task/26958/stat : 26958 (java) R 26938 26941 26247 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848609340184 139850323383422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26959] ppid=26938 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/26941/task/26959/stat : 26959 (java) R 26938 26941 26247 0 -1 4202560 451 0 0 0 6 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848608281232 139850342223254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26960] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26960/stat : 26960 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848607234528 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26961] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26961/stat : 26961 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 10499 33554432000 4194304 4196468 140720384686528 139848606182064 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 41996 KiB

[startup+0.31032 s]*
/proc/loadavg: 8.79 8.88 8.83 2/203 26961
/proc/meminfo: memFree=24861268/32770624 swapFree=67108840/67108860
[pid=26941] ppid=26938 vsize=26103420 memory=45788 CPUtime=0.43 cores=0-7
/proc/26941/stat : 26941 (java) S 26938 26941 26247 0 -1 1077944320 11109 0 0 0 41 2 0 0 20 0 20 0 253600478 26729902080 11447 33554432000 4194304 4196468 140720384686528 140720384669072 139850342211319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
/proc/26941/statm: 6525855 11447 3391 1 0 6487932 0
[pid=26941/tid=26943] ppid=26938 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26941/task/26943/stat : 26943 (java) R 26938 26941 26247 0 -1 4202560 8579 0 0 0 28 1 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139850346419432 139850323585098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26944] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26944/stat : 26944 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849900362256 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26945] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26945/stat : 26945 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849899309712 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26946] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26946/stat : 26946 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849898256656 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26947] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26947/stat : 26947 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849897204112 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26948] ppid=26938 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/26941/task/26948/stat : 26948 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849896152080 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26949] ppid=26938 vsize=26103420 memory=139950033040303 CPUtime=0 cores=0-7
/proc/26941/task/26949/stat : 26949 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849895099536 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26950] ppid=26938 vsize=26103420 memory=139950033042608 CPUtime=0 cores=0-7
/proc/26941/task/26950/stat : 26950 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849894046480 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26951] ppid=26938 vsize=26103420 memory=139950033044912 CPUtime=0 cores=0-7
/proc/26941/task/26951/stat : 26951 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26729902080 11447 33554432000 4194304 4196468 140720384686528 139849892993936 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26952] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26952/stat : 26952 (java) S 26938 26941 26247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848615655664 139850342222466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26953] ppid=26938 vsize=26103420 memory=279900066096784 CPUtime=0 cores=0-7
/proc/26941/task/26953/stat : 26953 (java) S 26938 26941 26247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848614601888 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26954] ppid=26938 vsize=26103420 memory=279900066103696 CPUtime=0 cores=0-7
/proc/26941/task/26954/stat : 26954 (java) S 26938 26941 26247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253600481 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848613548784 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26955] ppid=26938 vsize=26103420 memory=279900066044976 CPUtime=0 cores=0-7
/proc/26941/task/26955/stat : 26955 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848612497360 139850342229915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26956] ppid=26938 vsize=26103420 memory=279900066117520 CPUtime=0 cores=0-7
/proc/26941/task/26956/stat : 26956 (java) S 26938 26941 26247 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848611445488 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26957] ppid=26938 vsize=26103420 memory=279900066124432 CPUtime=0.01 cores=0-7
/proc/26941/task/26957/stat : 26957 (java) S 26938 26941 26247 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848610392944 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26958] ppid=26938 vsize=26103420 memory=279900066122128 CPUtime=0.01 cores=0-7
/proc/26941/task/26958/stat : 26958 (java) S 26938 26941 26247 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848609339888 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26959] ppid=26938 vsize=26103420 memory=279900066138736 CPUtime=0.08 cores=0-7
/proc/26941/task/26959/stat : 26959 (java) S 26938 26941 26247 0 -1 1077944384 489 0 0 0 8 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848608287344 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26960] ppid=26938 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26960/stat : 26960 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848607234528 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26961] ppid=26938 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/26941/task/26961/stat : 26961 (java) S 26938 26941 26247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253600484 26729902080 11447 33554432000 4194304 4196468 140720384686528 139848606182064 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 45788 KiB

[startup+0.700879 s]
/proc/loadavg: 8.79 8.88 8.83 2/203 26961
/proc/meminfo: memFree=24836960/32770624 swapFree=67108840/67108860
[pid=26941] ppid=26938 vsize=26105488 memory=84528 CPUtime=0.99 cores=0-7
/proc/26941/stat : 26941 (java) S 26938 26941 26247 0 -1 1077944320 18124 0 0 0 94 5 0 0 20 0 20 0 253600478 26732019712 21132 33554432000 4194304 4196468 140720384686528 140720384669072 139850342211319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
/proc/26941/statm: 6526372 21132 3496 1 0 6488444 0
[pid=26941/tid=26943] ppid=26938 vsize=26105488 memory=0 CPUtime=0.68 cores=0-7
/proc/26941/task/26943/stat : 26943 (java) R 26938 26941 26247 0 -1 4202560 15055 0 0 0 64 4 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139850346437776 139850326291806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26944] ppid=26938 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26944/stat : 26944 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849900362256 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26945] ppid=26938 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26945/stat : 26945 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849899309712 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26946] ppid=26938 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/26941/task/26946/stat : 26946 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849898256656 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26947] ppid=26938 vsize=26105488 memory=10692 CPUtime=0 cores=0-7
/proc/26941/task/26947/stat : 26947 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849897204112 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26948] ppid=26938 vsize=26105488 memory=1620 CPUtime=0 cores=0-7
/proc/26941/task/26948/stat : 26948 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849896152080 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26949] ppid=26938 vsize=26105488 memory=6864 CPUtime=0 cores=0-7
/proc/26941/task/26949/stat : 26949 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849895099536 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26950] ppid=26938 vsize=26105488 memory=4548 CPUtime=0 cores=0-7
/proc/26941/task/26950/stat : 26950 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849894046480 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26951] ppid=26938 vsize=26105488 memory=15188 CPUtime=0 cores=0-7
/proc/26941/task/26951/stat : 26951 (java) S 26938 26941 26247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253600479 26732019712 21132 33554432000 4194304 4196468 140720384686528 139849892993936 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26952] ppid=26938 vsize=26105488 memory=4008 CPUtime=0 cores=0-7
/proc/26941/task/26952/stat : 26952 (java) S 26938 26941 26247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253600481 26732019712 21132 33554432000 4194304 4196468 140720384686528 139848615655664 139850342222466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0

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

/proc/26941/task/26964/stat : 26964 (java) S 26938 26941 26247 0 -1 1077944384 65828 0 0 0 247348 43 0 0 20 0 46 0 253601120 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848588533520 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26965] ppid=26938 vsize=27850524 memory=2216 CPUtime=0.06 cores=0-7
/proc/26941/task/26965/stat : 26965 (java) S 26938 26941 26247 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 46 0 253601121 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848587486992 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26966] ppid=26938 vsize=27850524 memory=3988 CPUtime=2473.72 cores=0-7
/proc/26941/task/26966/stat : 26966 (java) S 26938 26941 26247 0 -1 1077944384 67425 0 0 0 247330 42 0 0 20 0 46 0 253601124 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848586427920 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26967] ppid=26938 vsize=27850524 memory=2036 CPUtime=2476.76 cores=0-7
/proc/26941/task/26967/stat : 26967 (java) R 26938 26941 26247 0 -1 4202560 66472 0 0 0 247627 49 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848583277080 139849986105720 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26968] ppid=26938 vsize=27850524 memory=7528 CPUtime=0.05 cores=0-7
/proc/26941/task/26968/stat : 26968 (java) S 26938 26941 26247 0 -1 1077944384 513 0 0 0 5 0 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848582231184 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26969] ppid=26938 vsize=27850524 memory=800 CPUtime=0.04 cores=0-7
/proc/26941/task/26969/stat : 26969 (java) S 26938 26941 26247 0 -1 1077944384 376 0 0 0 4 0 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848581178640 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26970] ppid=26938 vsize=27850524 memory=1800 CPUtime=2473.64 cores=0-7
/proc/26941/task/26970/stat : 26970 (java) S 26938 26941 26247 0 -1 1077944384 67838 0 0 0 247314 50 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848580119568 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26971] ppid=26938 vsize=27850524 memory=916 CPUtime=2472.75 cores=0-7
/proc/26941/task/26971/stat : 26971 (java) S 26938 26941 26247 0 -1 1077944384 68233 0 0 0 247229 46 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848579067024 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26972] ppid=26938 vsize=27850524 memory=4268 CPUtime=0.01 cores=0-7
/proc/26941/task/26972/stat : 26972 (java) S 26938 26941 26247 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 46 0 253601129 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848578021008 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26973] ppid=26938 vsize=27850524 memory=4104 CPUtime=2473.38 cores=0-7
/proc/26941/task/26973/stat : 26973 (java) S 26938 26941 26247 0 -1 1077944384 65772 0 0 0 247294 44 0 0 20 0 46 0 253601130 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848576963968 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26974] ppid=26938 vsize=27850524 memory=290763849282617370 CPUtime=2472.68 cores=0-7
/proc/26941/task/26974/stat : 26974 (java) S 26938 26941 26247 0 -1 1077944384 69718 0 0 0 247224 44 0 0 20 0 46 0 253601131 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848575908000 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26975] ppid=26938 vsize=27850524 memory=288230596050944315 CPUtime=2474.63 cores=0-7
/proc/26941/task/26975/stat : 26975 (java) S 26938 26941 26247 0 -1 1077944384 69359 0 0 0 247419 44 0 0 20 0 46 0 253601133 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848574856848 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26976] ppid=26938 vsize=27850524 memory=16101468159609437 CPUtime=0.01 cores=0-7
/proc/26941/task/26976/stat : 26976 (java) S 26938 26941 26247 0 -1 1077944384 666 0 0 0 1 0 0 0 20 0 46 0 253601210 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848571675792 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26977] ppid=26938 vsize=27850524 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/26941/task/26977/stat : 26977 (java) S 26938 26941 26247 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 46 0 253601211 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848570623248 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26978] ppid=26938 vsize=27850524 memory=916 CPUtime=0.01 cores=0-7
/proc/26941/task/26978/stat : 26978 (java) S 26938 26941 26247 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 46 0 253601213 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848569570192 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26979] ppid=26938 vsize=27850524 memory=4268 CPUtime=0.01 cores=0-7
/proc/26941/task/26979/stat : 26979 (java) S 26938 26941 26247 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 46 0 253601214 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848568517648 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26980] ppid=26938 vsize=27850524 memory=2558220 CPUtime=0.01 cores=0-7
/proc/26941/task/26980/stat : 26980 (java) S 26938 26941 26247 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 46 0 253601215 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848567465616 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26981] ppid=26938 vsize=27850524 memory=6864 CPUtime=0.01 cores=0-7
/proc/26941/task/26981/stat : 26981 (java) S 26938 26941 26247 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 46 0 253601216 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848566413072 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26982] ppid=26938 vsize=27850524 memory=4548 CPUtime=0.01 cores=0-7
/proc/26941/task/26982/stat : 26982 (java) S 26938 26941 26247 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 46 0 253601216 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848189826448 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26983] ppid=26938 vsize=27850524 memory=15188 CPUtime=0.01 cores=0-7
/proc/26941/task/26983/stat : 26983 (java) S 26938 26941 26247 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 46 0 253601216 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848188773904 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26984] ppid=26938 vsize=27850524 memory=4008 CPUtime=0.01 cores=0-7
/proc/26941/task/26984/stat : 26984 (java) S 26938 26941 26247 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 46 0 253601216 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848187720848 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26985] ppid=26938 vsize=27850524 memory=39084 CPUtime=0.01 cores=0-7
/proc/26941/task/26985/stat : 26985 (java) S 26938 26941 26247 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 46 0 253601218 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848186668304 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26986] ppid=26938 vsize=27850524 memory=16320 CPUtime=0.01 cores=0-7
/proc/26941/task/26986/stat : 26986 (java) S 26938 26941 26247 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 46 0 253601221 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848185615248 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26987] ppid=26938 vsize=27850524 memory=1720 CPUtime=0.01 cores=0-7
/proc/26941/task/26987/stat : 26987 (java) S 26938 26941 26247 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 46 0 253601223 28518936576 639555 33554432000 4194304 4196468 140720384686528 139848184562704 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
Current children cumulated CPU time: 19894.6 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 2558220 KiB

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

[startup+2520.23 s]
# the end of solver process 26941 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19886.4 s, system=9.74591 s

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

[startup+2520.21 s]
/proc/loadavg: 9.07 8.77 8.78 10/230 27035
/proc/meminfo: memFree=22342696/32770624 swapFree=67108840/67108860
[pid=26941] ppid=26938 vsize=27984680 memory=2559104 CPUtime=19896 cores=0-7
/proc/26941/stat : 26941 (java) S 26938 26941 26247 0 -1 1077944320 1670174 0 0 0 1988631 972 0 0 20 0 47 0 253600478 28656312320 639776 33554432000 4194304 4196468 140720384686528 140720384669072 139850342211319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
/proc/26941/statm: 6996170 639776 3624 1 0 6957721 0
[pid=26941/tid=26943] ppid=26938 vsize=27984680 memory=303430244793319739 CPUtime=6.39 cores=0-7
/proc/26941/task/26943/stat : 26943 (java) S 26938 26941 26247 0 -1 1077944384 22352 0 0 0 631 8 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139850346448784 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26944] ppid=26938 vsize=27984680 memory=16101468159609437 CPUtime=9.81 cores=0-7
/proc/26941/task/26944/stat : 26944 (java) S 26938 26941 26247 0 -1 1077944384 104700 0 0 0 916 65 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849900362256 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26945] ppid=26938 vsize=27984680 memory=1784 CPUtime=9.8 cores=0-7
/proc/26941/task/26945/stat : 26945 (java) S 26938 26941 26247 0 -1 1077944384 104467 0 0 0 915 65 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849899309712 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26946] ppid=26938 vsize=27984680 memory=2558220 CPUtime=9.74 cores=0-7
/proc/26941/task/26946/stat : 26946 (java) S 26938 26941 26247 0 -1 1077944384 102363 0 0 0 907 67 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849898256656 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26947] ppid=26938 vsize=27984680 memory=1224 CPUtime=9.78 cores=0-7
/proc/26941/task/26947/stat : 26947 (java) S 26938 26941 26247 0 -1 1077944384 105227 0 0 0 915 63 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849897204112 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26948] ppid=26938 vsize=27984680 memory=1828 CPUtime=9.77 cores=0-7
/proc/26941/task/26948/stat : 26948 (java) S 26938 26941 26247 0 -1 1077944384 106853 0 0 0 916 61 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849896152080 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26949] ppid=26938 vsize=27984680 memory=800 CPUtime=9.79 cores=0-7
/proc/26941/task/26949/stat : 26949 (java) S 26938 26941 26247 0 -1 1077944384 101513 0 0 0 914 65 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849895099536 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26950] ppid=26938 vsize=27984680 memory=1800 CPUtime=9.79 cores=0-7
/proc/26941/task/26950/stat : 26950 (java) S 26938 26941 26247 0 -1 1077944384 102512 0 0 0 913 66 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849894046480 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26951] ppid=26938 vsize=27984680 memory=916 CPUtime=9.77 cores=0-7
/proc/26941/task/26951/stat : 26951 (java) S 26938 26941 26247 0 -1 1077944384 100770 0 0 0 910 67 0 0 20 0 47 0 253600479 28656312320 639776 33554432000 4194304 4196468 140720384686528 139849892993936 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26952] ppid=26938 vsize=27984680 memory=6791534058613427641 CPUtime=8.94 cores=0-7
/proc/26941/task/26952/stat : 26952 (java) S 26938 26941 26247 0 -1 1077944384 182149 0 0 0 776 118 0 0 20 0 47 0 253600481 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848615655664 139850342222466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26953] ppid=26938 vsize=27984680 memory=4104 CPUtime=0 cores=0-7
/proc/26941/task/26953/stat : 26953 (java) S 26938 26941 26247 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 47 0 253600481 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848614601952 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26954] ppid=26938 vsize=27984680 memory=1408 CPUtime=0 cores=0-7
/proc/26941/task/26954/stat : 26954 (java) S 26938 26941 26247 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 47 0 253600481 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848613548800 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26955] ppid=26938 vsize=27984680 memory=3500 CPUtime=0 cores=0-7
/proc/26941/task/26955/stat : 26955 (java) S 26938 26941 26247 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848612497360 139850342229915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26956] ppid=26938 vsize=27984680 memory=303430223234596890 CPUtime=1.72 cores=0-7
/proc/26941/task/26956/stat : 26956 (java) R 26938 26941 26247 0 -1 4202560 12016 0 0 0 170 2 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848611445248 139850323755407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26957] ppid=26938 vsize=27984680 memory=288230596050944315 CPUtime=1.54 cores=0-7
/proc/26941/task/26957/stat : 26957 (java) S 26938 26941 26247 0 -1 1077944384 8773 0 0 0 153 1 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848610392944 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26958] ppid=26938 vsize=27984680 memory=16101468159609437 CPUtime=1.78 cores=0-7
/proc/26941/task/26958/stat : 26958 (java) S 26938 26941 26247 0 -1 1077944384 10705 0 0 0 176 2 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848609332912 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26959] ppid=26938 vsize=27984680 memory=2372 CPUtime=1.17 cores=0-7
/proc/26941/task/26959/stat : 26959 (java) R 26938 26941 26247 0 -1 4202560 20759 0 0 0 113 4 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848608285136 139850342223254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26960] ppid=26938 vsize=27984680 memory=1532 CPUtime=0 cores=0-7
/proc/26941/task/26960/stat : 26960 (java) S 26938 26941 26247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848607234528 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26961] ppid=26938 vsize=27984680 memory=928 CPUtime=0.72 cores=0-7
/proc/26941/task/26961/stat : 26961 (java) S 26938 26941 26247 0 -1 1077944384 9609 0 0 0 13 59 0 0 20 0 47 0 253600484 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848606182064 139850342222466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26962] ppid=26938 vsize=27984680 memory=2216 CPUtime=0.03 cores=0-7
/proc/26941/task/26962/stat : 26962 (java) S 26938 26941 26247 0 -1 1077944384 2709 0 0 0 2 1 0 0 20 0 47 0 253601082 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848594837968 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26964] ppid=26938 vsize=27984680 memory=2036 CPUtime=2474.07 cores=0-7
/proc/26941/task/26964/stat : 26964 (java) R 26938 26941 26247 0 -1 4202560 65828 0 0 0 247364 43 0 0 20 0 47 0 253601120 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848588533520 139849986108163 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26965] ppid=26938 vsize=27984680 memory=7528 CPUtime=0.06 cores=0-7
/proc/26941/task/26965/stat : 26965 (java) S 26938 26941 26247 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 47 0 253601121 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848587486992 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26966] ppid=26938 vsize=27984680 memory=800 CPUtime=2473.89 cores=0-7
/proc/26941/task/26966/stat : 26966 (java) R 26938 26941 26247 0 -1 4202560 67427 0 0 0 247347 42 0 0 20 0 47 0 253601124 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848586427920 139849980530629 0 4 0 16800975 0 0 0 -1 6 0 0 39 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26967] ppid=26938 vsize=27984680 memory=1800 CPUtime=2476.93 cores=0-7
/proc/26941/task/26967/stat : 26967 (java) R 26938 26941 26247 0 -1 1077944384 66473 0 0 0 247644 49 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848583278224 139850342221525 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26968] ppid=26938 vsize=27984680 memory=916 CPUtime=0.05 cores=0-7
/proc/26941/task/26968/stat : 26968 (java) S 26938 26941 26247 0 -1 1077944384 541 0 0 0 5 0 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848582231184 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26969] ppid=26938 vsize=27984680 memory=4268 CPUtime=0.05 cores=0-7
/proc/26941/task/26969/stat : 26969 (java) S 26938 26941 26247 0 -1 1077944384 503 0 0 0 5 0 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848581178640 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26970] ppid=26938 vsize=27984680 memory=4644 CPUtime=2473.81 cores=0-7
/proc/26941/task/26970/stat : 26970 (java) R 26938 26941 26247 0 -1 4202560 67838 0 0 0 247331 50 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848580119704 139849987722277 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26971] ppid=26938 vsize=27984680 memory=2558220 CPUtime=2472.92 cores=0-7
/proc/26941/task/26971/stat : 26971 (java) R 26938 26941 26247 0 -1 4202560 68234 0 0 0 247246 46 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848579065552 139849986106410 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26972] ppid=26938 vsize=27984680 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/26941/task/26972/stat : 26972 (java) S 26938 26941 26247 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 47 0 253601129 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848578021008 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26973] ppid=26938 vsize=27984680 memory=4126316290023845779 CPUtime=2473.56 cores=0-7
/proc/26941/task/26973/stat : 26973 (java) R 26938 26941 26247 0 -1 4202560 65773 0 0 0 247312 44 0 0 20 0 47 0 253601130 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848576961192 139849986105751 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26974] ppid=26938 vsize=27984680 memory=3500 CPUtime=2472.85 cores=0-7
/proc/26941/task/26974/stat : 26974 (java) R 26938 26941 26247 0 -1 4202560 69719 0 0 0 247241 44 0 0 20 0 47 0 253601131 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848575909392 139849986105208 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26975] ppid=26938 vsize=27984680 memory=6791534058613427641 CPUtime=2474.79 cores=0-7
/proc/26941/task/26975/stat : 26975 (java) R 26938 26941 26247 0 -1 4202560 69360 0 0 0 247435 44 0 0 20 0 47 0 253601133 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848574855592 139849986105174 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26976] ppid=26938 vsize=27984680 memory=1100 CPUtime=0.02 cores=0-7
/proc/26941/task/26976/stat : 26976 (java) R 26938 26941 26247 0 -1 4202560 705 0 0 0 2 0 0 0 20 0 47 0 253601210 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848571671056 140720385468808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26977] ppid=26938 vsize=27984680 memory=1828 CPUtime=0.02 cores=0-7
/proc/26941/task/26977/stat : 26977 (java) S 26938 26941 26247 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 47 0 253601211 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848570623248 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26978] ppid=26938 vsize=27984680 memory=5728 CPUtime=0.01 cores=0-7
/proc/26941/task/26978/stat : 26978 (java) S 26938 26941 26247 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 47 0 253601213 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848569570192 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26979] ppid=26938 vsize=27984680 memory=1408 CPUtime=0.01 cores=0-7
/proc/26941/task/26979/stat : 26979 (java) S 26938 26941 26247 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 47 0 253601214 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848568517648 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26980] ppid=26938 vsize=27984680 memory=1092 CPUtime=0.01 cores=0-7
/proc/26941/task/26980/stat : 26980 (java) S 26938 26941 26247 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 47 0 253601215 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848567465616 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26981] ppid=26938 vsize=27984680 memory=2558220 CPUtime=0.02 cores=0-7
/proc/26941/task/26981/stat : 26981 (java) S 26938 26941 26247 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 47 0 253601216 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848566413072 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26982] ppid=26938 vsize=27984680 memory=2558220 CPUtime=0.02 cores=0-7
/proc/26941/task/26982/stat : 26982 (java) R 26938 26941 26247 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 47 0 253601216 28656312320 639776 33554432000 4194304 4196468 140720384686528 139848189826448 139850342221525 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26983] ppid=26938 vsize=27984680 memory=2558220 CPUtime=0.01 cores=0-7
/proc/26941/task/26983/stat : 26983 (java) S 26938 26941 26247 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 47 0 253601216 28656312320 639755 33554432000 4194304 4196468 140720384686528 139848188773904 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26984] ppid=26938 vsize=27984680 memory=2558220 CPUtime=0.01 cores=0-7
/proc/26941/task/26984/stat : 26984 (java) S 26938 26941 26247 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 47 0 253601216 28656312320 639755 33554432000 4194304 4196468 140720384686528 139848187720848 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26985] ppid=26938 vsize=27984680 memory=6864 CPUtime=0.01 cores=0-7
/proc/26941/task/26985/stat : 26985 (java) S 26938 26941 26247 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 46 0 253601218 28656312320 639755 33554432000 4194304 4196468 140720384686528 139848186668304 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26986] ppid=26938 vsize=27984680 memory=4548 CPUtime=0.01 cores=0-7
/proc/26941/task/26986/stat : 26986 (java) S 26938 26941 26247 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 46 0 253601221 28656312320 639755 33554432000 4194304 4196468 140720384686528 139848185615248 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
[pid=26941/tid=26987] ppid=26938 vsize=27984680 memory=15188 CPUtime=0.01 cores=0-7
/proc/26941/task/26987/stat : 26987 (java) S 26938 26941 26247 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 46 0 253601223 28656312320 639755 33554432000 4194304 4196468 140720384686528 139848184562704 139850342221525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38502400 140720384689230 140720384689413 140720384689413 140720384692175 0
Current children cumulated CPU time: 19896 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 2559104 KiB

Child status: 143
Real time (s): 2520.23
CPU time (s): 19896.2
CPU user time (s): 19886.4
CPU system time (s): 9.74591
CPU usage (%): 789.457
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 2559920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19886.4
system time used= 9.74591
maximum resident set size= 2559920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1670232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 831529
involuntary context switches= 445364


# summary of solver processes directly reported to runsolver:
#   pid: 26941
#   total CPU time (s): 19896.2
#   total CPU user time (s): 19886.4
#   total CPU system time (s): 9.74591

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.8376 second user time and 36.0797 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-15 21:12:53
IDJOB=4309273
IDBENCH=141147
IDSOLVER=2793
FILE ID=node135/4309273-1534360373
RUNJOBID= node135-1534352793-26274
PBS_JOBID= 21038254
Free space on /tmp= 49628 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309273-1534360373/watcher-4309273-1534360373 -o /tmp/evaluation-result-4309273-1534360373/solver-4309273-1534360373 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1534352793-26274 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 889094149 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309273-1534360373.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=889094149

node135.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.50
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.50
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.50
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.50
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:        24893436 kB
MemAvailable:   31894384 kB
Buffers:          171976 kB
Cached:          7074180 kB
SwapCached:           20 kB
Active:          3944844 kB
Inactive:        3355792 kB
Active(anon):       3716 kB
Inactive(anon):   111460 kB
Active(file):    3941128 kB
Inactive(file):  3244332 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             35952 kB
Writeback:             0 kB
AnonPages:        101900 kB
Mapped:            58180 kB
Shmem:             57996 kB
Slab:             271632 kB
SReclaimable:     243948 kB
SUnreclaim:        27684 kB
KernelStack:        3424 kB
PageTables:         5504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 49592 MiB
End job on node135 at 2018-08-15 21:54:53