Trace number 4298531

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
The dodo solver 2018-04-29SAT (TO)726732 2520.1 2508.93

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2415777
Best CPU time to get the best result obtained on this benchmark2520.15
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.70/1.53	o 0
2.70/1.54	o 8430
2.70/1.54	o 14542
2.70/1.54	o 15112
2.70/1.55	o 23542
2.70/1.55	o 29654
2.70/1.55	o 30243
2.70/1.55	o 38673
2.70/1.56	o 44785
2.70/1.56	o 45355
2.70/1.56	o 53785
2.70/1.56	o 59897
2.70/1.56	o 60792
2.70/1.56	o 61362
2.70/1.56	o 69792
2.70/1.57	o 75904
2.70/1.57	o 77262
2.70/1.57	o 83374
2.70/1.57	o 84269
2.70/1.57	o 84839
2.70/1.57	o 93269
2.70/1.57	o 99381
2.70/1.58	o 101622
2.70/1.58	o 107734
2.70/1.58	o 109092
2.70/1.58	o 115204
2.70/1.58	o 116099
2.70/1.58	o 116669
2.70/1.58	o 125099
2.70/1.58	o 131211
2.70/1.59	o 136198
2.70/1.59	o 142310
2.70/1.59	o 148700
2.70/1.59	o 154812
2.70/1.59	o 159799
2.70/1.59	o 165911
2.91/1.60	o 167167
2.91/1.60	o 173279
2.91/1.60	o 173361
2.91/1.60	o 174617
2.91/1.60	o 180729
2.91/1.61	o 185661
2.91/1.61	o 191773
2.91/1.61	o 193029
2.91/1.61	o 199141
2.91/1.61	o 199223
2.91/1.61	o 200479
2.91/1.61	o 206591
2.91/1.63	o 209584
2.91/1.63	o 210840
2.91/1.63	o 216952
2.91/1.63	o 217034
2.91/1.63	o 218290
2.91/1.63	o 224402
2.91/1.66	o 227423
2.91/1.68	o 227889
2.91/1.68	o 234001
2.91/1.68	o 237022
3.18/1.72	o 241857
3.18/1.73	o 244878
3.18/1.73	o 245344
3.18/1.73	o 251456
3.18/1.74	o 254477
3.18/1.77	o 260364
3.18/1.77	o 263385
3.36/1.82	o 263928
3.36/1.83	o 266911
3.36/1.83	o 269932
3.36/1.89	o 272473
3.48/1.95	o 272866
3.48/1.95	o 275344
3.48/1.95	o 275887
3.48/1.96	o 278690
3.48/1.96	o 281231
3.48/1.96	o 281774
3.48/1.96	o 284252
3.48/1.97	o 284795
3.59/2.07	o 285242
3.59/2.07	o 287783
3.59/2.07	o 288263
3.59/2.07	o 290804
3.59/2.08	o 291347
3.59/2.11	o 293816
3.69/2.12	o 295032
4.00/2.42	o 296378
4.00/2.44	o 297594
4.20/2.62	o 297859
4.20/2.62	o 300400
4.30/2.80	o 301616
4.71/3.18	o 301959
4.80/3.28	o 302048
4.80/3.28	o 302391
4.90/3.32	o 303264
4.90/3.32	o 303607
5.00/3.42	o 304733
5.00/3.42	o 307274
5.00/3.43	o 307754
5.00/3.43	o 310295
5.00/3.44	o 310838
5.00/3.44	o 311181
5.10/3.53	o 311285
5.10/3.53	o 313826
5.10/3.53	o 314306
5.10/3.53	o 316847
5.10/3.55	o 317390
5.10/3.55	o 317733
5.10/3.55	o 319859
5.10/3.55	o 320202
5.10/3.59	o 321075
5.10/3.59	o 321418
5.30/3.79	o 322202
5.30/3.80	o 324743
5.40/3.80	o 325223
5.40/3.80	o 327764
5.50/3.92	o 328307
5.50/3.92	o 328650
5.50/3.93	o 330776
5.50/3.93	o 331119
5.50/3.94	o 331992
5.50/3.94	o 332335
5.72/4.15	o 332664
5.72/4.15	o 335205
5.81/4.24	o 335676
5.81/4.24	o 338217
5.91/4.30	o 338447
5.91/4.37	o 338551
5.91/4.37	o 341092
5.91/4.37	o 341572
5.91/4.37	o 344113
5.91/4.39	o 344447
5.91/4.39	o 344584
5.91/4.39	o 347125
5.91/4.39	o 347468
6.09/4.44	o 348341
6.09/4.44	o 348684
6.71/4.75	o 349628
6.71/4.76	o 350171
6.71/4.76	o 350514
6.71/4.77	o 352640
6.71/4.77	o 352983
6.82/4.84	o 353856
6.82/4.84	o 354199
6.92/4.96	o 354819
6.92/4.96	o 355299
6.92/4.96	o 357840
6.92/4.97	o 358174
6.92/4.97	o 358311
6.92/4.97	o 360852
6.92/4.97	o 361195
6.92/4.99	o 362068
6.92/4.99	o 362411
7.03/5.07	o 364418
7.03/5.07	o 364898
7.03/5.07	o 367439
7.03/5.08	o 367773
7.03/5.09	o 367910
7.03/5.09	o 370451
7.03/5.09	o 370794
7.13/5.13	o 371667
7.13/5.13	o 372010
7.42/5.49	o 372990
7.42/5.49	o 375531
7.42/5.50	o 376011
7.52/5.50	o 378552
7.52/5.56	o 379542
7.52/5.56	o 382083
7.52/5.57	o 382563
7.52/5.57	o 385104
7.72/5.74	o 385647
7.72/5.78	o 388116
7.82/5.88	o 390551
7.82/5.89	o 391031
7.82/5.89	o 393572
7.92/5.90	o 394115
7.92/5.98	o 396102
7.92/5.98	o 397103
7.92/5.99	o 397583
7.92/5.99	o 400124
8.04/6.03	o 400667
8.04/6.05	o 403136
8.23/6.27	o 404352
8.95/6.95	o 406080
8.95/6.99	o 407296
9.06/7.09	o 407618
9.16/7.18	o 408161
9.35/7.32	o 410148
9.35/7.32	o 411149
9.35/7.32	o 411226
9.35/7.32	o 411629
9.35/7.32	o 414170
9.46/7.40	o 414238
9.46/7.41	o 414641
9.46/7.41	o 417182
9.46/7.47	o 418398
10.65/8.61	o 420902
10.75/8.73	o 422118
12.76/10.74	o 423378
12.76/10.74	o 424379
12.76/10.74	o 424456
12.76/10.74	o 424859
12.76/10.74	o 427400
12.76/10.78	o 427468
12.76/10.78	o 427871
12.76/10.78	o 430412
13.07/11.06	o 431628
20.84/18.70	o 431631
20.84/18.71	o 432360
20.84/18.71	o 433225
20.84/18.71	o 433972
20.84/18.71	o 434383
20.84/18.71	o 435130
20.84/18.71	o 436945
20.84/18.71	o 437692
20.84/18.71	o 438333
20.84/18.71	o 439080
20.84/18.72	o 439244
20.84/18.72	o 439991
20.94/18.89	o 440580
20.94/18.89	o 441221
20.94/18.89	o 441968
20.94/18.89	o 442132
20.94/18.89	o 442879
22.67/20.57	o 443414
22.67/20.57	o 444161
22.67/20.57	o 444325
22.67/20.57	o 445072
23.91/21.72	o 445185
25.92/23.76	o 445255
25.92/23.76	o 445368
25.92/23.76	o 445407
26.02/23.82	o 445421
26.02/23.82	o 445534
26.02/23.82	o 445880
26.02/23.82	o 445993
26.52/24.31	o 446197
26.52/24.31	o 446944
26.52/24.31	o 448390
26.52/24.32	o 449137
26.52/24.32	o 449250
26.52/24.32	o 449778
26.52/24.32	o 450525
26.52/24.32	o 450638
26.52/24.32	o 450689
26.52/24.32	o 451436
26.52/24.32	o 451549
26.52/24.33	o 451785
26.52/24.33	o 451898
26.52/24.33	o 452244
26.52/24.33	o 452357
26.52/24.35	o 452670
26.52/24.35	o 452783
26.62/24.48	o 453076
26.62/24.48	o 453189
26.62/24.48	o 453223
26.62/24.49	o 454557
26.62/24.49	o 455304
26.62/24.49	o 456750
26.62/24.49	o 457497
26.62/24.49	o 457610
26.62/24.49	o 458138
26.62/24.49	o 458885
26.62/24.49	o 458998
26.62/24.49	o 459049
26.62/24.49	o 459796
26.62/24.49	o 459909
26.72/24.50	o 460222
26.72/24.50	o 460335
26.72/24.51	o 460604
26.72/24.51	o 460717
26.72/24.51	o 461030
26.72/24.51	o 461143
26.83/24.64	o 461155
26.83/24.64	o 461902
26.83/24.64	o 462015
26.83/24.65	o 462379
26.83/24.65	o 462492
26.83/24.65	o 462543
26.83/24.65	o 463290
26.83/24.65	o 463403
26.83/24.65	o 463542
26.83/24.65	o 463655
26.83/24.65	o 464019
26.83/24.65	o 464132
26.83/24.65	o 464183
26.83/24.65	o 464930
26.83/24.65	o 465043
26.83/24.66	o 465077
26.83/24.66	o 466411
26.83/24.66	o 467158
26.83/24.66	o 468604
26.83/24.66	o 469351
26.83/24.66	o 469464
26.83/24.66	o 469515
26.83/24.66	o 470262
26.83/24.66	o 470375
26.83/24.66	o 470739
26.83/24.66	o 470852
26.83/24.66	o 470903
26.83/24.66	o 471650
26.83/24.66	o 471763
26.83/24.68	o 472050
26.83/24.68	o 472163
26.83/24.68	o 472214
26.83/24.68	o 472961
26.83/24.68	o 473074
26.93/24.71	o 473310
26.93/24.71	o 473423
26.93/24.71	o 473769
26.93/24.71	o 473882
27.03/24.88	o 474461
27.03/24.88	o 474574
27.03/24.88	o 474938
27.03/24.88	o 475051
27.03/24.88	o 475102
27.03/24.88	o 475849
27.03/24.88	o 475962
27.03/24.89	o 476198
27.03/24.89	o 476311
27.03/24.89	o 476657
27.03/24.89	o 476770
34.35/32.16	o 478227
34.35/32.16	o 478340
34.35/32.16	o 478530
34.35/32.16	o 478643
34.35/32.16	o 478727
34.35/32.16	o 478840
34.35/32.16	o 479030
34.35/32.16	o 479143
34.35/32.17	o 479507
34.35/32.17	o 479620
34.35/32.17	o 479810
34.35/32.17	o 479923
34.35/32.17	o 480007
34.35/32.17	o 480120
34.35/32.17	o 480310
34.35/32.17	o 480423
34.35/32.17	o 482069
34.35/32.17	o 482182
34.35/32.17	o 482372
34.35/32.17	o 482485
34.35/32.17	o 482569
34.35/32.17	o 482682
34.35/32.17	o 482872
34.35/32.17	o 482985
34.35/32.17	o 484262
34.35/32.17	o 484375
34.35/32.17	o 484565
34.35/32.17	o 484678
34.35/32.17	o 484762
34.35/32.17	o 484875
34.35/32.17	o 485065
34.35/32.18	o 485178
34.64/32.40	o 485467
34.64/32.40	o 485580
34.64/32.40	o 485770
34.64/32.40	o 485883
34.64/32.40	o 485967
34.64/32.40	o 486080
34.64/32.40	o 486270
34.64/32.41	o 486383
36.16/34.01	o 486476
36.27/34.01	o 486589
36.27/34.01	o 487737
36.27/34.01	o 487850
36.27/34.01	o 487994
36.27/34.01	o 488107
36.27/34.01	o 488173
36.27/34.01	o 488363
36.27/34.01	o 488476
36.27/34.02	o 489753
36.27/34.02	o 489866
36.27/34.02	o 490056
36.27/34.02	o 490169
36.27/34.02	o 490253
36.27/34.02	o 490366
36.27/34.02	o 490556
36.27/34.02	o 490669
36.27/34.03	o 490850
36.27/34.03	o 490963
36.27/34.03	o 491047
36.27/34.04	o 491160
36.27/34.04	o 491350
36.27/34.04	o 491463
36.27/34.06	o 491571
36.27/34.06	o 491761
36.27/34.06	o 491874
36.27/34.06	o 492055
36.27/34.06	o 492168
36.27/34.06	o 492252
36.27/34.06	o 492365
36.27/34.06	o 492555
36.27/34.06	o 492668
36.66/34.49	o 493923
36.66/34.49	o 494036
36.66/34.49	o 494226
36.66/34.49	o 494339
36.66/34.49	o 494423
36.66/34.49	o 494536
36.66/34.49	o 494726
36.66/34.49	o 494839
36.66/34.49	o 495203
36.66/34.49	o 495316
36.66/34.50	o 495506
36.66/34.50	o 495619
36.66/34.50	o 495703
36.76/34.50	o 495816
36.76/34.50	o 496006
36.76/34.50	o 496119
36.76/34.50	o 497765
36.76/34.50	o 497878
36.76/34.50	o 498068
36.76/34.50	o 498181
36.76/34.50	o 498265
36.76/34.50	o 498378
36.76/34.50	o 498568
36.76/34.50	o 498681
36.76/34.50	o 499958
36.76/34.50	o 500071
36.76/34.50	o 500261
36.76/34.50	o 500374
36.76/34.50	o 500458
36.76/34.50	o 500571
36.76/34.50	o 500761
36.76/34.50	o 500874
36.76/34.51	o 501163
36.76/34.51	o 501276
36.76/34.51	o 501466
36.76/34.51	o 501579
36.76/34.51	o 501663
36.76/34.51	o 501776
36.76/34.51	o 501966
36.76/34.51	o 502079
36.76/34.58	o 502260
36.76/34.59	o 502373
36.76/34.59	o 502457
36.76/34.59	o 502570
36.76/34.59	o 502760
36.76/34.59	o 502873
37.56/35.31	o 502888
37.56/35.31	o 503275
37.56/35.31	o 503388
37.56/35.31	o 503578
37.56/35.31	o 503691
37.56/35.31	o 503757
37.56/35.31	o 503947
37.56/35.31	o 504060
37.56/35.31	o 505337
37.56/35.31	o 505450
37.56/35.31	o 505640
37.56/35.31	o 505753
37.56/35.31	o 505837
37.56/35.31	o 505950
37.56/35.31	o 506140
37.56/35.32	o 506253
37.56/35.33	o 506434
37.56/35.33	o 506547
37.56/35.33	o 506631
37.56/35.33	o 506744
37.56/35.33	o 506934
37.56/35.33	o 507047
37.56/35.35	o 507155
37.56/35.35	o 507345
37.56/35.35	o 507458
37.56/35.35	o 507639
37.56/35.35	o 507752
37.56/35.35	o 507836
37.56/35.35	o 507949
37.56/35.36	o 508139
37.56/35.36	o 508252
38.16/35.93	o 508337
38.16/35.93	o 508450
38.16/35.93	o 508814
38.16/35.93	o 508927
38.16/35.93	o 509117
38.16/35.93	o 509230
38.16/35.93	o 509314
38.16/35.93	o 509427
38.16/35.93	o 509617
38.16/35.93	o 509730
38.16/35.94	o 510115
38.16/35.94	o 510228
38.16/35.94	o 511376
38.16/35.94	o 511489
38.16/35.94	o 511679
38.16/35.94	o 511792
38.16/35.94	o 511876
38.16/35.94	o 511989
38.16/35.94	o 512179
38.16/35.94	o 512292
38.16/35.94	o 512308
38.16/35.94	o 512421
38.16/35.94	o 512611
38.16/35.94	o 512724
38.16/35.94	o 512808
38.16/35.94	o 512921
38.16/35.94	o 513111
38.16/35.94	o 513224
38.16/35.94	o 513569
38.16/35.94	o 513682
38.16/35.94	o 513872
38.16/35.94	o 513985
38.16/35.94	o 514069
38.16/35.95	o 514182
38.16/35.95	o 514372
38.16/35.95	o 514485
38.16/35.96	o 514666
38.16/35.96	o 514779
38.16/35.96	o 514863
38.16/35.96	o 514976
38.16/35.96	o 515166
38.16/35.96	o 515279
44.67/42.43	o 515839
44.67/42.43	o 516195
44.67/42.43	o 518789
44.67/42.43	o 519630
45.18/42.97	o 521516
45.18/42.97	o 522357
46.29/44.09	o 523948
46.29/44.09	o 524789
48.68/46.45	o 525461
48.68/46.45	o 527052
48.68/46.45	o 527893
48.68/46.47	o 528411
48.68/46.47	o 529252
48.68/46.47	o 530843
48.68/46.47	o 531684
53.60/51.33	o 531820
54.80/52.51	o 532771
54.80/52.51	o 533612
54.80/52.51	o 533748
54.80/52.55	o 533997
54.80/52.55	o 534021
54.80/52.55	o 536562
54.80/52.55	o 537403
54.80/52.55	o 537539
55.40/53.19	o 538029
55.40/53.19	o 538165
55.49/53.20	o 539186
55.49/53.20	o 540027
55.49/53.20	o 540163
55.49/53.20	o 540421
55.49/53.20	o 541262
55.49/53.20	o 541398
55.49/53.20	o 541647
55.49/53.20	o 541671
55.49/53.20	o 544212
55.49/53.20	o 545053
55.49/53.20	o 545189
56.30/54.07	o 546475
56.30/54.07	o 547316
56.30/54.07	o 547452
56.49/54.26	o 548115
56.49/54.26	o 548956
56.49/54.26	o 549092
56.49/54.29	o 549542
56.49/54.29	o 550383
56.49/54.29	o 550519
56.49/54.29	o 550768
56.49/54.29	o 553333
56.49/54.29	o 554174
56.49/54.29	o 554310
56.59/54.30	o 555765
56.59/54.30	o 556606
56.59/54.30	o 556742
71.02/68.73	o 556771
71.02/68.73	o 556957
71.02/68.73	o 558021
71.02/68.73	o 558862
71.02/68.73	o 559298
71.02/68.73	o 559484
71.02/68.73	o 560548
71.02/68.73	o 561389
72.34/70.06	o 561539
72.34/70.06	o 562380
72.34/70.10	o 562679
72.34/70.10	o 563115
72.34/70.10	o 563301
72.34/70.10	o 564365
72.34/70.10	o 565206
72.44/70.12	o 565661
72.44/70.12	o 565954
72.44/70.12	o 566140
72.44/70.12	o 567204
72.44/70.12	o 568045
72.44/70.13	o 568481
72.44/70.13	o 568667
72.44/70.13	o 569731
72.44/70.13	o 570572
73.83/71.54	o 570942
74.53/72.28	o 571241
74.53/72.28	o 571677
74.53/72.28	o 571863
74.53/72.28	o 572927
74.53/72.28	o 573768
74.73/72.49	o 574223
74.73/72.49	o 574516
74.73/72.49	o 574702
74.73/72.49	o 575766
74.73/72.50	o 576607
74.73/72.50	o 577043
74.73/72.50	o 577229
74.73/72.50	o 578293
74.83/72.50	o 579134
75.53/73.27	o 579328
75.53/73.27	o 580392
75.53/73.28	o 580847
75.53/73.29	o 581140
75.53/73.29	o 582167
75.53/73.29	o 583231
75.53/73.29	o 583667
75.53/73.29	o 584694
75.53/73.29	o 585758
76.73/74.48	o 585892
76.73/74.48	o 586328
76.73/74.48	o 587355
76.73/74.48	o 588419
77.24/74.91	o 588598
77.24/74.91	o 589662
77.24/74.91	o 589798
77.24/74.96	o 590117
77.24/74.96	o 590253
77.24/74.98	o 590410
77.24/74.98	o 590546
77.24/74.98	o 591437
77.24/74.98	o 592501
77.24/74.98	o 592637
77.24/74.99	o 592937
77.24/74.99	o 593073
77.24/74.99	o 593964
77.24/74.99	o 595028
77.24/74.99	o 595164
77.46/75.15	o 595281
77.46/75.15	o 595417
77.55/75.26	o 595645
77.55/75.26	o 595781
77.65/75.35	o 596100
77.65/75.35	o 596236
77.65/75.36	o 596393
77.65/75.36	o 596529
77.65/75.36	o 597420
77.65/75.36	o 598484
77.65/75.36	o 598620
77.65/75.37	o 598920
77.65/75.37	o 599056
77.65/75.37	o 599947
77.65/75.37	o 601011
77.65/75.37	o 601147
77.85/75.52	o 601602
77.85/75.52	o 602666
77.85/75.52	o 602802
77.95/75.65	o 602965
77.95/75.65	o 603101
77.95/75.65	o 603401
77.95/75.65	o 603537
77.95/75.65	o 604428
77.95/75.65	o 605492
77.95/75.65	o 605628
78.05/75.70	o 605947
78.05/75.70	o 606083
78.05/75.72	o 606240
78.05/75.72	o 606376
78.05/75.72	o 607267
78.05/75.72	o 608331
78.05/75.72	o 608467
78.05/75.72	o 608767
78.05/75.72	o 608903
78.05/75.72	o 609794
78.05/75.72	o 610858
78.05/75.72	o 610994
82.15/79.83	o 611711
82.15/79.83	o 611847
82.15/79.83	o 612147
82.15/79.83	o 612283
82.15/79.83	o 613174
82.15/79.83	o 614238
82.15/79.83	o 614374
82.25/79.95	o 614531
82.25/79.95	o 614667
82.25/79.95	o 615558
82.25/79.95	o 616622
82.25/79.95	o 616758
82.25/79.95	o 617058
82.25/79.95	o 617194
82.25/79.95	o 618085
82.25/79.95	o 619149
82.25/79.95	o 619285
82.46/80.17	o 620039
82.46/80.17	o 621103
82.46/80.17	o 621239
82.46/80.17	o 621539
82.46/80.17	o 621675
82.46/80.17	o 622566
82.46/80.17	o 623630
82.46/80.17	o 623766
82.55/80.22	o 624085
82.55/80.22	o 624221
82.55/80.22	o 624378
82.55/80.22	o 624514
82.55/80.22	o 625405
82.55/80.22	o 626469
82.55/80.22	o 626605
82.55/80.23	o 626905
82.55/80.23	o 627041
82.55/80.23	o 627932
82.55/80.23	o 628996
82.55/80.23	o 629132
155.47/153.02	o 629164
155.47/153.02	o 630005
155.47/153.03	o 630141
155.47/153.03	o 630252
156.16/153.79	o 630365
156.16/153.79	o 630476
156.16/153.79	o 630726
156.16/153.79	o 631567
156.16/153.79	o 631703
156.16/153.80	o 631814
156.96/154.52	o 631963
156.96/154.52	o 632099
156.96/154.52	o 632210
156.96/154.52	o 632616
156.96/154.52	o 632752
156.96/154.52	o 632863
156.96/154.52	o 633113
156.96/154.52	o 633954
156.96/154.52	o 634090
156.96/154.52	o 634201
156.96/154.52	o 634387
156.96/154.52	o 634523
156.96/154.52	o 634634
156.96/154.52	o 635040
156.96/154.52	o 635176
156.96/154.53	o 635287
156.96/154.53	o 635537
156.96/154.53	o 636378
156.96/154.53	o 636514
156.96/154.53	o 636625
156.96/154.54	o 636750
156.96/154.54	o 636861
156.96/154.54	o 637111
156.96/154.54	o 637952
156.96/154.54	o 638088
156.96/154.54	o 638199
157.06/154.64	o 638340
157.06/154.64	o 638476
157.06/154.64	o 638587
157.06/154.64	o 638712
157.06/154.64	o 638823
157.06/154.64	o 639073
157.06/154.64	o 639914
157.06/154.64	o 640050
157.06/154.64	o 640161
158.07/155.67	o 640239
158.07/155.67	o 641080
158.07/155.67	o 641216
158.07/155.67	o 641327
158.07/155.67	o 641733
158.07/155.67	o 641869
158.07/155.67	o 641980
158.07/155.67	o 642230
158.07/155.67	o 643071
158.07/155.67	o 643207
158.07/155.67	o 643318
158.07/155.67	o 643504
158.07/155.67	o 643640
158.07/155.67	o 643751
158.07/155.67	o 644157
158.07/155.67	o 644293
158.07/155.67	o 644404
158.07/155.67	o 644654
158.07/155.67	o 645495
158.07/155.67	o 645631
158.07/155.67	o 645742
158.07/155.67	o 646119
158.07/155.67	o 646255
158.07/155.67	o 646366
158.07/155.67	o 646616
158.07/155.67	o 647457
158.07/155.67	o 647593
158.07/155.68	o 647704
158.28/155.88	o 647829
158.28/155.88	o 647940
158.28/155.88	o 648190
158.28/155.88	o 649031
158.28/155.88	o 649167
158.28/155.88	o 649278
159.48/157.09	o 649384
159.48/157.09	o 649495
159.48/157.09	o 649901
159.48/157.09	o 650037
159.48/157.09	o 650148
159.48/157.09	o 650398
159.48/157.09	o 651239
159.48/157.09	o 651375
159.48/157.09	o 651486
159.58/157.15	o 651611
159.58/157.15	o 651722
159.58/157.15	o 651972
159.58/157.15	o 652813
159.58/157.15	o 652949
159.58/157.15	o 653060
160.27/157.85	o 653201
160.27/157.85	o 653337
160.27/157.85	o 653448
160.27/157.86	o 653573
160.27/157.86	o 653684
160.27/157.86	o 653934
160.27/157.86	o 654775
160.27/157.86	o 654911
160.27/157.86	o 655022
161.77/159.39	o 655124
161.77/159.39	o 655260
161.77/159.39	o 655371
161.87/159.45	o 655512
161.87/159.45	o 655648
161.87/159.45	o 655759
161.87/159.47	o 655884
161.87/159.47	o 655995
161.87/159.47	o 656245
161.87/159.47	o 657086
161.87/159.47	o 657222
161.87/159.47	o 657333
163.88/161.49	o 657393
163.88/161.49	o 657643
163.88/161.49	o 658484
163.88/161.49	o 658620
163.88/161.49	o 658731
163.98/161.52	o 658856
163.98/161.52	o 658967
163.98/161.52	o 659217
163.98/161.52	o 660058
163.98/161.52	o 660194
163.98/161.52	o 660305
163.98/161.55	o 660446
163.98/161.55	o 660582
163.98/161.55	o 660693
163.98/161.58	o 660818
163.98/161.58	o 660929
163.98/161.58	o 661179
163.98/161.58	o 662020
163.98/161.58	o 662156
163.98/161.58	o 662267
167.49/165.02	o 662275
167.49/165.02	o 662681
167.49/165.02	o 662817
167.49/165.02	o 662928
167.49/165.02	o 663178
167.49/165.02	o 664019
167.49/165.02	o 664155
167.49/165.02	o 664266
167.49/165.02	o 664452
167.49/165.02	o 664588
167.49/165.02	o 664699
167.49/165.02	o 665105
167.49/165.02	o 665241
167.49/165.02	o 665352
167.49/165.02	o 665602
167.49/165.02	o 666443
167.49/165.02	o 666579
167.49/165.02	o 666690
167.59/165.13	o 667067
167.59/165.13	o 667203
167.59/165.13	o 667314
167.59/165.13	o 667564
167.59/165.13	o 668405
167.59/165.13	o 668541
167.59/165.13	o 668652
168.60/166.16	o 668777
168.60/166.16	o 668888
168.60/166.16	o 669138
168.60/166.16	o 669979
168.60/166.16	o 670115
168.60/166.16	o 670226
171.89/169.46	o 670309
171.89/169.46	o 670445
171.89/169.46	o 670556
171.89/169.49	o 671298
171.89/169.49	o 671434
171.89/169.49	o 671545
171.89/169.49	o 671731
171.89/169.49	o 671867
171.89/169.49	o 671978
171.89/169.49	o 672384
171.89/169.49	o 672520
171.89/169.49	o 672631
171.89/169.50	o 672881
171.89/169.50	o 673722
171.89/169.50	o 673858
171.89/169.50	o 673969
171.99/169.52	o 674241
171.99/169.52	o 674377
171.99/169.52	o 674488
171.99/169.52	o 674894
171.99/169.52	o 675030
171.99/169.52	o 675141
171.99/169.52	o 675391
171.99/169.53	o 676232
171.99/169.53	o 676368
171.99/169.53	o 676479
171.99/169.53	o 676665
171.99/169.53	o 676801
171.99/169.53	o 676912
171.99/169.53	o 677318
171.99/169.53	o 677454
171.99/169.53	o 677565
171.99/169.53	o 677815
171.99/169.53	o 678656
171.99/169.53	o 678792
171.99/169.53	o 678903
172.19/169.75	o 679028
172.19/169.75	o 679139
172.19/169.75	o 679389
172.19/169.75	o 680230
172.19/169.75	o 680366
172.19/169.75	o 680477
173.09/170.62	o 680643
173.09/170.62	o 681484
173.09/170.62	o 681620
173.09/170.62	o 681731
173.09/170.63	o 681856
173.09/170.63	o 681967
173.09/170.63	o 682217
173.09/170.63	o 683058
173.09/170.63	o 683194
173.09/170.63	o 683305
173.09/170.69	o 684078
173.09/170.69	o 684214
173.09/170.69	o 684325
173.09/170.70	o 684575
173.09/170.70	o 685416
173.09/170.70	o 685552
173.09/170.70	o 685663
173.19/170.70	o 686069
173.19/170.70	o 686205
173.19/170.70	o 686316
173.19/170.70	o 686566
173.19/170.70	o 687407
173.19/170.70	o 687543
173.19/170.70	o 687654
173.19/170.70	o 687840
173.19/170.70	o 687976
173.19/170.70	o 688087
173.19/170.70	o 688493
173.19/170.70	o 688629
173.19/170.70	o 688740
173.19/170.70	o 688990
173.19/170.70	o 689831
173.19/170.70	o 689967
173.19/170.70	o 690078
173.19/170.71	o 690203
173.19/170.71	o 690314
173.19/170.71	o 690564
173.19/170.71	o 691405
173.19/170.71	o 691541
173.19/170.71	o 691652
173.29/170.88	o 692341
173.29/170.88	o 692477
173.29/170.88	o 692588
173.29/170.88	o 692774
173.29/170.88	o 692910
173.29/170.88	o 693021
173.29/170.88	o 693427
173.29/170.88	o 693563
173.29/170.88	o 693674
173.29/170.88	o 693924
173.29/170.88	o 694765
173.29/170.88	o 694901
173.29/170.88	o 695012
173.29/170.89	o 695137
173.29/170.89	o 695248
173.29/170.89	o 695498
173.29/170.89	o 696339
173.29/170.89	o 696475
173.29/170.89	o 696586
175.79/173.39	o 696623
175.79/173.39	o 696809
175.79/173.39	o 696945
175.79/173.39	o 697056
175.79/173.39	o 697462
175.79/173.39	o 697598
175.79/173.39	o 697709
175.79/173.39	o 697959
175.79/173.39	o 698800
175.79/173.39	o 698936
175.79/173.39	o 699047
175.89/173.40	o 699172
175.89/173.40	o 699283
175.89/173.40	o 699533
175.89/173.40	o 700374
175.89/173.40	o 700510
175.89/173.40	o 700621
294.38/291.66	o 700723
294.38/291.66	o 700859
294.38/291.66	o 700933
294.38/291.66	o 700944
294.38/291.66	o 701018
294.38/291.66	o 701275
294.38/291.66	o 701411
294.38/291.66	o 701485
294.38/291.66	o 701832
294.38/291.66	o 701968
294.38/291.66	o 702042
294.38/291.66	o 702053
294.38/291.67	o 702127
295.47/292.72	o 702188
295.47/292.72	o 702262
295.47/292.72	o 702609
295.47/292.72	o 702745
295.47/292.72	o 702819
295.47/292.72	o 702830
295.47/292.72	o 702904
295.47/292.72	o 703012
295.47/292.72	o 703148
295.47/292.72	o 703222
295.47/292.72	o 703233
295.47/292.72	o 703307
295.47/292.72	o 703564
295.47/292.72	o 703700
295.47/292.72	o 703774
295.47/292.72	o 704121
295.47/292.73	o 704257
295.47/292.73	o 704331
295.47/292.73	o 704342
295.47/292.73	o 704416
295.47/292.73	o 704499
295.47/292.73	o 705267
295.47/292.73	o 705403
295.47/292.73	o 705477
295.47/292.73	o 705824
295.47/292.73	o 705960
295.47/292.73	o 706034
295.47/292.73	o 706045
295.47/292.73	o 706119
295.47/292.73	o 706376
295.47/292.73	o 706512
295.47/292.73	o 706586
295.47/292.73	o 706933
295.47/292.73	o 707069
295.47/292.73	o 707143
295.47/292.73	o 707154
295.47/292.74	o 707228
298.39/295.68	o 707409
298.39/295.68	o 707545
298.39/295.68	o 707619
298.39/295.68	o 707966
298.39/295.68	o 708102
298.39/295.68	o 708176
298.39/295.68	o 708187
298.39/295.68	o 708261
298.50/295.78	o 708322
298.50/295.78	o 708396
298.50/295.78	o 708743
298.50/295.78	o 708879
298.50/295.79	o 708953
298.50/295.79	o 708964
298.50/295.79	o 709038
298.50/295.79	o 709146
298.50/295.79	o 709282
298.50/295.79	o 709356
298.50/295.79	o 709367
298.50/295.79	o 709441
298.50/295.79	o 709571
298.50/295.79	o 710339
298.50/295.79	o 710475
298.50/295.79	o 710549
298.50/295.79	o 710633
298.50/295.79	o 711401
298.50/295.79	o 711537
298.50/295.79	o 711611
298.50/295.79	o 711958
298.50/295.79	o 712094
298.50/295.79	o 712168
298.50/295.79	o 712179
298.50/295.79	o 712253
298.50/295.79	o 712510
298.50/295.79	o 712646
298.50/295.79	o 712720
298.50/295.79	o 713067
298.50/295.79	o 713203
298.50/295.79	o 713277
298.50/295.79	o 713288
298.50/295.79	o 713362
298.91/296.14	o 713393
298.91/296.14	o 713467
298.91/296.14	o 713478
298.91/296.14	o 713552
298.91/296.14	o 713660
298.91/296.14	o 713796
298.91/296.15	o 713870
298.91/296.15	o 713881
298.91/296.15	o 713955
298.91/296.15	o 714170
298.91/296.15	o 715011
298.91/296.15	o 715147
298.91/296.15	o 715915
298.91/296.15	o 716051
298.91/296.15	o 716125
298.91/296.15	o 716472
298.91/296.15	o 716608
298.91/296.15	o 716682
298.91/296.15	o 716693
298.91/296.15	o 716767
298.91/296.15	o 717024
298.91/296.15	o 717160
298.91/296.15	o 717234
298.91/296.15	o 717581
298.91/296.15	o 717717
298.91/296.15	o 717791
298.91/296.15	o 717802
298.91/296.15	o 717876
298.91/296.16	o 717937
298.91/296.16	o 718011
298.91/296.16	o 718358
298.91/296.16	o 718494
298.91/296.16	o 718568
298.91/296.16	o 718579
298.91/296.16	o 718653
298.91/296.16	o 718761
298.91/296.16	o 718897
298.91/296.16	o 718971
298.91/296.16	o 718982
298.91/296.16	o 719056
298.91/296.16	o 719271
298.91/296.16	o 720112
298.91/296.16	o 720248
298.91/296.16	o 721016
298.91/296.16	o 721152
298.91/296.16	o 721226
298.91/296.16	o 721573
298.91/296.16	o 721709
298.91/296.16	o 721783
298.91/296.16	o 721794
298.91/296.17	o 721868
298.91/296.17	o 722125
298.91/296.17	o 722261
298.91/296.17	o 722335
298.91/296.17	o 722682
298.91/296.17	o 722818
298.91/296.17	o 722892
298.91/296.17	o 722903
298.91/296.17	o 722977
301.10/298.34	o 723100
301.10/298.34	o 723941
301.10/298.34	o 724077
301.10/298.35	o 724845
301.10/298.35	o 724981
301.10/298.35	o 725402
301.10/298.35	o 725538
301.10/298.35	o 725623
301.10/298.35	o 725954
301.10/298.35	o 726090
301.10/298.35	o 726511
301.10/298.35	o 726647
301.10/298.35	o 726732
2520.06/2508.90	s SATISFIABLE
2520.06/2508.91	v <instantiation>
2520.06/2508.91	v 	<list>
2520.06/2508.91	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] 
2520.06/2508.91	v 	</list>
2520.06/2508.91	v 	<values>
2520.06/2508.91	v 		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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 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 1 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 
2520.06/2508.91	v 	</values>
2520.06/2508.91	v </instantiation>

Verifier Data 

OK	726732

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298531-1532762498/watcher-4298531-1532762498 -o /tmp/evaluation-result-4298531-1532762498/solver-4298531-1532762498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298531-1532762498.xml --timelimit 2520 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23222, runsolver pid=23219

[startup+0.100071 s]*
/proc/loadavg: 2.20 1.95 1.90 4/216 23237
/proc/meminfo: memFree=21920988/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10658972 memory=27688 CPUtime=0.12 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 5315 0 0 0 12 0 0 0 20 0 15 0 93812931 10914787328 6922 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2664743 6922 2821 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 3216 0 0 0 9 0 0 0 20 0 15 0 93812932 10914787328 6922 33554432000 4194304 4196468 140724517580240 140220674458752 140220670242198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10914787328 6922 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10658972 memory=140505608750720 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10914787328 6922 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10914787328 6922 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10914787328 6922 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10658972 memory=140505608750720 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812934 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93812935 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93812935 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) R 23219 23222 25017 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 15 0 93812937 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219970553808 140220653629436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) R 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219969509456 140220670240469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10658972 memory=140505608750720 CPUtime=0.01 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) R 23219 23222 25017 0 -1 4202560 304 0 0 0 1 0 0 0 20 0 15 0 93812937 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219968457072 140220670251610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10658972 memory=140505608750720 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812938 10914787328 6922 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27688 KiB

[startup+0.210583 s]*
/proc/loadavg: 2.20 1.95 1.90 5/216 23237
/proc/meminfo: memFree=21909824/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661056 memory=39748 CPUtime=0.34 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 8097 0 0 0 33 1 0 0 20 0 15 0 93812931 10916921344 9937 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665264 9937 2951 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 5125 0 0 0 19 1 0 0 20 0 15 0 93812932 10916921344 10002 33554432000 4194304 4196468 140724517580240 140220674470080 140220297267495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916921344 10002 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661056 memory=140505609333549 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916921344 10002 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916921344 10002 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916921344 10002 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661056 memory=140505608750720 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812934 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93812935 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93812935 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) R 23219 23222 25017 0 -1 1077944384 718 0 0 0 3 0 0 0 20 0 15 0 93812937 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) R 23219 23222 25017 0 -1 4202560 67 0 0 0 1 0 0 0 20 0 15 0 93812937 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219969509360 140220655139072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661056 memory=140505608750720 CPUtime=0.08 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) R 23219 23222 25017 0 -1 4202560 821 0 0 0 8 0 0 0 20 0 15 0 93812937 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219968457072 140220651803872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661056 memory=140505608750720 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812938 10916921344 10002 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39748 KiB

[startup+0.311325 s]*
/proc/loadavg: 2.20 1.95 1.90 6/216 23237
/proc/meminfo: memFree=21901636/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=47860 CPUtime=0.61 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 9041 0 0 0 59 2 0 0 20 0 15 0 93812931 10916999168 11965 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 11965 3066 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 5441 0 0 0 29 1 0 0 20 0 15 0 93812932 10916999168 11965 33554432000 4194304 4196468 140724517580240 140220674467264 140220297253191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 11965 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=140505608808736 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 11965 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 11965 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 11965 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=140505608815648 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812934 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) R 23219 23222 25017 0 -1 4202560 884 0 0 0 6 0 0 0 20 0 15 0 93812937 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219970548184 140220653787146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=140505493135311 CPUtime=0.07 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) R 23219 23222 25017 0 -1 4202560 285 0 0 0 7 0 0 0 20 0 15 0 93812937 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219969502552 140220670251610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=140505608773585 CPUtime=0.16 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) R 23219 23222 25017 0 -1 4202560 1062 0 0 0 16 0 0 0 20 0 15 0 93812937 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219968452832 140220670251610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=140505493135311 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=281011101902784 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812938 10916999168 11965 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47860 KiB

[startup+0.700744 s]
/proc/loadavg: 2.20 1.95 1.90 5/216 23237
/proc/meminfo: memFree=21718068/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=286072 CPUtime=1.82 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 13392 0 0 0 176 6 0 0 20 0 15 0 93812931 10916999168 71518 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 71518 3120 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 5701 0 0 0 63 4 0 0 20 0 15 0 93812932 10916999168 71518 33554432000 4194304 4196468 140724517580240 140220674465632 140724518275010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 71518 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=7024 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 71518 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 71518 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=20396 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 71518 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93812934 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) S 23219 23222 25017 0 -1 1077944384 1812 0 0 0 38 0 0 0 20 0 15 0 93812937 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) S 23219 23222 25017 0 -1 1077944384 2356 0 0 0 43 0 0 0 20 0 15 0 93812937 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219969509360 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) S 23219 23222 25017 0 -1 1077944384 2151 0 0 0 29 0 0 0 20 0 15 0 93812937 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219968457072 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812938 10916999168 71518 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 286072 KiB

[startup+1.50072 s]
/proc/loadavg: 2.20 1.95 1.90 3/216 23237
/proc/meminfo: memFree=21662924/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=289024 CPUtime=2.7 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 13696 0 0 0 263 7 0 0 20 0 15 0 93812931 10916999168 72256 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 72256 3120 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=3763100777877819752 CPUtime=1.48 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 5949 0 0 0 143 5 0 0 20 0 15 0 93812932 10916999168 72256 33554432000 4194304 4196468 140724517580240 140220673983328 140724518275010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=286420 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 72256 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 72256 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=7024 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 72256 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93812933 10916999168 72256 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=20396 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93812934 10916999168 72256 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0

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

/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 24761 0 0 0 243580 244 0 0 20 0 15 0 93812932 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220674278160 140220298552028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=6791534058613427641 CPUtime=2.79 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 7980 0 0 0 271 8 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.79 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 7139 0 0 0 273 6 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.79 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 9127 0 0 0 272 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.79 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 9552 0 0 0 272 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.85 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 12123 0 0 0 79 6 0 0 20 0 15 0 93812934 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=17608 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.67 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) S 23219 23222 25017 0 -1 1077944384 5698 0 0 0 67 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=468280 CPUtime=1.17 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) S 23219 23222 25017 0 -1 1077944384 12791 0 0 0 115 2 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219969509360 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.39 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) S 23219 23222 25017 0 -1 1077944384 5916 0 0 0 38 1 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219968457072 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.62 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1049 0 0 0 28 34 0 0 20 0 15 0 93812938 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 2453.21 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 468280 KiB

[startup+2502.3 s]
/proc/loadavg: 1.58 1.53 1.58 3/216 23412
/proc/meminfo: memFree=21631728/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=468280 CPUtime=2513.43 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 98748 0 0 0 251030 313 0 0 20 0 15 0 93812931 10916999168 117070 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 117070 3179 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=468280 CPUtime=2498.14 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 25082 0 0 0 249566 248 0 0 20 0 15 0 93812932 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220674278272 140220300844874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 8185 0 0 0 278 8 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 7193 0 0 0 280 6 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 9350 0 0 0 279 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 9609 0 0 0 279 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=832 CPUtime=0.87 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 12342 0 0 0 81 6 0 0 20 0 15 0 93812934 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=3708 CPUtime=0.67 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) S 23219 23222 25017 0 -1 1077944384 5700 0 0 0 67 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=3708 CPUtime=1.17 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) S 23219 23222 25017 0 -1 1077944384 12793 0 0 0 115 2 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219969509360 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=27052 CPUtime=0.4 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) S 23219 23222 25017 0 -1 1077944384 5982 0 0 0 39 1 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219968457072 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=1628 CPUtime=0.64 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1063 0 0 0 29 35 0 0 20 0 15 0 93812938 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 2513.43 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 468280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.9 s]
/proc/loadavg: 1.53 1.52 1.57 3/216 23412
/proc/meminfo: memFree=21631728/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=468280 CPUtime=2520.06 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 98869 0 0 0 251692 314 0 0 20 0 15 0 93812931 10916999168 117070 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 117070 3179 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=468280 CPUtime=2504.73 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 25180 0 0 0 250224 249 0 0 20 0 15 0 93812932 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220674455392 140220301758927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.87 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 8185 0 0 0 279 8 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=832 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 7212 0 0 0 280 6 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=1800 CPUtime=2.87 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 9352 0 0 0 280 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=140505493284962 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 9610 0 0 0 279 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=3472328296227681729 CPUtime=0.88 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 12343 0 0 0 82 6 0 0 20 0 15 0 93812934 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=17608 CPUtime=0.67 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) S 23219 23222 25017 0 -1 1077944384 5700 0 0 0 67 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=1284 CPUtime=1.17 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) S 23219 23222 25017 0 -1 1077944384 12793 0 0 0 115 2 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219969509360 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=1088 CPUtime=0.4 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) S 23219 23222 25017 0 -1 1077944384 5982 0 0 0 39 1 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219968457072 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.64 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1063 0 0 0 29 35 0 0 20 0 15 0 93812938 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 468280 KiB

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

[startup+2508.93 s]
# the end of solver process 23222 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.95 s, system=3.14989 s

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

[startup+2508.9 s]
/proc/loadavg: 1.53 1.52 1.57 3/216 23412
/proc/meminfo: memFree=21631728/32770624 swapFree=67108796/67108860
[pid=23222] ppid=23219 vsize=10661132 memory=468280 CPUtime=2520.06 cores=1,3,5,7
/proc/23222/stat : 23222 (java) S 23219 23222 25017 0 -1 1077944320 98869 0 0 0 251692 314 0 0 20 0 15 0 93812931 10916999168 117070 33554432000 4194304 4196468 140724517580240 140724517562784 140220670230263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
/proc/23222/statm: 2665283 117070 3179 1 0 2627263 0
[pid=23222/tid=23224] ppid=23219 vsize=10661132 memory=468280 CPUtime=2504.73 cores=1,3,5,7
/proc/23222/task/23224/stat : 23224 (java) R 23219 23222 25017 0 -1 4202560 25180 0 0 0 250224 249 0 0 20 0 15 0 93812932 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220674455392 140220301758927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23225] ppid=23219 vsize=10661132 memory=468280 CPUtime=2.87 cores=1,3,5,7
/proc/23222/task/23225/stat : 23225 (java) S 23219 23222 25017 0 -1 1077944384 8185 0 0 0 279 8 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220622850448 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23226] ppid=23219 vsize=10661132 memory=832 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23226/stat : 23226 (java) S 23219 23222 25017 0 -1 1077944384 7212 0 0 0 280 6 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220621797648 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23227] ppid=23219 vsize=10661132 memory=1800 CPUtime=2.87 cores=1,3,5,7
/proc/23222/task/23227/stat : 23227 (java) S 23219 23222 25017 0 -1 1077944384 9352 0 0 0 280 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220620745360 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23228] ppid=23219 vsize=10661132 memory=140505493284962 CPUtime=2.86 cores=1,3,5,7
/proc/23222/task/23228/stat : 23228 (java) S 23219 23222 25017 0 -1 1077944384 9610 0 0 0 279 7 0 0 20 0 15 0 93812933 10916999168 117070 33554432000 4194304 4196468 140724517580240 140220619692560 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23229] ppid=23219 vsize=10661132 memory=3472328296227681729 CPUtime=0.88 cores=1,3,5,7
/proc/23222/task/23229/stat : 23229 (java) S 23219 23222 25017 0 -1 1077944384 12343 0 0 0 82 6 0 0 20 0 15 0 93812934 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219974773360 140220670241410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23230] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23230/stat : 23230 (java) S 23219 23222 25017 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219973719328 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23231] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23231/stat : 23231 (java) S 23219 23222 25017 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93812935 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219972666992 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23232] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23232/stat : 23232 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219971615312 140220670248859 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23233] ppid=23219 vsize=10661132 memory=17608 CPUtime=0.67 cores=1,3,5,7
/proc/23222/task/23233/stat : 23233 (java) S 23219 23222 25017 0 -1 1077944384 5700 0 0 0 67 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219970562160 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23234] ppid=23219 vsize=10661132 memory=1284 CPUtime=1.17 cores=1,3,5,7
/proc/23222/task/23234/stat : 23234 (java) S 23219 23222 25017 0 -1 1077944384 12793 0 0 0 115 2 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219969509360 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23235] ppid=23219 vsize=10661132 memory=1088 CPUtime=0.4 cores=1,3,5,7
/proc/23222/task/23235/stat : 23235 (java) S 23219 23222 25017 0 -1 1077944384 5982 0 0 0 39 1 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219968457072 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23236] ppid=23219 vsize=10661132 memory=468280 CPUtime=0 cores=1,3,5,7
/proc/23222/task/23236/stat : 23236 (java) S 23219 23222 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93812937 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219967404512 140220670240469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
[pid=23222/tid=23237] ppid=23219 vsize=10661132 memory=468280 CPUtime=0.64 cores=1,3,5,7
/proc/23222/task/23237/stat : 23237 (java) S 23219 23222 25017 0 -1 1077944384 1063 0 0 0 29 35 0 0 20 0 15 0 93812938 10916999168 117070 33554432000 4194304 4196468 140724517580240 140219966352304 140220670241410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20987904 140724517586040 140724517586185 140724517586185 140724517588943 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 468280 KiB

Child status: 143
Real time (s): 2508.93
CPU time (s): 2520.1
CPU user time (s): 2516.95
CPU system time (s): 3.14989
CPU usage (%): 100.445
Max. virtual memory (cumulated for all children) (KiB): 10662792
Max. memory (cumulated for all children) (KiB): 468956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.95
system time used= 3.14989
maximum resident set size= 468956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71764
involuntary context switches= 1711


# summary of solver processes directly reported to runsolver:
#   pid: 23222
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.95
#   total CPU system time (s): 3.14989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8447 second user time and 22.3377 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 09:21:38
IDJOB=4298531
IDBENCH=141152
IDSOLVER=2768
FILE ID=node138/4298531-1532762498
RUNJOBID= node138-1532740019-20129
PBS_JOBID= 21022442
Free space on /tmp= 53800 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298531-1532762498/watcher-4298531-1532762498 -o /tmp/evaluation-result-4298531-1532762498/solver-4298531-1532762498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298531-1532762498.xml --timelimit 2520

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=2020899163

node138.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.71
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.71
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.71
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.71
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:        21937616 kB
MemAvailable:   31569332 kB
Buffers:          204760 kB
Cached:          9634248 kB
SwapCached:           44 kB
Active:          2834896 kB
Inactive:        7417056 kB
Active(anon):     356900 kB
Inactive(anon):    83516 kB
Active(file):    2477996 kB
Inactive(file):  7333540 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              1012 kB
Writeback:            56 kB
AnonPages:        493264 kB
Mapped:            49448 kB
Shmem:             25164 kB
Slab:             276884 kB
SReclaimable:     248640 kB
SUnreclaim:        28244 kB
KernelStack:        3824 kB
PageTables:         6264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1066036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53800 MiB
End job on node138 at 2018-07-28 10:03:27