Trace number 282503

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 PFCMSAT (TO) 2400.14 2400.93

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/282503-1169319408/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.46	     nbVariables=458  nbDomainTypes=6  minDomainSize=6  maxDomainSize=44
0.46	       =>  wckTime=0.156  cpuTime=0.12  mem=8M860
0.46	   
0.46	   relations being loaded...
1.33	   
1.33	   constraints being loaded...
1.72	     nbConstraints=4815  nbRelationTypes=1655  nbExtensionStructures=1655  nbSharedExtensionStructures=3160
1.72	     nbConflictsStructures=1655  nbSharedConflictsStructures=3160  nbSharedBinaryRepresentations=114023  maxDegree=38
1.72	     maxArity=2
1.72	       =>  wckTime=1.417  cpuTime=1.18  mem=53M486
1.82	   
1.82	   solver LocalSearchSolver being built... 
1.86	       =>  wckTime=1.559  cpuTime=1.22  mem=17M670
1.88	
1.88	s SATISFIABLE
1.88	o 2989
1.88	c 1826
1.88	o 3001
1.88	c 1814
1.89	o 3013
1.89	c 1802
1.89	o 3022
1.89	c 1793
1.89	o 3033
1.89	c 1782
1.90	o 3045
1.90	c 1770
1.90	o 3051
1.90	c 1764
1.90	o 3056
1.90	c 1759
1.91	o 3061
1.91	c 1754
1.91	o 3072
1.91	c 1743
1.91	o 3079
1.91	c 1736
1.91	o 3086
1.91	c 1729
1.92	o 3092
1.92	c 1723
1.92	o 3097
1.92	c 1718
1.92	o 3107
1.92	c 1708
1.93	o 3116
1.93	c 1699
1.93	o 3123
1.93	c 1692
1.93	o 3129
1.93	c 1686
1.94	o 3133
1.94	c 1682
1.94	o 3141
1.94	c 1674
1.94	o 3152
1.94	c 1663
1.95	o 3162
1.95	c 1653
1.95	o 3172
1.95	c 1643
1.95	o 3181
1.95	c 1634
1.96	o 3188
1.96	c 1627
1.96	o 3195
1.96	c 1620
1.97	o 3201
1.97	c 1614
1.97	o 3206
1.97	c 1609
1.98	o 3211
1.98	c 1604
1.98	o 3216
1.98	c 1599
1.98	o 3222
1.98	c 1593
1.99	o 3228
1.99	c 1587
1.99	o 3231
1.99	c 1584
1.99	o 3234
1.99	c 1581
2.00	o 3236
2.00	c 1579
2.00	o 3238
2.00	c 1577
2.00	o 3242
2.00	c 1573
2.01	o 3245
2.01	c 1570
2.01	o 3255
2.01	c 1560
2.01	o 3262
2.01	c 1553
2.02	o 3267
2.02	c 1548
2.02	o 3271
2.02	c 1544
2.03	o 3274
2.03	c 1541
2.03	o 3277
2.03	c 1538
2.03	o 3280
2.03	c 1535
2.04	o 3283
2.04	c 1532
2.04	o 3286
2.04	c 1529
2.04	o 3292
2.04	c 1523
2.05	o 3295
2.05	c 1520
2.05	o 3300
2.05	c 1515
2.06	o 3303
2.06	c 1512
2.06	o 3307
2.06	c 1508
2.06	o 3311
2.06	c 1504
2.06	o 3315
2.06	c 1500
2.07	o 3323
2.07	c 1492
2.07	o 3328
2.07	c 1487
2.07	o 3335
2.07	c 1480
2.08	o 3342
2.08	c 1473
2.08	o 3349
2.08	c 1466
2.09	o 3351
2.09	c 1464
2.09	o 3357
2.09	c 1458
2.10	o 3358
2.10	c 1457
2.10	o 3362
2.10	c 1453
2.11	o 3367
2.11	c 1448
2.11	o 3371
2.11	c 1444
2.12	o 3377
2.12	c 1438
2.13	o 3383
2.13	c 1432
2.13	o 3390
2.13	c 1425
2.14	o 3396
2.14	c 1419
2.14	o 3400
2.14	c 1415
2.14	o 3403
2.14	c 1412
2.15	o 3405
2.15	c 1410
2.16	o 3410
2.16	c 1405
2.16	o 3416
2.16	c 1399
2.16	o 3417
2.16	c 1398
2.17	o 3422
2.17	c 1393
2.17	o 3427
2.18	c 1388
2.18	o 3431
2.18	c 1384
2.19	o 3436
2.19	c 1379
2.19	o 3439
2.19	c 1376
2.20	o 3444
2.20	c 1371
2.21	o 3446
2.21	c 1369
2.21	o 3453
2.21	c 1362
2.22	o 3459
2.22	c 1356
2.22	o 3464
2.22	c 1351
2.23	o 3468
2.23	c 1347
2.24	o 3470
2.24	c 1345
2.24	o 3473
2.24	c 1342
2.24	o 3474
2.24	c 1341
2.25	o 3483
2.25	c 1332
2.25	o 3485
2.25	c 1330
2.26	o 3488
2.26	c 1327
2.26	o 3493
2.26	c 1322
2.27	o 3496
2.27	c 1319
2.27	o 3497
2.27	c 1318
2.27	o 3502
2.27	c 1313
2.28	o 3504
2.28	c 1311
2.28	o 3507
2.28	c 1308
2.28	o 3510
2.28	c 1305
2.29	o 3513
2.29	c 1302
2.29	o 3517
2.29	c 1298
2.30	o 3523
2.30	c 1292
2.30	o 3528
2.30	c 1287
2.30	o 3530
2.30	c 1285
2.31	o 3531
2.31	c 1284
2.32	o 3535
2.32	c 1280
2.32	o 3540
2.32	c 1275
2.32	o 3543
2.32	c 1272
2.33	o 3544
2.33	c 1271
2.33	o 3546
2.33	c 1269
2.34	o 3548
2.34	c 1267
2.34	o 3554
2.34	c 1261
2.35	o 3558
2.35	c 1257
2.35	o 3562
2.35	c 1253
2.36	o 3566
2.36	c 1249
2.36	o 3569
2.36	c 1246
2.37	o 3572
2.37	c 1243
2.37	o 3574
2.37	c 1241
2.38	o 3578
2.38	c 1237
2.39	o 3581
2.39	c 1234
2.39	o 3582
2.39	c 1233
2.40	o 3586
2.40	c 1229
2.40	o 3588
2.40	c 1227
2.41	o 3592
2.41	c 1223
2.41	o 3595
2.41	c 1220
2.42	o 3596
2.42	c 1219
2.42	o 3598
2.42	c 1217
2.43	o 3601
2.43	c 1214
2.44	o 3605
2.44	c 1210
2.44	o 3607
2.44	c 1208
2.45	o 3611
2.45	c 1204
2.46	o 3612
2.46	c 1203
2.47	o 3614
2.47	c 1201
2.47	o 3618
2.47	c 1197
2.48	o 3619
2.48	c 1196
2.48	o 3622
2.48	c 1193
2.49	o 3623
2.49	c 1192
2.49	o 3625
2.49	c 1190
2.49	o 3629
2.49	c 1186
2.50	o 3632
2.50	c 1183
2.50	o 3636
2.50	c 1179
2.51	o 3638
2.51	c 1177
2.51	o 3640
2.51	c 1175
2.52	o 3643
2.52	c 1172
2.52	o 3647
2.52	c 1168
2.54	o 3653
2.54	c 1162
2.54	o 3659
2.54	c 1156
2.56	o 3661
2.56	c 1154
2.57	o 3663
2.57	c 1152
2.57	o 3665
2.57	c 1150
2.61	o 3669
2.61	c 1146
2.62	o 3670
2.62	c 1145
2.62	o 3673
2.62	c 1142
2.63	o 3675
2.63	c 1140
2.63	o 3678
2.63	c 1137
2.64	o 3679
2.64	c 1136
2.64	o 3681
2.64	c 1134
2.65	o 3683
2.65	c 1132
2.66	o 3684
2.66	c 1131
2.66	o 3687
2.66	c 1128
2.68	o 3689
2.68	c 1126
2.68	o 3693
2.68	c 1122
2.69	o 3696
2.69	c 1119
2.69	o 3702
2.69	c 1113
2.70	o 3703
2.70	c 1112
2.71	o 3708
2.71	c 1107
2.72	o 3710
2.72	c 1105
2.72	o 3711
2.72	c 1104
2.73	o 3715
2.73	c 1100
2.74	o 3718
2.74	c 1097
2.74	o 3721
2.74	c 1094
2.77	o 3723
2.77	c 1092
2.77	o 3726
2.77	c 1089
2.79	o 3728
2.79	c 1087
2.83	o 3729
2.83	c 1086
2.85	o 3733
2.85	c 1082
2.86	o 3736
2.86	c 1079
2.86	o 3737
2.86	c 1078
2.87	o 3738
2.87	c 1077
2.88	o 3740
2.88	c 1075
2.89	o 3741
2.89	c 1074
2.89	o 3742
2.89	c 1073
2.90	o 3746
2.90	c 1069
2.91	o 3749
2.91	c 1066
2.91	o 3751
2.91	c 1064
2.92	o 3762
2.92	c 1053
2.92	o 3766
2.92	c 1049
2.93	o 3767
2.93	c 1048
2.95	o 3770
2.95	c 1045
2.97	o 3772
2.97	c 1043
2.99	o 3775
2.99	c 1040
3.00	o 3777
3.00	c 1038
3.01	o 3778
3.01	c 1037
3.02	o 3779
3.02	c 1036
3.03	o 3781
3.03	c 1034
3.03	o 3784
3.03	c 1031
3.04	o 3786
3.04	c 1029
3.10	o 3787
3.10	c 1028
3.11	o 3790
3.11	c 1025
3.12	o 3793
3.12	c 1022
3.16	o 3795
3.16	c 1020
3.17	o 3796
3.17	c 1019
3.17	o 3798
3.17	c 1017
3.18	o 3800
3.18	c 1015
3.20	o 3802
3.20	c 1013
3.21	o 3803
3.21	c 1012
3.22	o 3807
3.22	c 1008
3.24	o 3809
3.24	c 1006
3.24	o 3812
3.24	c 1003
3.26	o 3818
3.26	c 997
3.26	o 3819
3.26	c 996
3.31	o 3822
3.31	c 993
3.31	o 3827
3.31	c 988
3.35	o 3829
3.35	c 986
3.38	o 3830
3.38	c 985
3.39	o 3831
3.39	c 984
3.39	o 3836
3.39	c 979
3.40	o 3838
3.40	c 977
3.40	o 3842
3.40	c 973
3.41	o 3843
3.41	c 972
3.45	o 3845
3.45	c 970
3.46	o 3846
3.46	c 969
3.47	o 3850
3.47	c 965
3.48	o 3852
3.48	c 963
3.49	o 3853
3.49	c 962
3.49	o 3858
3.49	c 957
3.50	o 3861
3.50	c 954
3.51	o 3862
3.51	c 953
3.52	o 3864
3.52	c 951
4.01	o 3865
4.01	c 950
4.03	o 3866
4.03	c 949
4.05	o 3870
4.05	c 945
4.06	o 3872
4.06	c 943
4.07	o 3875
4.07	c 940
4.08	o 3877
4.08	c 938
4.10	o 3878
4.10	c 937
4.11	o 3879
4.11	c 936
4.12	o 3885
4.12	c 930
4.13	o 3890
4.13	c 925
4.14	o 3895
4.14	c 920
4.16	o 3896
4.16	c 919
4.17	o 3897
4.17	c 918
4.19	o 3899
4.19	c 916
4.21	o 3900
4.21	c 915
4.23	o 3901
4.23	c 914
4.23	o 3904
4.23	c 911
4.24	o 3910
4.24	c 905
4.24	o 3911
4.24	c 904
4.24	o 3915
4.24	c 900
4.26	o 3918
4.26	c 897
4.27	o 3919
4.27	c 896
4.28	o 3929
4.28	c 886
4.31	o 3931
4.31	c 884
4.31	o 3932
4.31	c 883
4.32	o 3933
4.32	c 882
4.35	o 3935
4.35	c 880
4.36	o 3936
4.36	c 879
4.37	o 3937
4.37	c 878
4.37	o 3939
4.37	c 876
4.38	o 3940
4.38	c 875
4.47	o 3941
4.47	c 874
4.47	o 3943
4.47	c 872
4.49	o 3945
4.49	c 870
4.51	o 3946
4.51	c 869
4.62	o 3948
4.62	c 867
4.63	o 3949
4.63	c 866
4.69	o 3952
4.69	c 863
4.70	o 3953
4.70	c 862
4.71	o 3954
4.71	c 861
4.72	o 3956
4.72	c 859
4.73	o 3959
4.73	c 856
4.94	o 3961
4.94	c 854
4.95	o 3963
4.95	c 852
4.96	o 3965
4.96	c 850
4.97	o 3971
4.97	c 844
4.98	o 3976
4.98	c 839
4.99	o 3977
4.99	c 838
5.06	o 3980
5.06	c 835
5.08	o 3981
5.08	c 834
5.09	o 3984
5.09	c 831
5.09	o 3986
5.09	c 829
5.12	o 3989
5.12	c 826
5.14	o 3990
5.14	c 825
5.16	o 3991
5.16	c 824
5.21	o 3992
5.21	c 823
5.23	o 3994
5.23	c 821
5.24	o 3995
5.24	c 820
5.25	o 3996
5.25	c 819
5.27	o 4002
5.27	c 813
5.32	o 4005
5.32	c 810
5.34	o 4008
5.34	c 807
5.35	o 4013
5.35	c 802
5.36	o 4014
5.36	c 801
5.37	o 4015
5.37	c 800
5.38	o 4016
5.38	c 799
5.39	o 4019
5.39	c 796
5.40	o 4022
5.40	c 793
5.41	o 4027
5.41	c 788
5.45	o 4028
5.45	c 787
5.46	o 4029
5.46	c 786
5.47	o 4032
5.47	c 783
5.50	o 4037
5.50	c 778
5.51	o 4041
5.51	c 774
5.52	o 4042
5.52	c 773
5.56	o 4044
5.56	c 771
5.57	o 4050
5.57	c 765
5.59	o 4051
5.59	c 764
5.59	o 4057
5.59	c 758
5.60	o 4058
5.60	c 757
5.61	o 4064
5.61	c 751
5.62	o 4065
5.62	c 750
5.63	o 4068
5.63	c 747
5.64	o 4071
5.64	c 744
5.65	o 4073
5.65	c 742
5.66	o 4074
5.66	c 741
5.68	o 4075
5.68	c 740
5.71	o 4078
5.71	c 737
5.72	o 4079
5.73	c 736
5.73	o 4084
5.73	c 731
5.74	o 4087
5.74	c 728
5.75	o 4089
5.75	c 726
5.76	o 4090
5.76	c 725
5.77	o 4091
5.77	c 724
5.78	o 4094
5.78	c 721
5.82	o 4096
5.82	c 719
5.82	o 4097
5.82	c 718
5.87	o 4100
5.87	c 715
5.88	o 4105
5.88	c 710
5.89	o 4109
5.89	c 706
5.90	o 4111
5.90	c 704
5.91	o 4115
5.91	c 700
5.96	o 4120
5.96	c 695
6.18	o 4121
6.18	c 694
6.21	o 4122
6.21	c 693
6.22	o 4125
6.22	c 690
6.23	o 4126
6.23	c 689
6.23	o 4132
6.23	c 683
6.24	o 4138
6.24	c 677
6.25	o 4140
6.25	c 675
6.26	o 4143
6.26	c 672
6.27	o 4150
6.27	c 665
6.27	o 4155
6.27	c 660
6.28	o 4158
6.28	c 657
6.59	o 4159
6.59	c 656
6.61	o 4160
6.61	c 655
6.65	o 4163
6.65	c 652
6.80	o 4164
6.80	c 651
6.81	o 4166
6.81	c 649
6.82	o 4169
6.82	c 646
6.85	o 4170
6.85	c 645
6.87	o 4176
6.87	c 639
6.88	o 4178
6.88	c 637
6.89	o 4180
6.89	c 635
6.96	o 4183
6.96	c 632
6.97	o 4185
6.97	c 630
6.98	o 4187
6.98	c 628
7.00	o 4189
7.00	c 626
7.03	o 4190
7.03	c 625
7.04	o 4191
7.04	c 624
7.05	o 4192
7.05	c 623
7.06	o 4197
7.06	c 618
7.07	o 4198
7.07	c 617
7.08	o 4205
7.08	c 610
7.10	o 4207
7.10	c 608
7.11	o 4208
7.11	c 607
7.12	o 4209
7.12	c 606
7.13	o 4212
7.13	c 603
7.14	o 4214
7.14	c 601
7.15	o 4215
7.15	c 600
7.17	o 4216
7.17	c 599
7.19	o 4217
7.19	c 598
7.21	o 4218
7.21	c 597
7.25	o 4220
7.25	c 595
7.26	o 4226
7.26	c 589
7.27	o 4232
7.27	c 583
7.28	o 4233
7.28	c 582
7.48	o 4236
7.48	c 579
7.49	o 4238
7.49	c 577
7.50	o 4239
7.50	c 576
7.51	o 4240
7.51	c 575
7.53	o 4242
7.53	c 573
7.54	o 4246
7.54	c 569
7.55	o 4248
7.55	c 567
7.56	o 4249
7.56	c 566
7.58	o 4250
7.58	c 565
7.61	o 4252
7.61	c 563
7.62	o 4254
7.62	c 561
7.64	o 4255
7.64	c 560
7.95	o 4257
7.95	c 558
7.95	o 4265
7.95	c 550
8.30	o 4266
8.30	c 549
8.31	o 4267
8.31	c 548
8.43	o 4272
8.43	c 543
8.44	o 4274
8.44	c 541
8.45	o 4277
8.45	c 538
8.60	o 4278
8.60	c 537
8.63	o 4279
8.63	c 536
8.63	o 4284
8.63	c 531
8.64	o 4288
8.64	c 527
8.65	o 4293
8.65	c 522
8.65	o 4298
8.65	c 517
8.66	o 4302
8.66	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.85	o 4319
8.85	c 496
8.86	o 4320
8.86	c 495
8.87	o 4322
8.87	c 493
8.89	o 4323
8.89	c 492
8.90	o 4327
8.90	c 488
8.94	o 4328
8.94	c 487
8.95	o 4330
8.95	c 485
8.96	o 4333
8.96	c 482
8.97	o 4334
8.97	c 481
8.98	o 4335
8.98	c 480
8.99	o 4336
8.99	c 479
9.00	o 4337
9.00	c 478
9.01	o 4340
9.01	c 475
9.03	o 4341
9.03	c 474
9.04	o 4344
9.04	c 471
9.04	o 4350
9.04	c 465
9.05	o 4354
9.05	c 461
9.06	o 4355
9.06	c 460
9.08	o 4357
9.08	c 458
9.09	o 4358
9.09	c 457
9.09	o 4359
9.09	c 456
9.10	o 4360
9.10	c 455
9.14	o 4362
9.14	c 453
9.14	o 4363
9.14	c 452
9.20	o 4364
9.20	c 451
9.20	o 4366
9.20	c 449
9.23	o 4368
9.23	c 447
9.24	o 4371
9.24	c 444
9.25	o 4372
9.25	c 443
9.30	o 4374
9.30	c 441
9.31	o 4378
9.31	c 437
9.32	o 4380
9.32	c 435
9.33	o 4384
9.33	c 431
9.34	o 4386
9.34	c 429
9.38	o 4391
9.38	c 424
9.39	o 4394
9.39	c 421
9.42	o 4395
9.42	c 420
9.43	o 4398
9.43	c 417
9.44	o 4400
9.44	c 415
9.46	o 4401
9.46	c 414
9.46	o 4402
9.46	c 413
9.47	o 4404
9.47	c 411
9.48	o 4405
9.48	c 410
9.82	o 4407
9.82	c 408
9.83	o 4408
9.83	c 407
9.86	o 4409
9.86	c 406
9.87	o 4414
9.87	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.02	o 4423
10.02	c 392
10.02	o 4425
10.02	c 390
10.03	o 4426
10.03	c 389
10.05	o 4427
10.05	c 388
10.06	o 4430
10.06	c 385
10.07	o 4433
10.07	c 382
10.07	o 4435
10.07	c 380
10.09	o 4438
10.09	c 377
10.11	o 4440
10.11	c 375
10.12	o 4445
10.12	c 370
10.13	o 4446
10.13	c 369
10.21	o 4454
10.21	c 361
10.26	o 4455
10.26	c 360
10.26	o 4459
10.26	c 356
10.31	o 4461
10.31	c 354
10.31	o 4462
10.31	c 353
10.32	o 4465
10.32	c 350
10.33	o 4466
10.33	c 349
10.38	o 4468
10.38	c 347
10.39	o 4469
10.39	c 346
10.40	o 4471
10.40	c 344
10.42	o 4473
10.42	c 342
10.44	o 4474
10.44	c 341
10.52	o 4475
10.52	c 340
10.77	o 4477
10.77	c 338
10.77	o 4479
10.77	c 336
10.84	o 4480
10.84	c 335
10.85	o 4482
10.85	c 333
10.86	o 4484
10.86	c 331
10.87	o 4486
10.87	c 329
10.88	o 4487
10.88	c 328
10.91	o 4488
10.91	c 327
10.93	o 4490
10.93	c 325
10.94	o 4491
10.94	c 324
11.11	o 4493
11.11	c 322
11.12	o 4494
11.12	c 321
11.13	o 4500
11.13	c 315
11.15	o 4503
11.15	c 312
11.17	o 4504
11.17	c 311
11.23	o 4506
11.23	c 309
11.24	o 4507
11.24	c 308
11.26	o 4508
11.26	c 307
11.33	o 4509
11.33	c 306
11.36	o 4510
11.36	c 305
11.37	o 4511
11.37	c 304
11.44	o 4512
11.44	c 303
11.55	o 4513
11.55	c 302
11.56	o 4520
11.56	c 295
11.56	o 4528
11.56	c 287
11.64	o 4530
11.64	c 285
11.65	o 4532
11.65	c 283
11.69	o 4533
11.69	c 282
11.70	o 4535
11.70	c 280
11.71	o 4536
11.71	c 279
11.73	o 4537
11.73	c 278
11.74	o 4538
11.74	c 277
11.75	o 4543
11.75	c 272
11.77	o 4544
11.77	c 271
11.78	o 4546
11.78	c 269
11.80	o 4550
11.80	c 265
11.81	o 4551
11.81	c 264
11.84	o 4552
11.84	c 263
11.86	o 4553
11.86	c 262
11.88	o 4554
11.88	c 261
11.89	o 4555
11.89	c 260
11.90	o 4557
11.90	c 258
11.92	o 4560
11.92	c 255
11.93	o 4561
11.93	c 254
11.97	o 4562
11.97	c 253
11.98	o 4567
11.98	c 248
11.98	o 4573
11.98	c 242
11.99	o 4574
11.99	c 241
12.00	o 4577
12.00	c 238
12.00	o 4579
12.00	c 236
12.01	o 4587
12.01	c 228
12.03	o 4588
12.03	c 227
12.04	o 4589
12.04	c 226
12.04	o 4593
12.04	c 222
12.05	o 4594
12.05	c 221
12.12	o 4599
12.12	c 216
12.14	o 4600
12.14	c 215
12.16	o 4601
12.16	c 214
12.16	o 4603
12.16	c 212
12.18	o 4604
12.18	c 211
12.19	o 4605
12.19	c 210
12.19	o 4608
12.19	c 207
12.21	o 4611
12.21	c 204
12.21	o 4613
12.21	c 202
12.21	o 4616
12.21	c 199
12.22	o 4617
12.22	c 198
12.23	o 4618
12.23	c 197
12.25	o 4621
12.25	c 194
12.25	o 4624
12.25	c 191
12.26	o 4626
12.26	c 189
12.27	o 4627
12.27	c 188
12.27	o 4628
12.27	c 187
12.28	o 4630
12.28	c 185
12.32	o 4632
12.32	c 183
12.35	o 4633
12.35	c 182
12.38	o 4634
12.38	c 181
12.39	o 4636
12.39	c 179
12.40	o 4639
12.40	c 176
12.42	o 4644
12.42	c 171
12.42	o 4648
12.42	c 167
12.43	o 4651
12.43	c 164
12.49	o 4654
12.49	c 161
12.49	o 4655
12.49	c 160
12.50	o 4656
12.50	c 159
12.52	o 4657
12.52	c 158
12.53	o 4659
12.53	c 156
12.53	o 4661
12.53	c 154
12.54	o 4662
12.54	c 153
12.55	o 4666
12.55	c 149
12.55	o 4667
12.55	c 148
12.56	o 4668
12.56	c 147
12.57	o 4670
12.57	c 145
12.61	o 4674
12.61	c 141
12.61	o 4682
12.61	c 133
12.61	o 4685
12.61	c 130
12.62	o 4687
12.62	c 128
12.63	o 4690
12.63	c 125
12.63	o 4691
12.63	c 124
12.65	o 4692
12.65	c 123
12.65	o 4696
12.65	c 119
12.66	o 4698
12.66	c 117
12.66	o 4700
12.66	c 115
12.67	o 4701
12.67	c 114
12.67	o 4702
12.67	c 113
12.68	o 4705
12.68	c 110
12.69	o 4709
12.69	c 106
12.69	o 4712
12.69	c 103
12.70	o 4713
12.70	c 102
12.71	o 4715
12.71	c 100
12.71	o 4718
12.71	c 97
12.73	o 4720
12.73	c 95
12.74	o 4721
12.74	c 94
12.75	o 4726
12.75	c 89
12.78	o 4727
12.78	c 88
12.79	o 4730
12.79	c 85
12.82	o 4731
12.82	c 84
12.83	o 4732
12.83	c 83
12.83	o 4733
12.83	c 82
12.84	o 4737
12.84	c 78
12.95	o 4740
12.95	c 75
12.95	o 4741
12.95	c 74
12.96	o 4742
12.96	c 73
12.96	o 4746
12.96	c 69
12.97	o 4748
12.97	c 67
12.97	o 4749
12.97	c 66
12.98	o 4750
12.98	c 65
12.99	o 4752
12.99	c 63
12.99	o 4755
12.99	c 60
13.01	o 4756
13.01	c 59
13.02	o 4757
13.02	c 58
13.72	o 4761
13.72	c 54
13.94	o 4762
13.94	c 53
43.96	   
43.96	   search
43.96	     run=0  nbConstraintChecks=299235581  nbAssignments=5312
43.96	       =>  wckTime=42.106  cpuTime=42.04  mem=17M670
43.96	   
43.96	   global
43.96	     nbConstraintChecks=299235581  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.96	     solvingWckTime=42.101  solvingCpuTime=42.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
43.96	     globalCpuTime=43.31
43.96	       =>  wckTime=43.665  cpuTime=43.27  mem=17M670
43.96	   
43.96	   solver IterativeSystematicSolver being built... 
44.12	       =>  wckTime=43.82  cpuTime=43.39  mem=31M606
44.17	   
44.17	   preprocessing
44.17	     nbConstraintChecks=29474  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
44.17	     detectedInconsistency=no
44.17	       =>  wckTime=0.045  cpuTime=0.03  mem=31M606
77.45	   
77.45	   search
77.45	     run=0  nbConstraintChecks=47977303  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=306
77.45	     nbFailedAssignments=188  nbBacktracks=10  nbVisitedNodes=505  nbRestartNogoods=0
77.45	       =>  wckTime=33.331  cpuTime=33.27  mem=31M606
111.78	   
111.78	   search
111.78	     run=1  nbConstraintChecks=85070717  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=558
111.78	     nbFailedAssignments=320  nbBacktracks=25  nbVisitedNodes=904  nbRestartNogoods=64
111.78	       =>  wckTime=67.661  cpuTime=67.58  mem=31M606
189.54	   
189.54	   search
189.54	     run=2  nbConstraintChecks=165885534  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1019
189.54	     nbFailedAssignments=652  nbBacktracks=47  nbVisitedNodes=1719  nbRestartNogoods=74
189.54	       =>  wckTime=145.418  cpuTime=145.31  mem=31M606
238.74	   
238.74	   search
238.74	     run=3  nbConstraintChecks=240042208  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1473
238.74	     nbFailedAssignments=968  nbBacktracks=80  nbVisitedNodes=2522  nbRestartNogoods=138
238.74	       =>  wckTime=194.621  cpuTime=194.49  mem=31M606
334.00	   
334.00	   search
334.00	     run=4  nbConstraintChecks=374997602  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2234
334.00	     nbFailedAssignments=1577  nbBacktracks=130  nbVisitedNodes=3942  nbRestartNogoods=173
334.00	       =>  wckTime=289.882  cpuTime=289.59  mem=31M606
467.69	   
467.69	   search
467.69	     run=5  nbConstraintChecks=536342882  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3125
467.69	     nbFailedAssignments=2297  nbBacktracks=205  nbVisitedNodes=5628  nbRestartNogoods=194
467.69	       =>  wckTime=423.57  cpuTime=423.24  mem=31M606
688.95	   
688.96	   search
688.96	     run=6  nbConstraintChecks=759193136  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4368
688.96	     nbFailedAssignments=3327  nbBacktracks=318  nbVisitedNodes=8014  nbRestartNogoods=237
688.96	       =>  wckTime=644.835  cpuTime=644.45  mem=31M606
1186.41	   
1186.41	   search
1186.41	     run=7  nbConstraintChecks=1332870299  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7390
1186.41	     nbFailedAssignments=6077  nbBacktracks=488  nbVisitedNodes=13956  nbRestartNogoods=312
1186.41	       =>  wckTime=1142.288  cpuTime=1141.77  mem=31M606
1779.78	   
1779.78	   search
1779.78	     run=8  nbConstraintChecks=1884466607  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10289
1779.78	     nbFailedAssignments=8627  nbBacktracks=744  nbVisitedNodes=19661  nbRestartNogoods=331
1779.78	       =>  wckTime=1735.657  cpuTime=1734.99  mem=31M606
2400.89	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/node42/watcher-282503-1169319408 -o ROOT/results/node42/solver-282503-1169319408 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282503-1169319408/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.00 3/65 15310
/proc/meminfo: memFree=1303344/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=168 CPUtime=0
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 280340088 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 1 0 0
/proc/15309/statm: 42 23 18 14 0 2 0

[startup+0.103005 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15310
/proc/meminfo: memFree=1303344/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=914988 CPUtime=0.09
/proc/15309/stat : 15309 (java) S 15307 15309 14083 0 -1 0 2997 0 1 0 7 2 0 0 16 0 8 0 280340088 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511047 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15310
/proc/meminfo: memFree=1303344/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915332 CPUtime=0.49
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 7106 0 1 0 44 5 0 0 17 0 8 0 280340088 937299968 6845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228833 6848 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33114 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1232952/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915332 CPUtime=1.31
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 19929 0 1 0 119 12 0 0 17 0 8 0 280340088 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228833 19667 2151 14 0 215303 0
[pid=15309/tid=15311] ppid=15307 vsize=915332 CPUtime=0.07
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 3460 0 0 0 6 1 0 0 17 0 8 0 280340091 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915332 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280340092 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915332 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280340092 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915332 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915332 CPUtime=0.11
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 347 0 0 0 11 0 0 0 16 0 8 0 280340095 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915332 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915332 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937299968 19667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915332

[startup+2.96831 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 15317
/proc/meminfo: memFree=1227448/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2.94
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21604 0 1 0 279 15 0 0 17 0 8 0 280340088 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21340 2480 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4636 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.21
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 449 0 0 0 21 0 0 0 16 0 8 0 280340095 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915708

[startup+6.16867 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227264/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=6.14
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21606 0 1 0 595 19 0 0 17 0 8 0 280340088 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21341 2480 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4636 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.21
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 450 0 0 0 21 0 0 0 15 0 8 0 280340095 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915708

[startup+12.6274 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227264/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=12.6
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21614 0 1 0 1234 26 0 0 21 0 8 0 280340088 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21348 2480 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4636 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.22
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 457 0 0 0 22 0 0 0 16 0 8 0 280340095 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915708

[startup+25.4788 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227456/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=25.44
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21615 0 1 0 2508 36 0 0 25 0 8 0 280340088 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21349 2480 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4636 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.23
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 458 0 0 0 23 0 0 0 16 0 8 0 280340095 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915708

[startup+51.1586 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227328/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=51.11
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21749 0 1 0 5060 51 0 0 19 0 8 0 280340088 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21478 2529 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4636 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.31
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 498 0 0 0 30 1 0 0 15 0 8 0 280340095 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915708

[startup+102.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227328/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=102.34
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21770 0 1 0 10183 51 0 0 25 0 8 0 280340088 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21494 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.32
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 511 0 0 0 31 1 0 0 17 0 8 0 280340095 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915708

[startup+162.494 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15317
/proc/meminfo: memFree=1227328/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=162.4
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21773 0 1 0 16189 51 0 0 25 0 8 0 280340088 937684992 21496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2024.27
Current children cumulated vsize (KiB) 915708

[startup+2085.05 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2084.34
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 208380 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.34
Current children cumulated vsize (KiB) 915708

[startup+2145.14 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2144.41
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 214387 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.41
Current children cumulated vsize (KiB) 915708

[startup+2205.23 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2204.48
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 220394 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074081866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.48
Current children cumulated vsize (KiB) 915708

[startup+2265.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2264.56
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 226402 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.56
Current children cumulated vsize (KiB) 915708

[startup+2325.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2324.63
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 232409 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.63
Current children cumulated vsize (KiB) 915708

[startup+2385.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15517
/proc/meminfo: memFree=1227072/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2384.7
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 238416 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.7
Current children cumulated vsize (KiB) 915708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 15517
/proc/meminfo: memFree=1227136/2055920 swapFree=4184856/4192956
[pid=15309] ppid=15307 vsize=915708 CPUtime=2400.1
/proc/15309/stat : 15309 (java) R 15307 15309 14083 0 -1 0 21795 0 1 0 239956 54 0 0 25 0 8 0 280340088 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15309/statm: 228927 21508 2532 14 0 215397 0
[pid=15309/tid=15311] ppid=15307 vsize=915708 CPUtime=0.15
/proc/15309/task/15311/stat : 15311 (java) S 15307 15309 14083 0 -1 64 4637 0 0 0 14 1 0 0 16 0 8 0 280340091 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15312] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15312/stat : 15312 (java) S 15307 15309 14083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15313] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15313/stat : 15313 (java) S 15307 15309 14083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280340092 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15314] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15314/stat : 15314 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15315] ppid=15307 vsize=915708 CPUtime=0.35
/proc/15309/task/15315/stat : 15315 (java) S 15307 15309 14083 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15309/tid=15316] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15316/stat : 15316 (java) S 15307 15309 14083 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15309/tid=15317] ppid=15307 vsize=915708 CPUtime=0
/proc/15309/task/15317/stat : 15317 (java) S 15307 15309 14083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280340095 937684992 21508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915708

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

Child status: 143
Real time (s): 2400.93
CPU time (s): 2400.14
CPU user time (s): 2399.59
CPU system time (s): 0.554915
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 915712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.554915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21814
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= 49808
involuntary context switches= 9949

runsolver used 2.31265 s user time and 6.23005 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan 20 18:56:49 UTC 2007


IDJOB= 282503
IDBENCH= 12858
IDSOLVER= 69
FILE ID= node42/282503-1169319408

PBS_JOBID= 3610223

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/282503-1169319408/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-282503-1169319408 -o ROOT/results/node42/solver-282503-1169319408 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282503-1169319408/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  add542c90ceba41ca545e534506352d8

RANDOM SEED= 720688579

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.229
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.229
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:       1303760 kB
Buffers:         50236 kB
Cached:         617132 kB
SwapCached:       2500 kB
Active:         125188 kB
Inactive:       552276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1303760 kB
SwapTotal:     4192956 kB
SwapFree:      4184856 kB
Dirty:            5772 kB
Writeback:           0 kB
Mapped:          16900 kB
Slab:            60764 kB
Committed_AS:  5396368 kB
PageTables:       1408 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= 66559 MiB



End job on node42 on Sat Jan 20 19:36:50 UTC 2007