Trace number 282502

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 2413.5

General information on the benchmark

NameMaxCSP/celar/graphs/
graphw-13_ext.xml
MD5SUMadd542c90ceba41ca545e534506352d8
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4762
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables458
Number of constraints4815
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension4815
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/282502-1169319401/unknown.xml
0.48	   
0.48	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.58	     nbVariables=458  nbDomainTypes=6  minDomainSize=6  maxDomainSize=44
0.58	       =>  wckTime=0.243  cpuTime=0.12  mem=8M837
0.58	   
0.58	   relations being loaded...
1.44	   
1.44	   constraints being loaded...
1.82	     nbConstraints=4815  nbRelationTypes=1655  nbExtensionStructures=1655  nbSharedExtensionStructures=3160
1.82	     nbConflictsStructures=1655  nbSharedConflictsStructures=3160  nbSharedBinaryRepresentations=114023  maxDegree=38
1.82	     maxArity=2
1.82	       =>  wckTime=1.483  cpuTime=1.13  mem=53M867
1.93	   
1.93	   solver LocalSearchSolver being built... 
1.97	       =>  wckTime=1.631  cpuTime=1.17  mem=17M694
1.99	
1.99	s SATISFIABLE
1.99	o 2989
1.99	c 1826
2.00	o 3001
2.00	c 1814
2.00	o 3013
2.00	c 1802
2.00	o 3022
2.00	c 1793
2.01	o 3033
2.01	c 1782
2.01	o 3045
2.01	c 1770
2.02	o 3051
2.02	c 1764
2.02	o 3056
2.02	c 1759
2.02	o 3061
2.02	c 1754
2.02	o 3072
2.02	c 1743
2.03	o 3079
2.03	c 1736
2.03	o 3086
2.03	c 1729
2.03	o 3092
2.03	c 1723
2.04	o 3097
2.04	c 1718
2.04	o 3107
2.04	c 1708
2.04	o 3116
2.04	c 1699
2.05	o 3123
2.05	c 1692
2.05	o 3129
2.05	c 1686
2.05	o 3133
2.05	c 1682
2.06	o 3141
2.06	c 1674
2.06	o 3152
2.06	c 1663
2.06	o 3162
2.06	c 1653
2.07	o 3172
2.07	c 1643
2.07	o 3181
2.07	c 1634
2.08	o 3188
2.08	c 1627
2.08	o 3195
2.08	c 1620
2.09	o 3201
2.09	c 1614
2.09	o 3206
2.09	c 1609
2.09	o 3211
2.09	c 1604
2.10	o 3216
2.10	c 1599
2.10	o 3222
2.10	c 1593
2.11	o 3228
2.11	c 1587
2.11	o 3231
2.11	c 1584
2.11	o 3234
2.11	c 1581
2.12	o 3236
2.12	c 1579
2.12	o 3238
2.12	c 1577
2.12	o 3242
2.12	c 1573
2.13	o 3245
2.13	c 1570
2.13	o 3255
2.13	c 1560
2.13	o 3262
2.13	c 1553
2.14	o 3267
2.14	c 1548
2.14	o 3271
2.14	c 1544
2.15	o 3274
2.15	c 1541
2.15	o 3277
2.15	c 1538
2.15	o 3280
2.15	c 1535
2.16	o 3283
2.16	c 1532
2.16	o 3286
2.16	c 1529
2.16	o 3292
2.16	c 1523
2.17	o 3295
2.17	c 1520
2.17	o 3300
2.17	c 1515
2.18	o 3303
2.18	c 1512
2.18	o 3307
2.18	c 1508
2.18	o 3311
2.18	c 1504
2.19	o 3315
2.19	c 1500
2.19	o 3323
2.19	c 1492
2.19	o 3328
2.19	c 1487
2.20	o 3335
2.20	c 1480
2.20	o 3342
2.20	c 1473
2.20	o 3349
2.20	c 1466
2.21	o 3351
2.21	c 1464
2.22	o 3357
2.22	c 1458
2.22	o 3358
2.22	c 1457
2.23	o 3362
2.23	c 1453
2.23	o 3367
2.23	c 1448
2.24	o 3371
2.24	c 1444
2.24	o 3377
2.24	c 1438
2.25	o 3383
2.25	c 1432
2.26	o 3390
2.26	c 1425
2.27	o 3396
2.27	c 1419
2.27	o 3400
2.27	c 1415
2.27	o 3403
2.27	c 1412
2.28	o 3405
2.28	c 1410
2.28	o 3410
2.28	c 1405
2.29	o 3416
2.29	c 1399
2.29	o 3417
2.29	c 1398
2.30	o 3422
2.30	c 1393
2.30	o 3427
2.30	c 1388
2.31	o 3431
2.31	c 1384
2.32	o 3436
2.32	c 1379
2.32	o 3439
2.32	c 1376
2.33	o 3444
2.33	c 1371
2.34	o 3446
2.34	c 1369
2.34	o 3453
2.34	c 1362
2.35	o 3459
2.35	c 1356
2.35	o 3464
2.35	c 1351
2.36	o 3468
2.36	c 1347
2.37	o 3470
2.37	c 1345
2.37	o 3473
2.37	c 1342
2.37	o 3474
2.37	c 1341
2.38	o 3483
2.38	c 1332
2.39	o 3485
2.39	c 1330
2.39	o 3488
2.39	c 1327
2.39	o 3493
2.39	c 1322
2.40	o 3496
2.40	c 1319
2.40	o 3497
2.40	c 1318
2.40	o 3502
2.40	c 1313
2.41	o 3504
2.41	c 1311
2.41	o 3507
2.41	c 1308
2.42	o 3510
2.42	c 1305
2.42	o 3513
2.42	c 1302
2.42	o 3517
2.42	c 1298
2.43	o 3523
2.43	c 1292
2.43	o 3528
2.43	c 1287
2.43	o 3530
2.44	c 1285
2.44	o 3531
2.44	c 1284
2.45	o 3535
2.45	c 1280
2.45	o 3540
2.45	c 1275
2.45	o 3543
2.45	c 1272
2.46	o 3544
2.46	c 1271
2.47	o 3546
2.47	c 1269
2.47	o 3548
2.47	c 1267
2.47	o 3554
2.47	c 1261
2.48	o 3558
2.48	c 1257
2.48	o 3562
2.48	c 1253
2.49	o 3566
2.49	c 1249
2.49	o 3569
2.49	c 1246
2.50	o 3572
2.50	c 1243
2.50	o 3574
2.50	c 1241
2.51	o 3578
2.51	c 1237
2.52	o 3581
2.52	c 1234
2.52	o 3582
2.52	c 1233
2.53	o 3586
2.53	c 1229
2.53	o 3588
2.53	c 1227
2.54	o 3592
2.54	c 1223
2.54	o 3595
2.54	c 1220
2.55	o 3596
2.55	c 1219
2.56	o 3598
2.56	c 1217
2.56	o 3601
2.56	c 1214
2.57	o 3605
2.57	c 1210
2.58	o 3607
2.58	c 1208
2.58	o 3611
2.58	c 1204
2.60	o 3612
2.60	c 1203
2.60	o 3614
2.60	c 1201
2.61	o 3618
2.61	c 1197
2.61	o 3619
2.61	c 1196
2.62	o 3622
2.62	c 1193
2.62	o 3623
2.62	c 1192
2.62	o 3625
2.62	c 1190
2.63	o 3629
2.63	c 1186
2.63	o 3632
2.63	c 1183
2.64	o 3636
2.64	c 1179
2.64	o 3638
2.64	c 1177
2.65	o 3640
2.65	c 1175
2.65	o 3643
2.65	c 1172
2.66	o 3647
2.66	c 1168
2.67	o 3653
2.67	c 1162
2.68	o 3659
2.68	c 1156
2.70	o 3661
2.70	c 1154
2.70	o 3663
2.70	c 1152
2.71	o 3665
2.71	c 1150
2.75	o 3669
2.75	c 1146
2.75	o 3670
2.75	c 1145
2.75	o 3673
2.75	c 1142
2.76	o 3675
2.76	c 1140
2.76	o 3678
2.76	c 1137
2.77	o 3679
2.77	c 1136
2.78	o 3681
2.78	c 1134
2.78	o 3683
2.78	c 1132
2.79	o 3684
2.79	c 1131
2.80	o 3687
2.80	c 1128
2.81	o 3689
2.81	c 1126
2.82	o 3693
2.82	c 1122
2.82	o 3696
2.82	c 1119
2.83	o 3702
2.83	c 1113
2.84	o 3703
2.84	c 1112
2.84	o 3708
2.84	c 1107
2.86	o 3710
2.86	c 1105
2.86	o 3711
2.86	c 1104
2.86	o 3715
2.86	c 1100
2.87	o 3718
2.87	c 1097
2.88	o 3721
2.88	c 1094
2.90	o 3723
2.90	c 1092
2.91	o 3726
2.91	c 1089
2.93	o 3728
2.93	c 1087
2.96	o 3729
2.97	c 1086
2.99	o 3733
2.99	c 1082
2.99	o 3736
2.99	c 1079
3.00	o 3737
3.00	c 1078
3.01	o 3738
3.01	c 1077
3.02	o 3740
3.02	c 1075
3.02	o 3741
3.02	c 1074
3.03	o 3742
3.03	c 1073
3.04	o 3746
3.04	c 1069
3.04	o 3749
3.04	c 1066
3.05	o 3751
3.05	c 1064
3.05	o 3762
3.05	c 1053
3.06	o 3766
3.06	c 1049
3.07	o 3767
3.07	c 1048
3.09	o 3770
3.09	c 1045
3.11	o 3772
3.11	c 1043
3.13	o 3775
3.13	c 1040
3.13	o 3777
3.13	c 1038
3.14	o 3778
3.14	c 1037
3.15	o 3779
3.15	c 1036
3.16	o 3781
3.16	c 1034
3.17	o 3784
3.17	c 1031
3.17	o 3786
3.17	c 1029
3.23	o 3787
3.23	c 1028
3.24	o 3790
3.24	c 1025
3.25	o 3793
3.25	c 1022
3.30	o 3795
3.30	c 1020
3.30	o 3796
3.30	c 1019
3.31	o 3798
3.31	c 1017
3.31	o 3800
3.31	c 1015
3.33	o 3802
3.33	c 1013
3.34	o 3803
3.34	c 1012
3.35	o 3807
3.35	c 1008
3.37	o 3809
3.37	c 1006
3.38	o 3812
3.38	c 1003
3.39	o 3818
3.39	c 997
3.40	o 3819
3.40	c 996
3.44	o 3822
3.44	c 993
3.45	o 3827
3.45	c 988
3.49	o 3829
3.49	c 986
3.52	o 3830
3.52	c 985
3.52	o 3831
3.52	c 984
3.53	o 3836
3.53	c 979
3.53	o 3838
3.53	c 977
3.54	o 3842
3.54	c 973
3.55	o 3843
3.55	c 972
3.59	o 3845
3.59	c 970
3.60	o 3846
3.60	c 969
3.60	o 3850
3.60	c 965
3.61	o 3852
3.61	c 963
3.62	o 3853
3.62	c 962
3.63	o 3858
3.63	c 957
3.63	o 3861
3.63	c 954
3.65	o 3862
3.65	c 953
3.66	o 3864
3.66	c 951
4.13	o 3865
4.13	c 950
4.15	o 3866
4.15	c 949
4.16	o 3870
4.16	c 945
4.18	o 3872
4.18	c 943
4.19	o 3875
4.19	c 940
4.19	o 3877
4.19	c 938
4.22	o 3878
4.22	c 937
4.23	o 3879
4.23	c 936
4.24	o 3885
4.24	c 930
4.25	o 3890
4.25	c 925
4.25	o 3895
4.25	c 920
4.28	o 3896
4.28	c 919
4.28	o 3897
4.28	c 918
4.31	o 3899
4.31	c 916
4.32	o 3900
4.32	c 915
4.34	o 3901
4.34	c 914
4.35	o 3904
4.35	c 911
4.35	o 3910
4.35	c 905
4.36	o 3911
4.36	c 904
4.36	o 3915
4.36	c 900
4.37	o 3918
4.37	c 897
4.38	o 3919
4.38	c 896
4.39	o 3929
4.39	c 886
4.42	o 3931
4.42	c 884
4.43	o 3932
4.43	c 883
4.44	o 3933
4.44	c 882
4.46	o 3935
4.46	c 880
4.47	o 3936
4.47	c 879
4.48	o 3937
4.48	c 878
4.49	o 3939
4.49	c 876
4.49	o 3940
4.49	c 875
4.58	o 3941
4.58	c 874
4.59	o 3943
4.59	c 872
4.60	o 3945
4.60	c 870
4.62	o 3946
4.62	c 869
4.73	o 3948
4.73	c 867
4.74	o 3949
4.74	c 866
4.80	o 3952
4.80	c 863
4.81	o 3953
4.81	c 862
4.81	o 3954
4.81	c 861
4.83	o 3956
4.83	c 859
4.84	o 3959
4.84	c 856
5.04	o 3961
5.04	c 854
5.05	o 3963
5.05	c 852
5.06	o 3965
5.06	c 850
5.07	o 3971
5.07	c 844
5.08	o 3976
5.08	c 839
5.09	o 3977
5.09	c 838
5.16	o 3980
5.16	c 835
5.18	o 3981
5.18	c 834
5.19	o 3984
5.19	c 831
5.19	o 3986
5.19	c 829
5.22	o 3989
5.22	c 826
5.24	o 3990
5.24	c 825
5.25	o 3991
5.25	c 824
5.31	o 3992
5.31	c 823
5.33	o 3994
5.33	c 821
5.34	o 3995
5.34	c 820
5.35	o 3996
5.35	c 819
5.36	o 4002
5.36	c 813
5.41	o 4005
5.41	c 810
5.44	o 4008
5.44	c 807
5.44	o 4013
5.44	c 802
5.45	o 4014
5.45	c 801
5.46	o 4015
5.46	c 800
5.47	o 4016
5.47	c 799
5.48	o 4019
5.48	c 796
5.49	o 4022
5.49	c 793
5.50	o 4027
5.50	c 788
5.54	o 4028
5.54	c 787
5.55	o 4029
5.55	c 786
5.56	o 4032
5.56	c 783
5.59	o 4037
5.59	c 778
5.60	o 4041
5.60	c 774
5.61	o 4042
5.61	c 773
5.65	o 4044
5.65	c 771
5.66	o 4050
5.66	c 765
5.68	o 4051
5.68	c 764
5.69	o 4057
5.69	c 758
5.70	o 4058
5.70	c 757
5.70	o 4064
5.70	c 751
5.71	o 4065
5.71	c 750
5.73	o 4068
5.73	c 747
5.74	o 4071
5.74	c 744
5.75	o 4073
5.75	c 742
5.76	o 4074
5.76	c 741
5.78	o 4075
5.78	c 740
5.80	o 4078
5.80	c 737
5.82	o 4079
5.82	c 736
5.82	o 4084
5.82	c 731
5.83	o 4087
5.83	c 728
5.84	o 4089
5.84	c 726
5.85	o 4090
5.85	c 725
5.86	o 4091
5.86	c 724
5.87	o 4094
5.87	c 721
5.91	o 4096
5.91	c 719
5.92	o 4097
5.92	c 718
5.96	o 4100
5.96	c 715
5.96	o 4105
5.97	c 710
5.97	o 4109
5.97	c 706
5.99	o 4111
5.99	c 704
6.00	o 4115
6.00	c 700
6.05	o 4120
6.05	c 695
6.26	o 4121
6.26	c 694
6.29	o 4122
6.29	c 693
6.30	o 4125
6.30	c 690
6.31	o 4126
6.31	c 689
6.31	o 4132
6.31	c 683
6.32	o 4138
6.32	c 677
6.33	o 4140
6.33	c 675
6.34	o 4143
6.34	c 672
6.35	o 4150
6.35	c 665
6.36	o 4155
6.36	c 660
6.36	o 4158
6.36	c 657
6.66	o 4159
6.66	c 656
6.67	o 4160
6.67	c 655
6.72	o 4163
6.72	c 652
6.86	o 4164
6.86	c 651
6.87	o 4166
6.87	c 649
6.88	o 4169
6.88	c 646
6.92	o 4170
6.92	c 645
6.94	o 4176
6.94	c 639
6.94	o 4178
6.94	c 637
6.95	o 4180
6.95	c 635
7.02	o 4183
7.02	c 632
7.03	o 4185
7.03	c 630
7.04	o 4187
7.04	c 628
7.06	o 4189
7.06	c 626
7.09	o 4190
7.09	c 625
7.10	o 4191
7.10	c 624
7.11	o 4192
7.11	c 623
7.12	o 4197
7.12	c 618
7.13	o 4198
7.13	c 617
7.14	o 4205
7.14	c 610
7.16	o 4207
7.16	c 608
7.17	o 4208
7.17	c 607
7.18	o 4209
7.18	c 606
7.19	o 4212
7.19	c 603
7.19	o 4214
7.19	c 601
7.20	o 4215
7.20	c 600
7.22	o 4216
7.22	c 599
7.24	o 4217
7.24	c 598
7.26	o 4218
7.26	c 597
7.30	o 4220
7.30	c 595
7.31	o 4226
7.31	c 589
7.32	o 4232
7.32	c 583
7.33	o 4233
7.33	c 582
7.53	o 4236
7.53	c 579
7.54	o 4238
7.54	c 577
7.55	o 4239
7.55	c 576
7.56	o 4240
7.56	c 575
7.57	o 4242
7.57	c 573
7.59	o 4246
7.59	c 569
7.59	o 4248
7.59	c 567
7.60	o 4249
7.60	c 566
7.62	o 4250
7.62	c 565
7.65	o 4252
7.65	c 563
7.66	o 4254
7.66	c 561
7.67	o 4255
7.67	c 560
7.98	o 4257
7.98	c 558
7.98	o 4265
7.98	c 550
8.31	o 4266
8.31	c 549
8.32	o 4267
8.32	c 548
8.44	o 4272
8.44	c 543
8.45	o 4274
8.45	c 541
8.46	o 4277
8.46	c 538
8.60	o 4278
8.60	c 537
8.63	o 4279
8.63	c 536
8.64	o 4284
8.64	c 531
8.64	o 4288
8.64	c 527
8.65	o 4293
8.65	c 522
8.66	o 4298
8.66	c 517
8.67	o 4302
8.67	c 513
8.67	o 4303
8.67	c 512
8.69	o 4304
8.69	c 511
8.70	o 4305
8.70	c 510
8.71	o 4307
8.71	c 508
8.72	o 4308
8.72	c 507
8.76	o 4311
8.76	c 504
8.79	o 4315
8.79	c 500
8.80	o 4316
8.80	c 499
8.84	o 4319
8.84	c 496
8.85	o 4320
8.85	c 495
8.86	o 4322
8.86	c 493
8.88	o 4323
8.88	c 492
8.89	o 4327
8.89	c 488
8.93	o 4328
8.93	c 487
8.94	o 4330
8.94	c 485
8.95	o 4333
8.95	c 482
8.95	o 4334
8.95	c 481
8.96	o 4335
8.96	c 480
8.98	o 4336
8.98	c 479
8.99	o 4337
8.99	c 478
9.00	o 4340
9.00	c 475
9.01	o 4341
9.01	c 474
9.02	o 4344
9.02	c 471
9.03	o 4350
9.03	c 465
9.04	o 4354
9.04	c 461
9.04	o 4355
9.04	c 460
9.06	o 4357
9.06	c 458
9.07	o 4358
9.07	c 457
9.08	o 4359
9.08	c 456
9.09	o 4360
9.09	c 455
9.12	o 4362
9.12	c 453
9.13	o 4363
9.13	c 452
9.18	o 4364
9.18	c 451
9.19	o 4366
9.19	c 449
9.22	o 4368
9.22	c 447
9.23	o 4371
9.23	c 444
9.24	o 4372
9.24	c 443
9.29	o 4374
9.29	c 441
9.30	o 4378
9.30	c 437
9.31	o 4380
9.31	c 435
9.32	o 4384
9.32	c 431
9.33	o 4386
9.33	c 429
9.37	o 4391
9.37	c 424
9.38	o 4394
9.38	c 421
9.41	o 4395
9.41	c 420
9.42	o 4398
9.42	c 417
9.43	o 4400
9.43	c 415
9.45	o 4401
9.45	c 414
9.46	o 4402
9.46	c 413
9.46	o 4404
9.46	c 411
9.47	o 4405
9.47	c 410
9.81	o 4407
9.81	c 408
9.82	o 4408
9.82	c 407
9.85	o 4409
9.85	c 406
9.86	o 4414
9.86	c 401
9.93	o 4417
9.93	c 398
9.94	o 4419
9.94	c 396
9.96	o 4420
9.96	c 395
9.97	o 4421
9.97	c 394
9.99	o 4422
9.99	c 393
10.01	o 4423
10.01	c 392
10.02	o 4425
10.02	c 390
10.02	o 4426
10.02	c 389
10.04	o 4427
10.04	c 388
10.05	o 4430
10.05	c 385
10.06	o 4433
10.06	c 382
10.07	o 4435
10.07	c 380
10.08	o 4438
10.08	c 377
10.10	o 4440
10.10	c 375
10.11	o 4445
10.11	c 370
10.12	o 4446
10.12	c 369
10.20	o 4454
10.20	c 361
10.24	o 4455
10.24	c 360
10.25	o 4459
10.25	c 356
10.29	o 4461
10.29	c 354
10.30	o 4462
10.30	c 353
10.31	o 4465
10.31	c 350
10.32	o 4466
10.32	c 349
10.36	o 4468
10.36	c 347
10.37	o 4469
10.37	c 346
10.38	o 4471
10.38	c 344
10.40	o 4473
10.40	c 342
10.42	o 4474
10.42	c 341
10.50	o 4475
10.50	c 340
10.73	o 4477
10.73	c 338
10.73	o 4479
10.73	c 336
10.80	o 4480
10.80	c 335
10.81	o 4482
10.81	c 333
10.82	o 4484
10.82	c 331
10.82	o 4486
10.82	c 329
10.83	o 4487
10.83	c 328
10.86	o 4488
10.86	c 327
10.88	o 4490
10.88	c 325
10.89	o 4491
10.89	c 324
11.05	o 4493
11.05	c 322
11.06	o 4494
11.06	c 321
11.07	o 4500
11.07	c 315
11.09	o 4503
11.09	c 312
11.11	o 4504
11.11	c 311
11.16	o 4506
11.17	c 309
11.17	o 4507
11.17	c 308
11.19	o 4508
11.19	c 307
11.26	o 4509
11.26	c 306
11.29	o 4510
11.29	c 305
11.30	o 4511
11.30	c 304
11.37	o 4512
11.37	c 303
11.48	o 4513
11.48	c 302
11.48	o 4520
11.48	c 295
11.48	o 4528
11.48	c 287
11.56	o 4530
11.56	c 285
11.57	o 4532
11.57	c 283
11.61	o 4533
11.61	c 282
11.61	o 4535
11.61	c 280
11.63	o 4536
11.63	c 279
11.65	o 4537
11.65	c 278
11.66	o 4538
11.66	c 277
11.67	o 4543
11.67	c 272
11.68	o 4544
11.68	c 271
11.70	o 4546
11.70	c 269
11.72	o 4550
11.72	c 265
11.73	o 4551
11.73	c 264
11.75	o 4552
11.75	c 263
11.77	o 4553
11.77	c 262
11.79	o 4554
11.79	c 261
11.80	o 4555
11.80	c 260
11.81	o 4557
11.81	c 258
11.83	o 4560
11.83	c 255
11.84	o 4561
11.84	c 254
11.88	o 4562
11.88	c 253
11.88	o 4567
11.88	c 248
11.89	o 4573
11.89	c 242
11.89	o 4574
11.89	c 241
11.90	o 4577
11.90	c 238
11.91	o 4579
11.91	c 236
11.91	o 4587
11.91	c 228
11.93	o 4588
11.93	c 227
11.94	o 4589
11.94	c 226
11.94	o 4593
11.94	c 222
11.95	o 4594
11.95	c 221
12.02	o 4599
12.02	c 216
12.04	o 4600
12.04	c 215
12.05	o 4601
12.05	c 214
12.06	o 4603
12.06	c 212
12.07	o 4604
12.07	c 211
12.08	o 4605
12.08	c 210
12.09	o 4608
12.09	c 207
12.10	o 4611
12.10	c 204
12.11	o 4613
12.11	c 202
12.11	o 4616
12.11	c 199
12.12	o 4617
12.12	c 198
12.12	o 4618
12.12	c 197
12.14	o 4621
12.14	c 194
12.15	o 4624
12.15	c 191
12.15	o 4626
12.15	c 189
12.16	o 4627
12.16	c 188
12.17	o 4628
12.17	c 187
12.17	o 4630
12.17	c 185
12.21	o 4632
12.21	c 183
12.23	o 4633
12.23	c 182
12.27	o 4634
12.27	c 181
12.28	o 4636
12.28	c 179
12.28	o 4639
12.28	c 176
12.30	o 4644
12.30	c 171
12.31	o 4648
12.31	c 167
12.31	o 4651
12.31	c 164
12.37	o 4654
12.37	c 161
12.37	o 4655
12.37	c 160
12.38	o 4656
12.38	c 159
12.40	o 4657
12.40	c 158
12.40	o 4659
12.40	c 156
12.41	o 4661
12.41	c 154
12.42	o 4662
12.42	c 153
12.43	o 4666
12.43	c 149
12.43	o 4667
12.43	c 148
12.44	o 4668
12.44	c 147
12.45	o 4670
12.45	c 145
12.49	o 4674
12.49	c 141
12.49	o 4682
12.49	c 133
12.49	o 4685
12.49	c 130
12.50	o 4687
12.50	c 128
12.51	o 4690
12.51	c 125
12.51	o 4691
12.51	c 124
12.53	o 4692
12.53	c 123
12.53	o 4696
12.53	c 119
12.54	o 4698
12.54	c 117
12.54	o 4700
12.54	c 115
12.55	o 4701
12.55	c 114
12.55	o 4702
12.55	c 113
12.56	o 4705
12.56	c 110
12.57	o 4709
12.57	c 106
12.57	o 4712
12.57	c 103
12.58	o 4713
12.58	c 102
12.59	o 4715
12.59	c 100
12.59	o 4718
12.59	c 97
12.61	o 4720
12.61	c 95
12.62	o 4721
12.62	c 94
12.62	o 4726
12.62	c 89
12.66	o 4727
12.66	c 88
12.66	o 4730
12.66	c 85
12.69	o 4731
12.69	c 84
12.70	o 4732
12.70	c 83
12.70	o 4733
12.70	c 82
12.71	o 4737
12.71	c 78
12.81	o 4740
12.81	c 75
12.82	o 4741
12.82	c 74
12.82	o 4742
12.82	c 73
12.83	o 4746
12.83	c 69
12.83	o 4748
12.83	c 67
12.84	o 4749
12.84	c 66
12.84	o 4750
12.84	c 65
12.85	o 4752
12.85	c 63
12.86	o 4755
12.86	c 60
12.88	o 4756
12.88	c 59
12.88	o 4757
12.88	c 58
13.55	o 4761
13.55	c 54
13.76	o 4762
13.76	c 53
43.94	   
43.94	   search
43.94	     run=0  nbConstraintChecks=309207001  nbAssignments=5470
43.94	       =>  wckTime=41.969  cpuTime=41.67  mem=17M694
43.94	   
43.94	   global
43.94	     nbConstraintChecks=309207001  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.94	     solvingWckTime=41.963  solvingCpuTime=41.66  expiredTime=no  totalExploration=no  nbFoundSolutions=0
43.94	     globalCpuTime=42.9
43.94	       =>  wckTime=43.6  cpuTime=42.84  mem=17M694
43.94	   
43.94	   solver IterativeSystematicSolver being built... 
44.09	       =>  wckTime=43.755  cpuTime=42.96  mem=31M867
55.46	   
55.46	   preprocessing
55.46	     nbConstraintChecks=30528745  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
55.46	     detectedInconsistency=no
55.46	       =>  wckTime=11.361  cpuTime=11.26  mem=31M867
90.20	   
90.20	   search
90.20	     run=0  nbConstraintChecks=34206764  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=233
90.20	     nbFailedAssignments=119  nbBacktracks=10  nbVisitedNodes=363  nbRestartNogoods=0
90.20	       =>  wckTime=46.111  cpuTime=45.82  mem=31M867
167.15	   
167.15	   search
167.15	     run=1  nbConstraintChecks=107379787  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=651
167.15	     nbFailedAssignments=413  nbBacktracks=25  nbVisitedNodes=1090  nbRestartNogoods=31
167.15	       =>  wckTime=123.062  cpuTime=122.33  mem=31M867
270.82	   
270.82	   search
270.82	     run=2  nbConstraintChecks=204409714  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1188
270.82	     nbFailedAssignments=823  nbBacktracks=47  nbVisitedNodes=2059  nbRestartNogoods=78
270.82	       =>  wckTime=226.731  cpuTime=225.41  mem=31M867
397.36	   
397.36	   search
397.36	     run=3  nbConstraintChecks=330539530  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1884
397.36	     nbFailedAssignments=1384  nbBacktracks=80  nbVisitedNodes=3349  nbRestartNogoods=112
397.36	       =>  wckTime=353.263  cpuTime=351.17  mem=31M867
633.24	   
633.25	   search
633.25	     run=4  nbConstraintChecks=556129334  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3061
633.25	     nbFailedAssignments=2413  nbBacktracks=130  nbVisitedNodes=5605  nbRestartNogoods=162
633.25	       =>  wckTime=589.152  cpuTime=585.77  mem=31M867
905.94	   
905.94	   search
905.94	     run=5  nbConstraintChecks=867088871  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4725
905.94	     nbFailedAssignments=3908  nbBacktracks=205  nbVisitedNodes=8839  nbRestartNogoods=164
905.94	       =>  wckTime=861.844  cpuTime=856.97  mem=31M867
1063.17	   
1063.17	   search
1063.17	     run=6  nbConstraintChecks=1014573355  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5554
1063.17	     nbFailedAssignments=4534  nbBacktracks=318  nbVisitedNodes=10407  nbRestartNogoods=185
1063.17	       =>  wckTime=1019.075  cpuTime=1013.35  mem=31M867
1434.26	   
1434.26	   search
1434.26	     run=7  nbConstraintChecks=1364319868  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7474
1434.26	     nbFailedAssignments=6196  nbBacktracks=488  nbVisitedNodes=14159  nbRestartNogoods=224
1434.26	       =>  wckTime=1390.172  cpuTime=1382.4  mem=31M867
1917.15	   
1917.15	   search
1917.15	     run=8  nbConstraintChecks=1924124870  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10526
1917.15	     nbFailedAssignments=8905  nbBacktracks=744  nbVisitedNodes=20176  nbRestartNogoods=243
1917.15	       =>  wckTime=1873.054  cpuTime=1862.67  mem=31M867
2413.45	v 0 23 0 2 0 0 8 25 30 7 20 43 4 29 28 4 43 7 33 4 43 31 43 39 43 29 39 0 2 19 2 33 38 29 31 1 0 32 7 35 1 10 0 23 43 0 43 4 4 19 0 4 7 31 43 32 0 0 9 2 0 0 0 43 7 1 39 0 33 31 1 9 10 0 29 26 43 2 9 9 0 4 31 32 6 41 27 10 6 0 4 7 0 0 2 39 30 0 41 43 0 17 27 0 2 2 10 0 35 1 43 43 43 6 2 31 41 6 33 29 1 0 10 31 31 6 31 33 1 41 7 41 27 2 41 34 2 2 1 27 6 41 4 35 43 6 7 0 7 29 1 43 9 39 7 10 43 35 4 0 43 0 43 33 30 4 31 12 27 4 9 1 4 35 35 41 35 0 43 4 43 41 0 43 0 41 35 38 1 31 31 29 39 31 7 1 0 0 29 0 0 39 9 4 4 1 20 43 4 10 43 0 0 2 10 43 0 0 31 35 0 33 7 2 2 43 1 43 31 0 41 35 43 33 35 29 41 39 43 27 41 39 31 0 1 43 43 0 30 43 7 43 30 4 1 43 35 0 0 4 0 16 4 36 2 31 1 0 10 0 6 33 38 43 4 0 27 0 0 31 39 9 43 0 29 33 30 35 4 43 2 31 0 29 41 10 33 2 7 1 0 1 36 35 2 36 10 7 0 30 43 9 31 2 9 31 30 43 16 7 35 39 0 43 33 9 0 0 3 39 10 4 35 27 1 31 27 43 31 10 35 7 43 7 0 10 43 1 37 7 0 7 2 7 0 1 1 0 43 36 6 1 43 30 2 0 0 29 4 4 41 1 2 0 43 1 4 43 0 43 0 0 35 10 27 12 6 43 0 7 0 33 2 43 10 7 22 35 10 0 27 35 43 30 0 4 37 43 1 31 43 0 7 29 31 1 29 43 39 30 41 31 7 37 7 1 29 1 39 43 1 7 1 31 29 1 41 7 41 10 35 1 4 33 29 41 2 18 43 10 43 35 0 4 43 27 0 4

Verifier Data (download as text)

53 unsatisfied constraints, 4762 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/node24/watcher-282502-1169319401 -o ROOT/results/node24/solver-282502-1169319401 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282502-1169319401/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: 2.10 2.05 1.95 5/94 4262
/proc/meminfo: memFree=1307680/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=18540 CPUtime=0
/proc/4261/stat : 4261 (runsolver) R 4259 4261 3980 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280335382 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4261/statm: 4635 279 244 17 0 2626 0

[startup+0.10428 s]
/proc/loadavg: 2.10 2.05 1.95 5/94 4262
/proc/meminfo: memFree=1307680/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=907808 CPUtime=0.04
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 2445 0 1 0 4 0 0 0 20 0 4 0 280335382 929595392 2192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153568834 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 226952 2192 1209 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808

[startup+0.512323 s]
/proc/loadavg: 2.10 2.05 1.95 5/94 4262
/proc/meminfo: memFree=1307680/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915332 CPUtime=0.36
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 6065 0 1 0 33 3 0 0 18 0 8 0 280335382 937299968 5804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228833 5804 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915332

[startup+1.33441 s]
/proc/loadavg: 2.10 2.05 1.95 3/101 4269
/proc/meminfo: memFree=1244904/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915332 CPUtime=1.17
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 19934 0 1 0 106 11 0 0 24 0 8 0 280335382 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155212769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228833 19671 2154 14 0 215303 0
[pid=4261/tid=4263] ppid=4259 vsize=915332 CPUtime=0.07
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 3459 0 0 0 5 2 0 0 16 0 8 0 280335390 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915332 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915332 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 280335390 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915332 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915332 CPUtime=0.12
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 341 0 0 0 12 0 0 0 16 0 8 0 280335394 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915332 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915332 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937299968 19671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 915332

[startup+2.98659 s]
/proc/loadavg: 2.10 2.05 1.95 3/101 4269
/proc/meminfo: memFree=1219560/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2.81
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21610 0 1 0 266 15 0 0 25 0 8 0 280335382 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21345 2483 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4635 0 0 0 14 2 0 0 17 0 8 0 280335390 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.22
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 450 0 0 0 21 1 0 0 15 0 8 0 280335394 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915712

[startup+6.28495 s]
/proc/loadavg: 2.09 2.05 1.95 3/101 4269
/proc/meminfo: memFree=1207592/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=6.07
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21614 0 1 0 588 19 0 0 25 0 8 0 280335382 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073943027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21348 2483 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4635 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.23
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 453 0 0 0 22 1 0 0 15 0 8 0 280335394 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915712

[startup+12.7687 s]
/proc/loadavg: 2.08 2.05 1.95 3/92 4323
/proc/meminfo: memFree=1237616/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=12.51
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21621 0 1 0 1224 27 0 0 25 0 8 0 280335382 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21354 2483 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4635 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.24
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 459 0 0 0 23 1 0 0 17 0 8 0 280335394 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915712

[startup+25.615 s]
/proc/loadavg: 2.06 2.05 1.95 3/92 4323
/proc/meminfo: memFree=1219888/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=25.29
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21622 0 1 0 2492 37 0 0 25 0 8 0 280335382 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21355 2483 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4635 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.24
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 460 0 0 0 23 1 0 0 16 0 8 0 280335394 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915712

[startup+51.2318 s]
/proc/loadavg: 2.04 2.04 1.95 3/95 4347
/proc/meminfo: memFree=1207576/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=50.75
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21751 0 1 0 5024 51 0 0 25 0 8 0 280335382 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21480 2532 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4635 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.31
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 496 0 0 0 30 1 0 0 16 0 8 0 280335394 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915712

[startup+102.463 s]
/proc/loadavg: 2.02 2.03 1.95 3/94 4348
/proc/meminfo: memFree=1202144/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=101.71
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21779 0 1 0 10119 52 0 0 25 0 8 0 280335382 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21502 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.33
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 511 0 0 0 32 1 0 0 16 0 8 0 280335394 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 915712

[startup+162.543 s]
/proc/loadavg: 2.00 2.02 1.95 3/94 4348
/proc/meminfo: memFree=1201952/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=161.47
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21780 0 1 0 16095 52 0 0 25 0 8 0 280335382 937689088 21503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074134204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.66
Current children cumulated vsize (KiB) 915712

[startup+2085.08 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201632/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2073.42
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 207275 67 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074156300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.42
Current children cumulated vsize (KiB) 915712

[startup+2145.16 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2133.19
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 213252 67 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2133.19
Current children cumulated vsize (KiB) 915712

[startup+2205.23 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2192.93
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 219225 68 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.93
Current children cumulated vsize (KiB) 915712

[startup+2265.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2252.67
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 225199 68 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.67
Current children cumulated vsize (KiB) 915712

[startup+2325.39 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2312.43
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 231175 68 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.43
Current children cumulated vsize (KiB) 915712

[startup+2385.46 s]
/proc/loadavg: 2.00 2.00 1.96 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2372.17
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 237149 68 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074116916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2372.17
Current children cumulated vsize (KiB) 915712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.44 s]
/proc/loadavg: 2.08 2.02 1.97 3/94 4548
/proc/meminfo: memFree=1201568/2055920 swapFree=4180096/4192956
[pid=4261] ppid=4259 vsize=915712 CPUtime=2400
/proc/4261/stat : 4261 (java) R 4259 4261 3980 0 -1 0 21808 0 1 0 239932 68 0 0 25 0 8 0 280335382 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4261/statm: 228928 21517 2537 14 0 215398 0
[pid=4261/tid=4263] ppid=4259 vsize=915712 CPUtime=0.16
/proc/4261/task/4263/stat : 4263 (java) S 4259 4261 3980 0 -1 64 4636 0 0 0 14 2 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4264/stat : 4264 (java) S 4259 4261 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4265] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4265/stat : 4265 (java) S 4259 4261 3980 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 280335390 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4266] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4266/stat : 4266 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280335393 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4267] ppid=4259 vsize=915712 CPUtime=0.36
/proc/4261/task/4267/stat : 4267 (java) S 4259 4261 3980 0 -1 64 534 0 0 0 35 1 0 0 16 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4268] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4268/stat : 4268 (java) S 4259 4261 3980 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4261/tid=4269] ppid=4259 vsize=915712 CPUtime=0
/proc/4261/task/4269/stat : 4269 (java) S 4259 4261 3980 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280335394 937689088 21517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915712

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

Child status: 143
Real time (s): 2413.5
CPU time (s): 2400.07
CPU user time (s): 2399.37
CPU system time (s): 0.699893
CPU usage (%): 99.4435
Max. virtual memory (cumulated for all children) (KiB): 915716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.699893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21827
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= 50467
involuntary context switches= 91218

runsolver used 2.89156 s user time and 7.83981 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan 20 18:56:41 UTC 2007


IDJOB= 282502
IDBENCH= 12858
IDSOLVER= 68
FILE ID= node24/282502-1169319401

PBS_JOBID= 3610339

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  add542c90ceba41ca545e534506352d8

RANDOM SEED= 224380642

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:       1308736 kB
Buffers:         47324 kB
Cached:         546432 kB
SwapCached:       6072 kB
Active:         226120 kB
Inactive:       451892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1308736 kB
SwapTotal:     4192956 kB
SwapFree:      4180096 kB
Dirty:           10124 kB
Writeback:           0 kB
Mapped:         107292 kB
Slab:            53732 kB
Committed_AS:  6009280 kB
PageTables:       2496 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= 66534 MiB



End job on node24 on Sat Jan 20 19:36:55 UTC 2007