Trace number 1112302

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 90.0913 90.2228

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-43.xml
MD5SUMf2f84342904e22f7d1d97c8f943ceaa0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark3600.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1849
Number of constraints38871
Maximum constraint arity2
Maximum domain size43
Number of constraints which are defined in extension0
Number of constraints which are defined in intension38871
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.01/0.08	
0.01/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1112302-1215864873.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.32	   
0.28/0.32	   variables being loaded...
0.48/0.54	     nbVariables=1849  nbDomainTypes=1  minDomainSize=43  maxDomainSize=43  nbTotalValues=79507
0.48/0.54	       =>  wckTime=0.296  cpuTime=0.19  mem=13M709
0.48/0.54	   
0.48/0.54	   predicates being loaded...
0.58/0.60	   
0.58/0.60	   constraints being loaded...
10.98/11.02	   
10.98/11.02	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 61M930)
11.08/11.16	     nbConstraints=38871  nbConvertedConstraints=37367  nbConvertConstraintsChecks=32695867  nbExtensionStructures=17679
11.08/11.16	     nbSharedExtensionStructures=37364  nbConflictsStructures=17683  nbSharedConflictsStructures=38864
11.08/11.16	     nbSharedBinaryRepresentations=1520307  nbEvaluationManagers=4  nbSharedEvaluationManagers=1500  minDegree=42
11.08/11.16	     maxDegree=43  minArity=2  maxArity=2
11.08/11.16	       =>  wckTime=10.92  cpuTime=10.13  mem=71M954
11.48/11.51	   
11.48/11.51	   solver LocalSearchSolver being built... 
11.48/11.55	       =>  wckTime=11.313  cpuTime=10.16  mem=46M512
11.58/11.60	
11.58/11.60	s SATISFIABLE
11.58/11.60	o 968
11.58/11.61	o 963
11.58/11.62	o 958
11.58/11.63	o 955
11.58/11.64	o 951
11.58/11.65	o 947
11.58/11.65	o 943
11.58/11.66	o 939
11.58/11.67	o 935
11.58/11.68	o 931
11.58/11.68	o 927
11.58/11.69	o 923
11.68/11.71	o 920
11.68/11.72	o 917
11.68/11.75	o 914
11.68/11.77	o 911
11.78/11.80	o 908
11.78/11.83	o 905
11.78/11.85	o 902
11.78/11.87	o 899
11.88/11.90	o 896
11.88/11.92	o 893
11.88/11.94	o 890
11.88/11.96	o 887
11.88/11.98	o 884
11.98/12.00	o 881
11.98/12.02	o 878
11.98/12.04	o 875
11.98/12.06	o 872
11.98/12.08	o 869
11.98/12.09	o 866
12.08/12.11	o 863
12.08/12.12	o 860
12.08/12.14	o 857
12.08/12.15	o 854
12.08/12.17	o 851
12.08/12.18	o 848
12.08/12.19	o 845
12.18/12.20	o 842
12.18/12.21	o 839
12.18/12.22	o 836
12.18/12.23	o 833
12.18/12.24	o 830
12.18/12.25	o 827
12.18/12.26	o 824
12.18/12.27	o 821
12.18/12.28	o 818
12.18/12.29	o 815
12.28/12.31	o 812
12.28/12.32	o 810
12.28/12.34	o 808
12.28/12.35	o 806
12.38/12.40	o 805
12.38/12.48	o 803
12.48/12.57	o 801
12.58/12.65	o 799
12.68/12.73	o 797
12.78/12.81	o 795
12.78/12.89	o 793
12.88/12.97	o 791
12.97/13.04	o 789
13.08/13.12	o 787
13.08/13.20	o 785
13.18/13.27	o 783
13.27/13.35	o 781
13.37/13.42	o 779
13.47/13.50	o 777
13.47/13.57	o 775
13.57/13.65	o 773
13.67/13.72	o 771
13.67/13.79	o 769
13.77/13.86	o 767
13.87/13.94	o 765
13.97/14.01	o 763
13.97/14.08	o 761
14.07/14.15	o 759
14.18/14.22	o 757
14.18/14.29	o 755
14.28/14.35	o 753
14.37/14.42	o 751
14.37/14.49	o 749
14.47/14.55	o 747
14.57/14.62	o 745
14.57/14.69	o 743
14.67/14.75	o 741
14.77/14.81	o 739
14.77/14.88	o 737
14.87/14.94	o 735
14.97/15.00	o 733
14.97/15.06	o 731
15.08/15.13	o 729
15.08/15.19	o 727
15.18/15.25	o 725
15.28/15.31	o 723
15.28/15.37	o 721
15.38/15.42	o 719
15.38/15.48	o 717
15.48/15.54	o 715
15.48/15.59	o 713
15.57/15.65	o 711
15.67/15.71	o 709
15.67/15.76	o 707
15.77/15.82	o 705
15.77/15.87	o 703
15.87/15.93	o 701
15.87/15.98	o 699
15.97/16.03	o 697
15.97/16.08	o 695
16.07/16.13	o 693
16.07/16.18	o 691
16.17/16.23	o 689
16.17/16.28	o 687
16.27/16.33	o 685
16.27/16.38	o 683
16.37/16.43	o 681
16.37/16.47	o 679
16.47/16.52	o 677
16.47/16.57	o 675
16.57/16.61	o 673
16.57/16.66	o 671
16.67/16.70	o 669
16.67/16.75	o 667
16.67/16.79	o 665
16.77/16.83	o 663
16.77/16.88	o 661
16.87/16.92	o 659
16.87/16.96	o 657
16.97/17.00	o 655
16.97/17.04	o 653
16.97/17.08	o 651
17.07/17.12	o 649
17.07/17.16	o 647
17.17/17.20	o 645
17.17/17.24	o 643
17.17/17.27	o 641
17.27/17.31	o 639
17.27/17.35	o 637
17.27/17.38	o 635
17.36/17.41	o 633
17.36/17.45	o 631
17.36/17.48	o 629
17.47/17.52	o 627
17.47/17.55	o 625
17.47/17.58	o 623
17.57/17.61	o 621
17.57/17.64	o 619
17.57/17.68	o 617
17.66/17.71	o 615
17.66/17.74	o 613
17.66/17.76	o 611
17.66/17.79	o 609
17.76/17.82	o 607
17.76/17.85	o 605
17.76/17.87	o 603
17.86/17.90	o 601
17.86/17.92	o 599
17.86/17.95	o 597
17.86/17.98	o 595
17.96/18.00	o 593
17.96/18.03	o 591
17.96/18.05	o 589
17.96/18.08	o 587
17.96/18.10	o 585
18.06/18.12	o 583
18.06/18.14	o 581
18.06/18.17	o 579
18.06/18.19	o 577
18.16/18.21	o 575
18.16/18.23	o 573
18.16/18.25	o 571
18.16/18.26	o 569
18.16/18.28	o 567
18.16/18.29	o 565
18.26/18.31	o 563
18.26/18.32	o 561
18.26/18.34	o 559
18.26/18.36	o 557
18.26/18.37	o 555
18.26/18.38	o 553
18.26/18.39	o 551
18.37/18.41	o 549
18.37/18.42	o 547
18.37/18.44	o 545
18.37/18.45	o 543
18.37/18.46	o 541
18.37/18.47	o 539
18.37/18.48	o 537
18.37/18.49	o 535
18.47/18.51	o 533
18.47/18.52	o 531
18.47/18.53	o 529
18.47/18.54	o 527
18.47/18.54	o 525
18.47/18.55	o 523
18.47/18.56	o 521
18.47/18.57	o 519
18.47/18.58	o 517
18.47/18.59	o 516
18.57/18.62	o 515
18.57/18.62	o 514
18.57/18.63	o 513
18.57/18.65	o 512
18.57/18.66	o 511
18.57/18.68	o 510
18.57/18.69	o 509
18.57/18.70	o 508
18.67/18.72	o 507
18.67/18.74	o 505
18.67/18.74	o 503
18.67/18.75	o 502
18.67/18.77	o 501
18.76/18.81	o 500
18.76/18.88	o 498
18.86/18.90	o 496
18.96/19.07	o 495
19.16/19.24	o 494
19.36/19.41	o 493
19.46/19.58	o 492
19.67/19.75	o 491
19.86/19.92	o 490
19.96/20.09	o 489
20.16/20.25	o 488
20.36/20.42	o 487
20.46/20.59	o 486
20.66/20.75	o 485
20.87/20.92	o 484
20.96/21.08	o 483
21.16/21.25	o 482
21.36/21.42	o 481
21.46/21.58	o 480
21.66/21.75	o 479
21.86/21.91	o 478
21.96/22.07	o 477
22.16/22.24	o 476
22.36/22.40	o 475
22.46/22.56	o 474
22.66/22.73	o 473
22.76/22.89	o 472
22.96/23.05	o 471
23.15/23.21	o 470
23.25/23.37	o 469
23.45/23.53	o 468
23.55/23.69	o 467
23.75/23.85	o 466
23.95/24.01	o 465
24.06/24.17	o 464
24.25/24.33	o 463
24.35/24.49	o 462
24.55/24.64	o 461
24.75/24.80	o 460
24.85/24.96	o 459
25.05/25.12	o 458
25.16/25.27	o 457
25.35/25.43	o 456
25.46/25.58	o 455
25.66/25.74	o 454
25.76/25.89	o 453
25.96/26.05	o 452
26.16/26.20	o 451
26.26/26.35	o 450
26.46/26.51	o 449
26.56/26.66	o 448
26.76/26.81	o 447
26.86/26.96	o 446
27.06/27.11	o 445
27.16/27.26	o 444
27.36/27.41	o 443
27.46/27.56	o 442
27.66/27.71	o 441
27.76/27.86	o 440
27.96/28.01	o 439
28.06/28.16	o 438
28.25/28.31	o 437
28.35/28.46	o 436
28.56/28.60	o 435
28.65/28.75	o 434
28.75/28.90	o 433
28.95/29.04	o 432
29.05/29.19	o 431
29.25/29.33	o 430
29.35/29.48	o 429
29.55/29.62	o 428
29.65/29.77	o 427
29.85/29.91	o 426
29.95/30.06	o 425
30.15/30.20	o 424
30.25/30.34	o 423
30.35/30.48	o 422
30.54/30.62	o 421
30.65/30.77	o 420
30.84/30.91	o 419
30.94/31.05	o 418
31.04/31.19	o 417
31.24/31.32	o 416
31.35/31.47	o 415
31.55/31.61	o 414
31.65/31.74	o 413
31.75/31.88	o 412
31.95/32.02	o 411
32.05/32.15	o 410
32.15/32.29	o 409
32.35/32.42	o 408
32.45/32.56	o 407
32.55/32.69	o 406
32.75/32.83	o 405
32.85/32.96	o 404
32.95/33.10	o 403
33.15/33.23	o 402
33.25/33.36	o 401
33.35/33.49	o 400
33.55/33.63	o 399
33.65/33.76	o 398
33.75/33.89	o 397
33.95/34.02	o 396
34.05/34.15	o 395
34.15/34.28	o 394
34.35/34.41	o 393
34.45/34.54	o 392
34.55/34.67	o 391
34.64/34.80	o 390
34.84/34.92	o 389
34.94/35.05	o 388
35.05/35.18	o 387
35.24/35.31	o 386
35.34/35.43	o 385
35.44/35.56	o 384
35.54/35.68	o 383
35.74/35.81	o 382
35.84/35.93	o 381
35.94/36.06	o 380
36.04/36.18	o 379
36.25/36.31	o 378
36.34/36.43	o 377
36.44/36.55	o 376
36.54/36.68	o 375
36.64/36.80	o 374
36.84/36.92	o 373
36.94/37.04	o 372
37.04/37.16	o 371
37.14/37.28	o 370
37.34/37.40	o 369
37.44/37.52	o 368
37.54/37.64	o 367
37.64/37.76	o 366
37.74/37.88	o 365
37.94/38.00	o 364
38.04/38.12	o 363
38.14/38.23	o 362
38.24/38.35	o 361
38.34/38.47	o 360
38.44/38.59	o 359
38.63/38.70	o 358
38.73/38.82	o 357
38.83/38.93	o 356
38.93/39.05	o 355
39.03/39.16	o 354
39.13/39.28	o 353
39.23/39.39	o 352
39.44/39.51	o 351
39.54/39.62	o 350
39.63/39.73	o 349
39.73/39.85	o 348
39.83/39.96	o 347
39.93/40.07	o 346
40.03/40.18	o 345
40.13/40.29	o 344
40.33/40.40	o 343
40.43/40.51	o 342
40.54/40.62	o 341
40.64/40.73	o 340
40.73/40.84	o 339
40.83/40.95	o 338
40.93/41.06	o 337
41.03/41.17	o 336
41.13/41.28	o 335
41.23/41.38	o 334
41.33/41.49	o 333
41.53/41.60	o 332
41.63/41.71	o 331
41.73/41.81	o 330
41.83/41.92	o 329
41.93/42.02	o 328
42.03/42.13	o 327
42.13/42.23	o 326
42.24/42.34	o 325
42.34/42.44	o 324
42.44/42.55	o 323
42.54/42.65	o 322
42.64/42.75	o 321
42.74/42.86	o 320
42.84/42.96	o 319
42.94/43.06	o 318
43.04/43.16	o 317
43.14/43.26	o 316
43.24/43.36	o 315
43.34/43.47	o 314
43.44/43.57	o 313
43.54/43.67	o 312
43.64/43.76	o 311
43.74/43.86	o 310
43.84/43.96	o 309
43.94/44.06	o 308
44.03/44.16	o 307
44.13/44.26	o 306
44.23/44.35	o 305
44.33/44.45	o 304
44.43/44.55	o 303
44.53/44.64	o 302
44.63/44.74	o 301
44.73/44.83	o 300
44.83/44.93	o 299
44.94/45.02	o 298
45.04/45.12	o 297
45.13/45.21	o 296
45.23/45.30	o 295
45.23/45.40	o 294
45.33/45.49	o 293
45.43/45.58	o 292
45.53/45.67	o 291
45.63/45.77	o 290
45.73/45.86	o 289
45.83/45.95	o 288
45.93/46.04	o 287
46.03/46.13	o 286
46.13/46.22	o 285
46.23/46.31	o 284
46.23/46.40	o 283
46.33/46.48	o 282
46.43/46.57	o 281
46.53/46.66	o 280
46.63/46.75	o 279
46.72/46.84	o 278
46.82/46.92	o 277
46.92/47.01	o 276
46.92/47.09	o 275
47.02/47.18	o 274
47.13/47.27	o 273
47.23/47.35	o 272
47.32/47.43	o 271
47.42/47.52	o 270
47.52/47.60	o 269
47.52/47.69	o 268
47.62/47.77	o 267
47.72/47.85	o 266
47.82/47.93	o 265
47.92/48.02	o 264
48.02/48.10	o 263
48.02/48.18	o 262
48.12/48.26	o 261
48.22/48.34	o 260
48.33/48.42	o 259
48.42/48.50	o 258
48.42/48.58	o 257
48.52/48.66	o 256
48.62/48.74	o 255
48.72/48.82	o 254
48.72/48.89	o 253
48.82/48.97	o 252
48.92/49.05	o 251
49.02/49.12	o 250
49.12/49.20	o 249
49.12/49.28	o 248
49.22/49.35	o 247
49.32/49.43	o 246
49.43/49.50	o 245
49.43/49.58	o 244
49.53/49.65	o 243
49.63/49.73	o 242
49.73/49.80	o 241
49.73/49.88	o 240
49.83/49.95	o 239
49.93/50.02	o 238
49.93/50.09	o 237
50.03/50.17	o 236
50.13/50.24	o 235
50.23/50.31	o 234
50.23/50.38	o 233
50.33/50.45	o 232
50.43/50.52	o 231
50.43/50.59	o 230
50.53/50.66	o 229
50.63/50.73	o 228
50.63/50.80	o 227
50.73/50.86	o 226
50.83/50.93	o 225
50.93/51.00	o 224
50.93/51.07	o 223
51.03/51.13	o 222
51.13/51.20	o 221
51.13/51.26	o 220
51.23/51.33	o 219
51.23/51.39	o 218
51.33/51.46	o 217
51.43/51.52	o 216
51.43/51.59	o 215
51.53/51.65	o 214
51.63/51.71	o 213
51.63/51.78	o 212
51.72/51.84	o 211
51.82/51.90	o 210
51.82/51.96	o 209
51.92/52.03	o 208
51.92/52.09	o 207
52.02/52.15	o 206
52.12/52.21	o 205
52.12/52.27	o 204
52.22/52.33	o 203
52.22/52.39	o 202
52.32/52.45	o 201
52.42/52.51	o 200
52.42/52.56	o 199
52.52/52.62	o 198
52.52/52.68	o 197
52.62/52.74	o 196
52.62/52.80	o 195
52.72/52.85	o 194
52.82/52.91	o 193
52.82/52.97	o 192
52.92/53.02	o 191
52.92/53.08	o 190
53.02/53.13	o 189
53.02/53.19	o 188
53.12/53.24	o 187
53.12/53.29	o 186
53.22/53.35	o 185
53.32/53.40	o 184
53.32/53.45	o 183
53.42/53.51	o 182
53.42/53.56	o 181
53.52/53.61	o 180
53.52/53.66	o 179
53.62/53.72	o 178
53.62/53.77	o 177
53.72/53.82	o 176
53.72/53.87	o 175
53.82/53.92	o 174
53.82/53.97	o 173
53.91/54.02	o 172
53.91/54.07	o 171
54.01/54.12	o 170
54.01/54.16	o 169
54.12/54.21	o 168
54.12/54.26	o 167
54.22/54.31	o 166
54.22/54.35	o 165
54.32/54.40	o 164
54.32/54.45	o 163
54.32/54.49	o 162
54.42/54.54	o 161
54.42/54.59	o 160
54.51/54.63	o 159
54.51/54.68	o 158
54.61/54.72	o 157
54.61/54.76	o 156
54.71/54.81	o 155
54.71/54.85	o 154
54.71/54.90	o 153
54.82/54.94	o 152
54.82/54.98	o 151
54.92/55.02	o 150
54.92/55.07	o 149
55.01/55.11	o 148
55.01/55.15	o 147
55.01/55.19	o 146
55.11/55.23	o 145
55.11/55.27	o 144
55.21/55.31	o 143
55.21/55.35	o 142
55.21/55.39	o 141
55.31/55.43	o 140
55.31/55.47	o 139
55.41/55.50	o 138
55.41/55.54	o 137
55.41/55.58	o 136
55.51/55.62	o 135
55.51/55.65	o 134
55.51/55.69	o 133
55.61/55.73	o 132
55.61/55.76	o 131
55.71/55.80	o 130
55.71/55.83	o 129
55.71/55.87	o 128
55.81/55.90	o 127
55.81/55.94	o 126
55.81/55.97	o 125
55.91/56.00	o 124
55.91/56.04	o 123
55.91/56.07	o 122
56.01/56.10	o 121
56.01/56.14	o 120
56.01/56.17	o 119
56.11/56.20	o 118
56.11/56.23	o 117
56.11/56.26	o 116
56.11/56.29	o 115
56.20/56.32	o 114
56.20/56.35	o 113
56.20/56.38	o 112
56.31/56.41	o 111
56.31/56.44	o 110
56.31/56.47	o 109
56.41/56.50	o 108
56.41/56.53	o 107
56.41/56.56	o 106
56.41/56.58	o 105
56.51/56.61	o 104
56.51/56.64	o 103
56.51/56.66	o 102
56.51/56.69	o 101
56.61/56.72	o 100
56.61/56.74	o 99
56.61/56.77	o 98
56.61/56.79	o 97
56.71/56.82	o 96
56.71/56.84	o 95
56.71/56.87	o 94
56.71/56.89	o 93
56.81/56.91	o 92
56.81/56.94	o 91
56.81/56.96	o 90
56.81/56.98	o 89
56.91/57.01	o 88
56.91/57.03	o 87
56.91/57.05	o 86
56.91/57.07	o 85
56.91/57.09	o 84
57.01/57.11	o 83
57.01/57.13	o 82
57.01/57.15	o 81
57.01/57.17	o 80
57.01/57.19	o 79
57.11/57.21	o 78
57.11/57.23	o 77
57.11/57.25	o 76
57.11/57.27	o 75
57.11/57.28	o 74
57.20/57.30	o 73
57.20/57.32	o 72
57.20/57.34	o 71
57.20/57.35	o 70
57.20/57.37	o 69
57.20/57.38	o 68
57.30/57.40	o 67
57.30/57.42	o 66
57.30/57.43	o 65
57.30/57.45	o 64
57.30/57.46	o 63
57.30/57.47	o 62
57.30/57.49	o 61
57.40/57.50	o 60
57.40/57.52	o 59
57.40/57.53	o 58
57.40/57.54	o 57
57.40/57.56	o 56
57.40/57.57	o 55
57.40/57.58	o 54
57.40/57.59	o 53
57.50/57.60	o 52
57.50/57.61	o 51
57.50/57.62	o 50
57.50/57.63	o 49
57.50/57.65	o 48
57.50/57.66	o 47
57.50/57.67	o 46
57.50/57.67	o 45
57.50/57.68	o 44
57.50/57.69	o 43
57.60/57.70	o 42
57.60/57.71	o 41
57.60/57.71	o 40
57.60/57.72	o 39
57.60/57.73	o 38
57.60/57.73	o 37
57.60/57.74	o 36
57.60/57.75	o 35
57.60/57.75	o 34
57.60/57.76	o 33
57.60/57.76	o 32
57.60/57.77	o 31
57.60/57.77	o 30
57.60/57.77	o 29
57.60/57.78	o 28
57.60/57.78	o 27
57.60/57.78	o 26
57.60/57.79	o 25
57.60/57.80	o 24
57.70/57.80	o 23
57.70/57.81	o 22
57.70/57.81	o 21
57.70/57.81	o 20
57.70/57.82	o 19
57.70/57.82	o 18
57.70/57.82	o 17
57.70/57.82	o 16
57.70/57.83	o 15
57.70/57.83	o 14
57.70/57.83	o 13
57.70/57.83	o 12
57.70/57.83	o 11
57.70/57.85	o 10
57.70/57.85	o 9
57.70/57.86	o 8
57.70/57.86	o 7
57.70/57.86	o 6
57.70/57.86	o 5
57.70/57.86	o 4
57.70/57.87	o 3
57.70/57.87	o 2
57.70/57.87	o 1
87.89/88.08	   
87.89/88.08	   search
87.89/88.08	     run=0  nbConstraintChecks=449299564  nbAssignments=3248
87.89/88.08	       =>  wckTime=76.528  cpuTime=76.41  mem=46M512
87.89/88.08	   
87.89/88.08	   global
87.89/88.08	     nbConstraintChecks=449299564  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
87.89/88.08	     solvingWckTime=76.521  solvingCpuTime=76.4  expiredTime=no  totalExploration=no  nbFoundSolutions=0
87.89/88.08	     globalCpuTime=86.61
87.89/88.08	       =>  wckTime=87.84  cpuTime=86.57  mem=46M512
87.89/88.08	   
87.89/88.08	   solver DecomposerSolver being built... 
89.39/89.56	       =>  wckTime=89.319  cpuTime=87.11  mem=633M76
89.58/89.77	   
89.58/89.77	   preprocessing
89.58/89.77	     nbConstraintChecks=0  nbPropagations=1849  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
89.58/89.77	     detectedInconsistency=no
89.58/89.77	       =>  wckTime=0.205  cpuTime=0.19  mem=634M90
89.88/90.09	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112302-1215864873/watcher-1112302-1215864873 -o /tmp/evaluation-result-1112302-1215864873/solver-1112302-1215864873 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112302-1215864873.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 15564
/proc/meminfo: memFree=1817560/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=1616 CPUtime=0
/proc/15564/stat : 15564 (java) R 15562 15564 15324 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 43189021 1654784 146 996147200 134512640 134550740 4294956128 18446744073709551615 4938336 0 0 4096 0 0 0 0 17 0 0 0
/proc/15564/statm: 404 148 122 9 0 46 0

[startup+0.0241359 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 15564
/proc/meminfo: memFree=1817560/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=860712 CPUtime=0.01
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 1684 0 1 0 0 1 0 0 18 0 2 0 43189021 881369088 1382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 215178 1386 552 9 0 210157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860712

[startup+0.101142 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 15564
/proc/meminfo: memFree=1817560/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=865988 CPUtime=0.08
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 3734 0 1 0 6 2 0 0 18 0 9 0 43189021 886771712 3202 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216497 3203 1691 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301152 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 15564
/proc/meminfo: memFree=1817560/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=866388 CPUtime=0.28
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 5896 0 1 0 24 4 0 0 18 0 9 0 43189021 887181312 5271 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216597 5271 1957 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701178 s]
/proc/loadavg: 2.00 2.01 2.00 4/80 15564
/proc/meminfo: memFree=1817560/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=0.68
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 9530 0 1 0 62 6 0 0 18 0 9 0 43189021 888360960 8891 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 8892 2012 9 0 211391 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867540

[startup+1.50223 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 15573
/proc/meminfo: memFree=1773776/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867452 CPUtime=1.48
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 19098 0 1 0 136 12 0 0 18 0 9 0 43189021 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216863 18434 2004 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867452 CPUtime=1.22
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15757 0 1 0 112 10 0 0 25 0 9 0 43189022 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867452 CPUtime=0.08
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 2033 0 0 0 8 0 0 0 16 0 9 0 43189024 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867452 CPUtime=0.15
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 612 0 0 0 15 0 0 0 16 0 9 0 43189026 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888270848 18434 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867452

[startup+3.10133 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 15573
/proc/meminfo: memFree=1750992/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867452 CPUtime=3.08
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 22447 0 1 0 281 27 0 0 18 0 9 0 43189021 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216863 21779 2006 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867452 CPUtime=2.6
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15797 0 1 0 236 24 0 0 25 0 9 0 43189022 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4126899353 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867456 CPUtime=0.21
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 5285 0 0 0 20 1 0 0 17 0 9 0 43189024 888274944 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867456 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888274944 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867456 CPUtime=0.24
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 669 0 0 0 24 0 0 0 15 0 9 0 43189026 888274944 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888270848 21779 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867452

[startup+6.30153 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 15573
/proc/meminfo: memFree=1731344/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867452 CPUtime=6.28
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 24047 0 1 0 554 74 0 0 18 0 9 0 43189021 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216863 23376 2006 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867452 CPUtime=5.7
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15800 0 1 0 499 71 0 0 25 0 9 0 43189022 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867452 CPUtime=0.31
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 6881 0 0 0 30 1 0 0 16 0 9 0 43189024 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867456 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888274944 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867456 CPUtime=0.24
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 670 0 0 0 24 0 0 0 16 0 9 0 43189026 888274944 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888270848 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867456 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888274944 23376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867452

[startup+12.7019 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 15573
/proc/meminfo: memFree=1706264/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=12.68
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31263 0 1 0 1118 150 0 0 18 0 9 0 43189021 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30270 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=11.47
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15867 0 1 0 1002 145 0 0 25 0 9 0 43189022 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4127220570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 17 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.29
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 703 0 0 0 29 0 0 0 15 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867540

[startup+25.5027 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 15573
/proc/meminfo: memFree=1706200/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=25.46
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31263 0 1 0 2393 153 0 0 18 0 9 0 43189021 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30270 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=24.25
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15867 0 1 0 2278 147 0 0 25 0 9 0 43189022 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4127212857 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 16 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.29
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 703 0 0 0 29 0 0 0 16 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30270 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 867540

[startup+51.1023 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1706200/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=51.03
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31266 0 1 0 4947 156 0 0 18 0 9 0 43189021 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30272 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=49.81
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15868 0 1 0 4831 150 0 0 25 0 9 0 43189022 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4127214379 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 16 0 9 0 43189024 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.3
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 705 0 0 0 30 0 0 0 15 0 9 0 43189026 888360960 30272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0

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

/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.3
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 707 0 0 0 30 0 0 0 16 0 9 0 43189026 888360960 30274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30274 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.6
Current children cumulated vsize (KiB) 867540

[startup+83.1014 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1706072/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=82.99
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31271 0 1 0 8136 163 0 0 18 0 9 0 43189021 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30276 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=81.76
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15869 0 1 0 8019 157 0 0 25 0 9 0 43189022 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4127214324 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.3
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 709 0 0 0 30 0 0 0 16 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.99
Current children cumulated vsize (KiB) 867540

[startup+86.3026 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1706072/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=86.19
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31271 0 1 0 8452 167 0 0 18 0 9 0 43189021 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30276 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=84.97
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15869 0 1 0 8335 162 0 0 25 0 9 0 43189022 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.3
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 709 0 0 0 30 0 0 0 16 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 86.19
Current children cumulated vsize (KiB) 867540

[startup+87.9027 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1706072/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=87.79
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 31271 0 1 0 8610 169 0 0 18 0 9 0 43189021 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 30276 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=86.57
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15869 0 1 0 8494 163 0 0 25 0 9 0 43189022 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4127214493 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=0.89
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 13997 0 0 0 85 4 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.3
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 709 0 0 0 30 0 0 0 16 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 30276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 87.79
Current children cumulated vsize (KiB) 867540

[startup+89.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1407000/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=89.39
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 158926 0 1 0 8723 216 0 0 18 0 9 0 43189021 888360960 157917 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 157925 2642 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=87.25
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15930 0 1 0 8562 163 0 0 25 0 9 0 43189022 888360960 157930 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=1.75
/proc/15564/task/15567/stat : 15567 (java) R 15562 15564 15324 0 -1 64 141579 0 0 0 125 50 0 0 17 0 9 0 43189024 888360960 157938 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 157944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43189024 888360960 157952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 157960 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.35
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 740 0 0 0 35 0 0 0 15 0 9 0 43189026 888360960 157967 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 157973 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 157981 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.39
Current children cumulated vsize (KiB) 867540

[startup+89.9018 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15573
/proc/meminfo: memFree=1407000/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867540 CPUtime=89.78
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 165411 0 1 0 8760 218 0 0 18 0 9 0 43189021 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216885 164399 2640 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867540 CPUtime=87.48
/proc/15564/task/15566/stat : 15566 (java) R 15562 15564 15324 0 -1 64 15931 0 1 0 8584 164 0 0 25 0 9 0 43189022 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867540 CPUtime=1.91
/proc/15564/task/15567/stat : 15567 (java) R 15562 15564 15324 0 -1 64 148034 0 0 0 139 52 0 0 16 0 9 0 43189024 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 8 0 0 0 0 0 0 0 15 0 9 0 43189024 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867540 CPUtime=0.37
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 747 0 0 0 37 0 0 0 15 0 9 0 43189026 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867540 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888360960 164399 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (KiB) 867540

[startup+90.1018 s]
/proc/loadavg: 2.00 2.00 2.00 2/89 15573
/proc/meminfo: memFree=1125272/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=867452 CPUtime=89.98
/proc/15564/stat : 15564 (java) S 15562 15564 15324 0 -1 0 176249 0 1 0 8776 222 0 0 18 0 9 0 43189021 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 216863 175206 2618 9 0 211391 0
[pid=15564/tid=15566] ppid=15562 vsize=867452 CPUtime=87.48
/proc/15564/task/15566/stat : 15566 (java) S 15562 15564 15324 0 -1 64 15934 0 1 0 8584 164 0 0 25 0 9 0 43189022 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15567] ppid=15562 vsize=867452 CPUtime=2.11
/proc/15564/task/15567/stat : 15567 (java) S 15562 15564 15324 0 -1 64 158862 0 0 0 155 56 0 0 16 0 9 0 43189024 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15568] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15568/stat : 15568 (java) S 15562 15564 15324 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15569] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15569/stat : 15569 (java) S 15562 15564 15324 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 43189024 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15570] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15570/stat : 15570 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 43189026 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15571] ppid=15562 vsize=867452 CPUtime=0.37
/proc/15564/task/15571/stat : 15571 (java) S 15562 15564 15324 0 -1 64 747 0 0 0 37 0 0 0 15 0 9 0 43189026 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15572] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15572/stat : 15572 (java) S 15562 15564 15324 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 43189026 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15564/tid=15573] ppid=15562 vsize=867452 CPUtime=0
/proc/15564/task/15573/stat : 15573 (java) S 15562 15564 15324 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43189026 888270848 175206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (KiB) 867452

[startup+90.2068 s]
/proc/loadavg: 2.00 2.00 2.00 2/89 15573
/proc/meminfo: memFree=1125272/2055920 swapFree=4180012/4192956
[pid=15564] ppid=15562 vsize=0 CPUtime=90.06
/proc/15564/stat : 15564 (java) Z 15562 15564 15324 0 -1 12 176254 0 1 0 8776 230 0 0 16 0 2 0 43189021 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 90.06
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 90.2228
CPU time (s): 90.0913
CPU user time (s): 87.7687
CPU system time (s): 2.32265
CPU usage (%): 99.8542
Max. virtual memory (cumulated for all children) (KiB): 867956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.7687
system time used= 2.32265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176254
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3921
involuntary context switches= 6586

runsolver used 0.147977 second user time and 0.338948 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-12 14:14:33
IDJOB=1112302
IDBENCH=61395
IDSOLVER=360
FILE ID=node29/1112302-1215864873
PBS_JOBID= 7903500
Free space on /tmp= 66492 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-43.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112302-1215864873/watcher-1112302-1215864873 -o /tmp/evaluation-result-1112302-1215864873/solver-1112302-1215864873 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112302-1215864873.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f2f84342904e22f7d1d97c8f943ceaa0
RANDOM SEED=1498833334

node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1818040 kB
Buffers:         45716 kB
Cached:          93536 kB
SwapCached:       6744 kB
Active:         123188 kB
Inactive:        71804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1818040 kB
SwapTotal:     4192956 kB
SwapFree:      4180012 kB
Dirty:            6740 kB
Writeback:           0 kB
Mapped:          71872 kB
Slab:            27936 kB
Committed_AS:   965284 kB
PageTables:       2000 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66488 MiB
End job on node29 at 2008-07-12 14:16:03