Trace number 282673

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.15 2402.45

General information on the benchmark

NameMaxCSP/celar/scens/
scenw-08_ext.xml
MD5SUM65c3907f212d3139cc631ca5c6797c79
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints5085
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables458
Number of constraints5286
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension5286
Number of constraints which are defined in intension0
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.38	   configuration
0.38	     name=epfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/282673-1169321363/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.53	     nbVariables=458  nbDomainTypes=6  minDomainSize=6  maxDomainSize=44
0.53	       =>  wckTime=0.155  cpuTime=0.12  mem=8M838
0.53	   
0.53	   relations being loaded...
1.32	   
1.32	   constraints being loaded...
1.68	     nbConstraints=5286  nbRelationTypes=1494  nbDisconnectedVariables=5  nbExtensionStructures=1494
1.68	     nbSharedExtensionStructures=3792  nbConflictsStructures=1494  nbSharedConflictsStructures=3792
1.68	     nbSharedBinaryRepresentations=104452  maxDegree=115  maxArity=2
1.68	       =>  wckTime=1.302  cpuTime=1.06  mem=45M298
1.78	   
1.78	   solver LocalSearchSolver being built... 
1.82	       =>  wckTime=1.444  cpuTime=1.11  mem=17M732
1.84	
1.84	s SATISFIABLE
1.84	o 3094
1.84	c 2192
1.85	o 3102
1.85	c 2184
1.86	o 3115
1.86	c 2171
1.87	o 3127
1.87	c 2159
1.87	o 3132
1.87	c 2154
1.88	o 3143
1.88	c 2143
1.88	o 3155
1.88	c 2131
1.88	o 3170
1.88	c 2116
1.89	o 3181
1.89	c 2105
1.89	o 3196
1.89	c 2090
1.90	o 3206
1.90	c 2080
1.91	o 3214
1.91	c 2072
1.91	o 3223
1.91	c 2063
1.92	o 3232
1.92	c 2054
1.92	o 3246
1.92	c 2040
1.93	o 3255
1.93	c 2031
1.93	o 3264
1.93	c 2022
1.94	o 3272
1.94	c 2014
1.94	o 3281
1.94	c 2005
1.95	o 3296
1.95	c 1990
1.95	o 3303
1.95	c 1983
1.96	o 3316
1.96	c 1970
1.96	o 3326
1.96	c 1960
1.96	o 3331
1.96	c 1955
1.97	o 3341
1.97	c 1945
1.97	o 3348
1.97	c 1938
1.98	o 3357
1.98	c 1929
1.98	o 3370
1.98	c 1916
1.99	o 3377
1.99	c 1909
1.99	o 3386
1.99	c 1900
2.00	o 3392
2.00	c 1894
2.00	o 3396
2.00	c 1890
2.01	o 3400
2.01	c 1886
2.01	o 3411
2.01	c 1875
2.02	o 3415
2.02	c 1871
2.02	o 3422
2.02	c 1864
2.02	o 3429
2.02	c 1857
2.03	o 3439
2.03	c 1847
2.03	o 3451
2.03	c 1835
2.03	o 3460
2.03	c 1826
2.04	o 3464
2.04	c 1822
2.04	o 3474
2.04	c 1812
2.06	o 3480
2.06	c 1806
2.07	o 3487
2.07	c 1799
2.07	o 3495
2.07	c 1791
2.08	o 3499
2.08	c 1787
2.09	o 3506
2.09	c 1780
2.09	o 3514
2.09	c 1772
2.09	o 3518
2.09	c 1768
2.10	o 3527
2.10	c 1759
2.10	o 3535
2.10	c 1751
2.11	o 3544
2.11	c 1742
2.12	o 3550
2.12	c 1736
2.12	o 3560
2.12	c 1726
2.13	o 3566
2.13	c 1720
2.13	o 3572
2.13	c 1714
2.14	o 3574
2.14	c 1712
2.15	o 3583
2.15	c 1703
2.15	o 3591
2.15	c 1695
2.16	o 3601
2.16	c 1685
2.16	o 3610
2.16	c 1676
2.17	o 3620
2.17	c 1666
2.17	o 3630
2.17	c 1656
2.18	o 3638
2.18	c 1648
2.18	o 3645
2.18	c 1641
2.19	o 3650
2.19	c 1636
2.19	o 3651
2.19	c 1635
2.20	o 3661
2.20	c 1625
2.20	o 3670
2.20	c 1616
2.21	o 3676
2.21	c 1610
2.22	o 3680
2.22	c 1606
2.23	o 3682
2.23	c 1604
2.23	o 3683
2.23	c 1603
2.24	o 3692
2.24	c 1594
2.24	o 3700
2.24	c 1586
2.24	o 3707
2.24	c 1579
2.25	o 3710
2.25	c 1576
2.25	o 3713
2.25	c 1573
2.26	o 3717
2.26	c 1569
2.26	o 3724
2.26	c 1562
2.27	o 3730
2.27	c 1556
2.27	o 3741
2.27	c 1545
2.28	o 3748
2.28	c 1538
2.28	o 3753
2.28	c 1533
2.29	o 3760
2.29	c 1526
2.29	o 3765
2.29	c 1521
2.29	o 3770
2.29	c 1516
2.30	o 3777
2.30	c 1509
2.30	o 3783
2.30	c 1503
2.30	o 3792
2.30	c 1494
2.31	o 3801
2.31	c 1485
2.31	o 3805
2.31	c 1481
2.32	o 3807
2.32	c 1479
2.33	o 3812
2.33	c 1474
2.33	o 3819
2.33	c 1467
2.33	o 3825
2.33	c 1461
2.34	o 3830
2.34	c 1456
2.34	o 3836
2.34	c 1450
2.35	o 3841
2.35	c 1445
2.35	o 3847
2.35	c 1439
2.36	o 3855
2.36	c 1431
2.36	o 3864
2.36	c 1422
2.36	o 3868
2.36	c 1418
2.37	o 3872
2.37	c 1414
2.38	o 3874
2.38	c 1412
2.38	o 3875
2.38	c 1411
2.40	o 3885
2.40	c 1401
2.41	o 3889
2.41	c 1397
2.41	o 3894
2.41	c 1392
2.42	o 3899
2.42	c 1387
2.42	o 3903
2.42	c 1383
2.43	o 3904
2.43	c 1382
2.44	o 3907
2.44	c 1379
2.44	o 3908
2.44	c 1378
2.45	o 3914
2.45	c 1372
2.45	o 3920
2.45	c 1366
2.46	o 3925
2.46	c 1361
2.47	o 3930
2.47	c 1356
2.47	o 3933
2.47	c 1353
2.48	o 3936
2.48	c 1350
2.48	o 3942
2.48	c 1344
2.48	o 3947
2.48	c 1339
2.49	o 3954
2.49	c 1332
2.49	o 3959
2.49	c 1327
2.50	o 3963
2.50	c 1323
2.50	o 3965
2.50	c 1321
2.51	o 3967
2.51	c 1319
2.51	o 3974
2.51	c 1312
2.52	o 3978
2.52	c 1308
2.52	o 3990
2.52	c 1296
2.53	o 3995
2.53	c 1291
2.55	o 3999
2.55	c 1287
2.55	o 4003
2.55	c 1283
2.56	o 4005
2.56	c 1281
2.56	o 4007
2.56	c 1279
2.57	o 4014
2.57	c 1272
2.58	o 4024
2.58	c 1262
2.58	o 4028
2.58	c 1258
2.58	o 4029
2.58	c 1257
2.59	o 4034
2.59	c 1252
2.59	o 4036
2.59	c 1250
2.60	o 4040
2.60	c 1246
2.60	o 4045
2.60	c 1241
2.61	o 4046
2.61	c 1240
2.61	o 4047
2.61	c 1239
2.61	o 4052
2.61	c 1234
2.62	o 4058
2.62	c 1228
2.62	o 4064
2.62	c 1222
2.63	o 4066
2.63	c 1220
2.63	o 4072
2.63	c 1214
2.64	o 4078
2.64	c 1208
2.64	o 4084
2.64	c 1202
2.64	o 4089
2.64	c 1197
2.65	o 4093
2.65	c 1193
2.66	o 4097
2.66	c 1189
2.66	o 4099
2.66	c 1187
2.67	o 4103
2.67	c 1183
2.67	o 4107
2.67	c 1179
2.68	o 4113
2.68	c 1173
2.68	o 4116
2.68	c 1170
2.69	o 4120
2.69	c 1166
2.69	o 4128
2.69	c 1158
2.70	o 4132
2.70	c 1154
2.70	o 4140
2.70	c 1146
2.71	o 4151
2.71	c 1135
2.71	o 4167
2.71	c 1119
2.72	o 4172
2.72	c 1114
2.72	o 4173
2.72	c 1113
2.73	o 4176
2.73	c 1110
2.73	o 4177
2.73	c 1109
2.73	o 4182
2.73	c 1104
2.74	o 4188
2.74	c 1098
2.74	o 4193
2.74	c 1093
2.75	o 4197
2.75	c 1089
2.75	o 4201
2.75	c 1085
2.76	o 4204
2.76	c 1082
2.76	o 4205
2.76	c 1081
2.77	o 4207
2.77	c 1079
2.78	o 4209
2.78	c 1077
2.78	o 4210
2.78	c 1076
2.78	o 4219
2.78	c 1067
2.79	o 4224
2.79	c 1062
2.79	o 4227
2.79	c 1059
2.80	o 4229
2.80	c 1057
2.81	o 4233
2.81	c 1053
2.81	o 4238
2.81	c 1048
2.82	o 4243
2.82	c 1043
2.82	o 4247
2.82	c 1039
2.82	o 4250
2.82	c 1036
2.83	o 4253
2.83	c 1033
2.83	o 4256
2.83	c 1030
2.84	o 4260
2.84	c 1026
2.84	o 4271
2.84	c 1015
2.87	o 4276
2.87	c 1010
2.87	o 4277
2.87	c 1009
2.88	o 4282
2.88	c 1004
2.88	o 4287
2.88	c 999
2.88	o 4292
2.88	c 994
2.89	o 4297
2.89	c 989
2.89	o 4298
2.89	c 988
2.89	o 4302
2.89	c 984
2.90	o 4307
2.90	c 979
2.90	o 4310
2.90	c 976
2.91	o 4318
2.91	c 968
2.91	o 4322
2.91	c 964
2.92	o 4328
2.92	c 958
2.93	o 4332
2.93	c 954
2.94	o 4340
2.94	c 946
2.94	o 4342
2.94	c 944
2.95	o 4348
2.95	c 938
2.95	o 4354
2.95	c 932
2.96	o 4356
2.96	c 930
2.96	o 4362
2.97	c 924
2.99	o 4363
2.99	c 923
3.00	o 4364
3.00	c 922
3.00	o 4367
3.00	c 919
3.00	o 4370
3.00	c 916
3.01	o 4373
3.01	c 913
3.01	o 4376
3.01	c 910
3.02	o 4378
3.02	c 908
3.03	o 4380
3.03	c 906
3.03	o 4381
3.03	c 905
3.04	o 4384
3.04	c 902
3.04	o 4386
3.04	c 900
3.05	o 4389
3.05	c 897
3.05	o 4395
3.05	c 891
3.06	o 4398
3.06	c 888
3.07	o 4400
3.07	c 886
3.10	o 4401
3.10	c 885
3.11	o 4404
3.11	c 882
3.12	o 4406
3.12	c 880
3.13	o 4413
3.13	c 873
3.13	o 4414
3.13	c 872
3.13	o 4417
3.13	c 869
3.14	o 4420
3.14	c 866
3.14	o 4423
3.14	c 863
3.15	o 4425
3.15	c 861
3.16	o 4426
3.16	c 860
3.16	o 4430
3.16	c 856
3.17	o 4434
3.17	c 852
3.18	o 4437
3.18	c 849
3.18	o 4440
3.18	c 846
3.19	o 4443
3.19	c 843
3.19	o 4446
3.19	c 840
3.20	o 4453
3.20	c 833
3.20	o 4456
3.20	c 830
3.21	o 4458
3.21	c 828
3.21	o 4461
3.21	c 825
3.22	o 4463
3.22	c 823
3.23	o 4465
3.23	c 821
3.23	o 4467
3.23	c 819
3.24	o 4469
3.24	c 817
3.25	o 4470
3.25	c 816
3.26	o 4471
3.26	c 815
3.27	o 4472
3.27	c 814
3.27	o 4476
3.27	c 810
3.28	o 4484
3.28	c 802
3.29	o 4486
3.29	c 800
3.30	o 4488
3.30	c 798
3.30	o 4492
3.30	c 794
3.31	o 4495
3.31	c 791
3.39	o 4496
3.39	c 790
3.40	o 4499
3.40	c 787
3.40	o 4503
3.40	c 783
3.43	o 4504
3.43	c 782
3.44	o 4508
3.44	c 778
3.46	o 4510
3.46	c 776
3.47	o 4515
3.47	c 771
3.47	o 4517
3.47	c 769
3.49	o 4523
3.49	c 763
3.49	o 4527
3.49	c 759
3.50	o 4531
3.50	c 755
3.51	o 4532
3.51	c 754
3.53	o 4535
3.53	c 751
3.55	o 4538
3.55	c 748
3.55	o 4543
3.55	c 743
3.67	o 4544
3.67	c 742
3.67	o 4546
3.67	c 740
3.68	o 4551
3.68	c 735
3.69	o 4552
3.69	c 734
3.69	o 4571
3.69	c 715
3.70	o 4576
3.70	c 710
3.71	o 4590
3.71	c 696
3.71	o 4594
3.71	c 692
3.71	o 4606
3.71	c 680
3.72	o 4609
3.72	c 677
3.72	o 4611
3.72	c 675
3.78	o 4612
3.78	c 674
3.80	o 4613
3.80	c 673
3.80	o 4615
3.80	c 671
3.80	o 4617
3.80	c 669
3.81	o 4619
3.81	c 667
3.81	o 4621
3.81	c 665
3.82	o 4625
3.82	c 661
3.82	o 4627
3.82	c 659
3.83	o 4628
3.83	c 658
3.83	o 4629
3.83	c 657
3.84	o 4633
3.84	c 653
3.84	o 4638
3.84	c 648
3.85	o 4642
3.85	c 644
3.85	o 4650
3.85	c 636
3.86	o 4655
3.86	c 631
3.86	o 4660
3.86	c 626
3.87	o 4665
3.87	c 621
3.87	o 4668
3.87	c 618
3.89	o 4669
3.89	c 617
3.90	o 4672
3.90	c 614
3.94	o 4676
3.94	c 610
3.95	o 4682
3.95	c 604
3.96	o 4685
3.96	c 601
3.96	o 4686
3.96	c 600
3.97	o 4698
3.97	c 588
3.97	o 4701
3.97	c 585
3.98	o 4703
3.98	c 583
3.99	o 4706
3.99	c 580
4.01	o 4708
4.01	c 578
4.02	o 4710
4.02	c 576
4.03	o 4717
4.03	c 569
4.04	o 4719
4.04	c 567
4.04	o 4723
4.04	c 563
4.05	o 4725
4.05	c 561
4.05	o 4728
4.05	c 558
4.06	o 4730
4.06	c 556
4.21	o 4732
4.21	c 554
4.23	o 4734
4.23	c 552
4.23	o 4736
4.23	c 550
4.24	o 4744
4.24	c 542
4.26	o 4745
4.26	c 541
4.27	o 4747
4.27	c 539
4.28	o 4749
4.28	c 537
4.28	o 4761
4.28	c 525
4.30	o 4768
4.30	c 518
4.33	o 4775
4.33	c 511
4.34	o 4776
4.34	c 510
4.34	o 4781
4.34	c 505
4.37	o 4783
4.37	c 503
4.46	o 4787
4.46	c 499
4.47	o 4789
4.47	c 497
4.47	o 4790
4.47	c 496
4.48	o 4791
4.48	c 495
4.53	o 4792
4.53	c 494
4.56	o 4793
4.56	c 493
4.57	o 4799
4.57	c 487
4.59	o 4801
4.59	c 485
4.62	o 4802
4.62	c 484
4.62	o 4804
4.62	c 482
4.64	o 4805
4.64	c 481
4.67	o 4816
4.67	c 470
4.68	o 4817
4.68	c 469
4.68	o 4823
4.68	c 463
4.71	o 4833
4.71	c 453
4.74	o 4835
4.74	c 451
4.75	o 4837
4.75	c 449
4.80	o 4838
4.80	c 448
4.81	o 4840
4.81	c 446
4.82	o 4842
4.82	c 444
4.83	o 4843
4.83	c 443
4.84	o 4845
4.84	c 441
5.47	o 4847
5.47	c 439
5.48	o 4849
5.48	c 437
5.49	o 4852
5.49	c 434
5.53	o 4856
5.54	c 430
5.60	o 4857
5.60	c 429
5.61	o 4858
5.61	c 428
5.62	o 4861
5.62	c 425
5.63	o 4862
5.63	c 424
5.65	o 4866
5.65	c 420
5.67	o 4867
5.67	c 419
5.68	o 4872
5.68	c 414
5.69	o 4881
5.69	c 405
5.70	o 4887
5.70	c 399
5.71	o 4889
5.71	c 397
5.71	o 4891
5.71	c 395
5.72	o 4892
5.72	c 394
5.73	o 4898
5.73	c 388
5.74	o 4902
5.74	c 384
5.86	o 4903
5.86	c 383
5.87	o 4909
5.87	c 377
5.94	o 4921
5.94	c 365
5.94	o 4926
5.94	c 360
5.95	o 4927
5.95	c 359
5.96	o 4929
5.96	c 357
5.97	o 4931
5.97	c 355
5.99	o 4932
5.99	c 354
6.01	o 4934
6.01	c 352
6.02	o 4935
6.02	c 351
6.04	o 4936
6.04	c 350
6.04	o 4943
6.04	c 343
6.25	o 4951
6.25	c 335
6.26	o 4954
6.26	c 332
6.26	o 4960
6.26	c 326
6.29	o 4961
6.29	c 325
6.31	o 4962
6.31	c 324
6.32	o 4964
6.32	c 322
6.39	o 4971
6.39	c 315
6.42	o 4975
6.42	c 311
6.44	o 4976
6.44	c 310
6.51	o 4978
6.51	c 308
6.51	o 4980
6.51	c 306
6.54	o 4981
6.54	c 305
6.55	o 4984
6.55	c 302
6.59	o 4985
6.59	c 301
6.59	o 4990
6.59	c 296
6.60	o 4991
6.60	c 295
6.65	o 4992
6.65	c 294
6.66	o 4994
6.66	c 292
6.68	o 4995
6.68	c 291
6.71	o 5001
6.71	c 285
6.72	o 5003
6.72	c 283
6.75	o 5005
6.75	c 281
7.29	o 5008
7.29	c 278
7.41	o 5014
7.41	c 272
7.42	o 5016
7.42	c 270
7.45	o 5017
7.45	c 269
7.49	o 5018
7.49	c 268
7.50	o 5019
7.50	c 267
7.53	o 5022
7.53	c 264
7.54	o 5024
7.54	c 262
7.55	o 5025
7.55	c 261
8.64	o 5027
8.64	c 259
8.65	o 5031
8.65	c 255
8.68	o 5036
8.68	c 250
8.70	o 5037
8.70	c 249
8.71	o 5038
8.71	c 248
8.76	o 5058
8.76	c 228
8.77	o 5059
8.77	c 227
9.39	o 5063
9.39	c 223
9.51	o 5067
9.51	c 219
9.56	o 5069
9.56	c 217
9.58	o 5070
9.58	c 216
9.64	o 5071
9.64	c 215
9.64	o 5073
9.64	c 213
21.98	o 5085
21.98	c 201
52.01	   
52.01	   search
52.01	     run=0  nbConstraintChecks=340820853  nbAssignments=4406
52.01	       =>  wckTime=50.186  cpuTime=50.12  mem=17M732
52.01	   
52.01	   global
52.01	     nbConstraintChecks=340820853  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.01	     solvingWckTime=50.181  solvingCpuTime=50.12  expiredTime=no  totalExploration=no  nbFoundSolutions=0
52.01	     globalCpuTime=51.28
52.01	       =>  wckTime=51.631  cpuTime=51.23  mem=17M732
52.01	   
52.01	   solver IterativeSystematicSolver being built... 
52.16	       =>  wckTime=51.781  cpuTime=51.36  mem=31M694
66.31	   
66.31	   preprocessing
66.31	     nbConstraintChecks=50194094  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
66.31	     detectedInconsistency=no
66.31	       =>  wckTime=14.143  cpuTime=14.1  mem=31M694
88.64	   
88.64	   search
88.64	     run=0  nbConstraintChecks=50429152  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=300
88.64	     nbFailedAssignments=145  nbBacktracks=10  nbVisitedNodes=456  nbRestartNogoods=0
88.64	       =>  wckTime=36.476  cpuTime=36.41  mem=31M694
123.86	   
123.86	   search
123.86	     run=1  nbConstraintChecks=120850838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=684
123.86	     nbFailedAssignments=363  nbBacktracks=25  nbVisitedNodes=1073  nbRestartNogoods=25
123.86	       =>  wckTime=71.704  cpuTime=71.61  mem=31M694
202.94	   
202.94	   search
202.94	     run=2  nbConstraintChecks=257286599  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1337
202.94	     nbFailedAssignments=844  nbBacktracks=47  nbVisitedNodes=2229  nbRestartNogoods=65
202.94	       =>  wckTime=150.782  cpuTime=150.65  mem=31M694
298.91	   
298.91	   search
298.91	     run=3  nbConstraintChecks=448902976  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2228
298.91	     nbFailedAssignments=1554  nbBacktracks=80  nbVisitedNodes=3863  nbRestartNogoods=113
298.91	       =>  wckTime=246.754  cpuTime=246.59  mem=31M694
426.17	   
426.17	   search
426.17	     run=4  nbConstraintChecks=699108254  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3366
426.17	     nbFailedAssignments=2496  nbBacktracks=130  nbVisitedNodes=5993  nbRestartNogoods=161
426.17	       =>  wckTime=374.012  cpuTime=373.8  mem=31M694
645.48	   
645.48	   search
645.48	     run=5  nbConstraintChecks=1061430049  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4996
645.48	     nbFailedAssignments=3896  nbBacktracks=205  nbVisitedNodes=9098  nbRestartNogoods=191
645.48	       =>  wckTime=593.325  cpuTime=593.04  mem=31M694
837.01	   
837.01	   search
837.01	     run=6  nbConstraintChecks=1368120563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6367
837.01	     nbFailedAssignments=5007  nbBacktracks=318  nbVisitedNodes=11693  nbRestartNogoods=278
837.01	       =>  wckTime=784.847  cpuTime=784.51  mem=31M694
1244.59	   
1244.59	   search
1244.59	     run=7  nbConstraintChecks=2077097617  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9407
1244.59	     nbFailedAssignments=7721  nbBacktracks=488  nbVisitedNodes=17617  nbRestartNogoods=298
1244.59	       =>  wckTime=1192.434  cpuTime=1191.97  mem=31M694
1708.18	   
1708.18	   search
1708.18	     run=8  nbConstraintChecks=2835351290  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12658
1708.18	     nbFailedAssignments=10551  nbBacktracks=744  nbVisitedNodes=23954  nbRestartNogoods=321
1708.18	       =>  wckTime=1656.02  cpuTime=1655.42  mem=31M694
2324.92	   
2324.92	   search
2324.92	     run=9  nbConstraintChecks=4055419617  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17801
2324.92	     nbFailedAssignments=15151  nbBacktracks=1128  nbVisitedNodes=34081  nbRestartNogoods=364
2324.92	       =>  wckTime=2272.759  cpuTime=2270.84  mem=32M669
2402.40	v 41 4 3 43 9 4 34 34 1 0 9 3 36 12 11 20 20 3 0 0 10 15 4 18 11 26 21 28 26 43 21 3 12 26 18 34 14 16 18 32 3 11 33 29 41 17 11 31 14 25 7 34 38 21 43 36 0 4 4 35 41 8 37 36 19 18 22 4 5 43 4 0 6 4 38 29 4 17 18 43 36 40 5 21 2 24 29 13 0 7 1 23 17 0 35 11 34 21 32 3 24 13 0 42 33 33 38 34 21 23 0 27 26 8 25 18 26 11 4 15 21 16 32 21 0 5 14 18 11 32 36 11 2 32 31 31 32 36 30 15 25 25 43 40 41 11 3 11 23 4 32 38 21 1 27 26 32 34 23 43 0 33 32 15 9 26 32 22 1 34 35 31 31 11 19 19 19 24 6 4 22 8 20 12 25 11 28 6 26 18 25 14 13 20 43 21 29 19 3 40 17 25 13 16 0 30 21 18 18 34 39 1 22 40 9 40 19 9 11 41 27 39 14 33 25 42 14 12 11 34 32 0 27 9 28 11 9 18 32 35 7 36 35 22 25 7 28 1 23 5 27 43 35 33 18 33 0 0 9 18 31 5 26 28 17 29 33 12 19 5 34 6 22 42 18 18 0 0 9 19 30 26 35 22 9 7 31 26 11 11 31 4 27 20 7 26 21 28 16 31 10 6 6 30 32 9 15 9 33 8 4 3 21 29 29 0 1 15 27 0 4 5 10 12 38 32 16 0 42 37 32 42 32 21 23 13 0 25 9 5 31 26 12 32 9 21 9 12 38 29 22 41 6 28 14 12 30 33 33 43 6 1 23 41 13 24 0 18 9 11 31 16 9 22 10 6 33 1 11 27 5 22 32 17 1 0 15 1 32 16 11 33 23 7 20 9 34 3 28 11 24 35 0 18 0 14 35 2 28 7 33 9 3 37 11 43 3 0 35 0 7 11 34 19 18 1 18 5 12 25 34 12 7 26 40 8 32 12 20 35 4 14 26 28 25 1 17 12 27 0 22 24 11 5 39 2 8 9

Verifier Data (download as text)

201 unsatisfied constraints, 5085 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/node35/watcher-282673-1169321363 -o ROOT/results/node35/solver-282673-1169321363 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282673-1169321363/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.00 1.00 1.03 3/65 4152
/proc/meminfo: memFree=1381168/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=172 CPUtime=0
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280529992 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0
/proc/4151/statm: 43 24 18 14 0 3 0

[startup+0.103613 s]
/proc/loadavg: 1.00 1.00 1.03 3/65 4152
/proc/meminfo: memFree=1381168/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=914988 CPUtime=0.09
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 3073 0 1 0 8 1 0 0 16 0 8 0 280529992 936947712 2819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228747 2819 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513665 s]
/proc/loadavg: 1.00 1.00 1.03 3/65 4152
/proc/meminfo: memFree=1381168/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915332 CPUtime=0.41
/proc/4151/stat : 4151 (java) S 4149 4151 3228 0 -1 0 6325 0 1 0 37 4 0 0 16 0 8 0 280529992 937299968 6064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228833 6064 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.34076 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 4159
/proc/meminfo: memFree=1319800/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915448 CPUtime=1.24
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 19955 0 1 0 112 12 0 0 16 0 8 0 280529992 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228862 19692 2155 14 0 215332 0
[pid=4151/tid=4153] ppid=4149 vsize=915448 CPUtime=0.07
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 3464 0 0 0 6 1 0 0 16 0 8 0 280529995 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915448 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280529996 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915448 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 280529996 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915448 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915448 CPUtime=0.12
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 347 0 0 0 12 0 0 0 16 0 8 0 280529999 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915448 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915448 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937418752 19692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915448

[startup+2.97895 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 4159
/proc/meminfo: memFree=1305208/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2.88
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21627 0 1 0 271 17 0 0 17 0 8 0 280529992 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21362 2483 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4661 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.21
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 442 0 0 0 20 1 0 0 15 0 8 0 280529999 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915700

[startup+6.25535 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 4159
/proc/meminfo: memFree=1305080/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=6.15
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21635 0 1 0 592 23 0 0 17 0 8 0 280529992 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21368 2483 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4661 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.22
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 448 0 0 0 21 1 0 0 16 0 8 0 280529999 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915700

[startup+12.7361 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 4159
/proc/meminfo: memFree=1305088/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=12.62
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21637 0 1 0 1234 28 0 0 24 0 8 0 280529992 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21370 2483 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4661 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.22
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 450 0 0 0 21 1 0 0 16 0 8 0 280529999 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915700

[startup+25.5717 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 4159
/proc/meminfo: memFree=1305216/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=25.46
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21638 0 1 0 2509 37 0 0 25 0 8 0 280529992 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073917812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21371 2483 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4661 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.22
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 451 0 0 0 21 1 0 0 16 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915700

[startup+51.2518 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 4159
/proc/meminfo: memFree=1305280/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=51.13
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21638 0 1 0 5063 50 0 0 25 0 8 0 280529992 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21371 2483 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4661 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915704 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937680896 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.22
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 451 0 0 0 21 1 0 0 16 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915700

[startup+102.501 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 4159
/proc/meminfo: memFree=1305024/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=102.36
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21795 0 1 0 10185 51 0 0 25 0 8 0 280529992 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074073736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4151/statm: 228925 21517 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.32
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 504 0 0 0 30 2 0 0 16 0 8 0 280529999 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915700

[startup+162.584 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 4159
/proc/meminfo: memFree=1304960/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=162.42
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21803 0 1 0 16191 51 0 0 25 0 8 0 280529992 937676800 21522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2024.28
Current children cumulated vsize (KiB) 915700

[startup+2085.18 s]
/proc/loadavg: 1.00 1.00 1.00 3/87 4434
/proc/meminfo: memFree=1275256/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2084.32
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 208375 57 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074048911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.32
Current children cumulated vsize (KiB) 915700

[startup+2145.25 s]
/proc/loadavg: 1.69 1.19 1.06 3/87 4434
/proc/meminfo: memFree=1269112/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2144.13
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 214355 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.13
Current children cumulated vsize (KiB) 915700

[startup+2205.32 s]
/proc/loadavg: 1.88 1.34 1.12 3/87 4434
/proc/meminfo: memFree=1269048/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2203.91
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 220333 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074153312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.91
Current children cumulated vsize (KiB) 915700

[startup+2265.39 s]
/proc/loadavg: 1.95 1.46 1.17 3/87 4434
/proc/meminfo: memFree=1268984/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2263.71
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 226313 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074073764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.71
Current children cumulated vsize (KiB) 915700

[startup+2325.46 s]
/proc/loadavg: 1.98 1.55 1.22 3/87 4434
/proc/meminfo: memFree=1268920/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2323.51
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 232293 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.51
Current children cumulated vsize (KiB) 915700

[startup+2385.53 s]
/proc/loadavg: 1.99 1.63 1.27 3/87 4434
/proc/meminfo: memFree=1268920/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2383.3
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 238272 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.3
Current children cumulated vsize (KiB) 915700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.39 s]
/proc/loadavg: 1.99 1.65 1.28 3/87 4434
/proc/meminfo: memFree=1268984/2055920 swapFree=4184640/4192956
[pid=4151] ppid=4149 vsize=915700 CPUtime=2400.09
/proc/4151/stat : 4151 (java) R 4149 4151 3228 0 -1 0 21827 0 1 0 239951 58 0 0 25 0 8 0 280529992 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074068770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4151/statm: 228925 21533 2537 14 0 215395 0
[pid=4151/tid=4153] ppid=4149 vsize=915700 CPUtime=0.16
/proc/4151/task/4153/stat : 4153 (java) S 4149 4151 3228 0 -1 64 4662 0 0 0 15 1 0 0 16 0 8 0 280529995 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4154] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4154/stat : 4154 (java) S 4149 4151 3228 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4155] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4155/stat : 4155 (java) S 4149 4151 3228 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280529996 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4156] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4156/stat : 4156 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4157] ppid=4149 vsize=915700 CPUtime=0.35
/proc/4151/task/4157/stat : 4157 (java) S 4149 4151 3228 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4158] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4158/stat : 4158 (java) S 4149 4151 3228 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4151/tid=4159] ppid=4149 vsize=915700 CPUtime=0
/proc/4151/task/4159/stat : 4159 (java) S 4149 4151 3228 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280529999 937676800 21533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915700

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

Child status: 143
Real time (s): 2402.45
CPU time (s): 2400.15
CPU user time (s): 2399.55
CPU system time (s): 0.601908
CPU usage (%): 99.9044
Max. virtual memory (cumulated for all children) (KiB): 915704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 0.601908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21846
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= 49828
involuntary context switches= 13937

runsolver used 2.29965 s user time and 6.24605 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan 20 19:29:23 UTC 2007


IDJOB= 282673
IDBENCH= 12877
IDSOLVER= 68
FILE ID= node35/282673-1169321363

PBS_JOBID= 3610349

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-08_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282673-1169321363/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-282673-1169321363 -o ROOT/results/node35/solver-282673-1169321363 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282673-1169321363/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  65c3907f212d3139cc631ca5c6797c79

RANDOM SEED= 89219506

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.234
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.234
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:       1381584 kB
Buffers:         43404 kB
Cached:         551656 kB
SwapCached:       2184 kB
Active:         142888 kB
Inactive:       461660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1381584 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            5440 kB
Writeback:           0 kB
Mapped:          16396 kB
Slab:            55792 kB
Committed_AS:  5816844 kB
PageTables:       1412 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= 66558 MiB



End job on node35 on Sat Jan 20 20:09:26 UTC 2007