Trace number 275066

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.07 2403.07

General information on the benchmark

Namerlfap/rlfapGraphsMod/
graph14-f28.xml
MD5SUM20f9358485fb6b663286405b27294657
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4568
Best CPU time to get the best result obtained on this benchmark2400.07
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables916
Number of constraints4638
Maximum constraint arity2
Maximum domain size18
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4638
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.41	   
0.41	Abscon 109 (November, 2006)
0.41	   
0.41	   configuration
0.41	     name=epfc.xml
0.48	   
0.48	   instance
0.48	     name=/tmp/evaluation/275066-1169216436/unknown.xml
0.51	   
0.51	   domains being loaded...
0.52	   
0.52	   variables being loaded...
0.65	     nbVariables=916  nbDomainTypes=5  minDomainSize=8  maxDomainSize=18
0.65	       =>  wckTime=0.231  cpuTime=0.14  mem=8M828
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
1.44	     nbConstraints=4638  nbConvertedConstraints=4638  nbConvertConstraintsChecks=101610  nbExtensionStructures=396
1.44	     nbSharedExtensionStructures=4242  nbConflictsStructures=396  nbSharedConflictsStructures=4242
1.44	     nbSharedBinaryRepresentations=12469  maxDegree=26  maxArity=2
1.44	       =>  wckTime=1.027  cpuTime=0.82  mem=32M248
1.53	   
1.53	   solver LocalSearchSolver being built... 
1.57	       =>  wckTime=1.151  cpuTime=0.86  mem=8M532
1.58	
1.58	s SATISFIABLE
1.58	o 3523
1.58	c 1115
1.59	o 3530
1.59	c 1108
1.59	o 3537
1.59	c 1101
1.59	o 3544
1.59	c 1094
1.60	o 3550
1.60	c 1088
1.60	o 3556
1.60	c 1082
1.60	o 3562
1.60	c 1076
1.60	o 3567
1.60	c 1071
1.60	o 3572
1.60	c 1066
1.60	o 3576
1.60	c 1062
1.61	o 3579
1.61	c 1059
1.61	o 3584
1.61	c 1054
1.61	o 3589
1.61	c 1049
1.61	o 3594
1.61	c 1044
1.61	o 3599
1.61	c 1039
1.62	o 3604
1.62	c 1034
1.62	o 3608
1.62	c 1030
1.62	o 3613
1.62	c 1025
1.62	o 3617
1.62	c 1021
1.62	o 3621
1.62	c 1017
1.62	o 3625
1.62	c 1013
1.63	o 3629
1.63	c 1009
1.63	o 3632
1.63	c 1006
1.63	o 3635
1.63	c 1003
1.63	o 3637
1.63	c 1001
1.63	o 3639
1.63	c 999
1.63	o 3643
1.63	c 995
1.63	o 3647
1.63	c 991
1.64	o 3651
1.64	c 987
1.64	o 3655
1.64	c 983
1.64	o 3659
1.64	c 979
1.64	o 3663
1.64	c 975
1.64	o 3667
1.64	c 971
1.64	o 3671
1.64	c 967
1.64	o 3675
1.64	c 963
1.65	o 3679
1.65	c 959
1.65	o 3683
1.65	c 955
1.65	o 3687
1.65	c 951
1.65	o 3691
1.65	c 947
1.65	o 3695
1.65	c 943
1.65	o 3699
1.65	c 939
1.66	o 3703
1.66	c 935
1.66	o 3707
1.66	c 931
1.66	o 3711
1.66	c 927
1.66	o 3714
1.66	c 924
1.66	o 3717
1.66	c 921
1.66	o 3720
1.66	c 918
1.66	o 3723
1.66	c 915
1.66	o 3726
1.67	c 912
1.67	o 3729
1.67	c 909
1.67	o 3732
1.67	c 906
1.67	o 3735
1.67	c 903
1.67	o 3738
1.67	c 900
1.67	o 3741
1.67	c 897
1.67	o 3744
1.67	c 894
1.67	o 3746
1.67	c 892
1.68	o 3748
1.68	c 890
1.68	o 3750
1.68	c 888
1.68	o 3752
1.68	c 886
1.68	o 3754
1.68	c 884
1.68	o 3755
1.68	c 883
1.68	o 3756
1.68	c 882
1.68	o 3757
1.68	c 881
1.69	o 3760
1.69	c 878
1.69	o 3761
1.69	c 877
1.69	o 3763
1.69	c 875
1.69	o 3766
1.69	c 872
1.69	o 3767
1.69	c 871
1.70	o 3770
1.70	c 868
1.70	o 3773
1.70	c 865
1.70	o 3776
1.70	c 862
1.70	o 3779
1.70	c 859
1.71	o 3782
1.71	c 856
1.71	o 3785
1.71	c 853
1.71	o 3788
1.71	c 850
1.71	o 3791
1.71	c 847
1.71	o 3794
1.71	c 844
1.72	o 3797
1.72	c 841
1.72	o 3800
1.72	c 838
1.72	o 3803
1.72	c 835
1.72	o 3806
1.72	c 832
1.72	o 3809
1.73	c 829
1.73	o 3812
1.73	c 826
1.73	o 3815
1.73	c 823
1.73	o 3818
1.73	c 820
1.73	o 3821
1.73	c 817
1.74	o 3824
1.74	c 814
1.74	o 3827
1.74	c 811
1.74	o 3830
1.74	c 808
1.74	o 3833
1.74	c 805
1.74	o 3836
1.74	c 802
1.75	o 3839
1.75	c 799
1.75	o 3842
1.75	c 796
1.75	o 3845
1.75	c 793
1.75	o 3848
1.75	c 790
1.75	o 3851
1.75	c 787
1.76	o 3854
1.76	c 784
1.76	o 3857
1.76	c 781
1.76	o 3860
1.76	c 778
1.76	o 3863
1.76	c 775
1.76	o 3866
1.76	c 772
1.77	o 3869
1.77	c 769
1.77	o 3872
1.77	c 766
1.77	o 3875
1.77	c 763
1.77	o 3878
1.77	c 760
1.77	o 3881
1.77	c 757
1.78	o 3884
1.78	c 754
1.78	o 3887
1.78	c 751
1.78	o 3890
1.78	c 748
1.78	o 3893
1.78	c 745
1.78	o 3896
1.78	c 742
1.78	o 3898
1.78	c 740
1.79	o 3900
1.79	c 738
1.79	o 3902
1.79	c 736
1.79	o 3904
1.79	c 734
1.79	o 3906
1.79	c 732
1.79	o 3908
1.79	c 730
1.79	o 3910
1.79	c 728
1.80	o 3912
1.80	c 726
1.80	o 3914
1.80	c 724
1.80	o 3916
1.80	c 722
1.80	o 3918
1.80	c 720
1.80	o 3920
1.80	c 718
1.80	o 3922
1.80	c 716
1.80	o 3924
1.80	c 714
1.81	o 3926
1.81	c 712
1.81	o 3928
1.81	c 710
1.81	o 3930
1.81	c 708
1.81	o 3932
1.81	c 706
1.81	o 3934
1.81	c 704
1.81	o 3936
1.81	c 702
1.82	o 3938
1.82	c 700
1.82	o 3940
1.82	c 698
1.82	o 3942
1.82	c 696
1.82	o 3944
1.82	c 694
1.82	o 3946
1.82	c 692
1.82	o 3948
1.82	c 690
1.82	o 3950
1.82	c 688
1.83	o 3951
1.83	c 687
1.83	o 3952
1.83	c 686
1.83	o 3953
1.83	c 685
1.83	o 3954
1.83	c 684
1.83	o 3955
1.83	c 683
1.83	o 3956
1.83	c 682
1.83	o 3957
1.83	c 681
1.84	o 3958
1.84	c 680
1.84	o 3959
1.84	c 679
1.84	o 3961
1.84	c 677
1.84	o 3964
1.84	c 674
1.85	o 3965
1.85	c 673
1.85	o 3967
1.85	c 671
1.85	o 3970
1.85	c 668
1.85	o 3972
1.85	c 666
1.85	o 3976
1.85	c 662
1.86	o 3978
1.86	c 660
1.86	o 3981
1.86	c 657
1.86	o 3984
1.86	c 654
1.86	o 3986
1.86	c 652
1.86	o 3989
1.86	c 649
1.86	o 3991
1.86	c 647
1.86	o 3992
1.86	c 646
1.86	o 3995
1.87	c 643
1.87	o 3998
1.87	c 640
1.87	o 4000
1.87	c 638
1.87	o 4002
1.87	c 636
1.87	o 4003
1.87	c 635
1.87	o 4005
1.87	c 633
1.87	o 4007
1.87	c 631
1.88	o 4010
1.88	c 628
1.88	o 4012
1.88	c 626
1.88	o 4014
1.88	c 624
1.88	o 4016
1.88	c 622
1.89	o 4018
1.89	c 620
1.89	o 4020
1.89	c 618
1.89	o 4022
1.89	c 616
1.90	o 4024
1.90	c 614
1.90	o 4026
1.90	c 612
1.90	o 4028
1.90	c 610
1.90	o 4030
1.90	c 608
1.91	o 4032
1.91	c 606
1.91	o 4034
1.91	c 604
1.91	o 4036
1.91	c 602
1.91	o 4038
1.91	c 600
1.92	o 4040
1.92	c 598
1.92	o 4042
1.92	c 596
1.92	o 4044
1.92	c 594
1.92	o 4046
1.92	c 592
1.93	o 4048
1.93	c 590
1.93	o 4050
1.93	c 588
1.93	o 4052
1.93	c 586
1.94	o 4054
1.94	c 584
1.94	o 4056
1.94	c 582
1.94	o 4058
1.94	c 580
1.94	o 4060
1.94	c 578
1.94	o 4062
1.94	c 576
1.95	o 4064
1.95	c 574
1.95	o 4067
1.95	c 571
1.95	o 4070
1.95	c 568
1.95	o 4072
1.95	c 566
1.96	o 4074
1.96	c 564
1.96	o 4076
1.96	c 562
1.96	o 4078
1.96	c 560
1.96	o 4080
1.96	c 558
1.97	o 4082
1.97	c 556
1.97	o 4084
1.97	c 554
1.97	o 4086
1.97	c 552
1.97	o 4088
1.97	c 550
1.98	o 4090
1.98	c 548
1.98	o 4092
1.98	c 546
1.98	o 4094
1.98	c 544
1.98	o 4096
1.98	c 542
1.98	o 4098
1.98	c 540
1.99	o 4100
1.99	c 538
1.99	o 4102
1.99	c 536
1.99	o 4104
1.99	c 534
1.99	o 4106
1.99	c 532
2.00	o 4108
2.00	c 530
2.00	o 4110
2.00	c 528
2.00	o 4111
2.00	c 527
2.00	o 4112
2.00	c 526
2.00	o 4113
2.01	c 525
2.01	o 4114
2.01	c 524
2.01	o 4115
2.01	c 523
2.01	o 4116
2.01	c 522
2.01	o 4117
2.01	c 521
2.02	o 4118
2.02	c 520
2.02	o 4119
2.02	c 519
2.02	o 4120
2.02	c 518
2.02	o 4121
2.02	c 517
2.02	o 4122
2.02	c 516
2.03	o 4125
2.03	c 513
2.03	o 4126
2.03	c 512
2.03	o 4127
2.03	c 511
2.03	o 4128
2.03	c 510
2.03	o 4129
2.03	c 509
2.04	o 4130
2.04	c 508
2.04	o 4131
2.04	c 507
2.04	o 4132
2.04	c 506
2.04	o 4133
2.04	c 505
2.04	o 4134
2.04	c 504
2.05	o 4135
2.05	c 503
2.05	o 4136
2.05	c 502
2.05	o 4137
2.05	c 501
2.05	o 4138
2.05	c 500
2.05	o 4139
2.05	c 499
2.06	o 4140
2.06	c 498
2.06	o 4141
2.06	c 497
2.06	o 4142
2.06	c 496
2.06	o 4144
2.06	c 494
2.06	o 4145
2.06	c 493
2.06	o 4146
2.06	c 492
2.07	o 4147
2.07	c 491
2.07	o 4148
2.07	c 490
2.07	o 4151
2.07	c 487
2.08	o 4152
2.08	c 486
2.10	o 4155
2.10	c 483
2.10	o 4156
2.10	c 482
2.10	o 4157
2.10	c 481
2.10	o 4158
2.10	c 480
2.10	o 4160
2.10	c 478
2.10	o 4162
2.10	c 476
2.10	o 4164
2.11	c 474
2.11	o 4165
2.11	c 473
2.11	o 4167
2.11	c 471
2.11	o 4168
2.11	c 470
2.11	o 4169
2.11	c 469
2.11	o 4170
2.11	c 468
2.11	o 4173
2.11	c 465
2.11	o 4174
2.11	c 464
2.12	o 4175
2.12	c 463
2.12	o 4176
2.12	c 462
2.12	o 4177
2.12	c 461
2.12	o 4178
2.12	c 460
2.13	o 4179
2.13	c 459
2.13	o 4180
2.13	c 458
2.13	o 4182
2.13	c 456
2.13	o 4183
2.13	c 455
2.13	o 4184
2.13	c 454
2.13	o 4186
2.13	c 452
2.14	o 4188
2.14	c 450
2.14	o 4190
2.14	c 448
2.14	o 4191
2.14	c 447
2.14	o 4192
2.14	c 446
2.14	o 4193
2.14	c 445
2.14	o 4195
2.14	c 443
2.14	o 4197
2.14	c 441
2.15	o 4198
2.15	c 440
2.15	o 4199
2.15	c 439
2.15	o 4201
2.15	c 437
2.15	o 4202
2.15	c 436
2.15	o 4205
2.15	c 433
2.15	o 4206
2.15	c 432
2.16	o 4208
2.16	c 430
2.16	o 4209
2.16	c 429
2.16	o 4210
2.16	c 428
2.16	o 4212
2.16	c 426
2.16	o 4214
2.16	c 424
2.16	o 4216
2.16	c 422
2.17	o 4217
2.17	c 421
2.17	o 4218
2.17	c 420
2.17	o 4220
2.17	c 418
2.17	o 4221
2.17	c 417
2.17	o 4223
2.17	c 415
2.18	o 4224
2.18	c 414
2.18	o 4226
2.18	c 412
2.18	o 4227
2.18	c 411
2.18	o 4228
2.18	c 410
2.19	o 4230
2.19	c 408
2.19	o 4232
2.19	c 406
2.19	o 4234
2.19	c 404
2.20	o 4235
2.20	c 403
2.20	o 4237
2.20	c 401
2.20	o 4238
2.20	c 400
2.20	o 4240
2.20	c 398
2.21	o 4241
2.21	c 397
2.22	o 4242
2.22	c 396
2.22	o 4244
2.22	c 394
2.22	o 4245
2.22	c 393
2.23	o 4246
2.23	c 392
2.23	o 4247
2.23	c 391
2.24	o 4248
2.24	c 390
2.24	o 4249
2.24	c 389
2.24	o 4250
2.24	c 388
2.25	o 4251
2.25	c 387
2.25	o 4252
2.25	c 386
2.26	o 4253
2.26	c 385
2.26	o 4254
2.26	c 384
2.27	o 4255
2.27	c 383
2.27	o 4257
2.27	c 381
2.27	o 4258
2.27	c 380
2.28	o 4259
2.28	c 379
2.28	o 4260
2.28	c 378
2.28	o 4261
2.28	c 377
2.29	o 4262
2.29	c 376
2.29	o 4263
2.29	c 375
2.29	o 4264
2.29	c 374
2.30	o 4265
2.30	c 373
2.30	o 4266
2.30	c 372
2.30	o 4267
2.30	c 371
2.31	o 4269
2.31	c 369
2.31	o 4270
2.31	c 368
2.31	o 4271
2.31	c 367
2.32	o 4272
2.32	c 366
2.32	o 4273
2.32	c 365
2.32	o 4274
2.32	c 364
2.33	o 4275
2.33	c 363
2.33	o 4276
2.33	c 362
2.33	o 4277
2.33	c 361
2.34	o 4278
2.34	c 360
2.34	o 4279
2.34	c 359
2.34	o 4280
2.34	c 358
2.35	o 4282
2.35	c 356
2.35	o 4283
2.35	c 355
2.35	o 4285
2.35	c 353
2.35	o 4286
2.35	c 352
2.36	o 4287
2.36	c 351
2.36	o 4288
2.36	c 350
2.37	o 4289
2.37	c 349
2.37	o 4290
2.37	c 348
2.37	o 4291
2.37	c 347
2.37	o 4292
2.37	c 346
2.38	o 4293
2.38	c 345
2.39	o 4294
2.39	c 344
2.39	o 4295
2.39	c 343
2.39	o 4296
2.39	c 342
2.40	o 4297
2.40	c 341
2.40	o 4298
2.40	c 340
2.40	o 4299
2.40	c 339
2.41	o 4300
2.41	c 338
2.41	o 4301
2.41	c 337
2.43	o 4302
2.43	c 336
2.44	o 4303
2.44	c 335
2.44	o 4304
2.44	c 334
2.45	o 4305
2.45	c 333
2.47	o 4306
2.47	c 332
2.48	o 4308
2.48	c 330
2.49	o 4309
2.49	c 329
2.50	o 4310
2.50	c 328
2.51	o 4311
2.51	c 327
2.71	o 4312
2.71	c 326
2.71	o 4313
2.71	c 325
2.71	o 4314
2.71	c 324
2.72	o 4315
2.72	c 323
2.73	o 4316
2.73	c 322
2.73	o 4317
2.73	c 321
2.74	o 4319
2.74	c 319
2.74	o 4321
2.74	c 317
2.75	o 4322
2.75	c 316
2.75	o 4323
2.75	c 315
2.75	o 4324
2.75	c 314
2.76	o 4325
2.76	c 313
2.76	o 4326
2.76	c 312
2.86	o 4327
2.86	c 311
2.86	o 4328
2.86	c 310
2.86	o 4329
2.86	c 309
2.87	o 4330
2.87	c 308
2.92	o 4331
2.92	c 307
2.93	o 4332
2.93	c 306
2.93	o 4334
2.93	c 304
2.94	o 4336
2.94	c 302
2.94	o 4337
2.94	c 301
2.95	o 4338
2.95	c 300
2.96	o 4339
2.96	c 299
2.96	o 4341
2.96	c 297
2.96	o 4343
2.96	c 295
2.96	o 4344
2.96	c 294
2.97	o 4345
2.97	c 293
2.98	o 4346
2.98	c 292
2.98	o 4347
2.98	c 291
2.99	o 4348
2.99	c 290
3.00	o 4349
3.00	c 289
3.00	o 4350
3.00	c 288
3.01	o 4353
3.01	c 285
3.01	o 4354
3.01	c 284
3.01	o 4355
3.01	c 283
3.02	o 4357
3.02	c 281
3.02	o 4359
3.02	c 279
3.04	o 4360
3.04	c 278
3.05	o 4361
3.05	c 277
3.06	o 4362
3.06	c 276
3.06	o 4363
3.06	c 275
3.14	o 4366
3.14	c 272
3.16	o 4367
3.16	c 271
3.22	o 4368
3.22	c 270
3.28	o 4369
3.28	c 269
3.29	o 4370
3.29	c 268
3.30	o 4371
3.30	c 267
3.30	o 4372
3.30	c 266
3.32	o 4373
3.32	c 265
3.32	o 4375
3.32	c 263
3.33	o 4376
3.33	c 262
3.35	o 4377
3.35	c 261
3.36	o 4379
3.36	c 259
3.36	o 4380
3.36	c 258
3.37	o 4381
3.37	c 257
3.37	o 4382
3.37	c 256
3.38	o 4383
3.38	c 255
3.40	o 4384
3.40	c 254
3.40	o 4385
3.40	c 253
3.41	o 4386
3.41	c 252
3.44	o 4387
3.44	c 251
3.45	o 4388
3.45	c 250
3.45	o 4390
3.45	c 248
3.45	o 4391
3.45	c 247
3.47	o 4392
3.47	c 246
3.47	o 4394
3.47	c 244
3.48	o 4395
3.48	c 243
3.48	o 4396
3.48	c 242
3.60	o 4397
3.60	c 241
3.61	o 4398
3.61	c 240
3.67	o 4399
3.67	c 239
3.67	o 4400
3.67	c 238
3.68	o 4401
3.68	c 237
3.70	o 4403
3.70	c 235
3.70	o 4404
3.70	c 234
3.71	o 4405
3.71	c 233
3.72	o 4406
3.72	c 232
3.73	o 4407
3.73	c 231
3.73	o 4408
3.73	c 230
3.74	o 4409
3.74	c 229
3.75	o 4410
3.75	c 228
3.76	o 4411
3.76	c 227
3.81	o 4412
3.81	c 226
3.81	o 4414
3.81	c 224
3.82	o 4415
3.82	c 223
3.83	o 4416
3.83	c 222
3.89	o 4417
3.89	c 221
3.98	o 4418
3.98	c 220
4.00	o 4420
4.00	c 218
4.01	o 4422
4.01	c 216
4.02	o 4425
4.02	c 213
4.05	o 4426
4.05	c 212
4.10	o 4427
4.10	c 211
4.11	o 4428
4.11	c 210
4.12	o 4429
4.12	c 209
4.12	o 4431
4.12	c 207
4.13	o 4433
4.13	c 205
4.14	o 4435
4.14	c 203
4.65	o 4437
4.65	c 201
4.65	o 4438
4.65	c 200
4.66	o 4439
4.66	c 199
4.70	o 4440
4.70	c 198
4.70	o 4441
4.70	c 197
4.75	o 4442
4.75	c 196
4.79	o 4443
4.79	c 195
4.79	o 4444
4.79	c 194
4.80	o 4445
4.80	c 193
4.80	o 4446
4.80	c 192
4.80	o 4447
4.80	c 191
4.81	o 4450
4.81	c 188
4.82	o 4451
4.82	c 187
4.83	o 4452
4.83	c 186
4.83	o 4453
4.83	c 185
4.84	o 4454
4.84	c 184
4.85	o 4455
4.85	c 183
4.97	o 4456
4.97	c 182
4.97	o 4457
4.97	c 181
4.98	o 4458
4.98	c 180
4.99	o 4459
4.99	c 179
4.99	o 4461
4.99	c 177
5.00	o 4462
5.00	c 176
5.01	o 4463
5.01	c 175
5.02	o 4464
5.02	c 174
5.05	o 4465
5.05	c 173
5.06	o 4466
5.06	c 172
5.07	o 4467
5.07	c 171
5.09	o 4468
5.09	c 170
5.15	o 4469
5.15	c 169
5.18	o 4470
5.18	c 168
5.19	o 4471
5.19	c 167
5.52	o 4472
5.52	c 166
5.53	o 4473
5.53	c 165
5.53	o 4474
5.53	c 164
5.54	o 4475
5.54	c 163
5.55	o 4476
5.55	c 162
5.55	o 4478
5.55	c 160
5.66	o 4479
5.66	c 159
5.67	o 4480
5.67	c 158
5.68	o 4482
5.68	c 156
5.68	o 4486
5.68	c 152
5.76	o 4487
5.76	c 151
5.78	o 4488
5.78	c 150
5.83	o 4489
5.83	c 149
5.88	o 4490
5.88	c 148
5.95	o 4491
5.95	c 147
6.16	o 4492
6.16	c 146
6.17	o 4493
6.17	c 145
6.21	o 4495
6.21	c 143
6.22	o 4496
6.22	c 142
6.44	o 4497
6.44	c 141
6.71	o 4498
6.71	c 140
6.72	o 4499
6.72	c 139
6.73	o 4500
6.73	c 138
6.91	o 4501
6.91	c 137
6.97	o 4502
6.97	c 136
6.99	o 4504
6.99	c 134
7.39	o 4505
7.39	c 133
7.39	o 4508
7.39	c 130
7.40	o 4509
7.40	c 129
8.01	o 4510
8.01	c 128
8.02	o 4511
8.02	c 127
8.04	o 4512
8.04	c 126
8.08	o 4513
8.08	c 125
8.24	o 4514
8.24	c 124
8.24	o 4515
8.24	c 123
8.40	o 4516
8.40	c 122
8.41	o 4517
8.41	c 121
8.42	o 4518
8.42	c 120
8.89	o 4519
8.89	c 119
8.90	o 4520
8.90	c 118
8.95	o 4521
8.95	c 117
8.96	o 4522
8.96	c 116
8.96	o 4523
8.96	c 115
9.03	o 4524
9.03	c 114
9.04	o 4525
9.04	c 113
9.05	o 4526
9.05	c 112
9.05	o 4527
9.05	c 111
9.06	o 4528
9.06	c 110
9.52	o 4529
9.52	c 109
9.70	o 4530
9.70	c 108
9.71	o 4531
9.71	c 107
9.82	o 4532
9.82	c 106
10.44	o 4533
10.44	c 105
11.80	o 4534
11.80	c 104
11.94	o 4536
11.94	c 102
11.97	o 4537
11.97	c 101
13.37	o 4538
13.37	c 100
13.60	o 4539
13.60	c 99
15.37	o 4540
15.37	c 98
16.69	o 4541
16.69	c 97
17.17	o 4542
17.17	c 96
17.71	o 4543
17.71	c 95
17.80	o 4544
17.80	c 94
17.80	o 4545
17.80	c 93
17.85	o 4546
17.85	c 92
17.95	o 4547
17.95	c 91
18.01	o 4548
18.01	c 90
18.06	o 4549
18.06	c 89
18.06	o 4550
18.06	c 88
20.77	   
20.77	   search
20.77	     run=0  nbConstraintChecks=163264982  nbAssignments=10000
20.77	       =>  wckTime=19.204  cpuTime=19.01  mem=8M532
23.99	o 4551
24.00	c 87
24.15	o 4552
24.15	c 86
29.31	o 4553
29.31	c 85
29.48	o 4554
29.48	c 84
29.83	o 4555
29.83	c 83
29.83	o 4556
29.83	c 82
31.03	o 4557
31.03	c 81
33.99	o 4558
33.99	c 80
34.08	o 4559
34.08	c 79
35.44	   
35.44	   search
35.44	     run=1  nbConstraintChecks=299483956  nbAssignments=20000
35.44	       =>  wckTime=33.87  cpuTime=33.66  mem=8M532
36.59	o 4560
36.59	c 78
36.65	o 4561
36.65	c 77
36.65	o 4562
36.65	c 76
36.69	o 4563
36.69	c 75
36.69	o 4564
36.69	c 74
37.74	o 4565
37.74	c 73
37.85	o 4566
37.85	c 72
38.04	o 4567
38.04	c 71
38.41	o 4568
38.41	c 70
47.99	   
47.99	   search
47.99	     run=2  nbConstraintChecks=415897237  nbAssignments=30000
47.99	       =>  wckTime=46.426  cpuTime=46.2  mem=8M532
62.24	   
62.24	   search
62.24	     run=3  nbConstraintChecks=548571860  nbAssignments=40000
62.24	       =>  wckTime=60.669  cpuTime=60.43  mem=8M532
68.43	   
68.43	   search
68.43	     run=4  nbConstraintChecks=606033628  nbAssignments=44237
68.43	       =>  wckTime=66.868  cpuTime=66.63  mem=8M532
68.44	   
68.44	   global
68.44	     nbConstraintChecks=606033628  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
68.44	     solvingWckTime=66.864  solvingCpuTime=66.63  expiredTime=no  totalExploration=no  nbFoundSolutions=0
68.44	     globalCpuTime=67.55
68.44	       =>  wckTime=68.019  cpuTime=67.49  mem=8M532
68.44	   
68.44	   solver IterativeSystematicSolver being built... 
68.62	       =>  wckTime=68.201  cpuTime=67.64  mem=24M349
80.77	   
80.77	   preprocessing
80.77	     nbConstraintChecks=28352854  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
80.77	     detectedInconsistency=no
80.77	       =>  wckTime=12.152  cpuTime=12.09  mem=24M349
103.56	   
103.56	   search
103.56	     run=0  nbConstraintChecks=24421021  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=481
103.56	     nbFailedAssignments=97  nbBacktracks=10  nbVisitedNodes=589  nbRestartNogoods=0
103.56	       =>  wckTime=34.936  cpuTime=34.82  mem=24M349
123.12	   
123.12	   search
123.12	     run=1  nbConstraintChecks=48429639  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=964
123.12	     nbFailedAssignments=180  nbBacktracks=25  nbVisitedNodes=1170  nbRestartNogoods=5
123.12	       =>  wckTime=54.496  cpuTime=54.36  mem=24M349
140.87	   
140.87	   search
140.87	     run=2  nbConstraintChecks=68584165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1401
140.87	     nbFailedAssignments=212  nbBacktracks=47  nbVisitedNodes=1661  nbRestartNogoods=9
140.87	       =>  wckTime=72.248  cpuTime=72.07  mem=24M349
176.08	   
176.08	   search
176.08	     run=3  nbConstraintChecks=95786493  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1918
176.08	     nbFailedAssignments=309  nbBacktracks=80  nbVisitedNodes=2308  nbRestartNogoods=25
176.08	       =>  wckTime=107.459  cpuTime=107.24  mem=24M349
216.00	   
216.00	   search
216.00	     run=4  nbConstraintChecks=128452512  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2500
216.00	     nbFailedAssignments=451  nbBacktracks=130  nbVisitedNodes=3082  nbRestartNogoods=30
216.00	       =>  wckTime=147.381  cpuTime=147.13  mem=24M349
303.79	   
303.79	   search
303.79	     run=5  nbConstraintChecks=185580843  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3342
303.79	     nbFailedAssignments=836  nbBacktracks=205  nbVisitedNodes=4384  nbRestartNogoods=39
303.79	       =>  wckTime=235.173  cpuTime=234.82  mem=24M349
384.17	   
384.17	   search
384.17	     run=6  nbConstraintChecks=230480883  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4040
384.17	     nbFailedAssignments=1047  nbBacktracks=318  nbVisitedNodes=5406  nbRestartNogoods=43
384.17	       =>  wckTime=315.554  cpuTime=315.12  mem=24M349
554.63	   
554.63	   search
554.63	     run=7  nbConstraintChecks=330876324  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5369
554.63	     nbFailedAssignments=1819  nbBacktracks=488  nbVisitedNodes=7677  nbRestartNogoods=47
554.63	       =>  wckTime=486.011  cpuTime=485.37  mem=24M349
841.27	   
841.27	   search
841.27	     run=8  nbConstraintChecks=458020889  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6944
841.27	     nbFailedAssignments=2734  nbBacktracks=744  nbVisitedNodes=10423  nbRestartNogoods=57
841.27	       =>  wckTime=772.652  cpuTime=771.72  mem=24M349
1055.17	   
1055.17	   search
1055.17	     run=9  nbConstraintChecks=576338713  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8468
1055.17	     nbFailedAssignments=3484  nbBacktracks=1128  nbVisitedNodes=13081  nbRestartNogoods=77
1055.17	       =>  wckTime=986.546  cpuTime=985.37  mem=24M349
1644.67	   
1644.67	   search
1644.67	     run=10  nbConstraintChecks=891361121  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12129
1644.67	     nbFailedAssignments=6180  nbBacktracks=1704  nbVisitedNodes=20014  nbRestartNogoods=85
1644.67	       =>  wckTime=1576.049  cpuTime=1574.15  mem=24M349
2403.03	v 156 156 100 338 268 30 100 338 254 16 44 282 16 254 254 16 156 114 58 296 282 44 324 86 156 142 310 72 268 30 16 254 156 156 44 282 16 254 268 30 114 142 296 58 156 142 16 254 254 16 310 72 156 156 16 254 254 16 100 338 310 72 114 142 58 296 72 310 324 86 16 254 282 44 296 58 44 282 338 100 128 128 324 86 156 156 72 310 30 268 142 156 268 30 100 338 282 44 338 100 72 310 142 156 254 16 310 72 44 282 100 338 156 156 324 86 254 16 100 338 100 338 254 16 100 338 338 100 338 100 72 310 268 30 128 128 100 338 100 338 86 324 324 86 324 86 324 86 100 338 282 44 58 296 254 16 58 296 72 310 100 338 30 268 16 254 254 16 254 16 310 72 142 16 324 86 338 100 338 100 58 296 100 338 324 86 338 100 282 44 156 156 268 30 156 128 128 156 156 156 100 338 58 296 156 156 30 268 86 324 16 254 86 128 44 282 114 114 44 282 156 114 58 296 268 30 100 338 86 324 16 254 86 324 142 156 296 58 114 156 16 254 86 324 268 30 338 100 58 296 310 72 86 324 282 44 324 86 156 156 30 268 156 156 338 100 282 44 44 282 254 16 338 100 338 100 100 338 282 44 156 156 16 254 72 310 30 268 254 16 254 16 324 86 100 338 30 268 324 86 114 142 30 268 72 310 16 254 254 16 72 310 128 142 16 254 268 30 282 44 100 338 156 156 100 338 338 100 86 324 268 30 16 254 44 282 338 100 100 338 296 58 156 142 16 254 142 156 100 338 44 282 16 254 338 100 282 44 254 16 72 310 100 338 72 310 16 254 16 254 338 100 254 16 100 338 338 100 296 58 16 254 310 72 338 100 310 72 100 338 310 72 324 86 142 128 44 282 156 128 114 142 254 16 58 296 156 156 142 142 72 310 156 128 310 72 296 58 268 30 254 16 156 156 16 254 72 310 338 100 324 86 100 338 156 142 86 324 156 114 58 296 324 86 142 128 282 44 254 16 16 254 268 30 324 86 30 268 296 58 296 58 296 58 16 254 268 30 282 44 86 324 100 338 114 114 296 58 324 86 16 338 268 30 156 156 282 44 296 58 30 268 338 100 44 282 44 282 72 310 254 16 72 310 100 338 100 338 310 72 156 156 254 16 86 324 16 254 86 324 296 58 30 268 44 282 268 30 268 30 86 324 324 86 282 44 296 58 30 268 44 282 310 72 100 338 338 100 324 86 72 310 44 282 30 268 100 338 254 16 324 86 338 100 268 30 268 30 310 72 254 16 72 310 100 338 72 310 324 86 142 142 100 338 156 156 44 282 338 100 282 44 338 100 338 100 100 338 282 44 72 310 16 254 156 156 254 16 254 16 268 30 44 282 338 100 86 324 44 282 310 72 254 16 156 142 58 296 30 268 142 156 72 310 268 30 114 142 72 310 254 16 156 156 86 324 254 16 282 44 16 254 254 16 44 282 58 296 268 30 296 58 338 100 338 100 44 282 282 44 338 100 16 254 310 72 128 156 268 30 268 30 338 100 100 338 254 16 282 44 296 142 44 282 338 100 324 86 268 30 296 58 338 100 100 338 282 44 58 296 86 324 58 296 338 100 338 100 282 44 338 100 310 72 282 44 128 156 338 100 16 254 338 100 86 324 310 72 338 100 44 282 338 100 156 156 338 100 86 324 324 86 58 296 310 72 338 100 324 86 86 324 324 86 156 156 72 310 268 30 310 72 86 324 156 156 44 282 324 86 296 58 44 282 100 338 100 338 268 30 30 268 16 254 310 72 58 296 296 58 324 86 310 72 58 296 324 86 58 296 310 72 72 310 58 296 86 324 338 100 268 30 16 254 310 72 30 268 30 268 310 72 100 338 268 30 86 324 100 338 58 296 44 282 296 58 16 254 310 72 282 44 254 16 86 324 114 142 30 268 72 310 58 296 16 254 268 30 338 100 30 268 254 16 128 128 86 324 72 310 310 72 86 324 338 100 296 58 296 58 142 156 44 282 128 324 16 254 142 296 310 72 58 296 16 254 324 86 16 254 86 324 16 254 324 86

Verifier Data (download as text)

70 unsatisfied constraints, 4568 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-275066-1169216436 -o ROOT/results/node19/solver-275066-1169216436 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=9748 CPUtime=0
/proc/8293/stat : 8293 (java) D 8291 8293 7940 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270038312 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8293/statm: 2437 412 333 14 0 1140 0

[startup+0.103225 s]
/proc/loadavg: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=89776 CPUtime=0
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 270038312 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 1 0 0
/proc/8293/statm: 22444 1022 811 14 0 10027 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 89776

[startup+0.515298 s]
/proc/loadavg: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915332 CPUtime=0.36
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 5826 0 14 0 32 4 0 0 18 0 8 0 270038312 937299968 5578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073452479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228833 5578 2103 14 0 215303 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915332

[startup+1.34246 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1187640/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915636 CPUtime=1.18
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 11938 0 14 0 95 23 0 0 24 0 8 0 270038312 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228909 11689 2175 14 0 215379 0
[pid=8293/tid=8295] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915636 CPUtime=0.19
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 431 0 0 0 18 1 0 0 15 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915636

[startup+2.97976 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2.77
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13714 0 14 0 243 34 0 0 25 0 8 0 270038312 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13463 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 17 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 457 0 0 0 22 1 0 0 15 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 915736

[startup+6.28038 s]
/proc/loadavg: 1.93 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=6.04
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13715 0 14 0 562 42 0 0 25 0 8 0 270038312 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13464 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 458 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915736

[startup+12.7576 s]
/proc/loadavg: 1.94 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=12.46
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13715 0 14 0 1189 57 0 0 25 0 8 0 270038312 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13464 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 458 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915736

[startup+25.611 s]
/proc/loadavg: 1.80 1.95 1.81 2/88 8362
/proc/meminfo: memFree=1183136/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=25.28
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13717 0 14 0 2436 92 0 0 25 0 8 0 270038312 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13466 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 460 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915736

[startup+51.2388 s]
/proc/loadavg: 1.70 1.92 1.80 3/93 8422
/proc/meminfo: memFree=1179272/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=50.88
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13722 0 14 0 4921 167 0 0 25 0 8 0 270038312 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13471 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.24
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 465 0 0 0 23 1 0 0 16 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915736

[startup+102.451 s]
/proc/loadavg: 1.91 1.94 1.82 3/93 8424
/proc/meminfo: memFree=1178952/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=102.04
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13871 0 14 0 9985 219 0 0 25 0 8 0 270038312 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13614 2548 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.34
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 518 0 0 0 32 2 0 0 17 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 915736

[startup+162.505 s]
/proc/loadavg: 1.97 1.95 1.82 3/93 8424
/proc/meminfo: memFree=1178952/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=162.02
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13896 0 14 0 15983 219 0 0 25 0 8 0 270038312 937713664 13632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2021.68
Current children cumulated vsize (KiB) 915736

[startup+2084.35 s]
/proc/loadavg: 2.06 2.01 1.95 3/93 8424
/proc/meminfo: memFree=1178888/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2081.68
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 207944 224 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074188008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.68
Current children cumulated vsize (KiB) 915736

[startup+2144.4 s]
/proc/loadavg: 2.02 2.01 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2141.67
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 213943 224 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.67
Current children cumulated vsize (KiB) 915736

[startup+2204.45 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178888/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2201.65
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 219940 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074187995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.65
Current children cumulated vsize (KiB) 915736

[startup+2264.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2261.64
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 225939 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.64
Current children cumulated vsize (KiB) 915736

[startup+2324.56 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2321.64
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 231939 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2321.64
Current children cumulated vsize (KiB) 915736

[startup+2384.61 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2381.62
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 237937 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2381.62
Current children cumulated vsize (KiB) 915736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.03 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2400.02
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 239777 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915736

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

Child status: 143
Real time (s): 2403.07
CPU time (s): 2400.07
CPU user time (s): 2397.8
CPU system time (s): 2.26666
CPU usage (%): 99.8752
Max. virtual memory (cumulated for all children) (KiB): 915740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.8
system time used= 2.26666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13931
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50375
involuntary context switches= 22901

runsolver used 3.12752 s user time and 7.56285 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Fri Jan 19 14:20:37 UTC 2007


IDJOB= 275066
IDBENCH= 3264
IDSOLVER= 68
FILE ID= node19/275066-1169216436

PBS_JOBID= 3588903

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphsMod/graph14-f28.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-275066-1169216436 -o ROOT/results/node19/solver-275066-1169216436 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  20f9358485fb6b663286405b27294657

RANDOM SEED= 147622234

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/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.260
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.260
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:       1226968 kB
Buffers:         60396 kB
Cached:         651320 kB
SwapCached:      10172 kB
Active:         306940 kB
Inactive:       443964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1226968 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:          49468 kB
Slab:            62928 kB
Committed_AS:  7104140 kB
PageTables:       2328 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= 66560 MiB



End job on node19 on Fri Jan 19 15:00:40 UTC 2007