Trace number 275084

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.12 2411.95

General information on the benchmark

Namerlfap/rlfapGraphs/
graph13.xml
MD5SUM59d37a2262a213d15cbbf5bc56d0fc93
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints5210
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables916
Number of constraints5273
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5273
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=epfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/275084-1169216469/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.58	     nbVariables=916  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.58	       =>  wckTime=0.219  cpuTime=0.16  mem=8M828
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
2.21	     nbConstraints=5273  nbConvertedConstraints=5273  nbConvertConstraintsChecks=3343856  nbExtensionStructures=2493
2.22	     nbSharedExtensionStructures=2780  nbConflictsStructures=2493  nbSharedConflictsStructures=2780
2.22	     nbSharedBinaryRepresentations=180867  maxDegree=21  maxArity=2
2.22	       =>  wckTime=1.854  cpuTime=1.67  mem=48M758
2.34	   
2.34	   solver LocalSearchSolver being built... 
2.37	       =>  wckTime=2.011  cpuTime=1.72  mem=11M394
2.40	
2.40	s SATISFIABLE
2.40	o 2982
2.40	c 2291
2.40	o 2992
2.40	c 2281
2.40	o 3000
2.41	c 2273
2.41	o 3010
2.41	c 2263
2.41	o 3018
2.41	c 2255
2.41	o 3025
2.42	c 2248
2.42	o 3032
2.42	c 2241
2.42	o 3040
2.42	c 2233
2.42	o 3047
2.42	c 2226
2.42	o 3053
2.43	c 2220
2.43	o 3058
2.43	c 2215
2.43	o 3066
2.43	c 2207
2.43	o 3073
2.43	c 2200
2.43	o 3080
2.44	c 2193
2.44	o 3087
2.44	c 2186
2.44	o 3094
2.44	c 2179
2.44	o 3100
2.45	c 2173
2.45	o 3105
2.45	c 2168
2.45	o 3110
2.45	c 2163
2.45	o 3115
2.46	c 2158
2.46	o 3120
2.46	c 2153
2.46	o 3124
2.46	c 2149
2.46	o 3128
2.47	c 2145
2.47	o 3131
2.47	c 2142
2.47	o 3134
2.47	c 2139
2.47	o 3135
2.47	c 2138
2.47	o 3141
2.48	c 2132
2.48	o 3148
2.48	c 2125
2.48	o 3155
2.48	c 2118
2.49	o 3161
2.49	c 2112
2.49	o 3167
2.49	c 2106
2.49	o 3173
2.50	c 2100
2.50	o 3179
2.50	c 2094
2.50	o 3185
2.50	c 2088
2.50	o 3191
2.51	c 2082
2.51	o 3196
2.51	c 2077
2.51	o 3201
2.51	c 2072
2.52	o 3207
2.52	c 2066
2.52	o 3212
2.52	c 2061
2.52	o 3217
2.52	c 2056
2.53	o 3221
2.53	c 2052
2.53	o 3225
2.53	c 2048
2.53	o 3230
2.53	c 2043
2.54	o 3234
2.54	c 2039
2.54	o 3236
2.54	c 2037
2.54	o 3239
2.54	c 2034
2.55	o 3243
2.55	c 2030
2.55	o 3246
2.55	c 2027
2.55	o 3248
2.55	c 2025
2.56	o 3250
2.56	c 2023
2.56	o 3255
2.56	c 2018
2.56	o 3259
2.56	c 2014
2.57	o 3264
2.57	c 2009
2.57	o 3265
2.57	c 2008
2.57	o 3268
2.57	c 2005
2.57	o 3272
2.57	c 2001
2.58	o 3274
2.58	c 1999
2.58	o 3278
2.58	c 1995
2.59	o 3283
2.59	c 1990
2.59	o 3287
2.59	c 1986
2.59	o 3290
2.59	c 1983
2.60	o 3296
2.60	c 1977
2.60	o 3301
2.60	c 1972
2.61	o 3307
2.61	c 1966
2.61	o 3313
2.61	c 1960
2.62	o 3319
2.62	c 1954
2.62	o 3325
2.62	c 1948
2.63	o 3331
2.63	c 1942
2.63	o 3333
2.63	c 1940
2.63	o 3335
2.63	c 1938
2.64	o 3341
2.64	c 1932
2.64	o 3346
2.64	c 1927
2.65	o 3351
2.65	c 1922
2.65	o 3356
2.65	c 1917
2.66	o 3361
2.66	c 1912
2.66	o 3366
2.66	c 1907
2.67	o 3370
2.67	c 1903
2.67	o 3377
2.67	c 1896
2.67	o 3383
2.67	c 1890
2.68	o 3389
2.68	c 1884
2.68	o 3393
2.68	c 1880
2.69	o 3397
2.69	c 1876
2.69	o 3401
2.69	c 1872
2.70	o 3405
2.70	c 1868
2.70	o 3409
2.70	c 1864
2.71	o 3413
2.71	c 1860
2.71	o 3416
2.71	c 1857
2.71	o 3419
2.71	c 1854
2.72	o 3422
2.72	c 1851
2.72	o 3425
2.72	c 1848
2.73	o 3427
2.73	c 1846
2.73	o 3429
2.73	c 1844
2.73	o 3431
2.73	c 1842
2.74	o 3433
2.74	c 1840
2.74	o 3434
2.74	c 1839
2.75	o 3435
2.75	c 1838
2.75	o 3437
2.75	c 1836
2.76	o 3439
2.76	c 1834
2.76	o 3441
2.76	c 1832
2.77	o 3446
2.77	c 1827
2.77	o 3452
2.77	c 1821
2.78	o 3455
2.78	c 1818
2.78	o 3458
2.78	c 1815
2.78	o 3460
2.78	c 1813
2.79	o 3463
2.79	c 1810
2.79	o 3466
2.79	c 1807
2.80	o 3467
2.80	c 1806
2.80	o 3469
2.80	c 1804
2.80	o 3472
2.80	c 1801
2.81	o 3474
2.81	c 1799
2.81	o 3477
2.81	c 1796
2.82	o 3479
2.82	c 1794
2.82	o 3483
2.82	c 1790
2.82	o 3485
2.82	c 1788
2.83	o 3488
2.83	c 1785
2.83	o 3491
2.83	c 1782
2.84	o 3495
2.84	c 1778
2.84	o 3497
2.84	c 1776
2.85	o 3502
2.85	c 1771
2.85	o 3507
2.85	c 1766
2.86	o 3512
2.86	c 1761
2.86	o 3517
2.86	c 1756
2.87	o 3522
2.87	c 1751
2.87	o 3527
2.87	c 1746
2.88	o 3532
2.88	c 1741
2.89	o 3533
2.89	c 1740
2.89	o 3538
2.89	c 1735
2.90	o 3543
2.90	c 1730
2.90	o 3544
2.90	c 1729
2.91	o 3545
2.91	c 1728
2.91	o 3546
2.91	c 1727
2.91	o 3551
2.91	c 1722
2.92	o 3556
2.92	c 1717
2.93	o 3560
2.93	c 1713
2.93	o 3565
2.93	c 1708
2.94	o 3569
2.94	c 1704
2.94	o 3573
2.94	c 1700
2.95	o 3577
2.95	c 1696
2.95	o 3581
2.95	c 1692
2.96	o 3585
2.96	c 1688
2.96	o 3589
2.96	c 1684
2.97	o 3593
2.97	c 1680
2.97	o 3596
2.97	c 1677
2.98	o 3599
2.98	c 1674
2.98	o 3602
2.98	c 1671
2.99	o 3605
2.99	c 1668
2.99	o 3608
2.99	c 1665
3.00	o 3610
3.00	c 1663
3.00	o 3612
3.00	c 1661
3.03	o 3615
3.03	c 1658
3.03	o 3618
3.03	c 1655
3.03	o 3621
3.03	c 1652
3.04	o 3623
3.04	c 1650
3.04	o 3625
3.04	c 1648
3.05	o 3627
3.05	c 1646
3.06	o 3629
3.06	c 1644
3.06	o 3631
3.06	c 1642
3.08	o 3633
3.08	c 1640
3.08	o 3636
3.08	c 1637
3.09	o 3638
3.09	c 1635
3.10	o 3639
3.10	c 1634
3.10	o 3642
3.10	c 1631
3.10	o 3643
3.10	c 1630
3.11	o 3645
3.11	c 1628
3.11	o 3647
3.11	c 1626
3.12	o 3648
3.12	c 1625
3.12	o 3651
3.12	c 1622
3.13	o 3655
3.13	c 1618
3.13	o 3656
3.13	c 1617
3.14	o 3658
3.14	c 1615
3.14	o 3660
3.14	c 1613
3.15	o 3663
3.15	c 1610
3.15	o 3667
3.15	c 1606
3.16	o 3670
3.16	c 1603
3.16	o 3671
3.16	c 1602
3.17	o 3672
3.17	c 1601
3.17	o 3673
3.17	c 1600
3.18	o 3676
3.18	c 1597
3.18	o 3679
3.18	c 1594
3.19	o 3681
3.19	c 1592
3.19	o 3683
3.19	c 1590
3.20	o 3684
3.20	c 1589
3.20	o 3687
3.20	c 1586
3.21	o 3691
3.21	c 1582
3.21	o 3694
3.21	c 1579
3.21	o 3696
3.21	c 1577
3.22	o 3698
3.22	c 1575
3.23	o 3703
3.23	c 1570
3.23	o 3704
3.23	c 1569
3.24	o 3710
3.24	c 1563
3.25	o 3714
3.25	c 1559
3.25	o 3718
3.25	c 1555
3.26	o 3720
3.26	c 1553
3.26	o 3724
3.26	c 1549
3.27	o 3728
3.27	c 1545
3.28	o 3732
3.28	c 1541
3.28	o 3735
3.28	c 1538
3.29	o 3738
3.29	c 1535
3.30	o 3742
3.30	c 1531
3.30	o 3745
3.30	c 1528
3.31	o 3748
3.31	c 1525
3.32	o 3751
3.32	c 1522
3.32	o 3755
3.32	c 1518
3.33	o 3757
3.33	c 1516
3.33	o 3759
3.33	c 1514
3.34	o 3761
3.34	c 1512
3.35	o 3763
3.35	c 1510
3.35	o 3765
3.35	c 1508
3.36	o 3767
3.36	c 1506
3.37	o 3769
3.37	c 1504
3.37	o 3771
3.37	c 1502
3.38	o 3772
3.38	c 1501
3.39	o 3773
3.39	c 1500
3.40	o 3774
3.40	c 1499
3.40	o 3775
3.40	c 1498
3.41	o 3776
3.41	c 1497
3.42	o 3779
3.42	c 1494
3.45	o 3780
3.45	c 1493
3.46	o 3784
3.46	c 1489
3.47	o 3785
3.47	c 1488
3.48	o 3786
3.48	c 1487
3.48	o 3787
3.48	c 1486
3.51	o 3788
3.51	c 1485
3.51	o 3790
3.51	c 1483
3.52	o 3794
3.52	c 1479
3.52	o 3796
3.52	c 1477
3.53	o 3799
3.53	c 1474
3.53	o 3802
3.53	c 1471
3.54	o 3804
3.54	c 1469
3.54	o 3807
3.54	c 1466
3.57	o 3808
3.57	c 1465
3.57	o 3809
3.57	c 1464
3.59	o 3811
3.59	c 1462
3.59	o 3813
3.59	c 1460
3.60	o 3816
3.60	c 1457
3.61	o 3818
3.61	c 1455
3.61	o 3820
3.61	c 1453
3.62	o 3824
3.62	c 1449
3.62	o 3825
3.62	c 1448
3.63	o 3826
3.63	c 1447
3.64	o 3829
3.64	c 1444
3.64	o 3833
3.64	c 1440
3.65	o 3835
3.65	c 1438
3.66	o 3838
3.66	c 1435
3.67	o 3840
3.67	c 1433
3.67	o 3841
3.67	c 1432
3.72	o 3842
3.72	c 1431
3.72	o 3845
3.72	c 1428
3.73	o 3848
3.73	c 1425
3.73	o 3850
3.73	c 1423
3.74	o 3854
3.74	c 1419
3.74	o 3858
3.74	c 1415
3.75	o 3861
3.75	c 1412
3.76	o 3864
3.76	c 1409
3.76	o 3867
3.76	c 1406
3.77	o 3869
3.77	c 1404
3.78	o 3872
3.78	c 1401
3.78	o 3873
3.78	c 1400
3.79	o 3875
3.79	c 1398
3.81	o 3877
3.81	c 1396
3.82	o 3879
3.82	c 1394
3.82	o 3883
3.82	c 1390
3.83	o 3886
3.83	c 1387
3.84	o 3888
3.84	c 1385
3.84	o 3889
3.84	c 1384
3.85	o 3890
3.85	c 1383
3.85	o 3892
3.85	c 1381
3.86	o 3895
3.86	c 1378
3.87	o 3898
3.87	c 1375
3.88	o 3901
3.88	c 1372
3.88	o 3904
3.88	c 1369
3.89	o 3907
3.89	c 1366
3.91	o 3908
3.91	c 1365
3.92	o 3911
3.92	c 1362
3.93	o 3914
3.93	c 1359
3.93	o 3917
3.93	c 1356
3.94	o 3920
3.94	c 1353
3.95	o 3923
3.95	c 1350
3.95	o 3926
3.95	c 1347
3.96	o 3929
3.96	c 1344
3.97	o 3932
3.97	c 1341
3.97	o 3935
3.97	c 1338
3.98	o 3937
3.98	c 1336
3.99	o 3939
3.99	c 1334
3.99	o 3941
3.99	c 1332
4.02	o 3943
4.02	c 1330
4.02	o 3946
4.02	c 1327
4.03	o 3948
4.03	c 1325
4.04	o 3950
4.04	c 1323
4.04	o 3952
4.04	c 1321
4.05	o 3954
4.05	c 1319
4.06	o 3956
4.06	c 1317
4.06	o 3958
4.06	c 1315
4.07	o 3960
4.07	c 1313
4.07	o 3963
4.08	c 1310
4.08	o 3965
4.08	c 1308
4.09	o 3967
4.09	c 1306
4.09	o 3969
4.09	c 1304
4.10	o 3971
4.10	c 1302
4.11	o 3972
4.11	c 1301
4.11	o 3973
4.11	c 1300
4.18	o 3975
4.18	c 1298
4.19	o 3976
4.19	c 1297
4.25	o 3978
4.25	c 1295
4.26	o 3979
4.26	c 1294
4.27	o 3982
4.27	c 1291
4.28	o 3983
4.28	c 1290
4.29	o 3984
4.29	c 1289
4.30	o 3985
4.30	c 1288
4.33	o 3986
4.33	c 1287
4.34	o 3989
4.34	c 1284
4.35	o 3990
4.35	c 1283
4.35	o 3992
4.35	c 1281
4.36	o 3994
4.36	c 1279
4.36	o 3996
4.36	c 1277
4.37	o 3999
4.37	c 1274
4.38	o 4001
4.38	c 1272
4.39	o 4002
4.39	c 1271
4.40	o 4003
4.40	c 1270
4.41	o 4004
4.41	c 1269
4.48	o 4006
4.48	c 1267
4.56	o 4008
4.56	c 1265
4.57	o 4009
4.57	c 1264
4.58	o 4013
4.58	c 1260
4.58	o 4017
4.58	c 1256
4.59	o 4018
4.59	c 1255
4.59	o 4019
4.59	c 1254
4.60	o 4022
4.60	c 1251
4.61	o 4024
4.61	c 1249
4.62	o 4025
4.62	c 1248
4.62	o 4027
4.62	c 1246
4.63	o 4028
4.63	c 1245
4.64	o 4029
4.64	c 1244
4.65	o 4033
4.65	c 1240
4.65	o 4034
4.65	c 1239
4.69	o 4036
4.69	c 1237
4.72	o 4037
4.72	c 1236
4.73	o 4040
4.73	c 1233
4.74	o 4041
4.74	c 1232
4.74	o 4042
4.74	c 1231
4.75	o 4044
4.75	c 1229
4.75	o 4046
4.75	c 1227
4.81	o 4047
4.81	c 1226
4.81	o 4048
4.81	c 1225
4.82	o 4052
4.82	c 1221
4.83	o 4053
4.83	c 1220
4.84	o 4055
4.84	c 1218
4.85	o 4057
4.85	c 1216
4.86	o 4059
4.86	c 1214
4.92	o 4060
4.92	c 1213
4.94	o 4061
4.94	c 1212
4.95	o 4062
4.95	c 1211
4.95	o 4065
4.95	c 1208
4.97	o 4068
4.97	c 1205
4.98	o 4070
4.98	c 1203
4.99	o 4071
4.99	c 1202
4.99	o 4073
4.99	c 1200
5.00	o 4074
5.00	c 1199
5.07	o 4075
5.07	c 1198
5.08	o 4077
5.08	c 1196
5.09	o 4079
5.09	c 1194
5.09	o 4081
5.10	c 1192
5.11	o 4084
5.11	c 1189
5.11	o 4086
5.11	c 1187
5.12	o 4088
5.12	c 1185
5.13	o 4090
5.13	c 1183
5.14	o 4092
5.14	c 1181
5.15	o 4094
5.15	c 1179
5.16	o 4095
5.16	c 1178
5.17	o 4096
5.17	c 1177
5.19	o 4097
5.19	c 1176
5.20	o 4098
5.20	c 1175
5.20	o 4099
5.20	c 1174
5.21	o 4100
5.21	c 1173
5.22	o 4103
5.22	c 1170
5.22	o 4104
5.22	c 1169
5.23	o 4105
5.23	c 1168
5.24	o 4106
5.24	c 1167
5.25	o 4107
5.25	c 1166
5.26	o 4108
5.26	c 1165
5.26	o 4111
5.26	c 1162
5.27	o 4112
5.27	c 1161
5.29	o 4114
5.29	c 1159
5.43	o 4115
5.43	c 1158
5.44	o 4116
5.44	c 1157
5.44	o 4119
5.44	c 1154
5.46	o 4120
5.46	c 1153
5.46	o 4122
5.46	c 1151
5.61	o 4123
5.61	c 1150
5.62	o 4124
5.62	c 1149
5.64	o 4125
5.64	c 1148
5.64	o 4127
5.64	c 1146
5.65	o 4129
5.65	c 1144
5.68	o 4130
5.68	c 1143
5.72	o 4131
5.72	c 1142
5.72	o 4132
5.72	c 1141
5.73	o 4133
5.73	c 1140
5.78	o 4135
5.78	c 1138
5.79	o 4136
5.79	c 1137
5.81	o 4137
5.81	c 1136
5.82	o 4139
5.82	c 1134
5.84	o 4140
5.84	c 1133
5.85	o 4141
5.85	c 1132
5.85	o 4143
5.85	c 1130
5.86	o 4144
5.86	c 1129
5.87	o 4146
5.87	c 1127
5.88	o 4148
5.88	c 1125
5.92	o 4150
5.92	c 1123
5.92	o 4151
5.92	c 1122
5.93	o 4152
5.93	c 1121
5.95	o 4153
5.95	c 1120
6.02	o 4155
6.02	c 1118
6.15	o 4156
6.15	c 1117
6.16	o 4157
6.16	c 1116
6.17	o 4159
6.17	c 1114
6.20	o 4160
6.20	c 1113
6.20	o 4162
6.20	c 1111
6.21	o 4164
6.21	c 1109
6.29	o 4166
6.29	c 1107
6.31	o 4167
6.31	c 1106
6.36	o 4168
6.36	c 1105
6.40	o 4170
6.40	c 1103
6.40	o 4171
6.40	c 1102
6.42	o 4172
6.42	c 1101
6.43	o 4175
6.43	c 1098
6.44	o 4176
6.44	c 1097
6.47	o 4179
6.47	c 1094
6.49	o 4180
6.49	c 1093
6.51	o 4181
6.51	c 1092
6.52	o 4182
6.52	c 1091
6.54	o 4183
6.54	c 1090
6.55	o 4184
6.55	c 1089
6.56	o 4185
6.56	c 1088
6.59	o 4187
6.59	c 1086
6.61	o 4189
6.61	c 1084
6.64	o 4190
6.64	c 1083
6.65	o 4192
6.65	c 1081
6.66	o 4193
6.66	c 1080
6.68	o 4194
6.68	c 1079
6.72	o 4196
6.72	c 1077
6.74	o 4197
6.74	c 1076
6.75	o 4198
6.75	c 1075
6.76	o 4199
6.76	c 1074
6.88	o 4201
6.88	c 1072
6.90	o 4202
6.90	c 1071
6.91	o 4206
6.91	c 1067
6.92	o 4207
6.92	c 1066
6.96	o 4208
6.96	c 1065
6.97	o 4211
6.97	c 1062
6.98	o 4214
6.98	c 1059
7.00	o 4215
7.00	c 1058
7.01	o 4216
7.01	c 1057
7.02	o 4218
7.02	c 1055
7.04	o 4219
7.04	c 1054
7.05	o 4221
7.05	c 1052
7.08	o 4223
7.08	c 1050
7.09	o 4225
7.09	c 1048
7.09	o 4227
7.09	c 1046
7.11	o 4229
7.11	c 1044
7.12	o 4230
7.12	c 1043
7.13	o 4234
7.13	c 1039
7.14	o 4235
7.14	c 1038
7.18	o 4236
7.18	c 1037
7.22	o 4237
7.22	c 1036
7.23	o 4239
7.23	c 1034
7.24	o 4241
7.24	c 1032
7.25	o 4242
7.25	c 1031
7.25	o 4245
7.25	c 1028
7.28	o 4246
7.28	c 1027
7.34	o 4247
7.34	c 1026
7.35	o 4248
7.35	c 1025
7.36	o 4249
7.36	c 1024
7.37	o 4251
7.37	c 1022
7.38	o 4253
7.38	c 1020
7.38	o 4255
7.38	c 1018
7.39	o 4257
7.39	c 1016
7.42	o 4259
7.42	c 1014
7.42	o 4260
7.43	c 1013
7.46	o 4262
7.46	c 1011
7.47	o 4264
7.47	c 1009
7.48	o 4265
7.48	c 1008
7.50	o 4266
7.50	c 1007
7.59	o 4269
7.59	c 1004
7.60	o 4271
7.60	c 1002
7.61	o 4273
7.61	c 1000
7.63	o 4275
7.63	c 998
7.64	o 4277
7.64	c 996
7.64	o 4278
7.64	c 995
7.65	o 4280
7.65	c 993
7.72	o 4281
7.72	c 992
7.73	o 4283
7.73	c 990
7.73	o 4285
7.73	c 988
7.74	o 4286
7.74	c 987
7.76	o 4287
7.76	c 986
7.78	o 4289
7.78	c 984
7.79	o 4291
7.79	c 982
7.79	o 4292
7.79	c 981
7.81	o 4295
7.81	c 978
7.82	o 4297
7.82	c 976
7.84	o 4299
7.84	c 974
7.98	o 4300
7.98	c 973
7.99	o 4301
7.99	c 972
8.00	o 4302
8.00	c 971
8.01	o 4303
8.01	c 970
8.02	o 4304
8.02	c 969
8.03	o 4305
8.03	c 968
8.04	o 4306
8.04	c 967
8.05	o 4307
8.05	c 966
8.06	o 4308
8.06	c 965
8.07	o 4309
8.07	c 964
8.08	o 4312
8.08	c 961
8.09	o 4318
8.09	c 955
8.10	o 4321
8.10	c 952
8.10	o 4322
8.10	c 951
8.24	o 4323
8.24	c 950
8.25	o 4324
8.25	c 949
8.25	o 4325
8.25	c 948
8.26	o 4326
8.26	c 947
8.27	o 4327
8.27	c 946
8.28	o 4328
8.28	c 945
8.30	o 4329
8.30	c 944
8.31	o 4330
8.31	c 943
8.58	o 4332
8.58	c 941
8.59	o 4334
8.59	c 939
8.59	o 4335
8.59	c 938
8.62	o 4336
8.62	c 937
8.63	o 4337
8.63	c 936
8.64	o 4338
8.64	c 935
8.73	o 4340
8.73	c 933
8.75	o 4341
8.75	c 932
8.79	o 4342
8.79	c 931
8.80	o 4345
8.80	c 928
8.81	o 4346
8.81	c 927
9.63	o 4347
9.63	c 926
9.64	o 4350
9.64	c 923
9.65	o 4351
9.65	c 922
9.70	o 4352
9.70	c 921
9.85	o 4353
9.85	c 920
9.86	o 4355
9.86	c 918
9.87	o 4356
9.87	c 917
9.88	o 4357
9.88	c 916
10.32	o 4359
10.32	c 914
10.33	o 4360
10.33	c 913
10.34	o 4364
10.34	c 909
10.35	o 4367
10.35	c 906
10.36	o 4368
10.36	c 905
10.40	o 4369
10.40	c 904
10.41	o 4371
10.41	c 902
10.42	o 4372
10.42	c 901
10.45	o 4375
10.45	c 898
10.47	o 4376
10.47	c 897
10.48	o 4380
10.48	c 893
10.50	o 4382
10.50	c 891
10.51	o 4383
10.51	c 890
10.53	o 4384
10.53	c 889
10.54	o 4386
10.54	c 887
10.56	o 4387
10.56	c 886
10.59	o 4388
10.59	c 885
10.60	o 4389
10.60	c 884
10.65	o 4392
10.65	c 881
10.67	o 4395
10.67	c 878
10.69	o 4397
10.69	c 876
10.70	o 4398
10.70	c 875
11.30	o 4400
11.30	c 873
11.31	o 4402
11.31	c 871
11.32	o 4404
11.32	c 869
11.34	o 4405
11.34	c 868
11.72	o 4406
11.72	c 867
11.74	o 4407
11.74	c 866
11.76	o 4409
11.76	c 864
11.77	o 4410
11.77	c 863
11.86	o 4411
11.86	c 862
11.89	o 4414
11.89	c 859
11.90	o 4417
11.90	c 856
11.91	o 4418
11.91	c 855
11.92	o 4420
11.92	c 853
11.95	o 4422
11.95	c 851
12.03	o 4425
12.03	c 848
12.22	o 4427
12.22	c 846
12.30	o 4429
12.30	c 844
12.34	o 4430
12.34	c 843
12.43	o 4431
12.43	c 842
12.45	o 4434
12.45	c 839
12.55	o 4436
12.55	c 837
12.56	o 4438
12.56	c 835
12.58	o 4440
12.58	c 833
12.72	o 4442
12.72	c 831
12.77	o 4445
12.77	c 828
12.78	o 4446
12.78	c 827
12.83	o 4447
12.83	c 826
12.88	o 4448
12.88	c 825
12.89	o 4450
12.89	c 823
12.91	o 4451
12.91	c 822
12.93	o 4452
12.93	c 821
12.94	o 4454
12.94	c 819
13.05	o 4455
13.05	c 818
13.07	o 4456
13.07	c 817
13.08	o 4458
13.08	c 815
13.09	o 4460
13.09	c 813
13.12	o 4461
13.12	c 812
13.13	o 4463
13.13	c 810
13.13	o 4465
13.13	c 808
13.19	o 4466
13.19	c 807
13.22	o 4467
13.22	c 806
13.23	o 4468
13.23	c 805
13.26	o 4470
13.26	c 803
13.27	o 4474
13.27	c 799
13.28	o 4477
13.28	c 796
13.29	o 4481
13.29	c 792
13.30	o 4484
13.30	c 789
13.31	o 4486
13.31	c 787
13.32	o 4488
13.32	c 785
13.33	o 4490
13.33	c 783
13.33	o 4491
13.33	c 782
13.36	o 4492
13.36	c 781
13.38	o 4493
13.38	c 780
13.45	o 4495
13.45	c 778
13.49	o 4497
13.49	c 776
13.54	o 4498
13.54	c 775
13.55	o 4499
13.55	c 774
13.56	o 4501
13.56	c 772
13.84	o 4503
13.84	c 770
13.87	o 4504
13.87	c 769
13.88	o 4505
13.88	c 768
13.99	o 4506
13.99	c 767
14.00	o 4508
14.00	c 765
14.01	o 4509
14.01	c 764
14.04	o 4510
14.04	c 763
14.37	o 4511
14.37	c 762
14.44	o 4512
14.44	c 761
14.46	o 4513
14.46	c 760
14.47	o 4516
14.47	c 757
14.48	o 4520
14.48	c 753
14.49	o 4521
14.49	c 752
14.52	o 4523
14.52	c 750
14.56	o 4525
14.56	c 748
14.58	o 4527
14.58	c 746
14.59	o 4528
14.59	c 745
14.60	o 4530
14.60	c 743
14.61	o 4532
14.61	c 741
14.66	o 4533
14.66	c 740
14.67	o 4535
14.67	c 738
14.69	o 4537
14.69	c 736
14.70	o 4539
14.70	c 734
14.76	o 4540
14.76	c 733
14.77	o 4542
14.77	c 731
14.80	o 4543
14.80	c 730
14.81	o 4545
14.81	c 728
14.82	o 4546
14.82	c 727
14.83	o 4547
14.83	c 726
14.85	o 4549
14.85	c 724
14.86	o 4551
14.86	c 722
14.88	o 4552
14.88	c 721
14.93	o 4553
14.93	c 720
14.96	o 4554
14.96	c 719
14.97	o 4556
14.97	c 717
15.01	o 4558
15.01	c 715
15.05	o 4559
15.05	c 714
15.12	o 4561
15.12	c 712
15.16	o 4562
15.16	c 711
15.20	o 4563
15.20	c 710
15.75	o 4564
15.75	c 709
15.76	o 4565
15.76	c 708
15.77	o 4566
15.77	c 707
15.78	o 4567
15.78	c 706
15.79	o 4569
15.79	c 704
15.80	o 4570
15.80	c 703
15.81	o 4571
15.81	c 702
15.92	o 4574
15.92	c 699
15.94	o 4575
15.94	c 698
15.95	o 4577
15.95	c 696
15.98	o 4578
15.98	c 695
16.78	o 4579
16.78	c 694
16.79	o 4580
16.79	c 693
16.80	o 4581
16.80	c 692
16.95	o 4583
16.95	c 690
16.96	o 4585
16.96	c 688
17.00	o 4586
17.00	c 687
17.02	o 4587
17.02	c 686
17.10	o 4588
17.10	c 685
17.11	o 4590
17.11	c 683
17.14	o 4592
17.14	c 681
17.82	o 4593
17.82	c 680
17.85	o 4594
17.85	c 679
17.86	o 4596
17.86	c 677
17.88	o 4597
17.88	c 676
17.90	o 4600
17.90	c 673
17.92	o 4604
17.92	c 669
17.95	o 4606
17.95	c 667
17.96	o 4609
17.96	c 664
17.97	o 4614
17.97	c 659
17.99	o 4615
17.99	c 658
18.03	o 4616
18.03	c 657
18.04	o 4617
18.04	c 656
18.05	o 4618
18.05	c 655
18.07	o 4620
18.07	c 653
18.08	o 4621
18.08	c 652
18.14	o 4622
18.14	c 651
18.26	o 4624
18.26	c 649
18.28	o 4625
18.28	c 648
18.31	o 4627
18.31	c 646
18.32	o 4628
18.32	c 645
18.33	o 4629
18.33	c 644
18.34	o 4631
18.34	c 642
18.37	o 4632
18.37	c 641
18.92	o 4634
18.92	c 639
18.93	o 4636
18.93	c 637
18.99	o 4637
18.99	c 636
19.00	o 4638
19.00	c 635
19.05	o 4640
19.05	c 633
19.08	o 4641
19.08	c 632
19.11	o 4642
19.11	c 631
19.13	o 4643
19.13	c 630
19.14	o 4644
19.14	c 629
19.23	o 4645
19.23	c 628
19.25	o 4647
19.25	c 626
19.38	o 4648
19.38	c 625
19.41	o 4650
19.41	c 623
19.42	o 4652
19.42	c 621
19.45	o 4655
19.45	c 618
19.46	o 4656
19.46	c 617
19.47	o 4657
19.47	c 616
19.51	o 4659
19.51	c 614
19.52	o 4661
19.52	c 612
19.52	o 4664
19.52	c 609
19.53	o 4666
19.53	c 607
19.54	o 4668
19.54	c 605
19.55	o 4671
19.55	c 602
19.56	o 4672
19.56	c 601
19.58	o 4673
19.58	c 600
19.59	o 4674
19.59	c 599
19.60	o 4676
19.60	c 597
19.62	o 4677
19.62	c 596
19.63	o 4678
19.63	c 595
19.65	o 4679
19.65	c 594
20.02	o 4680
20.02	c 593
20.03	o 4681
20.03	c 592
20.04	o 4683
20.04	c 590
20.05	o 4685
20.05	c 588
20.07	o 4686
20.07	c 587
20.08	o 4687
20.08	c 586
20.11	o 4688
20.11	c 585
20.15	o 4689
20.15	c 584
20.16	o 4691
20.16	c 582
20.46	o 4693
20.46	c 580
20.48	o 4694
20.48	c 579
20.49	o 4695
20.49	c 578
20.51	o 4697
20.51	c 576
20.56	o 4698
20.56	c 575
20.66	o 4700
20.66	c 573
20.69	o 4702
20.69	c 571
20.72	o 4704
20.72	c 569
22.88	o 4705
22.88	c 568
22.89	o 4706
22.89	c 567
23.16	o 4708
23.16	c 565
23.18	o 4711
23.18	c 562
23.20	o 4712
23.20	c 561
23.22	o 4715
23.22	c 558
23.58	o 4717
23.58	c 556
23.58	o 4718
23.58	c 555
23.61	o 4720
23.61	c 553
23.65	o 4721
23.65	c 552
24.15	o 4725
24.15	c 548
24.16	o 4726
24.16	c 547
24.17	o 4728
24.17	c 545
24.18	o 4729
24.18	c 544
24.20	o 4730
24.20	c 543
24.21	o 4731
24.21	c 542
24.31	o 4732
24.31	c 541
24.37	o 4734
24.37	c 539
24.96	o 4735
24.96	c 538
24.99	o 4736
24.99	c 537
25.44	o 4740
25.44	c 533
25.45	o 4742
25.45	c 531
25.46	o 4744
25.46	c 529
25.82	o 4746
25.82	c 527
27.22	o 4747
27.22	c 526
27.33	o 4749
27.33	c 524
27.35	o 4752
27.35	c 521
27.36	o 4753
27.36	c 520
27.38	o 4755
27.38	c 518
27.39	o 4756
27.39	c 517
27.82	o 4758
27.82	c 515
27.85	o 4759
27.85	c 514
27.86	o 4760
27.86	c 513
27.87	o 4762
27.87	c 511
27.97	o 4764
27.97	c 509
27.99	o 4766
27.99	c 507
28.00	o 4768
28.00	c 505
28.02	o 4769
28.02	c 504
28.11	o 4770
28.11	c 503
28.12	o 4771
28.12	c 502
28.15	o 4772
28.15	c 501
28.16	o 4773
28.16	c 500
28.17	o 4774
28.17	c 499
28.18	o 4775
28.18	c 498
28.32	o 4778
28.32	c 495
28.33	o 4779
28.33	c 494
28.35	o 4780
28.35	c 493
28.36	o 4781
28.36	c 492
28.39	o 4782
28.39	c 491
33.02	o 4783
33.02	c 490
33.03	o 4784
33.03	c 489
33.05	o 4785
33.05	c 488
33.06	o 4786
33.06	c 487
33.07	o 4787
33.07	c 486
33.11	o 4789
33.11	c 484
33.15	o 4791
33.15	c 482
36.38	o 4792
36.38	c 481
36.39	o 4793
36.39	c 480
36.43	o 4797
36.43	c 476
36.44	o 4799
36.44	c 474
36.46	o 4800
36.46	c 473
36.56	o 4801
36.56	c 472
36.62	o 4802
36.62	c 471
36.64	o 4806
36.64	c 467
36.67	o 4808
36.67	c 465
36.69	o 4809
36.69	c 464
36.70	o 4811
36.70	c 462
36.84	o 4812
36.84	c 461
36.85	o 4813
36.85	c 460
36.86	o 4814
36.86	c 459
37.36	o 4816
37.36	c 457
37.38	o 4817
37.38	c 456
37.47	o 4818
37.47	c 455
37.49	o 4819
37.49	c 454
37.50	o 4820
37.50	c 453
37.52	o 4822
37.52	c 451
37.53	o 4824
37.53	c 449
38.37	o 4825
38.37	c 448
41.00	o 4826
41.00	c 447
41.01	o 4827
41.01	c 446
41.04	o 4828
41.04	c 445
41.06	o 4829
41.06	c 444
41.10	o 4830
41.10	c 443
41.12	o 4832
41.12	c 441
41.18	o 4833
41.18	c 440
41.19	o 4834
41.19	c 439
41.20	o 4835
41.20	c 438
41.21	o 4836
41.21	c 437
41.35	o 4837
41.35	c 436
41.62	o 4839
41.62	c 434
41.76	o 4841
41.76	c 432
41.79	o 4842
41.79	c 431
41.80	o 4844
41.80	c 429
41.82	o 4848
41.82	c 425
41.84	o 4850
41.84	c 423
41.97	o 4853
41.97	c 420
43.52	o 4854
43.52	c 419
43.57	o 4855
43.57	c 418
43.59	o 4856
43.59	c 417
43.60	o 4858
43.60	c 415
43.66	o 4859
43.66	c 414
52.22	o 4861
52.22	c 412
52.23	o 4863
52.23	c 410
52.60	o 4864
52.60	c 409
52.62	o 4865
52.62	c 408
53.26	o 4868
53.26	c 405
53.29	o 4871
53.29	c 402
53.39	o 4872
53.39	c 401
53.44	o 4874
53.44	c 399
53.46	o 4875
53.46	c 398
53.56	o 4878
53.56	c 395
53.57	o 4880
53.57	c 393
53.58	o 4883
53.58	c 390
53.60	o 4884
53.60	c 389
53.61	o 4885
53.61	c 388
53.63	o 4886
53.63	c 387
53.64	o 4888
53.64	c 385
53.67	o 4889
53.67	c 384
53.69	o 4890
53.69	c 383
55.41	o 4891
55.41	c 382
55.42	o 4892
55.42	c 381
56.21	o 4894
56.21	c 379
56.30	o 4895
56.30	c 378
56.77	o 4896
56.77	c 377
56.78	o 4897
56.78	c 376
56.92	o 4898
56.92	c 375
56.94	o 4899
56.94	c 374
58.85	o 4900
58.85	c 373
58.88	o 4901
58.88	c 372
58.92	o 4902
58.92	c 371
58.96	o 4904
58.96	c 369
59.04	o 4905
59.04	c 368
60.03	o 4906
60.03	c 367
60.04	o 4907
60.04	c 366
60.05	o 4908
60.05	c 365
60.07	o 4909
60.07	c 364
60.08	o 4910
60.08	c 363
60.11	o 4912
60.11	c 361
60.15	o 4913
60.15	c 360
60.16	o 4915
60.16	c 358
60.34	o 4918
60.34	c 355
60.35	o 4921
60.35	c 352
60.36	o 4922
60.36	c 351
60.46	o 4924
60.46	c 349
60.46	o 4926
60.46	c 347
60.49	o 4929
60.49	c 344
60.56	o 4931
60.56	c 342
60.57	o 4934
60.57	c 339
60.90	o 4936
60.90	c 337
60.91	o 4937
60.91	c 336
60.92	o 4938
60.92	c 335
60.93	o 4939
60.93	c 334
60.94	o 4940
60.94	c 333
60.95	o 4941
60.95	c 332
60.96	o 4942
60.96	c 331
60.97	o 4944
60.97	c 329
60.97	o 4947
60.97	c 326
60.98	o 4950
60.98	c 323
60.99	o 4951
60.99	c 322
61.01	o 4952
61.01	c 321
61.02	o 4955
61.02	c 318
61.03	o 4957
61.03	c 316
61.04	o 4958
61.04	c 315
61.12	o 4959
61.12	c 314
61.13	o 4960
61.13	c 313
61.14	o 4961
61.14	c 312
61.15	o 4963
61.15	c 310
61.15	o 4964
61.15	c 309
61.16	o 4967
61.16	c 306
61.17	o 4968
61.17	c 305
61.30	o 4969
61.30	c 304
62.35	o 4971
62.35	c 302
62.37	o 4972
62.37	c 301
62.53	o 4973
62.53	c 300
62.54	o 4974
62.54	c 299
63.78	o 4975
63.78	c 298
63.88	o 4977
63.88	c 296
63.90	o 4980
63.90	c 293
63.92	o 4982
63.92	c 291
63.93	o 4983
63.93	c 290
63.94	o 4984
63.94	c 289
64.25	o 4986
64.25	c 287
64.25	o 4989
64.25	c 284
64.26	o 4990
64.26	c 283
64.27	o 4996
64.27	c 277
64.28	o 4998
64.28	c 275
64.29	o 5000
64.29	c 273
64.34	o 5001
64.34	c 272
64.36	o 5002
64.36	c 271
64.69	o 5003
64.69	c 270
64.70	o 5004
64.70	c 269
64.94	o 5005
64.94	c 268
64.96	o 5006
64.96	c 267
64.97	o 5007
64.97	c 266
64.98	o 5008
64.98	c 265
64.99	o 5011
64.99	c 262
65.00	o 5012
65.00	c 261
65.01	o 5013
65.01	c 260
65.02	o 5014
65.02	c 259
65.03	o 5017
65.03	c 256
65.88	o 5018
65.88	c 255
65.88	o 5019
65.88	c 254
65.89	o 5020
65.89	c 253
65.89	o 5023
65.89	c 250
66.20	o 5025
66.20	c 248
66.21	o 5026
66.21	c 247
66.22	o 5027
66.22	c 246
67.36	o 5028
67.36	c 245
67.37	o 5031
67.37	c 242
67.38	o 5033
67.38	c 240
67.42	o 5034
67.42	c 239
67.43	o 5036
67.43	c 237
67.44	o 5037
67.44	c 236
67.45	o 5038
67.45	c 235
67.46	o 5040
67.46	c 233
67.46	o 5041
67.46	c 232
68.32	o 5042
68.32	c 231
68.36	o 5043
68.36	c 230
68.36	o 5046
68.36	c 227
68.42	o 5047
68.42	c 226
68.44	o 5050
68.44	c 223
68.45	o 5051
68.45	c 222
68.46	o 5052
68.46	c 221
68.48	o 5053
68.48	c 220
68.55	o 5054
68.55	c 219
68.56	o 5055
68.56	c 218
71.77	o 5056
71.77	c 217
71.78	o 5060
71.78	c 213
71.80	o 5061
71.80	c 212
71.81	o 5063
71.81	c 210
71.81	o 5064
71.81	c 209
71.82	o 5066
71.82	c 207
71.83	o 5067
71.83	c 206
71.92	o 5069
71.92	c 204
71.93	o 5071
71.93	c 202
71.93	o 5072
71.93	c 201
71.94	o 5073
71.94	c 200
71.97	o 5074
71.97	c 199
72.00	o 5075
72.00	c 198
72.72	o 5077
72.72	c 196
72.73	o 5080
72.73	c 193
72.75	o 5081
72.75	c 192
72.76	o 5083
72.76	c 190
72.76	o 5086
72.76	c 187
72.82	o 5087
72.82	c 186
73.68	o 5089
73.68	c 184
73.69	o 5092
73.69	c 181
73.70	o 5093
73.70	c 180
73.70	o 5094
73.70	c 179
73.71	o 5096
73.71	c 177
73.72	o 5098
73.72	c 175
73.95	o 5099
73.95	c 174
74.16	o 5100
74.16	c 173
74.20	o 5102
74.20	c 171
74.20	o 5103
74.20	c 170
74.22	o 5104
74.22	c 169
74.24	o 5106
74.24	c 167
74.25	o 5108
74.25	c 165
74.26	o 5109
74.26	c 164
80.15	o 5110
80.15	c 163
80.41	o 5112
80.41	c 161
80.42	o 5114
80.42	c 159
80.77	o 5115
80.77	c 158
80.77	o 5117
80.77	c 156
80.78	o 5120
80.78	c 153
80.81	o 5121
80.81	c 152
80.85	o 5122
80.85	c 151
80.87	o 5125
80.87	c 148
80.88	o 5126
80.88	c 147
81.15	o 5127
81.15	c 146
81.16	o 5131
81.16	c 142
81.16	o 5133
81.16	c 140
81.17	o 5134
81.17	c 139
81.20	o 5135
81.20	c 138
81.21	o 5137
81.21	c 136
85.34	o 5138
85.34	c 135
85.63	o 5139
85.63	c 134
85.66	o 5141
85.66	c 132
85.66	o 5142
85.66	c 131
85.74	o 5143
85.74	c 130
85.75	o 5144
85.75	c 129
85.76	o 5147
85.76	c 126
85.76	o 5149
85.76	c 124
85.77	o 5150
85.77	c 123
85.78	o 5151
85.78	c 122
86.60	o 5152
86.60	c 121
86.62	o 5153
86.62	c 120
86.69	o 5154
86.69	c 119
86.70	o 5155
86.70	c 118
86.70	o 5160
86.70	c 113
86.71	o 5161
86.71	c 112
86.73	o 5163
86.73	c 110
87.75	o 5164
87.75	c 109
88.88	o 5165
88.88	c 108
88.91	o 5166
88.91	c 107
88.94	o 5167
88.94	c 106
88.99	   
88.99	   search
88.99	     run=0  nbConstraintChecks=697177316  nbAssignments=10000
88.99	       =>  wckTime=86.621  cpuTime=86.07  mem=12M370
90.18	o 5168
90.18	c 105
90.44	o 5169
90.44	c 104
90.46	o 5170
90.46	c 103
90.47	o 5172
90.47	c 101
90.47	o 5173
90.47	c 100
90.48	o 5176
90.48	c 97
90.48	o 5177
90.48	c 96
90.49	o 5178
90.49	c 95
90.49	o 5180
90.49	c 93
90.49	o 5181
90.49	c 92
90.51	o 5183
90.51	c 90
90.57	o 5187
90.57	c 86
90.58	o 5189
90.58	c 84
90.58	o 5190
90.58	c 83
90.58	o 5191
90.58	c 82
90.59	o 5192
90.59	c 81
90.60	o 5193
90.60	c 80
116.49	o 5194
116.50	c 79
126.23	o 5196
126.23	c 77
134.01	   
134.01	   search
134.01	     run=1  nbConstraintChecks=1075627143  nbAssignments=20000
134.01	       =>  wckTime=131.638  cpuTime=130.87  mem=12M370
134.03	o 5197
134.03	c 76
134.04	o 5199
134.04	c 74
134.04	o 5201
134.04	c 72
134.04	o 5202
134.04	c 71
134.04	o 5203
134.04	c 70
134.05	o 5207
134.05	c 66
134.05	o 5210
134.05	c 63
164.21	   
164.21	   search
164.21	     run=2  nbConstraintChecks=1324367257  nbAssignments=26048
164.21	       =>  wckTime=161.835  cpuTime=160.92  mem=12M370
164.21	   
164.21	   global
164.21	     nbConstraintChecks=1324367257  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
164.21	     solvingWckTime=161.832  solvingCpuTime=160.91  expiredTime=no  totalExploration=no  nbFoundSolutions=0
164.21	     globalCpuTime=162.67
164.21	       =>  wckTime=163.847  cpuTime=162.63  mem=12M370
164.21	   
164.21	   solver IterativeSystematicSolver being built... 
164.40	       =>  wckTime=164.043  cpuTime=162.78  mem=28M139
188.40	   
188.40	   preprocessing
188.40	     nbConstraintChecks=45728299  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
188.40	     detectedInconsistency=no
188.40	       =>  wckTime=23.995  cpuTime=23.84  mem=28M139
418.84	   
418.84	   search
418.84	     run=0  nbConstraintChecks=76131138  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=519
418.84	     nbFailedAssignments=379  nbBacktracks=10  nbVisitedNodes=909  nbRestartNogoods=0
418.84	       =>  wckTime=254.432  cpuTime=253.17  mem=28M139
709.80	   
709.80	   search
709.80	     run=1  nbConstraintChecks=179922410  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1210
709.80	     nbFailedAssignments=927  nbBacktracks=25  nbVisitedNodes=2163  nbRestartNogoods=88
709.80	       =>  wckTime=545.399  cpuTime=542.71  mem=28M139
916.07	   
916.08	   search
916.08	     run=2  nbConstraintChecks=234137408  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1585
916.08	     nbFailedAssignments=1150  nbBacktracks=47  nbVisitedNodes=2783  nbRestartNogoods=120
916.08	       =>  wckTime=751.669  cpuTime=747.99  mem=28M139
1074.95	   
1074.95	   search
1074.95	     run=3  nbConstraintChecks=283048500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1942
1074.95	     nbFailedAssignments=1349  nbBacktracks=80  nbVisitedNodes=3372  nbRestartNogoods=140
1074.95	       =>  wckTime=910.544  cpuTime=906.11  mem=28M139
1263.83	   
1263.83	   search
1263.83	     run=4  nbConstraintChecks=341606587  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2348
1263.83	     nbFailedAssignments=1568  nbBacktracks=130  nbVisitedNodes=4047  nbRestartNogoods=150
1263.83	       =>  wckTime=1099.426  cpuTime=1094.08  mem=28M139
1469.36	   
1469.36	   search
1469.36	     run=5  nbConstraintChecks=392236623  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2696
1469.36	     nbFailedAssignments=1704  nbBacktracks=205  nbVisitedNodes=4606  nbRestartNogoods=188
1469.36	       =>  wckTime=1304.958  cpuTime=1298.63  mem=28M139
2411.90	v 16 254 792 554 16 254 86 324 268 30 72 310 128 366 338 764 708 470 114 352 764 526 792 554 72 310 694 456 778 540 72 310 792 554 128 366 750 512 86 324 792 554 722 484 792 554 736 498 792 722 694 456 736 498 30 268 58 296 680 442 240 478 764 526 750 512 694 456 652 414 44 282 30 268 792 778 114 352 778 540 170 408 156 394 16 254 554 792 792 554 16 254 792 554 86 324 72 310 680 442 16 254 72 310 128 366 652 414 792 554 666 428 16 254 16 254 142 380 240 478 16 254 16 254 16 254 792 554 114 352 44 282 736 498 16 254 750 512 722 484 170 408 142 380 156 394 16 254 694 456 694 456 792 554 58 296 142 380 652 414 16 254 72 310 722 484 792 554 100 338 764 526 666 428 156 394 100 338 16 254 86 324 114 352 16 16 16 254 240 478 736 498 708 666 30 268 792 554 792 554 30 268 680 442 666 428 16 254 58 296 44 282 156 394 16 254 526 764 44 282 666 778 792 554 792 554 100 338 44 282 652 414 764 526 100 338 750 512 694 456 170 408 16 254 156 394 652 414 722 484 100 338 652 414 750 512 30 128 764 526 128 366 764 526 680 442 58 296 764 526 666 428 240 478 240 478 170 408 666 428 100 338 792 554 72 310 680 442 792 554 100 338 114 352 30 268 128 366 694 456 44 282 778 778 142 380 736 498 128 366 156 394 792 554 778 540 72 310 16 254 792 554 16 254 792 554 750 512 708 142 86 324 722 484 352 114 666 428 86 324 142 380 170 408 72 310 44 282 778 540 764 526 680 442 16 254 792 764 86 324 792 554 764 526 16 254 792 554 16 16 764 526 680 442 750 512 44 282 722 484 722 484 694 456 470 708 652 414 128 366 170 408 16 254 16 254 694 456 16 44 30 268 736 498 142 380 72 310 72 310 44 282 100 338 792 554 86 324 156 394 792 554 16 254 16 254 240 478 156 394 792 554 16 254 16 254 778 540 680 442 16 254 750 512 114 352 58 296 240 478 792 554 170 408 792 554 540 778 16 254 764 526 778 540 792 554 750 512 778 540 694 456 764 526 736 498 792 554 666 428 792 554 736 498 652 414 30 268 170 408 792 554 792 554 16 254 708 470 792 554 114 352 792 554 708 470 72 310 170 408 792 554 778 540 16 254 30 268 72 310 16 254 652 414 72 310 722 484 58 296 722 484 44 282 16 254 156 394 16 254 100 338 750 512 750 512 792 554 72 310 16 254 666 428 16 254 16 254 652 414 736 498 142 380 792 554 16 254 694 456 750 512 708 470 680 442 86 324 792 554 240 478 652 414 16 254 694 456 764 526 156 394 750 512 240 478 114 352 170 408 30 268 44 282 764 456 778 540 240 478 694 456 156 394 114 352 16 254 708 470 792 792 142 380 652 414 240 478 142 380 652 414 708 470 792 554 652 414 128 366 680 442 736 498 16 254 792 554 750 512 142 380 16 254 16 254 58 296 736 498 156 394 86 324 778 540 666 428 170 408 652 414 666 428 792 554 652 414 156 394 680 442 114 352 792 554 114 352 16 254 156 394 792 554 170 408 736 498 114 352 16 254 128 366 58 296 114 352 16 254 44 282 44 282 16 254 792 554 694 456 100 338 44 282 792 554 708 470 58 296 16 254 254 16 694 456 86 324 72 310 764 526 170 408 58 296 86 324 792 554 44 282 86 324 792 554 16 254 792 554 16 254 16 254 680 442 156 394 666 428 16 254 100 338 792 554 16 254 114 352 30 268 750 512 58 296 792 554 156 394 128 366 764 526 680 442 156 394 16 254 666 428 778 540 792 554 708 470 16 254 72 310 736 498 792 554 170 408 652 414 792 554 16 254 128 366 694 456 722 484 44 282 694 456 792 554 736 498 708 470 764 526 722 484 114 352 736 498 128 366 170 408 694 456 170 408 736 498 792 554 58 296 114 352 170 408 652 414 694 456 170 408 764 526 114 352 764 526 156 394 778 540 170 408 86 324 750 512 694 456 764 526 86 324 708 470 792 554 156 394 792 554 778 540 16 254 72 310 792 554 666 428 16 254 44 282

Verifier Data (download as text)

63 unsatisfied constraints, 5210 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/node12/watcher-275084-1169216469 -o ROOT/results/node12/solver-275084-1169216469 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275084-1169216469/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.49 1.89 1.79 4/85 25964
/proc/meminfo: memFree=1426872/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=1784 CPUtime=0
/proc/25963/stat : 25963 (java) D 25960 25963 25484 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 270042223 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/25963/statm: 446 160 125 14 0 91 0

[startup+0.104427 s]
/proc/loadavg: 1.49 1.89 1.79 4/85 25964
/proc/meminfo: memFree=1426872/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=907808 CPUtime=0.06
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 2494 0 1 0 4 2 0 0 17 0 4 0 270042223 929595392 2241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155083690 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 226952 2241 1227 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.513498 s]
/proc/loadavg: 1.49 1.89 1.79 4/85 25964
/proc/meminfo: memFree=1426872/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915332 CPUtime=0.43
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 6150 0 9 0 38 5 0 0 16 0 8 0 270042223 937299968 5897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228833 5897 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.33465 s]
/proc/loadavg: 1.49 1.89 1.79 2/88 25971
/proc/meminfo: memFree=1388896/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915632 CPUtime=1.24
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 12714 0 9 0 109 15 0 0 17 0 8 0 270042223 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228908 12460 2174 14 0 215378 0
[pid=25963/tid=25965] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 270042230 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270042230 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 270042230 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915632 CPUtime=0.15
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 425 0 0 0 15 0 0 0 16 0 8 0 270042234 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915632 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937607168 12460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915632

[startup+2.97194 s]
/proc/loadavg: 1.69 1.92 1.80 3/93 25978
/proc/meminfo: memFree=1367992/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2.85
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18456 0 9 0 250 35 0 0 16 0 8 0 270042223 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18200 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) R 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 17 0 8 0 270042230 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.21
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 452 0 0 0 20 1 0 0 15 0 8 0 270042234 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915740

[startup+6.17251 s]
/proc/loadavg: 1.69 1.92 1.80 3/93 25978
/proc/meminfo: memFree=1361336/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=6.02
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18466 0 9 0 560 42 0 0 20 0 8 0 270042223 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18208 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 17 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.23
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 460 0 0 0 22 1 0 0 15 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915740

[startup+12.6527 s]
/proc/loadavg: 1.74 1.92 1.81 3/93 25978
/proc/meminfo: memFree=1361400/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=12.45
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18466 0 9 0 1196 49 0 0 25 0 8 0 270042223 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18208 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.23
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 460 0 0 0 22 1 0 0 15 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915740

[startup+25.525 s]
/proc/loadavg: 1.78 1.92 1.81 3/93 25978
/proc/meminfo: memFree=1361464/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=25.23
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18470 0 9 0 2465 58 0 0 25 0 8 0 270042223 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18212 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.23
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 462 0 0 0 22 1 0 0 16 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915740

[startup+51.1536 s]
/proc/loadavg: 1.85 1.93 1.81 4/93 25978
/proc/meminfo: memFree=1361528/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=50.73
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18470 0 9 0 4998 75 0 0 25 0 8 0 270042223 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18212 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.23
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 462 0 0 0 22 1 0 0 16 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915740

[startup+102.397 s]
/proc/loadavg: 1.94 1.94 1.82 3/93 25978
/proc/meminfo: memFree=1361592/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=101.71
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18473 0 9 0 10035 136 0 0 25 0 8 0 270042223 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18215 2500 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.24
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 465 0 0 0 23 1 0 0 17 0 8 0 270042234 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18215 18446744073709551615 134512640 134570532 4294956464 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) 915740

[startup+162.485 s]
/proc/loadavg: 1.98 1.95 1.83 3/93 25978
/proc/meminfo: memFree=1361592/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=161.51
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18478 0 9 0 15934 217 0 0 25 0 8 0 270042223 937717760 18220 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.77
Current children cumulated vsize (KiB) 915740

[startup+2084.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1361016/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2074.54
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 207220 234 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.54
Current children cumulated vsize (KiB) 915740

[startup+2144.78 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1361016/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2134.34
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 213199 235 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.34
Current children cumulated vsize (KiB) 915740

[startup+2204.85 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1361016/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2194.12
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 219177 235 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.12
Current children cumulated vsize (KiB) 915740

[startup+2264.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1361016/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2253.89
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 225154 235 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.89
Current children cumulated vsize (KiB) 915740

[startup+2324.97 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1360952/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2313.67
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 231131 236 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.67
Current children cumulated vsize (KiB) 915740

[startup+2385.04 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25978
/proc/meminfo: memFree=1361016/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2373.44
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 237108 236 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.44
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.89 s]
/proc/loadavg: 2.07 2.02 1.93 3/99 26080
/proc/meminfo: memFree=1359712/2055920 swapFree=4160348/4192956
[pid=25963] ppid=25960 vsize=915740 CPUtime=2400.07
/proc/25963/stat : 25963 (java) R 25960 25963 25484 0 -1 0 18669 0 9 0 239771 236 0 0 25 0 8 0 270042223 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25963/statm: 228935 18384 2550 14 0 215405 0
[pid=25963/tid=25965] ppid=25960 vsize=915740 CPUtime=0.09
/proc/25963/task/25965/stat : 25965 (java) S 25960 25963 25484 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25966] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25966/stat : 25966 (java) S 25960 25963 25484 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25967] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25967/stat : 25967 (java) S 25960 25963 25484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042230 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25968] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25968/stat : 25968 (java) S 25960 25963 25484 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25969] ppid=25960 vsize=915740 CPUtime=0.38
/proc/25963/task/25969/stat : 25969 (java) S 25960 25963 25484 0 -1 64 551 0 0 0 36 2 0 0 16 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25970] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25970/stat : 25970 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25963/tid=25971] ppid=25960 vsize=915740 CPUtime=0
/proc/25963/task/25971/stat : 25971 (java) S 25960 25963 25484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042234 937717760 18384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 2411.95
CPU time (s): 2400.12
CPU user time (s): 2397.74
CPU system time (s): 2.38064
CPU usage (%): 99.5099
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.74
system time used= 2.38064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18692
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50295
involuntary context switches= 79427

runsolver used 2.77158 s user time and 8.00178 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Fri Jan 19 14:21:10 UTC 2007


IDJOB= 275084
IDBENCH= 3296
IDSOLVER= 68
FILE ID= node12/275084-1169216469

PBS_JOBID= 3588917

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  59d37a2262a213d15cbbf5bc56d0fc93

RANDOM SEED= 611282419

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.265
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.265
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:       1429624 kB
Buffers:         57180 kB
Cached:         461664 kB
SwapCached:       5164 kB
Active:         225428 kB
Inactive:       327768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1429624 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            4564 kB
Writeback:           0 kB
Mapped:          43560 kB
Slab:            58444 kB
Committed_AS:  7320876 kB
PageTables:       1920 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node12 on Fri Jan 19 15:01:24 UTC 2007