Trace number 4309262

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)641268 19907.6 2520.21

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 2125608741
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.09/1.10	c Parsing done, starting search...
17.85/8.31	o 25947
17.85/8.32	o 28802
17.85/8.33	o 40982
17.85/8.33	o 43837
17.85/8.33	o 47730
17.85/8.34	o 50585
17.85/8.37	o 50876
17.85/8.37	o 51947
17.85/8.37	o 58695
17.85/8.38	o 59784
17.85/8.39	o 60398
17.85/8.39	o 61487
17.85/8.39	o 67309
17.85/8.40	o 68398
17.85/8.40	o 71713
17.85/8.40	o 72802
17.85/8.40	o 72995
17.85/8.40	o 73158
18.54/8.41	o 79906
18.54/8.41	o 80995
18.54/8.41	o 85399
18.54/8.41	o 85675
18.54/8.41	o 90079
18.54/8.42	o 91733
18.54/8.42	o 97502
18.54/8.42	o 101906
18.54/8.42	o 103351
18.54/8.42	o 105419
18.54/8.43	o 107755
18.54/8.43	o 109823
18.54/8.43	o 110099
18.54/8.43	o 114503
18.54/8.44	o 115222
18.54/8.44	o 116316
18.54/8.44	o 117252
18.54/8.44	o 117865
18.54/8.45	o 118389
18.54/8.45	o 120720
18.54/8.45	o 120733
18.54/8.45	o 121669
18.54/8.46	o 122282
18.54/8.46	o 125137
18.54/8.46	o 127468
18.54/8.46	o 128310
18.54/8.47	o 129599
18.54/8.47	o 135368
18.54/8.47	o 136304
18.54/8.47	o 139772
18.54/8.47	o 140802
18.54/8.47	o 141738
18.54/8.48	o 143913
18.54/8.48	o 144437
18.54/8.48	o 146768
18.54/8.48	o 147287
18.54/8.48	o 148381
18.54/8.48	o 152785
18.54/8.48	o 156995
18.54/8.48	o 157931
18.54/8.49	o 161399
18.54/8.49	o 164254
18.54/8.49	o 166585
18.54/8.49	o 169331
18.54/8.49	o 172186
19.33/8.50	o 172298
19.33/8.50	o 175153
19.33/8.50	o 175864
19.33/8.50	o 178719
19.33/8.51	o 179161
19.33/8.51	o 179760
19.33/8.51	o 182727
19.33/8.51	o 185582
19.33/8.51	o 188241
19.33/8.51	o 191612
19.33/8.52	o 193943
19.33/8.52	o 195515
19.33/8.52	o 198886
19.33/8.52	o 201217
19.33/8.52	o 204333
19.33/8.52	o 206664
19.33/8.53	o 209090
19.33/8.53	o 212656
19.33/8.53	o 214639
19.33/8.53	o 214706
19.33/8.53	o 216689
19.33/8.53	o 217352
19.33/8.54	o 219335
19.33/8.54	o 220832
19.33/8.54	o 220930
19.33/8.54	o 222348
19.33/8.55	o 224398
19.33/8.55	o 226381
19.33/8.55	o 226608
19.33/8.56	o 229851
19.33/8.56	o 229943
19.33/8.56	o 230241
19.33/8.56	o 231715
19.33/8.57	o 233376
19.33/8.57	o 233603
19.33/8.57	o 235426
19.33/8.58	o 235653
19.33/8.60	o 237252
19.33/8.60	o 237479
19.33/8.60	o 237970
19.33/8.60	o 238037
19.33/8.60	o 240020
19.33/8.60	o 240247
19.33/8.60	o 241199
19.33/8.60	o 242135
19.33/8.60	o 245603
20.17/8.61	o 247934
20.17/8.61	o 249815
20.17/8.61	o 251050
20.17/8.61	o 253381
20.17/8.61	o 253637
20.17/8.62	o 255644
20.17/8.62	o 257975
20.17/8.63	o 258231
20.17/8.63	o 260069
20.17/8.63	o 263185
20.17/8.64	o 265516
20.17/8.65	o 265772
20.17/8.70	o 265842
20.17/8.70	o 266870
20.17/8.70	o 268105
20.17/8.70	o 270436
20.17/8.70	o 271729
20.17/8.70	o 274060
20.17/8.70	o 275646
20.17/8.70	o 275704
20.94/8.72	o 279270
20.94/8.72	o 281601
20.94/8.72	o 283424
20.94/8.72	o 286726
20.94/8.72	o 286784
20.94/8.73	o 290350
20.94/8.73	o 292681
20.94/8.73	o 294504
20.94/8.73	o 295206
20.94/8.73	o 296441
20.94/8.73	o 298772
20.94/8.73	o 299028
20.94/8.73	o 299146
20.94/8.75	o 300439
20.94/8.75	o 302770
20.94/8.75	o 304593
20.94/8.76	o 304624
20.94/8.76	o 305917
20.94/8.76	o 308248
20.94/8.76	o 308780
20.94/8.76	o 310083
20.94/8.77	o 311376
20.94/8.77	o 313707
20.94/8.77	o 314239
20.94/8.78	o 314893
20.94/8.81	o 315660
20.94/8.81	o 316223
21.80/8.81	o 316281
21.80/8.81	o 317516
21.80/8.81	o 319847
21.80/8.81	o 320103
21.80/8.81	o 320501
21.80/8.81	o 320757
21.80/8.82	o 321033
21.80/8.83	o 321824
21.80/8.83	o 322356
21.80/8.84	o 322618
21.80/8.84	o 323004
21.80/8.85	o 323686
21.80/8.85	o 323942
21.80/8.86	o 324157
21.80/8.86	o 324340
21.80/8.86	o 326256
21.80/8.86	o 327579
21.80/8.86	o 329880
21.80/8.86	o 331203
21.80/8.86	o 334067
21.80/8.86	o 335390
21.80/8.86	o 336044
21.80/8.87	o 336544
21.80/8.87	o 337867
22.51/8.93	o 338319
22.51/8.93	o 339642
22.51/8.93	o 339964
22.51/8.93	o 341556
22.51/8.95	o 342879
22.51/8.95	o 343997
22.51/8.95	o 345320
22.51/8.95	o 346912
22.51/8.95	o 348235
22.51/8.95	o 348735
22.51/8.95	o 350058
22.51/8.99	o 351489
22.51/8.99	o 352812
22.51/9.00	o 353312
22.51/9.00	o 354635
23.33/9.01	o 355727
23.33/9.01	o 356227
23.33/9.02	o 357550
23.33/9.07	o 357641
23.33/9.08	o 358081
23.33/9.08	o 359404
23.33/9.08	o 359853
23.33/9.08	o 361176
23.33/9.10	o 362194
24.16/9.12	o 363517
24.16/9.12	o 363608
24.16/9.12	o 364189
24.16/9.12	o 364280
24.16/9.12	o 365512
24.16/9.13	o 365603
24.16/9.13	o 365961
24.16/9.13	o 367284
24.16/9.13	o 367375
24.16/9.14	o 368538
24.16/9.14	o 368629
24.16/9.14	o 369350
24.16/9.14	o 370673
24.16/9.14	o 370764
24.16/9.14	o 371313
24.16/9.14	o 371404
24.16/9.16	o 371554
24.16/9.16	o 372877
24.16/9.16	o 375120
24.16/9.16	o 376443
24.16/9.16	o 376534
24.16/9.19	o 376972
24.16/9.20	o 378295
24.16/9.20	o 378386
24.16/9.20	o 379445
24.16/9.20	o 379536
24.16/9.20	o 379775
24.16/9.20	o 381098
24.16/9.20	o 381189
24.89/9.21	o 382742
24.89/9.21	o 382833
24.89/9.21	o 384065
24.89/9.21	o 384156
24.89/9.31	o 384897
24.89/9.31	o 386220
24.89/9.31	o 386311
25.75/9.32	o 387370
25.75/9.32	o 387461
25.75/9.32	o 387700
25.75/9.32	o 389023
25.75/9.32	o 389114
25.75/9.32	o 390667
25.75/9.32	o 390758
25.75/9.32	o 391990
25.75/9.32	o 392081
26.46/9.41	o 393310
26.46/9.42	o 393401
26.46/9.42	o 393455
26.46/9.42	o 393546
26.46/9.42	o 395099
26.46/9.42	o 396422
26.46/9.42	o 396513
26.46/9.42	o 397572
26.46/9.42	o 397663
26.46/9.42	o 399395
26.46/9.42	o 399486
26.46/9.43	o 400869
26.46/9.43	o 402192
26.46/9.43	o 402283
27.26/9.54	o 402305
27.26/9.55	o 402396
28.05/9.62	o 402490
28.05/9.62	o 402581
28.05/9.63	o 402602
28.05/9.63	o 402693
28.05/9.63	o 405457
28.05/9.63	o 405548
28.05/9.63	o 407425
28.05/9.63	o 407516
28.05/9.63	o 410392
28.05/9.63	o 410483
28.05/9.64	o 412340
28.05/9.64	o 415906
28.05/9.64	o 415997
28.05/9.65	o 417750
28.05/9.65	o 417841
28.84/9.70	o 418006
28.84/9.70	o 418097
28.84/9.74	o 418355
28.84/9.74	o 418446
28.84/9.79	o 418909
28.84/9.79	o 419000
28.84/9.79	o 420753
28.84/9.79	o 420844
30.44/9.96	o 421017
30.44/9.96	o 421108
30.44/9.96	o 421165
30.44/9.96	o 421860
30.44/9.96	o 422267
30.44/9.96	o 423344
30.44/9.96	o 423590
30.44/9.97	o 424667
30.44/9.97	o 425377
30.44/9.97	o 426454
30.44/9.97	o 426545
30.44/9.97	o 427022
30.44/9.97	o 427113
30.44/9.98	o 428224
30.44/9.99	o 428315
30.44/9.99	o 428480
30.44/9.99	o 428571
33.61/10.34	o 428710
33.61/10.34	o 428801
34.41/10.44	o 429350
34.41/10.45	o 429441
35.20/10.55	o 429619
35.20/10.56	o 429710
35.99/10.61	o 430554
35.99/10.62	o 430645
35.99/10.62	o 431194
35.99/10.62	o 431285
37.57/10.90	o 431471
37.57/10.90	o 431717
38.37/10.90	o 432794
38.37/10.90	o 432885
38.37/10.90	o 432922
38.37/10.90	o 433013
38.37/10.90	o 433504
38.37/10.90	o 433595
38.37/10.90	o 434581
38.37/10.90	o 434672
40.03/11.15	o 434785
40.03/11.15	o 434876
40.03/11.16	o 435280
40.03/11.16	o 435862
40.03/11.16	o 435953
49.51/12.36	o 436022
49.51/12.37	o 436177
49.51/12.37	o 436268
49.51/12.37	o 437254
49.51/12.37	o 437345
49.51/12.38	o 437458
49.51/12.38	o 438535
49.51/12.38	o 438626
54.30/12.96	o 439159
54.30/12.97	o 439250
54.30/12.97	o 440236
54.30/12.97	o 440327
57.49/13.35	o 440527
57.49/13.36	o 440618
57.49/13.36	o 440991
57.49/13.36	o 441237
57.49/13.36	o 442314
57.49/13.36	o 442405
63.17/14.15	o 442651
63.17/14.16	o 442742
63.17/14.16	o 443728
63.17/14.16	o 443819
63.17/14.16	o 444192
63.17/14.16	o 444438
63.17/14.16	o 445515
63.17/14.16	o 445606
63.17/14.17	o 445719
63.17/14.17	o 445810
63.17/14.17	o 446796
63.17/14.17	o 446887
64.70/14.35	o 447174
64.70/14.36	o 447420
64.70/14.36	o 448497
64.70/14.36	o 448588
75.07/15.61	o 448714
75.07/15.62	o 448805
75.86/15.72	o 449054
75.86/15.73	o 449145
81.44/16.46	o 449473
81.44/16.47	o 449719
81.44/16.47	o 450796
81.44/16.47	o 450887
81.44/16.50	o 451353
81.44/16.50	o 451444
82.31/16.60	o 452282
82.31/16.60	o 452373
82.31/16.60	o 452839
82.31/16.60	o 452930
83.02/16.61	o 453225
83.02/16.61	o 453316
83.02/16.65	o 453654
83.02/16.65	o 453900
83.02/16.65	o 454977
83.02/16.65	o 455068
83.02/16.65	o 455687
83.02/16.65	o 455778
83.02/16.65	o 456764
83.02/16.65	o 456855
83.02/16.65	o 457150
83.02/16.65	o 457241
83.02/16.66	o 457464
83.02/16.66	o 458541
83.02/16.66	o 458632
83.02/16.66	o 458927
83.02/16.66	o 459018
83.02/16.67	o 459098
83.02/16.67	o 459189
83.02/16.68	o 459484
83.02/16.68	o 459575
83.02/16.68	o 460242
83.02/16.68	o 460333
83.02/16.68	o 460799
83.02/16.68	o 460890
87.06/17.12	o 460976
87.06/17.13	o 461451
87.06/17.13	o 461697
87.06/17.13	o 462774
87.06/17.13	o 462865
87.06/17.14	o 463160
87.06/17.14	o 463251
87.06/17.14	o 464055
87.06/17.14	o 464146
87.06/17.15	o 464441
87.06/17.15	o 464532
87.06/17.18	o 464566
87.06/17.19	o 464679
87.06/17.19	o 465756
87.06/17.19	o 465847
97.36/18.48	o 465907
97.36/18.48	o 466971
97.36/18.49	o 467062
98.15/18.50	o 467660
98.15/18.51	o 467751
98.15/18.51	o 468815
98.15/18.51	o 468906
98.15/18.51	o 469686
98.15/18.51	o 469777
98.15/18.53	o 470380
98.15/18.54	o 470471
98.15/18.54	o 472224
98.15/18.54	o 472315
98.95/18.64	o 472567
98.95/18.65	o 472658
101.35/18.94	o 473149
101.35/18.95	o 473240
116.48/20.89	o 475651
116.48/20.89	o 475742
116.48/20.90	o 477495
116.48/20.90	o 477586
126.08/22.05	o 477751
126.08/22.06	o 477842
126.91/22.13	o 478094
126.91/22.14	o 478185
126.91/22.16	o 478676
126.91/22.17	o 478767
141.20/23.94	o 478997
141.20/23.95	o 479088
141.20/23.96	o 479116
151.53/25.21	o 479135
151.53/25.22	o 479226
151.53/25.22	o 479521
151.53/25.22	o 479612
153.13/25.43	o 480416
153.13/25.43	o 480507
153.13/25.43	o 480802
153.13/25.43	o 480893
165.10/26.97	o 480946
165.10/26.97	o 482023
165.10/26.97	o 482114
165.10/26.97	o 482227
165.10/26.97	o 482318
165.10/26.97	o 483304
165.10/26.97	o 483395
166.76/27.14	o 483656
166.76/27.15	o 483747
183.43/29.24	o 484279
183.43/29.24	o 484370
183.43/29.24	o 485376
183.43/29.24	o 485467
183.43/29.24	o 485544
183.43/29.24	o 486699
183.43/29.25	o 486790
183.43/29.25	o 487464
183.43/29.25	o 487555
183.43/29.25	o 488029
183.43/29.25	o 488382
183.43/29.25	o 488440
183.43/29.25	o 489537
183.43/29.25	o 489763
183.43/29.25	o 490860
183.43/29.25	o 490951
183.43/29.27	o 491912
183.43/29.27	o 492003
183.43/29.28	o 492293
183.43/29.28	o 492646
183.43/29.28	o 493801
183.43/29.28	o 493892
183.43/29.28	o 494945
183.43/29.28	o 496042
183.43/29.28	o 496133
183.43/29.28	o 497197
183.43/29.28	o 497288
183.43/29.30	o 497962
183.43/29.30	o 498053
183.43/29.30	o 498880
183.43/29.30	o 499106
183.43/29.30	o 500203
183.43/29.30	o 500261
183.43/29.30	o 501358
183.43/29.30	o 501449
184.27/29.33	o 501586
184.27/29.33	o 501677
188.20/29.88	o 501912
188.20/29.89	o 502003
188.20/29.89	o 503372
188.20/29.89	o 504449
188.20/29.89	o 504695
188.20/29.89	o 505772
188.20/29.89	o 505792
188.20/29.89	o 506869
188.20/29.90	o 506960
212.90/32.94	o 506970
253.59/38.06	o 507010
253.59/38.07	o 507101
253.59/38.07	o 507111
255.14/38.29	o 507205
255.14/38.30	o 507215
255.14/38.30	o 507352
255.14/38.30	o 507362
255.14/38.30	o 507616
255.14/38.30	o 507636
255.14/38.30	o 508713
255.14/38.30	o 508723
255.14/38.30	o 508804
255.14/38.30	o 508814
257.54/38.52	o 508992
257.54/38.53	o 509139
257.54/38.53	o 509230
257.54/38.53	o 509268
257.54/38.53	o 509423
257.54/38.53	o 509514
257.54/38.53	o 510500
257.54/38.53	o 510591
257.54/38.53	o 510601
258.33/38.70	o 510769
259.17/38.71	o 510779
259.17/38.71	o 510860
259.17/38.71	o 510870
287.00/42.26	o 511650
287.00/42.26	o 511741
287.00/42.27	o 511751
287.00/42.27	o 513158
287.00/42.27	o 513168
287.00/42.27	o 513249
287.00/42.27	o 513259
287.00/42.29	o 513290
287.00/42.30	o 513381
287.00/42.30	o 514798
287.00/42.30	o 514889
287.00/42.30	o 514899
306.15/44.67	o 515323
306.15/44.67	o 515414
306.15/44.68	o 515424
306.15/44.68	o 515955
306.15/44.68	o 515965
306.15/44.68	o 516046
306.15/44.68	o 516056
306.15/44.68	o 516104
306.15/44.68	o 516124
306.15/44.68	o 517110
306.15/44.68	o 517201
306.15/44.68	o 517211
306.94/44.75	o 517842
306.94/44.75	o 517852
306.94/44.76	o 517933
306.94/44.76	o 517943
306.94/44.77	o 517979
306.94/44.77	o 517999
306.94/44.77	o 519076
306.94/44.77	o 519167
306.94/44.77	o 519177
306.94/44.77	o 519633
306.94/44.77	o 519643
306.94/44.77	o 519724
306.94/44.77	o 519734
306.94/44.77	o 519972
306.94/44.77	o 520063
306.94/44.77	o 520218
306.94/44.77	o 521295
306.94/44.77	o 521386
306.94/44.77	o 521726
306.94/44.77	o 521817
306.94/44.77	o 522803
306.94/44.77	o 522894
306.94/44.77	o 522904
306.94/44.77	o 523082
306.94/44.78	o 523493
306.94/44.78	o 523513
306.94/44.78	o 524590
306.94/44.78	o 524600
306.94/44.78	o 524681
306.94/44.78	o 524691
314.91/45.76	o 525062
314.91/45.77	o 525153
314.91/45.77	o 525308
314.91/45.77	o 526385
314.91/45.77	o 526476
314.91/45.77	o 526489
314.91/45.77	o 526873
314.91/45.77	o 526964
314.91/45.77	o 528196
314.91/45.77	o 528287
314.91/45.77	o 529273
314.91/45.77	o 529364
314.91/45.77	o 529374
314.91/45.77	o 529457
314.91/45.77	o 529467
314.91/45.77	o 529477
314.91/45.77	o 530554
314.91/45.79	o 530564
314.91/45.79	o 530645
314.91/45.79	o 530655
392.21/55.48	o 531549
392.21/55.49	o 531640
392.21/55.49	o 531650
392.21/55.49	o 532646
392.21/55.49	o 532656
392.21/55.49	o 532737
392.21/55.49	o 532747
392.21/55.49	o 533032
392.21/55.50	o 533123
392.21/55.50	o 533133
393.00/55.50	o 533356
393.00/55.50	o 533366
393.00/55.50	o 534433
393.00/55.50	o 534443
393.00/55.50	o 534524
393.00/55.50	o 534534
393.00/55.50	o 534819
393.00/55.50	o 534910
393.00/55.50	o 534920
393.00/55.51	o 535071
393.00/55.51	o 535081
393.00/55.51	o 535317
393.00/55.51	o 536394
393.00/55.51	o 536404
393.00/55.51	o 537115
393.00/55.51	o 537125
393.00/55.51	o 538192
393.00/55.52	o 538202
393.00/55.52	o 538283
393.00/55.52	o 538293
393.00/55.52	o 538578
393.00/55.52	o 538669
393.00/55.52	o 538679
396.20/55.93	o 539204
396.20/55.93	o 539214
396.20/55.93	o 539295
396.20/55.93	o 539305
396.20/55.93	o 539590
396.20/55.93	o 539681
396.20/55.93	o 539691
396.20/55.94	o 539859
396.20/55.94	o 539869
396.20/55.94	o 539950
396.20/55.94	o 539960
473.52/65.68	o 540016
473.52/65.69	o 540026
479.90/66.42	o 540080
479.90/66.42	o 540171
479.90/66.42	o 540181
479.90/66.45	o 541032
479.90/66.46	o 541042
479.90/66.46	o 541052
479.90/66.46	o 542129
479.90/66.46	o 542139
479.90/66.46	o 542850
479.90/66.46	o 542860
479.90/66.46	o 543927
479.90/66.46	o 543937
479.90/66.46	o 544018
479.90/66.46	o 544028
479.90/66.47	o 544131
479.90/66.47	o 545208
479.90/66.47	o 545299
479.90/66.47	o 545309
479.90/66.47	o 545594
479.90/66.47	o 545685
479.90/66.47	o 545695
528.53/72.60	o 545744
529.33/72.60	o 545754
529.33/72.60	o 546750
529.33/72.60	o 546841
529.33/72.60	o 546851
529.33/72.60	o 547089
529.33/72.60	o 547099
529.33/72.61	o 548122
529.33/72.61	o 549277
529.33/72.61	o 549287
529.33/72.61	o 549368
529.33/72.61	o 549378
529.33/72.61	o 550374
529.33/72.61	o 550465
529.33/72.61	o 550475
529.33/72.62	o 551187
529.33/72.62	o 551197
529.33/72.62	o 552342
529.33/72.62	o 552352
529.33/72.62	o 552433
529.33/72.62	o 552443
529.33/72.62	o 552570
529.33/72.62	o 552661
529.33/72.62	o 552671
529.33/72.62	o 553439
529.33/72.62	o 553449
529.33/72.62	o 553530
529.33/72.62	o 553540
529.33/72.62	o 553667
529.33/72.64	o 553758
529.33/72.64	o 553768
864.88/114.73	o 553885
864.88/114.73	o 553895
864.88/114.73	o 553976
864.88/114.73	o 553986
864.88/114.73	o 554113
864.88/114.73	o 554204
864.88/114.73	o 554214
880.85/116.75	o 554455
880.85/116.75	o 554546
880.85/116.75	o 554640
880.85/116.75	o 554808
880.85/116.75	o 555963
880.85/116.75	o 556054
880.85/116.76	o 556064
880.85/116.76	o 557060
880.85/116.76	o 557070
880.85/116.76	o 557151
880.85/116.76	o 557161
881.66/116.86	o 557288
881.66/116.86	o 557379
881.66/116.87	o 557389
1002.02/132.00	o 558334
1002.02/132.01	o 558344
1002.02/132.01	o 558425
1002.02/132.01	o 558435
1002.85/132.03	o 559292
1002.85/132.04	o 559383
1002.85/132.04	o 559393
1004.40/132.27	o 559416
1004.40/132.28	o 559426
1004.40/132.28	o 560571
1004.40/132.28	o 560581
1004.40/132.28	o 560662
1004.40/132.28	o 560672
1004.40/132.30	o 561529
1004.40/132.30	o 561620
1004.40/132.30	o 561630
1057.83/138.99	o 562278
1057.83/138.99	o 563143
1057.83/138.99	o 563311
1058.67/139.02	o 564466
1058.67/139.02	o 564476
1058.67/139.02	o 565563
1058.67/139.02	o 565573
1411.70/183.35	o 565945
1411.70/183.35	o 566978
1411.70/183.36	o 568133
1411.70/183.36	o 569230
1413.23/183.50	o 569458
1432.37/185.98	o 569615
1432.37/185.99	o 569625
1432.37/185.99	o 569706
1432.37/185.99	o 569716
1999.24/257.04	o 570617
1999.24/257.05	o 571714
1999.24/257.05	o 571942
1999.24/257.05	o 572389
1999.24/257.05	o 572617
1999.24/257.05	o 573486
1999.24/257.05	o 573714
2629.79/336.11	o 574056
2629.79/336.12	o 574241
2629.79/336.12	o 574409
2629.79/336.12	o 575564
2629.79/336.12	o 576661
2634.51/336.77	o 576889
3047.69/388.67	o 577104
3047.69/388.67	o 577332
3048.49/388.72	o 577625
3048.49/388.73	o 578174
3048.49/388.73	o 578854
3048.49/388.73	o 579207
3048.49/388.73	o 580362
3048.49/388.73	o 581459
3159.91/402.71	o 582394
3159.91/402.71	o 583549
3159.91/402.71	o 583759
3159.91/402.71	o 584040
3159.91/402.71	o 585195
3159.91/402.71	o 586060
3159.91/402.71	o 586228
3159.91/402.71	o 587383
3159.91/402.72	o 588480
3825.31/486.78	o 588537
3825.31/486.79	o 588759
3825.31/486.79	o 589212
3825.31/486.79	o 589434
3825.31/486.79	o 590309
3825.31/486.79	o 590531
3915.50/498.12	o 590628
3915.50/498.12	o 591503
3915.50/498.12	o 591725
3972.52/505.39	o 592178
3972.52/505.40	o 592400
3972.52/505.40	o 593275
3972.52/505.40	o 593497
6017.27/763.69	o 594297
6017.27/763.69	o 594519
6017.27/763.69	o 595394
6017.27/763.69	o 595616
6017.27/763.69	o 595713
6017.27/763.69	o 596588
6017.27/763.69	o 596810
6017.27/763.69	o 597263
6017.27/763.69	o 597485
6017.27/763.70	o 598360
6017.27/763.70	o 598582
7582.27/961.32	o 598827
7582.27/961.33	o 599049
7582.27/961.33	o 599528
7582.27/961.33	o 599924
7582.27/961.33	o 600146
7587.86/962.02	o 600337
7587.86/962.03	o 600415
7587.86/962.03	o 600773
7587.86/962.03	o 600893
7587.86/962.03	o 601115
7587.86/962.03	o 601758
7587.86/962.03	o 601926
7587.86/962.03	o 603081
7587.86/962.03	o 603303
7587.86/962.03	o 604178
7587.86/962.03	o 604400
7587.86/962.03	o 604474
7587.86/962.03	o 605629
7587.86/962.03	o 605851
7587.86/962.03	o 606726
7587.86/962.03	o 606948
7587.86/962.03	o 607272
7587.86/962.03	o 607440
7587.86/962.03	o 608595
7587.86/962.03	o 608817
7587.86/962.03	o 609692
7587.86/962.03	o 609914
7587.86/962.05	o 610367
7587.86/962.05	o 610589
7587.86/962.05	o 611464
7587.86/962.05	o 611686
7588.67/962.13	o 611740
7588.67/962.14	o 612360
7588.67/962.14	o 612582
7588.67/962.14	o 613040
7588.67/962.14	o 613262
7588.67/962.14	o 613393
7588.67/962.14	o 614548
7588.67/962.14	o 614770
7588.67/962.14	o 615645
7588.67/962.14	o 615867
7588.67/962.14	o 616006
7588.67/962.14	o 616191
7588.67/962.14	o 616359
7588.67/962.14	o 617514
7588.67/962.15	o 617736
7588.67/962.15	o 618611
7588.67/962.15	o 618833
7588.67/962.15	o 619286
7588.67/962.15	o 619508
7588.67/962.15	o 620383
7588.67/962.15	o 620605
10289.11/1303.53	o 620653
10289.11/1303.55	o 620963
10289.11/1303.55	o 621185
10289.11/1303.55	o 622028
10289.11/1303.55	o 622250
10289.91/1303.62	o 622316
10294.64/1304.24	o 622522
10295.43/1304.39	o 622752
10296.23/1304.41	o 623397
10296.23/1304.41	o 623619
10297.82/1304.64	o 623995
10297.82/1304.65	o 624217
10297.82/1304.66	o 625060
10297.82/1304.66	o 625282
17898.74/2266.16	o 625298
17898.74/2266.18	o 625826
17898.74/2266.18	o 626453
17898.74/2266.18	o 626675
17898.74/2266.18	o 627423
17898.74/2266.18	o 628050
17898.74/2266.18	o 628272
17898.74/2266.18	o 628792
17898.74/2266.18	o 629419
17898.74/2266.18	o 629641
17898.74/2266.18	o 630389
17898.74/2266.18	o 630611
17898.74/2266.18	o 631016
17898.74/2266.18	o 631238
17898.74/2266.18	o 631486
17898.74/2266.18	o 631708
17898.74/2266.18	o 632113
17898.74/2266.18	o 632335
17901.83/2266.54	o 632401
18320.12/2319.46	o 632482
18320.12/2319.46	o 632704
19284.11/2441.35	o 633808
19284.11/2441.35	o 634030
19284.11/2441.35	o 634039
19284.11/2441.35	o 634207
19284.11/2441.35	o 635362
19284.11/2441.35	o 635584
19284.11/2441.35	o 636395
19284.11/2441.35	o 637550
19284.11/2441.35	o 637772
19284.11/2441.35	o 638167
19284.11/2441.35	o 639322
19284.11/2441.35	o 639544
19284.11/2441.35	o 640419
19284.11/2441.37	o 640641
19285.69/2441.56	o 641046
19285.69/2441.56	o 641268
19906.40/2520.02	s SATISFIABLE
19906.40/2520.02	v <instantiation>
19906.40/2520.02	v 	<list>
19906.40/2520.02	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]
19906.40/2520.02	v 	</list>
19906.40/2520.02	v 	<values>
19906.40/2520.02	v 		0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19906.40/2520.02	v 	</values>
19906.40/2520.02	v </instantiation>

Verifier Data 

OK	641268

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

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

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

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

solver pid=471, runsolver pid=468

[startup+0.100163 s]*
/proc/loadavg: 0.72 0.97 2.53 2/198 492
/proc/meminfo: memFree=24536048/32770624 swapFree=67108172/67108860
[pid=471] ppid=468 vsize=26103420 memory=28644 CPUtime=0.1 cores=0-7
/proc/471/stat : 471 (java) S 468 471 424 0 -1 1077944320 6638 0 0 0 9 1 0 0 20 0 20 0 253741260 26729902080 7161 33554432000 4194304 4196468 140725716982912 140725716965456 140137946644215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
/proc/471/statm: 6525855 7161 3138 1 0 6487932 0
[pid=471/tid=473] ppid=468 vsize=26103420 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/471/task/473/stat : 473 (java) R 468 471 424 0 -1 4202560 5262 0 0 0 8 1 0 0 20 0 20 0 253741260 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137950857104 140137926919975 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=474] ppid=468 vsize=26103420 memory=330 CPUtime=0 cores=0-7
/proc/471/task/474/stat : 474 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137899264272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=475] ppid=468 vsize=26103420 memory=140012709764190 CPUtime=0 cores=0-7
/proc/471/task/475/stat : 475 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137898211728 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=476] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/476/stat : 476 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137897159184 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=477] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/477/stat : 477 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137896106640 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=479] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/479/stat : 479 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137895054096 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=480] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/480/stat : 480 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137894001552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=481] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/481/stat : 481 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137892949008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=482] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/482/stat : 482 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 7755 33554432000 4194304 4196468 140725716982912 140137891896464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=483] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/483/stat : 483 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136689776624 140137946655362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=484] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/484/stat : 484 (java) S 468 471 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136688722848 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=485] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/485/stat : 485 (java) S 468 471 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136687670256 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=486] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/486/stat : 486 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136686618832 140137946662811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=487] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/487/stat : 487 (java) S 468 471 424 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136685566448 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=488] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/488/stat : 488 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136684513904 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=489] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/489/stat : 489 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7755 33554432000 4194304 4196468 140725716982912 140136683461360 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=490] ppid=468 vsize=26103420 memory=-1 CPUtime=0.01 cores=0-7
/proc/471/task/490/stat : 490 (java) S 468 471 424 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 253741266 26729902080 7816 33554432000 4194304 4196468 140725716982912 140136682408816 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=491] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/491/stat : 491 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7816 33554432000 4194304 4196468 140725716982912 140136681355488 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=492] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/492/stat : 492 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 7816 33554432000 4194304 4196468 140725716982912 140136680303024 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 28644 KiB

[startup+0.210127 s]*
/proc/loadavg: 0.72 0.97 2.53 3/198 492
/proc/meminfo: memFree=24521724/32770624 swapFree=67108172/67108860
[pid=471] ppid=468 vsize=26103420 memory=42944 CPUtime=0.29 cores=0-7
/proc/471/stat : 471 (java) S 468 471 424 0 -1 1077944320 10404 0 0 0 27 2 0 0 20 0 20 0 253741260 26729902080 10736 33554432000 4194304 4196468 140725716982912 140725716965456 140137946644215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
/proc/471/statm: 6525855 10736 3287 1 0 6487932 0
[pid=471/tid=473] ppid=468 vsize=26103420 memory=7882827048052850738 CPUtime=0.19 cores=0-7
/proc/471/task/473/stat : 473 (java) S 468 471 424 0 -1 1077944384 8168 0 0 0 18 1 0 0 20 0 20 0 253741260 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137950865344 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=474] ppid=468 vsize=26103420 memory=326 CPUtime=0 cores=0-7
/proc/471/task/474/stat : 474 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137899264272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=475] ppid=468 vsize=26103420 memory=140012709738935 CPUtime=0 cores=0-7
/proc/471/task/475/stat : 475 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137898211728 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=476] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/476/stat : 476 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137897159184 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=477] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/477/stat : 477 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137896106640 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=479] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/479/stat : 479 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137895054096 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=480] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/480/stat : 480 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137894001552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=481] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/481/stat : 481 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137892949008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=482] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/482/stat : 482 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 10801 33554432000 4194304 4196468 140725716982912 140137891896464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=483] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/483/stat : 483 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136689776624 140137946655362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=484] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/484/stat : 484 (java) S 468 471 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136688722848 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=485] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/485/stat : 485 (java) S 468 471 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136687670256 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=486] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/486/stat : 486 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136686618832 140137946662811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=487] ppid=468 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/471/task/487/stat : 487 (java) S 468 471 424 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136685566448 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=488] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/488/stat : 488 (java) S 468 471 424 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136684513904 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=489] ppid=468 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/471/task/489/stat : 489 (java) S 468 471 424 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136683461360 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=490] ppid=468 vsize=26103420 memory=-1 CPUtime=0.06 cores=0-7
/proc/471/task/490/stat : 490 (java) R 468 471 424 0 -1 4202560 338 0 0 0 6 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136682408944 140137946656150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=491] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/491/stat : 491 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136681355488 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=492] ppid=468 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/471/task/492/stat : 492 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 10801 33554432000 4194304 4196468 140725716982912 140136680303024 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 42944 KiB

[startup+0.310065 s]*
/proc/loadavg: 0.72 0.97 2.53 2/198 492
/proc/meminfo: memFree=24518312/32770624 swapFree=67108172/67108860
[pid=471] ppid=468 vsize=26103420 memory=46748 CPUtime=0.43 cores=0-7
/proc/471/stat : 471 (java) S 468 471 424 0 -1 1077944320 10883 0 0 0 40 3 0 0 20 0 20 0 253741260 26729902080 11687 33554432000 4194304 4196468 140725716982912 140725716965456 140137946644215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
/proc/471/statm: 6525855 11687 3390 1 0 6487932 0
[pid=471/tid=473] ppid=468 vsize=26103420 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/471/task/473/stat : 473 (java) R 468 471 424 0 -1 4202560 8527 0 0 0 28 1 0 0 20 0 20 0 253741260 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137950805952 140137928207792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=474] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/474/stat : 474 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137899264272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=475] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/475/stat : 475 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137898211728 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=476] ppid=468 vsize=26103420 memory=2240 CPUtime=0 cores=0-7
/proc/471/task/476/stat : 476 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137897159184 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=477] ppid=468 vsize=26103420 memory=2241 CPUtime=0 cores=0-7
/proc/471/task/477/stat : 477 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137896106640 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=479] ppid=468 vsize=26103420 memory=2241 CPUtime=0 cores=0-7
/proc/471/task/479/stat : 479 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137895054096 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=480] ppid=468 vsize=26103420 memory=140012578503951 CPUtime=0 cores=0-7
/proc/471/task/480/stat : 480 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137894001552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=481] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/481/stat : 481 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137892949008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=482] ppid=468 vsize=26103420 memory=280025157017120 CPUtime=0 cores=0-7
/proc/471/task/482/stat : 482 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26729902080 11687 33554432000 4194304 4196468 140725716982912 140137891896464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=483] ppid=468 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/471/task/483/stat : 483 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136689776624 140137946655362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=484] ppid=468 vsize=26103420 memory=1561 CPUtime=0 cores=0-7
/proc/471/task/484/stat : 484 (java) S 468 471 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136688722848 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=485] ppid=468 vsize=26103420 memory=409 CPUtime=0 cores=0-7
/proc/471/task/485/stat : 485 (java) S 468 471 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253741263 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136687670256 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=486] ppid=468 vsize=26103420 memory=1 CPUtime=0 cores=0-7
/proc/471/task/486/stat : 486 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136686618832 140137946662811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=487] ppid=468 vsize=26103420 memory=762 CPUtime=0.02 cores=0-7
/proc/471/task/487/stat : 487 (java) S 468 471 424 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136685566448 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=488] ppid=468 vsize=26103420 memory=161 CPUtime=0 cores=0-7
/proc/471/task/488/stat : 488 (java) S 468 471 424 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136684513904 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=489] ppid=468 vsize=26103420 memory=180 CPUtime=0.01 cores=0-7
/proc/471/task/489/stat : 489 (java) S 468 471 424 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136683461360 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=490] ppid=468 vsize=26103420 memory=43332 CPUtime=0.07 cores=0-7
/proc/471/task/490/stat : 490 (java) S 468 471 424 0 -1 1077944384 353 0 0 0 7 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136682408816 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=491] ppid=468 vsize=26103420 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/471/task/491/stat : 491 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136681355488 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=492] ppid=468 vsize=26103420 memory=3472895575524712495 CPUtime=0 cores=0-7
/proc/471/task/492/stat : 492 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741266 26729902080 11687 33554432000 4194304 4196468 140725716982912 140136680303024 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46748 KiB

[startup+0.700887 s]
/proc/loadavg: 0.72 0.97 2.53 2/198 492
/proc/meminfo: memFree=24494300/32770624 swapFree=67108172/67108860
[pid=471] ppid=468 vsize=26105488 memory=87636 CPUtime=0.99 cores=0-7
/proc/471/stat : 471 (java) S 468 471 424 0 -1 1077944320 17819 0 0 0 95 4 0 0 20 0 20 0 253741260 26732019712 21909 33554432000 4194304 4196468 140725716982912 140725716965456 140137946644215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
/proc/471/statm: 6526372 21909 3504 1 0 6488444 0
[pid=471/tid=473] ppid=468 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/471/task/473/stat : 473 (java) R 468 471 424 0 -1 4202560 15002 0 0 0 64 3 0 0 20 0 20 0 253741260 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137950867520 140137926166095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=474] ppid=468 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/471/task/474/stat : 474 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137899264272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=475] ppid=468 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/471/task/475/stat : 475 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137898211728 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=476] ppid=468 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/471/task/476/stat : 476 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137897159184 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=477] ppid=468 vsize=26105488 memory=912 CPUtime=0 cores=0-7
/proc/471/task/477/stat : 477 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137896106640 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=479] ppid=468 vsize=26105488 memory=3908 CPUtime=0 cores=0-7
/proc/471/task/479/stat : 479 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137895054096 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=480] ppid=468 vsize=26105488 memory=1408 CPUtime=0 cores=0-7
/proc/471/task/480/stat : 480 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137894001552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=481] ppid=468 vsize=26105488 memory=2408 CPUtime=0 cores=0-7
/proc/471/task/481/stat : 481 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137892949008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=482] ppid=468 vsize=26105488 memory=70772 CPUtime=0 cores=0-7
/proc/471/task/482/stat : 482 (java) S 468 471 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253741261 26732019712 21909 33554432000 4194304 4196468 140725716982912 140137891896464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=483] ppid=468 vsize=26105488 memory=1500 CPUtime=0 cores=0-7
/proc/471/task/483/stat : 483 (java) S 468 471 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253741263 26732019712 21909 33554432000 4194304 4196468 140725716982912 140136689776624 140137946655362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0

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

/proc/471/task/496/stat : 496 (java) S 468 471 424 0 -1 1077944384 50841 0 0 0 247207 45 0 0 20 0 46 0 253742003 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136593477408 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=497] ppid=468 vsize=27850524 memory=4612676 CPUtime=2474.03 cores=0-7
/proc/471/task/497/stat : 497 (java) S 468 471 424 0 -1 1077944384 53029 0 0 0 247354 49 0 0 20 0 46 0 253742004 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136592423072 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=498] ppid=468 vsize=27850524 memory=4599196 CPUtime=0.04 cores=0-7
/proc/471/task/498/stat : 498 (java) S 468 471 424 0 -1 1077944384 380 0 0 0 4 0 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136589281040 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=499] ppid=468 vsize=27850524 memory=7740395203660443749 CPUtime=0.08 cores=0-7
/proc/471/task/499/stat : 499 (java) S 468 471 424 0 -1 1077944384 694 0 0 0 8 0 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136588227472 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=500] ppid=468 vsize=27850524 memory=5868301826501668199 CPUtime=2473.68 cores=0-7
/proc/471/task/500/stat : 500 (java) S 468 471 424 0 -1 1077944384 57289 0 0 0 247316 52 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136587167264 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=501] ppid=468 vsize=27850524 memory=5866622833608125799 CPUtime=0.07 cores=0-7
/proc/471/task/501/stat : 501 (java) S 468 471 424 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136586122384 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=502] ppid=468 vsize=27850524 memory=7954039087657603434 CPUtime=2473.54 cores=0-7
/proc/471/task/502/stat : 502 (java) S 468 471 424 0 -1 1077944384 52777 0 0 0 247311 43 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136585062496 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=503] ppid=468 vsize=27850524 memory=4605016 CPUtime=2475.32 cores=0-7
/proc/471/task/503/stat : 503 (java) S 468 471 424 0 -1 1077944384 54069 0 0 0 247486 46 0 0 20 0 46 0 253742011 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136584011232 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=504] ppid=468 vsize=27850524 memory=7597693987539544401 CPUtime=0.01 cores=0-7
/proc/471/task/504/stat : 504 (java) S 468 471 424 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 46 0 253742020 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136582964752 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=505] ppid=468 vsize=27850524 memory=7596844026343484263 CPUtime=2474.22 cores=0-7
/proc/471/task/505/stat : 505 (java) S 468 471 424 0 -1 1077944384 51736 0 0 0 247375 47 0 0 20 0 46 0 253742021 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136581906336 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=506] ppid=468 vsize=27850524 memory=4641917547751893609 CPUtime=0 cores=0-7
/proc/471/task/506/stat : 506 (java) S 468 471 424 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 46 0 253742021 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136580859664 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=507] ppid=468 vsize=27850524 memory=496 CPUtime=2474.32 cores=0-7
/proc/471/task/507/stat : 507 (java) S 468 471 424 0 -1 1077944384 52364 0 0 0 247381 51 0 0 20 0 46 0 253742021 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136579800224 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=508] ppid=468 vsize=27850524 memory=928 CPUtime=0 cores=0-7
/proc/471/task/508/stat : 508 (java) S 468 471 424 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 46 0 253742021 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136578753552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=509] ppid=468 vsize=27850524 memory=1172 CPUtime=0 cores=0-7
/proc/471/task/509/stat : 509 (java) S 468 471 424 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 46 0 253742021 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136577701008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=511] ppid=468 vsize=27850524 memory=1964 CPUtime=0 cores=0-7
/proc/471/task/511/stat : 511 (java) S 468 471 424 0 -1 1077944384 511 0 0 0 0 0 0 0 20 0 46 0 253742022 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136576648464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=512] ppid=468 vsize=27850524 memory=1572 CPUtime=0 cores=0-7
/proc/471/task/512/stat : 512 (java) S 468 471 424 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 46 0 253742022 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136575595920 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=513] ppid=468 vsize=27850524 memory=924 CPUtime=0 cores=0-7
/proc/471/task/513/stat : 513 (java) S 468 471 424 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 46 0 253742092 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136572409360 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=514] ppid=468 vsize=27850524 memory=1992 CPUtime=0 cores=0-7
/proc/471/task/514/stat : 514 (java) S 468 471 424 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 46 0 253742094 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136571356816 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=515] ppid=468 vsize=27850524 memory=2528 CPUtime=0 cores=0-7
/proc/471/task/515/stat : 515 (java) S 468 471 424 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 46 0 253742094 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136570304272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=516] ppid=468 vsize=27850524 memory=1880 CPUtime=0.01 cores=0-7
/proc/471/task/516/stat : 516 (java) S 468 471 424 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 46 0 253742094 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136569250704 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=517] ppid=468 vsize=27850524 memory=7528 CPUtime=0 cores=0-7
/proc/471/task/517/stat : 517 (java) S 468 471 424 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 46 0 253742094 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136568198160 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=518] ppid=468 vsize=27850524 memory=804 CPUtime=0 cores=0-7
/proc/471/task/518/stat : 518 (java) S 468 471 424 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 46 0 253742095 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136567145616 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=519] ppid=468 vsize=27850524 memory=4612676 CPUtime=0.01 cores=0-7
/proc/471/task/519/stat : 519 (java) S 468 471 424 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 46 0 253742096 28518936576 1153169 33554432000 4194304 4196468 140725716982912 140136566093072 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
Current children cumulated CPU time: 19906.4 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 4612676 KiB

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

[startup+2520.21 s]
# the end of solver process 471 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19898.3 s, system=9.30116 s

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

[startup+2520.12 s]
/proc/loadavg: 8.51 8.67 8.32 9/224 588
/proc/meminfo: memFree=19943116/32770624 swapFree=67108172/67108860
[pid=471] ppid=468 vsize=27984680 memory=4614872 CPUtime=19907.2 cores=0-7
/proc/471/stat : 471 (java) S 468 471 424 0 -1 1077944320 1334776 0 0 0 1989796 927 0 0 20 0 48 0 253741260 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140725716965456 140137946644215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
/proc/471/statm: 6996170 1153718 3626 1 0 6957721 0
[pid=471/tid=473] ppid=468 vsize=27984680 memory=4612676 CPUtime=7.29 cores=0-7
/proc/471/task/473/stat : 473 (java) S 468 471 424 0 -1 1077944384 22078 0 0 0 719 10 0 0 20 0 48 0 253741260 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137950881680 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=474] ppid=468 vsize=27984680 memory=4612676 CPUtime=11.36 cores=0-7
/proc/471/task/474/stat : 474 (java) S 468 471 424 0 -1 1077944384 83867 0 0 0 1079 57 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137899264272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=475] ppid=468 vsize=27984680 memory=4612676 CPUtime=11.34 cores=0-7
/proc/471/task/475/stat : 475 (java) S 468 471 424 0 -1 1077944384 97596 0 0 0 1071 63 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137898211728 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=476] ppid=468 vsize=27984680 memory=4612676 CPUtime=11.41 cores=0-7
/proc/471/task/476/stat : 476 (java) S 468 471 424 0 -1 1077944384 83238 0 0 0 1085 56 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137897159184 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=477] ppid=468 vsize=27984680 memory=4612676 CPUtime=11.38 cores=0-7
/proc/471/task/477/stat : 477 (java) S 468 471 424 0 -1 1077944384 85467 0 0 0 1083 55 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137896106640 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=479] ppid=468 vsize=27984680 memory=4599196 CPUtime=11.37 cores=0-7
/proc/471/task/479/stat : 479 (java) S 468 471 424 0 -1 1077944384 77483 0 0 0 1080 57 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137895054096 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=480] ppid=468 vsize=27984680 memory=4605016 CPUtime=11.35 cores=0-7
/proc/471/task/480/stat : 480 (java) S 468 471 424 0 -1 1077944384 84387 0 0 0 1077 58 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137894001552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=481] ppid=468 vsize=27984680 memory=1125 CPUtime=11.36 cores=0-7
/proc/471/task/481/stat : 481 (java) S 468 471 424 0 -1 1077944384 73823 0 0 0 1077 59 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137892949008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=482] ppid=468 vsize=27984680 memory=0 CPUtime=11.32 cores=0-7
/proc/471/task/482/stat : 482 (java) S 468 471 424 0 -1 1077944384 77765 0 0 0 1077 55 0 0 20 0 48 0 253741261 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140137891896464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=483] ppid=468 vsize=27984680 memory=280024219186750 CPUtime=7.96 cores=0-7
/proc/471/task/483/stat : 483 (java) S 468 471 424 0 -1 1077944384 141248 0 0 0 718 78 0 0 20 0 48 0 253741263 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136689776624 140137946655362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=484] ppid=468 vsize=27984680 memory=4612676 CPUtime=0 cores=0-7
/proc/471/task/484/stat : 484 (java) S 468 471 424 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 48 0 253741263 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136688722912 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=485] ppid=468 vsize=27984680 memory=31356350842106267 CPUtime=0 cores=0-7
/proc/471/task/485/stat : 485 (java) S 468 471 424 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 48 0 253741263 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136687670272 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=486] ppid=468 vsize=27984680 memory=4612676 CPUtime=0 cores=0-7
/proc/471/task/486/stat : 486 (java) S 468 471 424 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136686618832 140137946662811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=487] ppid=468 vsize=27984680 memory=4612676 CPUtime=2.07 cores=0-7
/proc/471/task/487/stat : 487 (java) S 468 471 424 0 -1 1077944384 11659 0 0 0 204 3 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136685566448 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=488] ppid=468 vsize=27984680 memory=1 CPUtime=1.67 cores=0-7
/proc/471/task/488/stat : 488 (java) R 468 471 424 0 -1 4202560 7373 0 0 0 165 2 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136684493344 140137926307047 0 4 0 16800975 0 0 0 -1 3 0 0 22 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=489] ppid=468 vsize=27984680 memory=0 CPUtime=1.9 cores=0-7
/proc/471/task/489/stat : 489 (java) R 468 471 424 0 -1 1077944384 9883 0 0 0 188 2 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136683461360 140137946655362 0 4 0 16800975 0 0 0 -1 3 0 0 61 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=490] ppid=468 vsize=27984680 memory=0 CPUtime=1.18 cores=0-7
/proc/471/task/490/stat : 490 (java) S 468 471 424 0 -1 1077944384 17488 0 0 0 113 5 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136682408816 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=491] ppid=468 vsize=27984680 memory=4612676 CPUtime=0 cores=0-7
/proc/471/task/491/stat : 491 (java) S 468 471 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136681355488 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=492] ppid=468 vsize=27984680 memory=38100 CPUtime=0.74 cores=0-7
/proc/471/task/492/stat : 492 (java) S 468 471 424 0 -1 1077944384 7703 0 0 0 26 48 0 0 20 0 48 0 253741266 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136680303024 140137946655362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 60 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=493] ppid=468 vsize=27984680 memory=303148748257886234 CPUtime=0.01 cores=0-7
/proc/471/task/493/stat : 493 (java) S 468 471 424 0 -1 1077944384 2063 0 0 0 1 0 0 0 20 0 48 0 253741963 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136668959408 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=494] ppid=468 vsize=27984680 memory=69280 CPUtime=1.9 cores=0-7
/proc/471/task/494/stat : 494 (java) R 468 471 424 0 -1 4202560 13825 0 0 0 83 107 0 0 20 0 48 0 253741980 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136665809968 140137928050504 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=495] ppid=468 vsize=27984680 memory=1796 CPUtime=2472.77 cores=0-7
/proc/471/task/495/stat : 495 (java) R 468 471 424 0 -1 4202560 53170 0 0 0 247225 52 0 0 20 0 48 0 253742002 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136664750176 140137559721591 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=496] ppid=468 vsize=27984680 memory=4602968 CPUtime=2472.62 cores=0-7
/proc/471/task/496/stat : 496 (java) R 468 471 424 0 -1 4202560 50842 0 0 0 247217 45 0 0 20 0 48 0 253742003 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136593477408 140137560338541 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=497] ppid=468 vsize=27984680 memory=0 CPUtime=2474.12 cores=0-7
/proc/471/task/497/stat : 497 (java) R 468 471 424 0 -1 4202560 53029 0 0 0 247363 49 0 0 20 0 48 0 253742004 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136592423392 140137559721768 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=498] ppid=468 vsize=27984680 memory=8819627650352313389 CPUtime=0.04 cores=0-7
/proc/471/task/498/stat : 498 (java) S 468 471 424 0 -1 1077944384 380 0 0 0 4 0 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136589281040 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=499] ppid=468 vsize=27984680 memory=288288887380640608 CPUtime=0.08 cores=0-7
/proc/471/task/499/stat : 499 (java) S 468 471 424 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136588227472 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=500] ppid=468 vsize=27984680 memory=0 CPUtime=2473.78 cores=0-7
/proc/471/task/500/stat : 500 (java) R 468 471 424 0 -1 4202560 57289 0 0 0 247326 52 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136587169000 140137559721768 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=501] ppid=468 vsize=27984680 memory=246660 CPUtime=0.07 cores=0-7
/proc/471/task/501/stat : 501 (java) S 468 471 424 0 -1 1077944384 359 0 0 0 7 0 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136586122384 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=502] ppid=468 vsize=27984680 memory=0 CPUtime=2473.6 cores=0-7
/proc/471/task/502/stat : 502 (java) R 468 471 424 0 -1 4202560 52777 0 0 0 247317 43 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136585062312 140137560699113 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=503] ppid=468 vsize=27984680 memory=4599196 CPUtime=2475.4 cores=0-7
/proc/471/task/503/stat : 503 (java) R 468 471 424 0 -1 4202560 54069 0 0 0 247494 46 0 0 20 0 48 0 253742011 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136584011368 140137559721477 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=504] ppid=468 vsize=27984680 memory=4599196 CPUtime=0.01 cores=0-7
/proc/471/task/504/stat : 504 (java) R 468 471 424 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 48 0 253742020 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136582964752 140137946654421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=505] ppid=468 vsize=27984680 memory=1796 CPUtime=2474.29 cores=0-7
/proc/471/task/505/stat : 505 (java) R 468 471 424 0 -1 4202560 51736 0 0 0 247382 47 0 0 20 0 48 0 253742021 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136581904872 140137558751515 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=506] ppid=468 vsize=27984680 memory=3752 CPUtime=0 cores=0-7
/proc/471/task/506/stat : 506 (java) S 468 471 424 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 48 0 253742021 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136580859664 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=507] ppid=468 vsize=27984680 memory=69280 CPUtime=2474.37 cores=0-7
/proc/471/task/507/stat : 507 (java) R 468 471 424 0 -1 4202560 52364 0 0 0 247386 51 0 0 20 0 48 0 253742021 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136579800168 140137553019027 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=508] ppid=468 vsize=27984680 memory=1796 CPUtime=0 cores=0-7
/proc/471/task/508/stat : 508 (java) S 468 471 424 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 48 0 253742021 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136578753552 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=509] ppid=468 vsize=27984680 memory=2148 CPUtime=0 cores=0-7
/proc/471/task/509/stat : 509 (java) S 468 471 424 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 48 0 253742021 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136577701008 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=511] ppid=468 vsize=27984680 memory=1408 CPUtime=0.01 cores=0-7
/proc/471/task/511/stat : 511 (java) S 468 471 424 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 48 0 253742022 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136576648464 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=512] ppid=468 vsize=27984680 memory=4480 CPUtime=0.01 cores=0-7
/proc/471/task/512/stat : 512 (java) S 468 471 424 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 48 0 253742022 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136575595920 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=513] ppid=468 vsize=27984680 memory=4599196 CPUtime=0.01 cores=0-7
/proc/471/task/513/stat : 513 (java) S 468 471 424 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 48 0 253742092 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136572409360 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=514] ppid=468 vsize=27984680 memory=1500 CPUtime=0 cores=0-7
/proc/471/task/514/stat : 514 (java) S 468 471 424 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 48 0 253742094 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136571356816 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=515] ppid=468 vsize=27984680 memory=1136 CPUtime=0.02 cores=0-7
/proc/471/task/515/stat : 515 (java) S 468 471 424 0 -1 1077944384 1647 0 0 0 2 0 0 0 20 0 48 0 253742094 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136570303792 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=516] ppid=468 vsize=27984680 memory=1828 CPUtime=0.01 cores=0-7
/proc/471/task/516/stat : 516 (java) S 468 471 424 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 48 0 253742094 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136569246288 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=517] ppid=468 vsize=27984680 memory=1020 CPUtime=0 cores=0-7
/proc/471/task/517/stat : 517 (java) S 468 471 424 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 48 0 253742094 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136568198160 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=518] ppid=468 vsize=27984680 memory=5672 CPUtime=0 cores=0-7
/proc/471/task/518/stat : 518 (java) S 468 471 424 0 -1 1077944384 750 0 0 0 0 0 0 0 20 0 48 0 253742095 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136567145616 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
[pid=471/tid=519] ppid=468 vsize=27984680 memory=756 CPUtime=0.01 cores=0-7
/proc/471/task/519/stat : 519 (java) S 468 471 424 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 48 0 253742096 28656312320 1153718 33554432000 4194304 4196468 140725716982912 140136566093072 140137946654421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24285184 140725716984909 140725716985093 140725716985093 140725716987855 0
Current children cumulated CPU time: 19907.2 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 4614872 KiB

Child status: 143
Real time (s): 2520.21
CPU time (s): 19907.6
CPU user time (s): 19898.3
CPU system time (s): 9.30116
CPU usage (%): 789.918
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 4667148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19898.3
system time used= 9.30116
maximum resident set size= 4669756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1334867
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 738114
involuntary context switches= 427626


# summary of solver processes directly reported to runsolver:
#   pid: 471
#   total CPU time (s): 19907.6
#   total CPU user time (s): 19898.3
#   total CPU system time (s): 9.30116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.2651 second user time and 39.0432 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-15 21:36:21
IDJOB=4309262
IDBENCH=141158
IDSOLVER=2793
FILE ID=node136/4309262-1534361781
RUNJOBID= node136-1534361781-454
PBS_JOBID= 21038264
Free space on /tmp= 46332 MiB

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

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

MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad
RANDOM SEED=2125608741

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24551224 kB
MemAvailable:   31893692 kB
Buffers:          150056 kB
Cached:          7439720 kB
SwapCached:           16 kB
Active:          3947128 kB
Inactive:        3694756 kB
Active(anon):       3924 kB
Inactive(anon):   108728 kB
Active(file):    3943204 kB
Inactive(file):  3586028 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             35724 kB
Writeback:             0 kB
AnonPages:         59648 kB
Mapped:            55080 kB
Shmem:             57768 kB
Slab:             269972 kB
SReclaimable:     241696 kB
SUnreclaim:        28276 kB
KernelStack:        3104 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 46296 MiB
End job on node136 at 2018-08-15 22:18:21