Trace number 1112301

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-w? 98.0471 99.064

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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.19/0.26	
0.19/0.26	   configuration
0.19/0.26	     name=mrdac-wdeg.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-1112301-1215864852.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.49/0.59	     nbVariables=1849  nbDomainTypes=1  minDomainSize=43  maxDomainSize=43  nbTotalValues=79507
0.49/0.59	       =>  wckTime=0.326  cpuTime=0.21  mem=13M709
0.49/0.59	   
0.49/0.59	   predicates being loaded...
0.58/0.65	   
0.58/0.65	   constraints being loaded...
11.08/11.23	   
11.08/11.23	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 45M997)
11.28/11.48	     nbConstraints=38871  nbConvertedConstraints=34042  nbConvertConstraintsChecks=29778145  nbExtensionStructures=16101
11.28/11.48	     nbSharedExtensionStructures=34039  nbConflictsStructures=16105  nbSharedConflictsStructures=38864
11.28/11.48	     nbSharedBinaryRepresentations=1384599  nbEvaluationManagers=4  nbSharedEvaluationManagers=4825  minDegree=42
11.28/11.48	     maxDegree=43  minArity=2  maxArity=2
11.28/11.48	       =>  wckTime=11.22  cpuTime=10.23  mem=66M909
11.68/11.87	   
11.68/11.87	   solver LocalSearchSolver being built... 
11.77/11.92	       =>  wckTime=11.659  cpuTime=10.28  mem=46M692
11.77/11.97	
11.77/11.97	s SATISFIABLE
11.77/11.97	o 968
11.77/11.98	o 963
11.77/11.99	o 958
11.88/12.00	o 955
11.88/12.01	o 951
11.88/12.02	o 947
11.88/12.03	o 943
11.88/12.05	o 939
11.88/12.05	o 935
11.88/12.06	o 931
11.88/12.07	o 927
11.88/12.08	o 923
11.98/12.11	o 920
11.98/12.11	o 917
11.98/12.15	o 914
11.98/12.18	o 911
12.08/12.21	o 908
12.08/12.24	o 905
12.08/12.27	o 902
12.08/12.30	o 899
12.17/12.33	o 896
12.17/12.35	o 893
12.17/12.38	o 890
12.27/12.40	o 887
12.27/12.43	o 884
12.27/12.45	o 881
12.27/12.47	o 878
12.27/12.49	o 875
12.37/12.51	o 872
12.37/12.53	o 869
12.37/12.55	o 866
12.37/12.57	o 863
12.37/12.59	o 860
12.47/12.61	o 857
12.47/12.63	o 854
12.47/12.64	o 851
12.47/12.66	o 848
12.47/12.67	o 845
12.47/12.68	o 842
12.47/12.69	o 839
12.56/12.71	o 836
12.56/12.72	o 833
12.56/12.73	o 830
12.56/12.74	o 827
12.56/12.75	o 824
12.56/12.76	o 821
12.56/12.77	o 818
12.56/12.78	o 815
12.66/12.80	o 812
12.66/12.82	o 810
12.66/12.84	o 808
12.66/12.85	o 806
12.76/12.92	o 805
12.86/13.01	o 803
12.96/13.11	o 801
13.06/13.21	o 799
13.16/13.31	o 797
13.25/13.40	o 795
13.25/13.49	o 793
13.35/13.58	o 791
13.45/13.68	o 789
13.56/13.77	o 787
13.66/13.86	o 785
13.76/13.95	o 783
13.86/14.04	o 781
13.96/14.13	o 779
14.06/14.22	o 777
14.16/14.31	o 775
14.16/14.39	o 773
14.25/14.48	o 771
14.35/14.57	o 769
14.45/14.65	o 767
14.55/14.73	o 765
14.65/14.82	o 763
14.74/14.90	o 761
14.74/14.98	o 759
14.84/15.07	o 757
14.94/15.15	o 755
15.04/15.23	o 753
15.14/15.31	o 751
15.14/15.38	o 749
15.24/15.47	o 747
15.34/15.54	o 745
15.43/15.62	o 743
15.43/15.69	o 741
15.53/15.77	o 739
15.63/15.84	o 737
15.73/15.92	o 735
15.73/15.99	o 733
15.83/16.07	o 731
15.93/16.14	o 729
16.03/16.21	o 727
16.03/16.28	o 725
16.13/16.35	o 723
16.23/16.42	o 721
16.23/16.49	o 719
16.32/16.56	o 717
16.42/16.63	o 715
16.42/16.69	o 713
16.52/16.76	o 711
16.62/16.82	o 709
16.62/16.89	o 707
16.72/16.95	o 705
16.82/17.02	o 703
16.82/17.08	o 701
16.91/17.14	o 699
17.01/17.21	o 697
17.01/17.26	o 695
17.11/17.32	o 693
17.11/17.38	o 691
17.21/17.44	o 689
17.31/17.50	o 687
17.31/17.56	o 685
17.41/17.62	o 683
17.41/17.67	o 681
17.51/17.73	o 679
17.51/17.78	o 677
17.60/17.84	o 675
17.60/17.89	o 673
17.70/17.94	o 671
17.70/17.99	o 669
17.80/18.04	o 667
17.80/18.09	o 665
17.90/18.15	o 663
18.00/18.20	o 661
18.00/18.25	o 659
18.10/18.30	o 657
18.10/18.35	o 655
18.10/18.39	o 653
18.19/18.44	o 651
18.19/18.49	o 649
18.29/18.53	o 647
18.29/18.58	o 645
18.40/18.62	o 643
18.40/18.66	o 641
18.50/18.71	o 639
18.50/18.75	o 637
18.50/18.79	o 635
18.60/18.84	o 633
18.60/18.88	o 631
18.69/18.92	o 629
18.69/18.96	o 627
18.69/18.99	o 625
18.79/19.03	o 623
18.79/19.07	o 621
18.89/19.10	o 619
18.89/19.14	o 617
18.89/19.17	o 615
18.99/19.21	o 613
18.99/19.25	o 611
18.99/19.28	o 609
19.09/19.31	o 607
19.09/19.34	o 605
19.09/19.37	o 603
19.18/19.40	o 601
19.18/19.43	o 599
19.18/19.46	o 597
19.18/19.49	o 595
19.28/19.52	o 593
19.28/19.55	o 591
19.28/19.58	o 589
19.38/19.60	o 587
19.38/19.63	o 585
19.38/19.66	o 583
19.38/19.68	o 581
19.48/19.71	o 579
19.48/19.74	o 577
19.48/19.76	o 575
19.48/19.78	o 573
19.58/19.80	o 571
19.58/19.82	o 569
19.58/19.84	o 567
19.58/19.86	o 565
19.58/19.88	o 563
19.58/19.89	o 561
19.69/19.91	o 559
19.69/19.93	o 557
19.69/19.95	o 555
19.69/19.96	o 553
19.69/19.97	o 551
19.69/19.99	o 549
19.78/20.00	o 547
19.78/20.02	o 545
19.78/20.04	o 543
19.78/20.05	o 541
19.78/20.06	o 539
19.78/20.07	o 537
19.78/20.08	o 535
19.88/20.10	o 533
19.88/20.12	o 531
19.88/20.12	o 529
19.88/20.13	o 527
19.88/20.14	o 525
19.88/20.15	o 523
19.88/20.16	o 521
19.88/20.17	o 519
19.88/20.18	o 517
19.88/20.19	o 516
19.98/20.22	o 515
19.98/20.23	o 514
19.98/20.23	o 513
19.98/20.26	o 512
19.98/20.27	o 511
19.98/20.29	o 510
20.07/20.31	o 509
20.07/20.31	o 508
20.07/20.34	o 507
20.07/20.37	o 505
20.07/20.37	o 503
20.07/20.38	o 502
20.16/20.40	o 501
20.16/20.44	o 500
20.26/20.52	o 498
20.26/20.55	o 496
20.46/20.75	o 495
20.66/20.95	o 494
20.86/21.14	o 493
21.06/21.34	o 492
21.25/21.54	o 491
21.45/21.73	o 490
21.65/21.93	o 489
21.86/22.13	o 488
22.05/22.32	o 487
22.25/22.51	o 486
22.45/22.71	o 485
22.65/22.90	o 484
22.75/23.09	o 483
22.95/23.29	o 482
23.14/23.48	o 481
23.34/23.67	o 480
23.54/23.86	o 479
23.74/24.05	o 478
23.94/24.25	o 477
24.13/24.44	o 476
24.33/24.63	o 475
24.52/24.82	o 474
24.72/25.01	o 473
24.92/25.20	o 472
25.02/25.39	o 471
25.22/25.58	o 470
25.42/25.77	o 469
25.61/25.96	o 468
25.81/26.15	o 467
26.01/26.33	o 466
26.21/26.52	o 465
26.41/26.71	o 464
26.51/26.89	o 463
26.70/27.08	o 462
26.90/27.27	o 461
27.10/27.45	o 460
27.30/27.64	o 459
27.49/27.82	o 458
27.69/28.00	o 457
27.79/28.19	o 456
27.99/28.37	o 455
28.19/28.55	o 454
28.40/28.74	o 453
28.59/28.92	o 452
28.79/29.10	o 451
28.89/29.28	o 450
29.09/29.46	o 449
29.29/29.64	o 448
29.48/29.82	o 447
29.68/30.00	o 446
29.78/30.18	o 445
29.97/30.36	o 444
30.17/30.54	o 443
30.37/30.71	o 442
30.47/30.89	o 441
30.67/31.07	o 440
30.87/31.24	o 439
31.06/31.42	o 438
31.16/31.59	o 437
31.36/31.77	o 436
31.56/31.94	o 435
31.76/32.12	o 434
31.86/32.29	o 433
32.06/32.46	o 432
32.25/32.64	o 431
32.45/32.81	o 430
32.55/32.98	o 429
32.75/33.15	o 428
32.94/33.32	o 427
33.04/33.49	o 426
33.24/33.66	o 425
33.44/33.83	o 424
33.54/34.00	o 423
33.74/34.17	o 422
33.93/34.33	o 421
34.03/34.50	o 420
34.23/34.66	o 419
34.43/34.83	o 418
34.53/34.99	o 417
34.73/35.15	o 416
34.92/35.31	o 415
35.02/35.47	o 414
35.22/35.63	o 413
35.32/35.79	o 412
35.51/35.95	o 411
35.71/36.11	o 410
35.81/36.26	o 409
36.01/36.42	o 408
36.11/36.58	o 407
36.31/36.73	o 406
36.41/36.89	o 405
36.60/37.05	o 404
36.80/37.20	o 403
36.90/37.35	o 402
37.10/37.51	o 401
37.21/37.66	o 400
37.41/37.82	o 399
37.51/37.97	o 398
37.70/38.12	o 397
37.80/38.27	o 396
38.00/38.42	o 395
38.10/38.58	o 394
38.29/38.73	o 393
38.39/38.88	o 392
38.59/39.03	o 391
38.69/39.18	o 390
38.89/39.33	o 389
38.99/39.47	o 388
39.19/39.63	o 387
39.28/39.77	o 386
39.48/39.92	o 385
39.58/40.06	o 384
39.77/40.21	o 383
39.87/40.36	o 382
40.07/40.50	o 381
40.17/40.65	o 380
40.27/40.79	o 379
40.47/40.94	o 378
40.57/41.08	o 377
40.77/41.23	o 376
40.86/41.37	o 375
41.06/41.51	o 374
41.16/41.65	o 373
41.26/41.79	o 372
41.46/41.94	o 371
41.55/42.08	o 370
41.75/42.22	o 369
41.85/42.36	o 368
41.95/42.50	o 367
42.15/42.63	o 366
42.25/42.77	o 365
42.44/42.91	o 364
42.54/43.05	o 363
42.64/43.19	o 362
42.84/43.32	o 361
42.94/43.46	o 360
43.13/43.60	o 359
43.23/43.73	o 358
43.33/43.87	o 357
43.53/44.01	o 356
43.63/44.14	o 355
43.73/44.27	o 354
43.93/44.41	o 353
44.04/44.54	o 352
44.13/44.68	o 351
44.33/44.81	o 350
44.43/44.94	o 349
44.53/45.07	o 348
44.73/45.21	o 347
44.82/45.34	o 346
44.92/45.47	o 345
45.12/45.60	o 344
45.22/45.74	o 343
45.32/45.86	o 342
45.42/45.99	o 341
45.62/46.12	o 340
45.72/46.25	o 339
45.81/46.38	o 338
46.01/46.51	o 337
46.11/46.63	o 336
46.21/46.76	o 335
46.30/46.89	o 334
46.50/47.01	o 333
46.60/47.14	o 332
46.70/47.26	o 331
46.80/47.39	o 330
47.00/47.51	o 329
47.10/47.64	o 328
47.20/47.76	o 327
47.30/47.88	o 326
47.49/48.01	o 325
47.59/48.13	o 324
47.69/48.25	o 323
47.79/48.37	o 322
47.89/48.49	o 321
48.09/48.61	o 320
48.19/48.73	o 319
48.29/48.85	o 318
48.39/48.97	o 317
48.48/49.09	o 316
48.68/49.21	o 315
48.78/49.32	o 314
48.88/49.44	o 313
48.98/49.56	o 312
49.08/49.67	o 311
49.18/49.79	o 310
49.38/49.90	o 309
49.48/50.02	o 308
49.57/50.14	o 307
49.67/50.25	o 306
49.77/50.36	o 305
49.87/50.47	o 304
49.97/50.59	o 303
50.17/50.70	o 302
50.26/50.81	o 301
50.36/50.92	o 300
50.46/51.03	o 299
50.56/51.15	o 298
50.66/51.26	o 297
50.76/51.37	o 296
50.86/51.48	o 295
50.95/51.58	o 294
51.05/51.69	o 293
51.25/51.80	o 292
51.35/51.91	o 291
51.45/52.02	o 290
51.55/52.12	o 289
51.65/52.23	o 288
51.74/52.34	o 287
51.84/52.44	o 286
51.94/52.54	o 285
52.05/52.65	o 284
52.15/52.75	o 283
52.25/52.86	o 282
52.35/52.96	o 281
52.45/53.06	o 280
52.55/53.16	o 279
52.65/53.26	o 278
52.75/53.37	o 277
52.84/53.47	o 276
52.94/53.57	o 275
53.04/53.67	o 274
53.14/53.76	o 273
53.24/53.86	o 272
53.34/53.96	o 271
53.44/54.06	o 270
53.54/54.16	o 269
53.64/54.25	o 268
53.74/54.35	o 267
53.84/54.45	o 266
53.93/54.54	o 265
54.03/54.64	o 264
54.13/54.73	o 263
54.23/54.82	o 262
54.33/54.92	o 261
54.43/55.01	o 260
54.53/55.11	o 259
54.62/55.20	o 258
54.62/55.29	o 257
54.72/55.38	o 256
54.82/55.47	o 255
54.92/55.56	o 254
55.02/55.65	o 253
55.12/55.74	o 252
55.22/55.82	o 251
55.32/55.91	o 250
55.32/55.99	o 249
55.42/56.08	o 248
55.52/56.17	o 247
55.61/56.26	o 246
55.71/56.34	o 245
55.81/56.43	o 244
55.91/56.51	o 243
55.91/56.59	o 242
56.01/56.68	o 241
56.10/56.76	o 240
56.20/56.85	o 239
56.30/56.93	o 238
56.40/57.01	o 237
56.40/57.09	o 236
56.50/57.17	o 235
56.60/57.26	o 234
56.70/57.34	o 233
56.80/57.41	o 232
56.80/57.49	o 231
56.90/57.57	o 230
57.00/57.65	o 229
57.10/57.73	o 228
57.19/57.81	o 227
57.19/57.89	o 226
57.29/57.96	o 225
57.39/58.04	o 224
57.49/58.11	o 223
57.49/58.19	o 222
57.59/58.26	o 221
57.69/58.34	o 220
57.79/58.42	o 219
57.79/58.49	o 218
57.88/58.56	o 217
57.98/58.64	o 216
58.08/58.71	o 215
58.08/58.78	o 214
58.18/58.86	o 213
58.28/58.93	o 212
58.38/59.00	o 211
58.38/59.07	o 210
58.48/59.14	o 209
58.58/59.21	o 208
58.58/59.28	o 207
58.68/59.35	o 206
58.78/59.43	o 205
58.78/59.50	o 204
58.88/59.56	o 203
58.98/59.63	o 202
59.08/59.70	o 201
59.08/59.77	o 200
59.18/59.83	o 199
59.28/59.90	o 198
59.28/59.97	o 197
59.37/60.04	o 196
59.47/60.10	o 195
59.47/60.17	o 194
59.57/60.23	o 193
59.57/60.30	o 192
59.67/60.36	o 191
59.77/60.42	o 190
59.77/60.49	o 189
59.87/60.55	o 188
59.97/60.62	o 187
59.97/60.68	o 186
60.07/60.74	o 185
60.17/60.80	o 184
60.17/60.86	o 183
60.27/60.92	o 182
60.27/60.98	o 181
60.37/61.05	o 180
60.46/61.10	o 179
60.46/61.16	o 178
60.56/61.22	o 177
60.56/61.28	o 176
60.66/61.34	o 175
60.66/61.39	o 174
60.76/61.45	o 173
60.86/61.51	o 172
60.86/61.56	o 171
60.96/61.63	o 170
60.96/61.68	o 169
61.06/61.74	o 168
61.06/61.79	o 167
61.15/61.84	o 166
61.25/61.90	o 165
61.25/61.95	o 164
61.35/62.00	o 163
61.35/62.06	o 162
61.45/62.11	o 161
61.45/62.17	o 160
61.55/62.22	o 159
61.55/62.27	o 158
61.65/62.32	o 157
61.65/62.37	o 156
61.75/62.42	o 155
61.75/62.47	o 154
61.84/62.52	o 153
61.84/62.57	o 152
61.94/62.62	o 151
61.94/62.67	o 150
62.04/62.72	o 149
62.04/62.77	o 148
62.14/62.81	o 147
62.14/62.86	o 146
62.24/62.91	o 145
62.24/62.95	o 144
62.24/63.00	o 143
62.34/63.04	o 142
62.34/63.09	o 141
62.43/63.13	o 140
62.43/63.18	o 139
62.54/63.22	o 138
62.54/63.27	o 137
62.64/63.31	o 136
62.64/63.35	o 135
62.64/63.40	o 134
62.74/63.44	o 133
62.74/63.48	o 132
62.83/63.52	o 131
62.83/63.56	o 130
62.93/63.60	o 129
62.93/63.64	o 128
62.93/63.68	o 127
63.03/63.72	o 126
63.03/63.76	o 125
63.03/63.80	o 124
63.13/63.84	o 123
63.13/63.88	o 122
63.23/63.91	o 121
63.23/63.95	o 120
63.23/63.99	o 119
63.33/64.02	o 118
63.33/64.06	o 117
63.33/64.09	o 116
63.43/64.13	o 115
63.43/64.16	o 114
63.43/64.20	o 113
63.53/64.23	o 112
63.53/64.26	o 111
63.53/64.30	o 110
63.63/64.34	o 109
63.63/64.37	o 108
63.72/64.40	o 107
63.72/64.43	o 106
63.72/64.46	o 105
63.72/64.50	o 104
63.82/64.53	o 103
63.82/64.56	o 102
63.82/64.59	o 101
63.92/64.62	o 100
63.92/64.65	o 99
63.92/64.67	o 98
64.02/64.70	o 97
64.02/64.73	o 96
64.02/64.76	o 95
64.02/64.79	o 94
64.12/64.81	o 93
64.12/64.84	o 92
64.12/64.87	o 91
64.12/64.89	o 90
64.22/64.92	o 89
64.22/64.95	o 88
64.22/64.97	o 87
64.22/65.00	o 86
64.31/65.02	o 85
64.31/65.05	o 84
64.31/65.07	o 83
64.31/65.09	o 82
64.41/65.12	o 81
64.41/65.14	o 80
64.41/65.16	o 79
64.41/65.18	o 78
64.51/65.20	o 77
64.51/65.23	o 76
64.51/65.25	o 75
64.51/65.27	o 74
64.51/65.29	o 73
64.60/65.31	o 72
64.60/65.33	o 71
64.60/65.34	o 70
64.60/65.36	o 69
64.60/65.38	o 68
64.70/65.40	o 67
64.70/65.42	o 66
64.70/65.44	o 65
64.70/65.45	o 64
64.70/65.47	o 63
64.70/65.49	o 62
64.80/65.50	o 61
64.80/65.52	o 60
64.80/65.53	o 59
64.80/65.55	o 58
64.80/65.56	o 57
64.80/65.58	o 56
64.80/65.59	o 55
64.90/65.60	o 54
64.90/65.62	o 53
64.90/65.63	o 52
64.90/65.64	o 51
64.90/65.66	o 50
64.90/65.67	o 49
64.90/65.68	o 48
64.90/65.69	o 47
65.00/65.70	o 46
65.00/65.71	o 45
65.00/65.72	o 44
65.00/65.73	o 43
65.00/65.74	o 42
65.00/65.75	o 41
65.00/65.76	o 40
65.00/65.76	o 39
65.00/65.77	o 38
65.00/65.78	o 37
65.00/65.79	o 36
65.00/65.79	o 35
65.10/65.80	o 34
65.10/65.80	o 33
65.10/65.81	o 32
65.10/65.82	o 31
65.10/65.82	o 30
65.10/65.82	o 29
65.10/65.83	o 28
65.10/65.83	o 27
65.10/65.84	o 26
65.10/65.84	o 25
65.10/65.85	o 24
65.10/65.86	o 23
65.10/65.86	o 22
65.10/65.87	o 21
65.10/65.87	o 20
65.10/65.87	o 19
65.10/65.87	o 18
65.10/65.88	o 17
65.10/65.88	o 16
65.10/65.88	o 15
65.10/65.88	o 14
65.10/65.89	o 13
65.10/65.89	o 12
65.10/65.89	o 11
65.19/65.91	o 10
65.19/65.92	o 9
65.19/65.92	o 8
65.19/65.92	o 7
65.19/65.92	o 6
65.19/65.93	o 5
65.19/65.93	o 4
65.19/65.93	o 3
65.19/65.93	o 2
65.19/65.93	o 1
95.31/96.35	   
95.31/96.35	   search
95.31/96.35	     run=0  nbConstraintChecks=419774197  nbAssignments=1712
95.31/96.35	       =>  wckTime=84.432  cpuTime=83.53  mem=46M692
95.31/96.35	   
95.31/96.35	   global
95.31/96.35	     nbConstraintChecks=419774197  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
95.31/96.35	     solvingWckTime=84.424  solvingCpuTime=83.52  expiredTime=no  totalExploration=no  nbFoundSolutions=0
95.31/96.35	     globalCpuTime=93.85
95.31/96.35	       =>  wckTime=96.091  cpuTime=93.81  mem=46M692
95.31/96.35	   
95.31/96.35	   solver DecomposerSolver being built... 
97.29/98.38	       =>  wckTime=98.115  cpuTime=94.54  mem=634M639
97.59/98.61	   
97.59/98.61	   preprocessing
97.59/98.61	     nbConstraintChecks=0  nbPropagations=1849  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
97.59/98.61	     detectedInconsistency=no
97.59/98.61	       =>  wckTime=0.231  cpuTime=0.21  mem=635M637
97.89/98.94	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-1112301-1215864852/watcher-1112301-1215864852 -o /tmp/evaluation-result-1112301-1215864852/solver-1112301-1215864852 -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-wdeg.xml 1 XSax HOME/instance-1112301-1215864852.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.20 2.18 2.08 3/74 16512
/proc/meminfo: memFree=1704656/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=861876 CPUtime=0.02
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 1878 0 1 0 1 1 0 0 18 0 5 0 43187884 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 215469 1565 695 9 0 210448 0
[pid=16512/tid=16513] ppid=16510 vsize=861876 CPUtime=0
/proc/16512/task/16513/stat : 16513 (java) S 16510 16512 15764 0 -1 64 1190 0 1 0 0 0 0 0 19 0 5 0 43187885 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=861876 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 3 0 0 0 0 0 0 0 18 0 5 0 43187886 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=861876 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 9 0 0 0 0 0 0 0 19 0 5 0 43187886 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=861876 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) R 16510 16512 15764 0 -1 64 0 0 0 0 0 0 0 0 20 0 5 0 43187886 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 7774168 0 4 0 16784584 0 0 0 -1 1 0 0

[startup+0.107229 s]
/proc/loadavg: 2.20 2.18 2.08 3/74 16512
/proc/meminfo: memFree=1704656/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=865988 CPUtime=0.1
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 3718 0 1 0 8 2 0 0 18 0 9 0 43187884 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216497 3191 1687 9 0 211052 0
[pid=16512/tid=16513] ppid=16510 vsize=865988 CPUtime=0.07
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 2800 0 1 0 6 1 0 0 18 0 9 0 43187885 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4159580607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=865988 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 43187886 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=865988 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43187886 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=865988 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43187886 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865988

[startup+0.201242 s]
/proc/loadavg: 2.20 2.18 2.08 3/74 16512
/proc/meminfo: memFree=1704656/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=866016 CPUtime=0.19
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 4612 0 1 0 16 3 0 0 18 0 9 0 43187884 886800384 4040 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216504 4040 1860 9 0 211052 0
[pid=16512/tid=16513] ppid=16510 vsize=866016 CPUtime=0.17
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 3692 0 1 0 15 2 0 0 18 0 9 0 43187885 886800384 4040 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=866016 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 43187886 886800384 4040 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=866016 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43187886 886800384 4040 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=866016 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43187886 886800384 4040 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866016

[startup+0.301268 s]
/proc/loadavg: 2.20 2.18 2.08 3/74 16512
/proc/meminfo: memFree=1704656/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=866360 CPUtime=0.28
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 5755 0 1 0 25 3 0 0 18 0 9 0 43187884 887152640 5138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216590 5138 1947 9 0 211118 0
[pid=16512/tid=16513] ppid=16510 vsize=866360 CPUtime=0.23
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 4783 0 1 0 21 2 0 0 18 0 9 0 43187885 887152640 5138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=866360 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 43187886 887152640 5138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=866360 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43187886 887152640 5138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=866360 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43187886 887152640 5138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360

[startup+0.701328 s]
/proc/loadavg: 2.20 2.18 2.08 3/74 16512
/proc/meminfo: memFree=1704656/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=0.68
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 9067 0 1 0 63 5 0 0 18 0 9 0 43187884 888303616 8428 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216871 8428 2010 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867484 CPUtime=0.51
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 7770 0 1 0 47 4 0 0 19 0 9 0 43187885 888303616 8428 996147200 134512640 134550740 4294955952 18446744073709551615 102605715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 43187886 888303616 8428 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43187886 888303616 8428 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43187886 888303616 8428 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867484

[startup+1.50247 s]
/proc/loadavg: 2.18 2.18 2.07 3/83 16521
/proc/meminfo: memFree=1658952/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867396 CPUtime=1.48
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 19099 0 1 0 139 9 0 0 18 0 9 0 43187884 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216849 18435 2004 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867396 CPUtime=1.19
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15758 0 1 0 112 7 0 0 25 0 9 0 43187885 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4126593519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867396 CPUtime=0.09
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 2033 0 0 0 9 0 0 0 16 0 9 0 43187886 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867396 CPUtime=0.17
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 610 0 0 0 17 0 0 0 16 0 9 0 43187889 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888213504 18435 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867396

[startup+3.10274 s]
/proc/loadavg: 2.18 2.18 2.07 3/83 16521
/proc/meminfo: memFree=1637000/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867396 CPUtime=3.06
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 22445 0 1 0 286 20 0 0 18 0 9 0 43187884 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216849 21777 2006 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867396 CPUtime=2.53
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15797 0 1 0 237 16 0 0 25 0 9 0 43187885 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 102064685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867396 CPUtime=0.25
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 5285 0 0 0 23 2 0 0 17 0 9 0 43187886 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867396 CPUtime=0.24
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 665 0 0 0 24 0 0 0 15 0 9 0 43187889 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888213504 21777 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867396

[startup+6.3013 s]
/proc/loadavg: 2.18 2.18 2.07 3/83 16521
/proc/meminfo: memFree=1617224/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867396 CPUtime=6.22
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 24049 0 1 0 551 71 0 0 18 0 9 0 43187884 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216849 23378 2006 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867396 CPUtime=5.57
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15800 0 1 0 491 66 0 0 25 0 9 0 43187885 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 103205701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867396 CPUtime=0.37
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 6881 0 0 0 34 3 0 0 17 0 9 0 43187886 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867396 CPUtime=0.25
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 670 0 0 0 25 0 0 0 16 0 9 0 43187889 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888213504 23378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867396

[startup+12.7024 s]
/proc/loadavg: 2.23 2.19 2.08 3/83 16521
/proc/meminfo: memFree=1591432/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=12.56
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 31295 0 1 0 1106 150 0 0 18 0 9 0 43187884 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216871 30303 2640 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867484 CPUtime=11.23
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15867 0 1 0 981 142 0 0 25 0 9 0 43187885 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4127212803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867484 CPUtime=0.99
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 14028 0 0 0 94 5 0 0 19 0 9 0 43187886 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867484 CPUtime=0.31
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 702 0 0 0 30 1 0 0 16 0 9 0 43187889 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888303616 30303 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867484

[startup+25.5016 s]
/proc/loadavg: 2.20 2.18 2.08 3/83 16521
/proc/meminfo: memFree=1591304/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=25.22

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

/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30304 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888303616 30304 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867484 CPUtime=0.32
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 703 0 0 0 31 1 0 0 15 0 9 0 43187889 888303616 30304 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888303616 30304 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888303616 30304 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 867484

[startup+76.8012 s]
/proc/loadavg: 2.08 2.15 2.07 3/83 16521
/proc/meminfo: memFree=1591112/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=76
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 31302 0 1 0 7436 164 0 0 18 0 9 0 43187884 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216871 30307 2640 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867484 CPUtime=74.65
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15870 0 1 0 7309 156 0 0 25 0 9 0 43187885 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4127212767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867484 CPUtime=0.99
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 14028 0 0 0 94 5 0 0 16 0 9 0 43187886 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867484 CPUtime=0.32
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 706 0 0 0 31 1 0 0 15 0 9 0 43187889 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888303616 30307 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76
Current children cumulated vsize (KiB) 867484

[startup+89.6023 s]
/proc/loadavg: 2.06 2.14 2.07 3/83 16521
/proc/meminfo: memFree=1590984/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=88.67
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 31304 0 1 0 8702 165 0 0 18 0 9 0 43187884 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216871 30309 2640 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867484 CPUtime=87.33
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15870 0 1 0 8576 157 0 0 25 0 9 0 43187885 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4127214223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867484 CPUtime=0.99
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 14028 0 0 0 94 5 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867484 CPUtime=0.32
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 708 0 0 0 31 1 0 0 16 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (KiB) 867484

[startup+96.0013 s]
/proc/loadavg: 2.05 2.14 2.07 3/83 16521
/proc/meminfo: memFree=1590920/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867484 CPUtime=95.01
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 31304 0 1 0 9335 166 0 0 18 0 9 0 43187884 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216871 30309 2640 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867484 CPUtime=93.67
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15870 0 1 0 9209 158 0 0 25 0 9 0 43187885 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4127214304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867484 CPUtime=0.99
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 14028 0 0 0 94 5 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43187886 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867484 CPUtime=0.32
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 708 0 0 0 31 1 0 0 16 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867484 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888303616 30309 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.01
Current children cumulated vsize (KiB) 867484

[startup+97.6016 s]
/proc/loadavg: 2.05 2.14 2.07 3/83 16521
/proc/meminfo: memFree=1542984/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867396 CPUtime=96.59
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 107903 0 1 0 9457 202 0 0 18 0 9 0 43187884 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216849 106859 2619 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867396 CPUtime=94.53
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15927 0 1 0 9295 158 0 0 25 0 9 0 43187885 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867396 CPUtime=1.66
/proc/16512/task/16514/stat : 16514 (java) R 16510 16512 15764 0 -1 64 90520 0 0 0 125 41 0 0 16 0 9 0 43187886 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 24 0 0 0 0 0 0 0 15 0 9 0 43187886 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867396 CPUtime=0.37
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 739 0 0 0 36 1 0 0 15 0 9 0 43187889 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888213504 106859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.59
Current children cumulated vsize (KiB) 867396

[startup+98.4027 s]
/proc/loadavg: 2.05 2.14 2.07 4/83 16521
/proc/meminfo: memFree=1182216/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867396 CPUtime=97.39
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 174027 0 1 0 9505 234 0 0 18 0 9 0 43187884 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216849 172978 2619 9 0 211377 0
[pid=16512/tid=16513] ppid=16510 vsize=867396 CPUtime=94.76
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15932 0 1 0 9318 158 0 0 25 0 9 0 43187885 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4126095719 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867396 CPUtime=2.22
/proc/16512/task/16514/stat : 16514 (java) S 16510 16512 15764 0 -1 64 156636 0 0 0 149 73 0 0 16 0 9 0 43187886 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 24 0 0 0 0 0 0 0 15 0 9 0 43187886 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867396 CPUtime=0.38
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 742 0 0 0 37 1 0 0 16 0 9 0 43187889 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867396 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888213504 172978 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.39
Current children cumulated vsize (KiB) 867396

[startup+98.8028 s]
/proc/loadavg: 2.05 2.14 2.07 4/83 16521
/proc/meminfo: memFree=1182216/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=867736 CPUtime=97.79
/proc/16512/stat : 16512 (java) S 16510 16512 15764 0 -1 0 174120 0 1 0 9545 234 0 0 18 0 9 0 43187884 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 216934 173069 2640 9 0 211440 0
[pid=16512/tid=16513] ppid=16510 vsize=867736 CPUtime=94.97
/proc/16512/task/16513/stat : 16513 (java) R 16510 16512 15764 0 -1 64 15956 0 1 0 9339 158 0 0 25 0 9 0 43187885 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16514] ppid=16510 vsize=867736 CPUtime=2.39
/proc/16512/task/16514/stat : 16514 (java) R 16510 16512 15764 0 -1 64 156700 0 0 0 166 73 0 0 16 0 9 0 43187886 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 101586000 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16515] ppid=16510 vsize=867736 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16510 16512 15764 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43187886 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16516] ppid=16510 vsize=867736 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16510 16512 15764 0 -1 64 24 0 0 0 0 0 0 0 15 0 9 0 43187886 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16518] ppid=16510 vsize=867736 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43187889 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16519] ppid=16510 vsize=867736 CPUtime=0.39
/proc/16512/task/16519/stat : 16519 (java) S 16510 16512 15764 0 -1 64 747 0 0 0 38 1 0 0 15 0 9 0 43187889 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16520] ppid=16510 vsize=867736 CPUtime=0
/proc/16512/task/16520/stat : 16520 (java) S 16510 16512 15764 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43187889 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16512/tid=16521] ppid=16510 vsize=867736 CPUtime=0
/proc/16512/task/16521/stat : 16521 (java) S 16510 16512 15764 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43187889 888561664 173069 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.79
Current children cumulated vsize (KiB) 867736

[startup+99.0032 s]
/proc/loadavg: 2.05 2.14 2.07 3/76 16521
/proc/meminfo: memFree=1339528/2055920 swapFree=4192812/4192956
[pid=16512] ppid=16510 vsize=0 CPUtime=97.98
/proc/16512/stat : 16512 (java) Z 16510 16512 15764 0 -1 12 176781 0 1 0 9558 240 0 0 16 0 2 0 43187884 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 97.98
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 99.064
CPU time (s): 98.0471
CPU user time (s): 95.5865
CPU system time (s): 2.46062
CPU usage (%): 98.9735
Max. virtual memory (cumulated for all children) (KiB): 867900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5865
system time used= 2.46062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176781
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= 4088
involuntary context switches= 7549

runsolver used 0.175973 second user time and 0.350946 second system time

The end

Launcher Data (download as text)

Begin job on node14 at 2008-07-12 14:14:13
IDJOB=1112301
IDBENCH=61395
IDSOLVER=359
FILE ID=node14/1112301-1215864852
PBS_JOBID= 7903470
Free space on /tmp= 66388 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112301-1215864852/watcher-1112301-1215864852 -o /tmp/evaluation-result-1112301-1215864852/solver-1112301-1215864852 -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-wdeg.xml 1 XSax HOME/instance-1112301-1215864852.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= f2f84342904e22f7d1d97c8f943ceaa0
RANDOM SEED=1760462246

node14.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.270
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.270
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:       1705584 kB
Buffers:         20412 kB
Cached:         128236 kB
SwapCached:          0 kB
Active:         273272 kB
Inactive:        24236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           64444 kB
Writeback:           0 kB
Mapped:         159928 kB
Slab:            37860 kB
Committed_AS:   296252 kB
PageTables:       2208 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= 66388 MiB
End job on node14 at 2008-07-12 14:15:52