Trace number 275085

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

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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=pfc.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/275085-1169216469/unknown.xml
0.48	   
0.48	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.62	     nbVariables=916  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.62	       =>  wckTime=0.235  cpuTime=0.15  mem=8M860
0.63	   
0.63	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
2.28	     nbConstraints=5273  nbConvertedConstraints=5273  nbConvertConstraintsChecks=3343856  nbExtensionStructures=2493
2.28	     nbSharedExtensionStructures=2780  nbConflictsStructures=2493  nbSharedConflictsStructures=2780
2.28	     nbSharedBinaryRepresentations=180867  maxDegree=21  maxArity=2
2.28	       =>  wckTime=1.891  cpuTime=1.66  mem=48M758
2.39	   
2.39	   solver LocalSearchSolver being built... 
2.43	       =>  wckTime=2.041  cpuTime=1.71  mem=11M451
2.45	
2.45	s SATISFIABLE
2.46	o 2982
2.46	c 2291
2.46	o 2992
2.46	c 2281
2.46	o 3000
2.46	c 2273
2.47	o 3010
2.47	c 2263
2.47	o 3018
2.47	c 2255
2.47	o 3025
2.47	c 2248
2.47	o 3032
2.47	c 2241
2.48	o 3040
2.48	c 2233
2.48	o 3047
2.48	c 2226
2.48	o 3053
2.48	c 2220
2.49	o 3058
2.49	c 2215
2.49	o 3066
2.49	c 2207
2.49	o 3073
2.49	c 2200
2.49	o 3080
2.49	c 2193
2.50	o 3087
2.50	c 2186
2.50	o 3094
2.50	c 2179
2.50	o 3100
2.50	c 2173
2.51	o 3105
2.51	c 2168
2.51	o 3110
2.51	c 2163
2.51	o 3115
2.51	c 2158
2.52	o 3120
2.52	c 2153
2.52	o 3124
2.52	c 2149
2.52	o 3128
2.52	c 2145
2.53	o 3131
2.53	c 2142
2.53	o 3134
2.53	c 2139
2.53	o 3135
2.53	c 2138
2.53	o 3141
2.53	c 2132
2.54	o 3148
2.54	c 2125
2.54	o 3155
2.54	c 2118
2.55	o 3161
2.55	c 2112
2.55	o 3167
2.55	c 2106
2.55	o 3173
2.56	c 2100
2.56	o 3179
2.56	c 2094
2.56	o 3185
2.56	c 2088
2.57	o 3191
2.57	c 2082
2.57	o 3196
2.57	c 2077
2.57	o 3201
2.57	c 2072
2.58	o 3207
2.58	c 2066
2.58	o 3212
2.58	c 2061
2.59	o 3217
2.59	c 2056
2.59	o 3221
2.59	c 2052
2.59	o 3225
2.59	c 2048
2.60	o 3230
2.60	c 2043
2.60	o 3234
2.60	c 2039
2.60	o 3236
2.60	c 2037
2.61	o 3239
2.61	c 2034
2.61	o 3243
2.61	c 2030
2.61	o 3246
2.61	c 2027
2.62	o 3248
2.62	c 2025
2.62	o 3250
2.62	c 2023
2.62	o 3255
2.62	c 2018
2.62	o 3259
2.62	c 2014
2.63	o 3264
2.63	c 2009
2.63	o 3265
2.63	c 2008
2.63	o 3268
2.63	c 2005
2.64	o 3272
2.64	c 2001
2.64	o 3274
2.64	c 1999
2.64	o 3278
2.64	c 1995
2.65	o 3283
2.65	c 1990
2.65	o 3287
2.65	c 1986
2.66	o 3290
2.66	c 1983
2.66	o 3296
2.66	c 1977
2.67	o 3301
2.67	c 1972
2.67	o 3307
2.67	c 1966
2.68	o 3313
2.68	c 1960
2.68	o 3319
2.68	c 1954
2.68	o 3325
2.68	c 1948
2.69	o 3331
2.69	c 1942
2.69	o 3333
2.69	c 1940
2.70	o 3335
2.70	c 1938
2.70	o 3341
2.70	c 1932
2.71	o 3346
2.71	c 1927
2.71	o 3351
2.71	c 1922
2.72	o 3356
2.72	c 1917
2.72	o 3361
2.72	c 1912
2.72	o 3366
2.72	c 1907
2.73	o 3370
2.73	c 1903
2.73	o 3377
2.73	c 1896
2.74	o 3383
2.74	c 1890
2.74	o 3389
2.74	c 1884
2.75	o 3393
2.75	c 1880
2.75	o 3397
2.75	c 1876
2.76	o 3401
2.76	c 1872
2.76	o 3405
2.76	c 1868
2.76	o 3409
2.76	c 1864
2.77	o 3413
2.77	c 1860
2.77	o 3416
2.77	c 1857
2.78	o 3419
2.78	c 1854
2.78	o 3422
2.78	c 1851
2.79	o 3425
2.79	c 1848
2.79	o 3427
2.79	c 1846
2.79	o 3429
2.79	c 1844
2.80	o 3431
2.80	c 1842
2.80	o 3433
2.80	c 1840
2.81	o 3434
2.81	c 1839
2.81	o 3435
2.81	c 1838
2.81	o 3437
2.81	c 1836
2.82	o 3439
2.82	c 1834
2.83	o 3441
2.83	c 1832
2.83	o 3446
2.83	c 1827
2.83	o 3452
2.83	c 1821
2.84	o 3455
2.84	c 1818
2.84	o 3458
2.84	c 1815
2.85	o 3460
2.85	c 1813
2.85	o 3463
2.85	c 1810
2.86	o 3466
2.86	c 1807
2.86	o 3467
2.86	c 1806
2.87	o 3469
2.87	c 1804
2.87	o 3472
2.87	c 1801
2.87	o 3474
2.87	c 1799
2.88	o 3477
2.88	c 1796
2.88	o 3479
2.88	c 1794
2.89	o 3483
2.89	c 1790
2.89	o 3485
2.89	c 1788
2.89	o 3488
2.89	c 1785
2.90	o 3491
2.90	c 1782
2.90	o 3495
2.90	c 1778
2.91	o 3497
2.91	c 1776
2.91	o 3502
2.91	c 1771
2.92	o 3507
2.92	c 1766
2.92	o 3512
2.92	c 1761
2.93	o 3517
2.93	c 1756
2.94	o 3522
2.94	c 1751
2.94	o 3527
2.94	c 1746
2.95	o 3532
2.95	c 1741
2.95	o 3533
2.95	c 1740
2.96	o 3538
2.96	c 1735
2.96	o 3543
2.96	c 1730
2.97	o 3544
2.97	c 1729
2.97	o 3545
2.97	c 1728
2.97	o 3546
2.97	c 1727
2.98	o 3551
2.98	c 1722
2.99	o 3556
2.99	c 1717
2.99	o 3560
2.99	c 1713
3.00	o 3565
3.00	c 1708
3.00	o 3569
3.00	c 1704
3.01	o 3573
3.01	c 1700
3.01	o 3577
3.01	c 1696
3.02	o 3581
3.02	c 1692
3.02	o 3585
3.02	c 1688
3.03	o 3589
3.03	c 1684
3.03	o 3593
3.03	c 1680
3.04	o 3596
3.04	c 1677
3.04	o 3599
3.04	c 1674
3.05	o 3602
3.05	c 1671
3.05	o 3605
3.05	c 1668
3.06	o 3608
3.06	c 1665
3.06	o 3610
3.06	c 1663
3.07	o 3612
3.07	c 1661
3.08	o 3615
3.08	c 1658
3.09	o 3618
3.09	c 1655
3.09	o 3621
3.09	c 1652
3.10	o 3623
3.10	c 1650
3.10	o 3625
3.10	c 1648
3.11	o 3627
3.11	c 1646
3.12	o 3629
3.12	c 1644
3.12	o 3631
3.12	c 1642
3.14	o 3633
3.14	c 1640
3.14	o 3636
3.14	c 1637
3.15	o 3638
3.15	c 1635
3.15	o 3639
3.15	c 1634
3.16	o 3642
3.16	c 1631
3.16	o 3643
3.16	c 1630
3.17	o 3645
3.17	c 1628
3.17	o 3647
3.17	c 1626
3.18	o 3648
3.18	c 1625
3.18	o 3651
3.18	c 1622
3.19	o 3655
3.19	c 1618
3.19	o 3656
3.19	c 1617
3.20	o 3658
3.20	c 1615
3.20	o 3660
3.20	c 1613
3.21	o 3663
3.21	c 1610
3.22	o 3667
3.22	c 1606
3.22	o 3670
3.22	c 1603
3.22	o 3671
3.23	c 1602
3.23	o 3672
3.23	c 1601
3.24	o 3673
3.24	c 1600
3.24	o 3676
3.24	c 1597
3.25	o 3679
3.25	c 1594
3.25	o 3681
3.25	c 1592
3.26	o 3683
3.26	c 1590
3.26	o 3684
3.26	c 1589
3.27	o 3687
3.27	c 1586
3.28	o 3691
3.28	c 1582
3.28	o 3694
3.28	c 1579
3.29	o 3696
3.29	c 1577
3.30	o 3698
3.30	c 1575
3.30	o 3703
3.30	c 1570
3.31	o 3704
3.31	c 1569
3.32	o 3710
3.32	c 1563
3.32	o 3714
3.32	c 1559
3.33	o 3718
3.33	c 1555
3.33	o 3720
3.33	c 1553
3.34	o 3724
3.34	c 1549
3.35	o 3728
3.35	c 1545
3.35	o 3732
3.35	c 1541
3.36	o 3735
3.36	c 1538
3.37	o 3738
3.37	c 1535
3.37	o 3742
3.37	c 1531
3.38	o 3745
3.38	c 1528
3.39	o 3748
3.39	c 1525
3.39	o 3751
3.39	c 1522
3.40	o 3755
3.40	c 1518
3.41	o 3757
3.41	c 1516
3.41	o 3759
3.41	c 1514
3.42	o 3761
3.42	c 1512
3.42	o 3763
3.42	c 1510
3.43	o 3765
3.43	c 1508
3.44	o 3767
3.44	c 1506
3.44	o 3769
3.44	c 1504
3.45	o 3771
3.45	c 1502
3.46	o 3772
3.46	c 1501
3.46	o 3773
3.46	c 1500
3.47	o 3774
3.47	c 1499
3.47	o 3775
3.47	c 1498
3.48	o 3776
3.48	c 1497
3.50	o 3779
3.50	c 1494
3.53	o 3780
3.53	c 1493
3.53	o 3784
3.53	c 1489
3.54	o 3785
3.54	c 1488
3.55	o 3786
3.55	c 1487
3.55	o 3787
3.55	c 1486
3.58	o 3788
3.58	c 1485
3.58	o 3790
3.58	c 1483
3.59	o 3794
3.59	c 1479
3.59	o 3796
3.59	c 1477
3.60	o 3799
3.60	c 1474
3.60	o 3802
3.61	c 1471
3.61	o 3804
3.61	c 1469
3.62	o 3807
3.62	c 1466
3.64	o 3808
3.64	c 1465
3.64	o 3809
3.64	c 1464
3.66	o 3811
3.66	c 1462
3.66	o 3813
3.66	c 1460
3.67	o 3816
3.67	c 1457
3.68	o 3818
3.68	c 1455
3.68	o 3820
3.68	c 1453
3.69	o 3824
3.69	c 1449
3.69	o 3825
3.69	c 1448
3.70	o 3826
3.70	c 1447
3.71	o 3829
3.71	c 1444
3.72	o 3833
3.72	c 1440
3.73	o 3835
3.73	c 1438
3.73	o 3838
3.73	c 1435
3.74	o 3840
3.74	c 1433
3.74	o 3841
3.74	c 1432
3.79	o 3842
3.79	c 1431
3.79	o 3845
3.79	c 1428
3.80	o 3848
3.80	c 1425
3.80	o 3850
3.80	c 1423
3.81	o 3854
3.81	c 1419
3.81	o 3858
3.81	c 1415
3.82	o 3861
3.82	c 1412
3.83	o 3864
3.83	c 1409
3.83	o 3867
3.83	c 1406
3.84	o 3869
3.84	c 1404
3.85	o 3872
3.85	c 1401
3.85	o 3873
3.85	c 1400
3.86	o 3875
3.86	c 1398
3.88	o 3877
3.88	c 1396
3.89	o 3879
3.89	c 1394
3.89	o 3883
3.89	c 1390
3.90	o 3886
3.90	c 1387
3.91	o 3888
3.91	c 1385
3.91	o 3889
3.91	c 1384
3.92	o 3890
3.92	c 1383
3.92	o 3892
3.92	c 1381
3.93	o 3895
3.93	c 1378
3.94	o 3898
3.94	c 1375
3.95	o 3901
3.95	c 1372
3.95	o 3904
3.95	c 1369
3.96	o 3907
3.96	c 1366
3.98	o 3908
3.98	c 1365
3.99	o 3911
3.99	c 1362
4.00	o 3914
4.00	c 1359
4.00	o 3917
4.00	c 1356
4.01	o 3920
4.01	c 1353
4.02	o 3923
4.02	c 1350
4.02	o 3926
4.02	c 1347
4.03	o 3929
4.03	c 1344
4.04	o 3932
4.04	c 1341
4.04	o 3935
4.04	c 1338
4.05	o 3937
4.05	c 1336
4.06	o 3939
4.06	c 1334
4.06	o 3941
4.06	c 1332
4.09	o 3943
4.09	c 1330
4.09	o 3946
4.09	c 1327
4.10	o 3948
4.10	c 1325
4.11	o 3950
4.11	c 1323
4.11	o 3952
4.11	c 1321
4.12	o 3954
4.12	c 1319
4.13	o 3956
4.13	c 1317
4.13	o 3958
4.13	c 1315
4.14	o 3960
4.14	c 1313
4.15	o 3963
4.15	c 1310
4.15	o 3965
4.15	c 1308
4.16	o 3967
4.16	c 1306
4.16	o 3969
4.17	c 1304
4.17	o 3971
4.17	c 1302
4.18	o 3972
4.18	c 1301
4.18	o 3973
4.18	c 1300
4.25	o 3975
4.25	c 1298
4.26	o 3976
4.26	c 1297
4.32	o 3978
4.32	c 1295
4.33	o 3979
4.33	c 1294
4.34	o 3982
4.34	c 1291
4.34	o 3983
4.34	c 1290
4.36	o 3984
4.36	c 1289
4.37	o 3985
4.37	c 1288
4.40	o 3986
4.40	c 1287
4.41	o 3989
4.41	c 1284
4.42	o 3990
4.42	c 1283
4.42	o 3992
4.42	c 1281
4.43	o 3994
4.43	c 1279
4.43	o 3996
4.43	c 1277
4.44	o 3999
4.44	c 1274
4.45	o 4001
4.45	c 1272
4.46	o 4002
4.46	c 1271
4.47	o 4003
4.47	c 1270
4.48	o 4004
4.48	c 1269
4.55	o 4006
4.55	c 1267
4.62	o 4008
4.62	c 1265
4.63	o 4009
4.63	c 1264
4.64	o 4013
4.64	c 1260
4.64	o 4017
4.64	c 1256
4.65	o 4018
4.65	c 1255
4.65	o 4019
4.65	c 1254
4.66	o 4022
4.66	c 1251
4.67	o 4024
4.67	c 1249
4.68	o 4025
4.68	c 1248
4.68	o 4027
4.68	c 1246
4.69	o 4028
4.69	c 1245
4.70	o 4029
4.70	c 1244
4.70	o 4033
4.70	c 1240
4.71	o 4034
4.71	c 1239
4.75	o 4036
4.75	c 1237
4.78	o 4037
4.78	c 1236
4.78	o 4040
4.78	c 1233
4.79	o 4041
4.79	c 1232
4.80	o 4042
4.80	c 1231
4.80	o 4044
4.80	c 1229
4.81	o 4046
4.81	c 1227
4.86	o 4047
4.86	c 1226
4.86	o 4048
4.86	c 1225
4.87	o 4052
4.87	c 1221
4.88	o 4053
4.88	c 1220
4.89	o 4055
4.89	c 1218
4.90	o 4057
4.90	c 1216
4.90	o 4059
4.90	c 1214
4.97	o 4060
4.97	c 1213
4.98	o 4061
4.98	c 1212
4.99	o 4062
4.99	c 1211
5.00	o 4065
5.00	c 1208
5.01	o 4068
5.01	c 1205
5.02	o 4070
5.02	c 1203
5.03	o 4071
5.03	c 1202
5.03	o 4073
5.03	c 1200
5.05	o 4074
5.05	c 1199
5.10	o 4075
5.10	c 1198
5.12	o 4077
5.12	c 1196
5.12	o 4079
5.12	c 1194
5.13	o 4081
5.14	c 1192
5.14	o 4084
5.14	c 1189
5.15	o 4086
5.15	c 1187
5.16	o 4088
5.16	c 1185
5.16	o 4090
5.16	c 1183
5.17	o 4092
5.17	c 1181
5.18	o 4094
5.18	c 1179
5.19	o 4095
5.19	c 1178
5.20	o 4096
5.20	c 1177
5.22	o 4097
5.22	c 1176
5.23	o 4098
5.23	c 1175
5.23	o 4099
5.23	c 1174
5.24	o 4100
5.24	c 1173
5.25	o 4103
5.25	c 1170
5.25	o 4104
5.25	c 1169
5.26	o 4105
5.26	c 1168
5.27	o 4106
5.27	c 1167
5.27	o 4107
5.27	c 1166
5.28	o 4108
5.28	c 1165
5.29	o 4111
5.29	c 1162
5.30	o 4112
5.30	c 1161
5.32	o 4114
5.32	c 1159
5.45	o 4115
5.45	c 1158
5.46	o 4116
5.46	c 1157
5.46	o 4119
5.46	c 1154
5.47	o 4120
5.47	c 1153
5.48	o 4122
5.48	c 1151
5.62	o 4123
5.62	c 1150
5.62	o 4124
5.62	c 1149
5.65	o 4125
5.65	c 1148
5.65	o 4127
5.65	c 1146
5.66	o 4129
5.66	c 1144
5.68	o 4130
5.68	c 1143
5.72	o 4131
5.72	c 1142
5.73	o 4132
5.73	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.86	o 4143
5.86	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.93	o 4151
5.93	c 1122
5.93	o 4152
5.93	c 1121
5.95	o 4153
5.96	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.39	o 4170
6.39	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.48	o 4180
6.48	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.60	o 4189
6.60	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.71	o 4196
6.71	c 1077
6.74	o 4197
6.74	c 1076
6.74	o 4198
6.74	c 1075
6.75	o 4199
6.75	c 1074
6.87	o 4201
6.87	c 1072
6.89	o 4202
6.89	c 1071
6.90	o 4206
6.90	c 1067
6.91	o 4207
6.91	c 1066
6.95	o 4208
6.95	c 1065
6.96	o 4211
6.96	c 1062
6.97	o 4214
6.97	c 1059
6.99	o 4215
6.99	c 1058
7.00	o 4216
7.00	c 1057
7.01	o 4218
7.01	c 1055
7.03	o 4219
7.03	c 1054
7.04	o 4221
7.04	c 1052
7.07	o 4223
7.07	c 1050
7.08	o 4225
7.08	c 1048
7.08	o 4227
7.08	c 1046
7.10	o 4229
7.10	c 1044
7.11	o 4230
7.11	c 1043
7.12	o 4234
7.12	c 1039
7.13	o 4235
7.13	c 1038
7.17	o 4236
7.17	c 1037
7.21	o 4237
7.21	c 1036
7.22	o 4239
7.22	c 1034
7.23	o 4241
7.23	c 1032
7.24	o 4242
7.24	c 1031
7.25	o 4245
7.25	c 1028
7.27	o 4246
7.27	c 1027
7.33	o 4247
7.33	c 1026
7.34	o 4248
7.34	c 1025
7.35	o 4249
7.35	c 1024
7.36	o 4251
7.36	c 1022
7.37	o 4253
7.37	c 1020
7.37	o 4255
7.38	c 1018
7.38	o 4257
7.38	c 1016
7.41	o 4259
7.41	c 1014
7.42	o 4260
7.42	c 1013
7.45	o 4262
7.45	c 1011
7.46	o 4264
7.46	c 1009
7.47	o 4265
7.47	c 1008
7.49	o 4266
7.49	c 1007
7.59	o 4269
7.59	c 1004
7.59	o 4271
7.59	c 1002
7.60	o 4273
7.60	c 1000
7.62	o 4275
7.62	c 998
7.63	o 4277
7.63	c 996
7.64	o 4278
7.64	c 995
7.65	o 4280
7.65	c 993
7.71	o 4281
7.71	c 992
7.72	o 4283
7.72	c 990
7.73	o 4285
7.73	c 988
7.74	o 4286
7.74	c 987
7.75	o 4287
7.75	c 986
7.78	o 4289
7.78	c 984
7.78	o 4291
7.78	c 982
7.79	o 4292
7.79	c 981
7.81	o 4295
7.81	c 978
7.81	o 4297
7.81	c 976
7.83	o 4299
7.83	c 974
7.97	o 4300
7.97	c 973
7.98	o 4301
7.98	c 972
7.99	o 4302
7.99	c 971
8.00	o 4303
8.00	c 970
8.01	o 4304
8.01	c 969
8.02	o 4305
8.02	c 968
8.03	o 4306
8.03	c 967
8.04	o 4307
8.04	c 966
8.05	o 4308
8.05	c 965
8.06	o 4309
8.06	c 964
8.07	o 4312
8.07	c 961
8.08	o 4318
8.08	c 955
8.09	o 4321
8.09	c 952
8.09	o 4322
8.09	c 951
8.23	o 4323
8.23	c 950
8.23	o 4324
8.23	c 949
8.24	o 4325
8.24	c 948
8.25	o 4326
8.25	c 947
8.26	o 4327
8.26	c 946
8.27	o 4328
8.27	c 945
8.29	o 4329
8.29	c 944
8.30	o 4330
8.30	c 943
8.57	o 4332
8.57	c 941
8.58	o 4334
8.58	c 939
8.58	o 4335
8.58	c 938
8.61	o 4336
8.61	c 937
8.62	o 4337
8.62	c 936
8.63	o 4338
8.63	c 935
8.72	o 4340
8.72	c 933
8.73	o 4341
8.73	c 932
8.78	o 4342
8.78	c 931
8.79	o 4345
8.79	c 928
8.80	o 4346
8.80	c 927
9.61	o 4347
9.61	c 926
9.62	o 4350
9.62	c 923
9.63	o 4351
9.63	c 922
9.68	o 4352
9.68	c 921
9.83	o 4353
9.83	c 920
9.84	o 4355
9.84	c 918
9.85	o 4356
9.85	c 917
9.85	o 4357
9.85	c 916
10.29	o 4359
10.29	c 914
10.31	o 4360
10.31	c 913
10.32	o 4364
10.32	c 909
10.32	o 4367
10.32	c 906
10.33	o 4368
10.33	c 905
10.37	o 4369
10.37	c 904
10.38	o 4371
10.38	c 902
10.39	o 4372
10.39	c 901
10.43	o 4375
10.43	c 898
10.45	o 4376
10.45	c 897
10.46	o 4380
10.46	c 893
10.48	o 4382
10.48	c 891
10.49	o 4383
10.49	c 890
10.50	o 4384
10.50	c 889
10.51	o 4386
10.51	c 887
10.53	o 4387
10.53	c 886
10.56	o 4388
10.56	c 885
10.57	o 4389
10.57	c 884
10.62	o 4392
10.62	c 881
10.65	o 4395
10.65	c 878
10.66	o 4397
10.66	c 876
10.67	o 4398
10.67	c 875
11.28	o 4400
11.28	c 873
11.29	o 4402
11.29	c 871
11.30	o 4404
11.30	c 869
11.32	o 4405
11.32	c 868
11.71	o 4406
11.71	c 867
11.72	o 4407
11.72	c 866
11.75	o 4409
11.75	c 864
11.76	o 4410
11.76	c 863
11.84	o 4411
11.84	c 862
11.87	o 4414
11.87	c 859
11.88	o 4417
11.88	c 856
11.89	o 4418
11.89	c 855
11.90	o 4420
11.90	c 853
11.93	o 4422
11.93	c 851
12.02	o 4425
12.02	c 848
12.21	o 4427
12.21	c 846
12.28	o 4429
12.28	c 844
12.32	o 4430
12.32	c 843
12.41	o 4431
12.41	c 842
12.42	o 4434
12.42	c 839
12.53	o 4436
12.53	c 837
12.54	o 4438
12.54	c 835
12.56	o 4440
12.56	c 833
12.70	o 4442
12.70	c 831
12.75	o 4445
12.75	c 828
12.75	o 4446
12.75	c 827
12.81	o 4447
12.81	c 826
12.85	o 4448
12.85	c 825
12.86	o 4450
12.86	c 823
12.89	o 4451
12.89	c 822
12.90	o 4452
12.90	c 821
12.91	o 4454
12.91	c 819
13.03	o 4455
13.03	c 818
13.04	o 4456
13.04	c 817
13.05	o 4458
13.05	c 815
13.06	o 4460
13.06	c 813
13.09	o 4461
13.09	c 812
13.10	o 4463
13.10	c 810
13.11	o 4465
13.11	c 808
13.16	o 4466
13.16	c 807
13.20	o 4467
13.20	c 806
13.21	o 4468
13.21	c 805
13.23	o 4470
13.23	c 803
13.24	o 4474
13.24	c 799
13.25	o 4477
13.25	c 796
13.26	o 4481
13.26	c 792
13.27	o 4484
13.27	c 789
13.28	o 4486
13.28	c 787
13.29	o 4488
13.29	c 785
13.30	o 4490
13.30	c 783
13.31	o 4491
13.31	c 782
13.34	o 4492
13.34	c 781
13.35	o 4493
13.35	c 780
13.42	o 4495
13.42	c 778
13.46	o 4497
13.46	c 776
13.51	o 4498
13.51	c 775
13.52	o 4499
13.52	c 774
13.53	o 4501
13.53	c 772
13.81	o 4503
13.81	c 770
13.84	o 4504
13.84	c 769
13.85	o 4505
13.85	c 768
13.95	o 4506
13.95	c 767
13.96	o 4508
13.96	c 765
13.97	o 4509
13.97	c 764
14.00	o 4510
14.00	c 763
14.34	o 4511
14.34	c 762
14.41	o 4512
14.41	c 761
14.42	o 4513
14.42	c 760
14.43	o 4516
14.43	c 757
14.45	o 4520
14.45	c 753
14.46	o 4521
14.46	c 752
14.49	o 4523
14.49	c 750
14.52	o 4525
14.52	c 748
14.54	o 4527
14.54	c 746
14.56	o 4528
14.56	c 745
14.57	o 4530
14.57	c 743
14.58	o 4532
14.58	c 741
14.62	o 4533
14.62	c 740
14.63	o 4535
14.63	c 738
14.66	o 4537
14.66	c 736
14.67	o 4539
14.67	c 734
14.72	o 4540
14.72	c 733
14.73	o 4542
14.73	c 731
14.76	o 4543
14.76	c 730
14.77	o 4545
14.77	c 728
14.78	o 4546
14.78	c 727
14.79	o 4547
14.79	c 726
14.81	o 4549
14.81	c 724
14.82	o 4551
14.82	c 722
14.84	o 4552
14.84	c 721
14.89	o 4553
14.89	c 720
14.92	o 4554
14.92	c 719
14.92	o 4556
14.92	c 717
14.97	o 4558
14.97	c 715
15.01	o 4559
15.01	c 714
15.08	o 4561
15.08	c 712
15.12	o 4562
15.12	c 711
15.16	o 4563
15.16	c 710
15.70	o 4564
15.70	c 709
15.71	o 4565
15.71	c 708
15.72	o 4566
15.72	c 707
15.73	o 4567
15.73	c 706
15.74	o 4569
15.74	c 704
15.75	o 4570
15.75	c 703
15.77	o 4571
15.77	c 702
15.87	o 4574
15.87	c 699
15.89	o 4575
15.89	c 698
15.90	o 4577
15.90	c 696
15.93	o 4578
15.93	c 695
16.75	o 4579
16.75	c 694
16.77	o 4580
16.77	c 693
16.78	o 4581
16.78	c 692
16.93	o 4583
16.93	c 690
16.94	o 4585
16.94	c 688
16.98	o 4586
16.98	c 687
16.99	o 4587
16.99	c 686
17.08	o 4588
17.08	c 685
17.08	o 4590
17.08	c 683
17.12	o 4592
17.12	c 681
17.81	o 4593
17.81	c 680
17.83	o 4594
17.83	c 679
17.85	o 4596
17.85	c 677
17.86	o 4597
17.86	c 676
17.89	o 4600
17.89	c 673
17.90	o 4604
17.90	c 669
17.94	o 4606
17.94	c 667
17.94	o 4609
17.94	c 664
17.95	o 4614
17.95	c 659
17.98	o 4615
17.98	c 658
18.01	o 4616
18.01	c 657
18.03	o 4617
18.03	c 656
18.04	o 4618
18.04	c 655
18.06	o 4620
18.06	c 653
18.07	o 4621
18.07	c 652
18.12	o 4622
18.12	c 651
18.25	o 4624
18.25	c 649
18.26	o 4625
18.26	c 648
18.30	o 4627
18.30	c 646
18.30	o 4628
18.30	c 645
18.31	o 4629
18.31	c 644
18.33	o 4631
18.33	c 642
18.35	o 4632
18.35	c 641
18.91	o 4634
18.91	c 639
18.92	o 4636
18.92	c 637
18.98	o 4637
18.98	c 636
18.99	o 4638
18.99	c 635
19.04	o 4640
19.04	c 633
19.07	o 4641
19.07	c 632
19.10	o 4642
19.10	c 631
19.12	o 4643
19.12	c 630
19.13	o 4644
19.13	c 629
19.22	o 4645
19.22	c 628
19.24	o 4647
19.24	c 626
19.36	o 4648
19.36	c 625
19.40	o 4650
19.40	c 623
19.41	o 4652
19.41	c 621
19.43	o 4655
19.43	c 618
19.45	o 4656
19.45	c 617
19.46	o 4657
19.46	c 616
19.50	o 4659
19.50	c 614
19.51	o 4661
19.51	c 612
19.51	o 4664
19.51	c 609
19.52	o 4666
19.52	c 607
19.53	o 4668
19.53	c 605
19.54	o 4671
19.54	c 602
19.55	o 4672
19.55	c 601
19.57	o 4673
19.57	c 600
19.58	o 4674
19.58	c 599
19.59	o 4676
19.59	c 597
19.61	o 4677
19.61	c 596
19.62	o 4678
19.62	c 595
19.64	o 4679
19.64	c 594
20.01	o 4680
20.01	c 593
20.02	o 4681
20.02	c 592
20.04	o 4683
20.04	c 590
20.05	o 4685
20.05	c 588
20.06	o 4686
20.06	c 587
20.07	o 4687
20.07	c 586
20.11	o 4688
20.11	c 585
20.14	o 4689
20.14	c 584
20.15	o 4691
20.15	c 582
20.44	o 4693
20.44	c 580
20.47	o 4694
20.47	c 579
20.48	o 4695
20.48	c 578
20.49	o 4697
20.49	c 576
20.54	o 4698
20.54	c 575
20.64	o 4700
20.64	c 573
20.67	o 4702
20.67	c 571
20.70	o 4704
20.70	c 569
22.81	o 4705
22.81	c 568
22.82	o 4706
22.82	c 567
23.09	o 4708
23.09	c 565
23.11	o 4711
23.11	c 562
23.12	o 4712
23.12	c 561
23.15	o 4715
23.15	c 558
23.50	o 4717
23.50	c 556
23.50	o 4718
23.50	c 555
23.53	o 4720
23.53	c 553
23.56	o 4721
23.56	c 552
24.05	o 4725
24.05	c 548
24.06	o 4726
24.06	c 547
24.08	o 4728
24.08	c 545
24.09	o 4729
24.09	c 544
24.10	o 4730
24.10	c 543
24.12	o 4731
24.12	c 542
24.21	o 4732
24.21	c 541
24.27	o 4734
24.27	c 539
24.85	o 4735
24.85	c 538
24.88	o 4736
24.88	c 537
25.32	o 4740
25.32	c 533
25.33	o 4742
25.33	c 531
25.34	o 4744
25.34	c 529
25.70	o 4746
25.70	c 527
27.06	o 4747
27.06	c 526
27.18	o 4749
27.18	c 524
27.19	o 4752
27.19	c 521
27.20	o 4753
27.20	c 520
27.22	o 4755
27.22	c 518
27.23	o 4756
27.23	c 517
27.66	o 4758
27.66	c 515
27.69	o 4759
27.69	c 514
27.70	o 4760
27.70	c 513
27.71	o 4762
27.71	c 511
27.81	o 4764
27.81	c 509
27.83	o 4766
27.83	c 507
27.84	o 4768
27.84	c 505
27.85	o 4769
27.85	c 504
27.95	o 4770
27.95	c 503
27.96	o 4771
27.96	c 502
27.99	o 4772
27.99	c 501
28.00	o 4773
28.00	c 500
28.01	o 4774
28.01	c 499
28.02	o 4775
28.02	c 498
28.15	o 4778
28.15	c 495
28.17	o 4779
28.17	c 494
28.18	o 4780
28.18	c 493
28.19	o 4781
28.19	c 492
28.22	o 4782
28.22	c 491
32.82	o 4783
32.82	c 490
32.83	o 4784
32.83	c 489
32.85	o 4785
32.85	c 488
32.86	o 4786
32.86	c 487
32.87	o 4787
32.87	c 486
32.91	o 4789
32.91	c 484
32.95	o 4791
32.95	c 482
36.17	o 4792
36.17	c 481
36.18	o 4793
36.18	c 480
36.22	o 4797
36.22	c 476
36.23	o 4799
36.23	c 474
36.24	o 4800
36.24	c 473
36.35	o 4801
36.35	c 472
36.41	o 4802
36.41	c 471
36.43	o 4806
36.43	c 467
36.46	o 4808
36.46	c 465
36.48	o 4809
36.48	c 464
36.49	o 4811
36.49	c 462
36.63	o 4812
36.63	c 461
36.64	o 4813
36.64	c 460
36.65	o 4814
36.65	c 459
37.14	o 4816
37.14	c 457
37.16	o 4817
37.16	c 456
37.26	o 4818
37.26	c 455
37.27	o 4819
37.27	c 454
37.28	o 4820
37.28	c 453
37.30	o 4822
37.30	c 451
37.31	o 4824
37.31	c 449
38.14	o 4825
38.14	c 448
40.73	o 4826
40.73	c 447
40.75	o 4827
40.75	c 446
40.77	o 4828
40.77	c 445
40.80	o 4829
40.80	c 444
40.84	o 4830
40.84	c 443
40.85	o 4832
40.85	c 441
40.91	o 4833
40.91	c 440
40.92	o 4834
40.92	c 439
40.93	o 4835
40.93	c 438
40.94	o 4836
40.94	c 437
41.08	o 4837
41.08	c 436
41.35	o 4839
41.35	c 434
41.49	o 4841
41.49	c 432
41.51	o 4842
41.51	c 431
41.53	o 4844
41.53	c 429
41.54	o 4848
41.54	c 425
41.56	o 4850
41.56	c 423
41.69	o 4853
41.69	c 420
43.21	o 4854
43.21	c 419
43.26	o 4855
43.26	c 418
43.28	o 4856
43.28	c 417
43.29	o 4858
43.29	c 415
43.35	o 4859
43.35	c 414
51.78	o 4861
51.78	c 412
51.80	o 4863
51.80	c 410
52.17	o 4864
52.17	c 409
52.19	o 4865
52.19	c 408
52.82	o 4868
52.82	c 405
52.86	o 4871
52.86	c 402
52.96	o 4872
52.96	c 401
53.01	o 4874
53.01	c 399
53.02	o 4875
53.02	c 398
53.13	o 4878
53.13	c 395
53.14	o 4880
53.14	c 393
53.15	o 4883
53.15	c 390
53.17	o 4884
53.17	c 389
53.18	o 4885
53.18	c 388
53.20	o 4886
53.20	c 387
53.21	o 4888
53.21	c 385
53.24	o 4889
53.24	c 384
53.26	o 4890
53.26	c 383
54.97	o 4891
54.97	c 382
54.99	o 4892
54.99	c 381
55.77	o 4894
55.77	c 379
55.87	o 4895
55.87	c 378
56.33	o 4896
56.33	c 377
56.34	o 4897
56.34	c 376
56.48	o 4898
56.48	c 375
56.50	o 4899
56.50	c 374
58.39	o 4900
58.39	c 373
58.41	o 4901
58.41	c 372
58.46	o 4902
58.46	c 371
58.50	o 4904
58.50	c 369
58.57	o 4905
58.57	c 368
59.55	o 4906
59.55	c 367
59.57	o 4907
59.57	c 366
59.57	o 4908
59.57	c 365
59.59	o 4909
59.59	c 364
59.60	o 4910
59.60	c 363
59.64	o 4912
59.64	c 361
59.67	o 4913
59.67	c 360
59.68	o 4915
59.68	c 358
59.86	o 4918
59.86	c 355
59.88	o 4921
59.88	c 352
59.89	o 4922
59.89	c 351
59.98	o 4924
59.98	c 349
59.99	o 4926
59.99	c 347
60.02	o 4929
60.02	c 344
60.08	o 4931
60.08	c 342
60.09	o 4934
60.09	c 339
60.42	o 4936
60.42	c 337
60.43	o 4937
60.43	c 336
60.44	o 4938
60.44	c 335
60.45	o 4939
60.45	c 334
60.46	o 4940
60.46	c 333
60.47	o 4941
60.47	c 332
60.48	o 4942
60.48	c 331
60.49	o 4944
60.49	c 329
60.49	o 4947
60.49	c 326
60.50	o 4950
60.50	c 323
60.51	o 4951
60.51	c 322
60.53	o 4952
60.53	c 321
60.54	o 4955
60.54	c 318
60.55	o 4957
60.55	c 316
60.56	o 4958
60.56	c 315
60.64	o 4959
60.64	c 314
60.65	o 4960
60.65	c 313
60.65	o 4961
60.65	c 312
60.66	o 4963
60.66	c 310
60.67	o 4964
60.67	c 309
60.68	o 4967
60.68	c 306
60.69	o 4968
60.69	c 305
60.81	o 4969
60.81	c 304
61.84	o 4971
61.84	c 302
61.86	o 4972
61.86	c 301
62.02	o 4973
62.02	c 300
62.03	o 4974
62.03	c 299
63.24	o 4975
63.24	c 298
63.34	o 4977
63.34	c 296
63.36	o 4980
63.36	c 293
63.38	o 4982
63.38	c 291
63.39	o 4983
63.39	c 290
63.40	o 4984
63.40	c 289
63.70	o 4986
63.70	c 287
63.71	o 4989
63.71	c 284
63.72	o 4990
63.72	c 283
63.73	o 4996
63.73	c 277
63.74	o 4998
63.74	c 275
63.75	o 5000
63.75	c 273
63.79	o 5001
63.79	c 272
63.82	o 5002
63.82	c 271
64.13	o 5003
64.13	c 270
64.15	o 5004
64.15	c 269
64.38	o 5005
64.38	c 268
64.41	o 5006
64.41	c 267
64.41	o 5007
64.41	c 266
64.42	o 5008
64.42	c 265
64.43	o 5011
64.43	c 262
64.44	o 5012
64.44	c 261
64.45	o 5013
64.45	c 260
64.46	o 5014
64.46	c 259
64.47	o 5017
64.47	c 256
65.30	o 5018
65.30	c 255
65.31	o 5019
65.31	c 254
65.31	o 5020
65.31	c 253
65.32	o 5023
65.32	c 250
65.62	o 5025
65.62	c 248
65.63	o 5026
65.63	c 247
65.64	o 5027
65.64	c 246
66.76	o 5028
66.76	c 245
66.77	o 5031
66.77	c 242
66.78	o 5033
66.78	c 240
66.82	o 5034
66.82	c 239
66.83	o 5036
66.83	c 237
66.84	o 5037
66.84	c 236
66.85	o 5038
66.85	c 235
66.86	o 5040
66.86	c 233
66.87	o 5041
66.87	c 232
67.72	o 5042
67.72	c 231
67.75	o 5043
67.75	c 230
67.76	o 5046
67.76	c 227
67.81	o 5047
67.81	c 226
67.83	o 5050
67.83	c 223
67.84	o 5051
67.84	c 222
67.85	o 5052
67.85	c 221
67.88	o 5053
67.88	c 220
67.94	o 5054
67.94	c 219
67.95	o 5055
67.95	c 218
71.15	o 5056
71.15	c 217
71.15	o 5060
71.15	c 213
71.17	o 5061
71.17	c 212
71.18	o 5063
71.18	c 210
71.19	o 5064
71.19	c 209
71.19	o 5066
71.19	c 207
71.21	o 5067
71.21	c 206
71.30	o 5069
71.30	c 204
71.30	o 5071
71.30	c 202
71.31	o 5072
71.31	c 201
71.32	o 5073
71.32	c 200
71.35	o 5074
71.35	c 199
71.38	o 5075
71.38	c 198
72.10	o 5077
72.10	c 196
72.11	o 5080
72.11	c 193
72.13	o 5081
72.13	c 192
72.13	o 5083
72.13	c 190
72.14	o 5086
72.14	c 187
72.20	o 5087
72.20	c 186
73.06	o 5089
73.06	c 184
73.06	o 5092
73.06	c 181
73.07	o 5093
73.07	c 180
73.08	o 5094
73.08	c 179
73.08	o 5096
73.08	c 177
73.09	o 5098
73.09	c 175
73.33	o 5099
73.33	c 174
73.53	o 5100
73.53	c 173
73.57	o 5102
73.57	c 171
73.58	o 5103
73.58	c 170
73.59	o 5104
73.59	c 169
73.62	o 5106
73.62	c 167
73.63	o 5108
73.63	c 165
73.64	o 5109
73.64	c 164
79.48	o 5110
79.48	c 163
79.73	o 5112
79.73	c 161
79.74	o 5114
79.74	c 159
80.09	o 5115
80.09	c 158
80.09	o 5117
80.09	c 156
80.10	o 5120
80.10	c 153
80.13	o 5121
80.13	c 152
80.17	o 5122
80.17	c 151
80.19	o 5125
80.19	c 148
80.20	o 5126
80.20	c 147
80.47	o 5127
80.47	c 146
80.47	o 5131
80.47	c 142
80.48	o 5133
80.48	c 140
80.49	o 5134
80.49	c 139
80.51	o 5135
80.51	c 138
80.52	o 5137
80.52	c 136
84.57	o 5138
84.57	c 135
84.88	o 5139
84.88	c 134
84.91	o 5141
84.91	c 132
84.91	o 5142
84.91	c 131
84.99	o 5143
84.99	c 130
85.00	o 5144
85.00	c 129
85.01	o 5147
85.01	c 126
85.01	o 5149
85.01	c 124
85.02	o 5150
85.02	c 123
85.03	o 5151
85.03	c 122
85.85	o 5152
85.85	c 121
85.87	o 5153
85.87	c 120
85.95	o 5154
85.95	c 119
85.96	o 5155
85.96	c 118
85.96	o 5160
85.96	c 113
85.97	o 5161
85.97	c 112
85.99	o 5163
85.99	c 110
87.01	o 5164
87.01	c 109
88.14	o 5165
88.14	c 108
88.17	o 5166
88.17	c 107
88.20	o 5167
88.20	c 106
88.25	   
88.25	   search
88.25	     run=0  nbConstraintChecks=697177316  nbAssignments=10000
88.25	       =>  wckTime=85.824  cpuTime=85.62  mem=12M436
89.38	o 5168
89.38	c 105
89.64	o 5169
89.64	c 104
89.66	o 5170
89.66	c 103
89.67	o 5172
89.67	c 101
89.67	o 5173
89.67	c 100
89.68	o 5176
89.68	c 97
89.68	o 5177
89.68	c 96
89.68	o 5178
89.68	c 95
89.69	o 5180
89.69	c 93
89.69	o 5181
89.69	c 92
89.70	o 5183
89.70	c 90
89.76	o 5187
89.76	c 86
89.77	o 5189
89.77	c 84
89.77	o 5190
89.77	c 83
89.77	o 5191
89.77	c 82
89.78	o 5192
89.78	c 81
89.79	o 5193
89.79	c 80
114.12	o 5194
114.12	c 79
123.16	o 5196
123.16	c 77
130.50	   
130.50	   search
130.50	     run=1  nbConstraintChecks=1075627143  nbAssignments=20000
130.50	       =>  wckTime=128.073  cpuTime=127.63  mem=12M436
130.53	o 5197
130.53	c 76
130.53	o 5199
130.53	c 74
130.53	o 5201
130.53	c 72
130.53	o 5202
130.53	c 71
130.54	o 5203
130.54	c 70
130.54	o 5207
130.54	c 66
130.54	o 5210
130.54	c 63
160.72	   
160.72	   search
160.72	     run=2  nbConstraintChecks=1340046287  nbAssignments=26354
160.72	       =>  wckTime=158.293  cpuTime=157.67  mem=12M436
160.72	   
160.72	   global
160.72	     nbConstraintChecks=1340046287  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
160.72	     solvingWckTime=158.29  solvingCpuTime=157.66  expiredTime=no  totalExploration=no  nbFoundSolutions=0
160.72	     globalCpuTime=159.43
160.72	       =>  wckTime=160.335  cpuTime=159.37  mem=12M436
160.73	   
160.73	   solver IterativeSystematicSolver being built... 
160.91	       =>  wckTime=160.519  cpuTime=159.51  mem=27M465
160.95	   
160.95	   preprocessing
160.95	     nbConstraintChecks=29474  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
160.95	     detectedInconsistency=no
160.95	       =>  wckTime=0.04  cpuTime=0.03  mem=28M450
340.70	   
340.70	   search
340.70	     run=0  nbConstraintChecks=76712346  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=522
340.70	     nbFailedAssignments=379  nbBacktracks=10  nbVisitedNodes=912  nbRestartNogoods=0
340.70	       =>  wckTime=179.793  cpuTime=178.77  mem=28M450
583.83	   
583.83	   search
583.83	     run=1  nbConstraintChecks=166770677  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1127
583.83	     nbFailedAssignments=842  nbBacktracks=25  nbVisitedNodes=1995  nbRestartNogoods=89
583.83	       =>  wckTime=422.919  cpuTime=420.58  mem=28M450
614.01	   
614.01	   search
614.01	     run=2  nbConstraintChecks=184788042  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1319
614.01	     nbFailedAssignments=880  nbBacktracks=47  nbVisitedNodes=2247  nbRestartNogoods=117
614.01	       =>  wckTime=453.101  cpuTime=450.58  mem=28M450
657.86	   
657.86	   search
657.86	     run=3  nbConstraintChecks=206668872  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1531
657.86	     nbFailedAssignments=927  nbBacktracks=80  nbVisitedNodes=2539  nbRestartNogoods=155
657.86	       =>  wckTime=496.951  cpuTime=494.18  mem=28M450
704.34	   
704.34	   search
704.34	     run=4  nbConstraintChecks=234841842  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1781
704.34	     nbFailedAssignments=992  nbBacktracks=130  nbVisitedNodes=2904  nbRestartNogoods=163
704.34	       =>  wckTime=543.429  cpuTime=540.4  mem=28M450
839.32	   
839.32	   search
839.32	     run=5  nbConstraintChecks=280636910  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2112
839.32	     nbFailedAssignments=1115  nbBacktracks=205  nbVisitedNodes=3433  nbRestartNogoods=196
839.32	       =>  wckTime=678.406  cpuTime=674.65  mem=28M450
1361.49	   
1361.49	   search
1361.49	     run=6  nbConstraintChecks=409826678  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2843
1361.49	     nbFailedAssignments=1590  nbBacktracks=318  nbVisitedNodes=4752  nbRestartNogoods=212
1361.49	       =>  wckTime=1200.58  cpuTime=1194.0  mem=28M450
1873.20	   
1873.21	   search
1873.21	     run=7  nbConstraintChecks=524752589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3472
1873.21	     nbFailedAssignments=1906  nbBacktracks=488  nbVisitedNodes=5867  nbRestartNogoods=248
1873.21	       =>  wckTime=1712.295  cpuTime=1702.92  mem=28M450
2413.02	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/node6/watcher-275085-1169216469 -o ROOT/results/node6/solver-275085-1169216469 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275085-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.43 1.86 1.78 1/83 12522
/proc/meminfo: memFree=1330000/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=18540 CPUtime=0
/proc/12521/stat : 12521 (runsolver) R 12518 12521 12006 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270042622 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12521/statm: 4635 279 244 17 0 2626 0

[startup+0.102583 s]
/proc/loadavg: 1.43 1.86 1.78 1/83 12522
/proc/meminfo: memFree=1330000/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=911488 CPUtime=0.06
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 2571 0 1 0 5 1 0 0 20 0 8 0 270042622 933363712 2318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 227872 2319 1266 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.514634 s]
/proc/loadavg: 1.43 1.86 1.78 1/83 12522
/proc/meminfo: memFree=1330000/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915332 CPUtime=0.4
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 5998 0 17 0 35 5 0 0 18 0 8 0 270042622 937299968 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228833 5757 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915332

[startup+1.33912 s]
/proc/loadavg: 1.43 1.86 1.78 3/101 12541
/proc/meminfo: memFree=1276544/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915632 CPUtime=1.21
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 12427 0 17 0 109 12 0 0 24 0 8 0 270042622 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228908 12181 2171 14 0 215378 0
[pid=12521/tid=12531] ppid=12518 vsize=915632 CPUtime=0
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270042628 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915632 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 270042629 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915632 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 270042629 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915632 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915632 CPUtime=0.18
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 427 0 0 0 17 1 0 0 15 0 8 0 270042632 937607168 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915636 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937611264 12181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915632 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937607168 12182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915632

[startup+2.97892 s]
/proc/loadavg: 1.43 1.86 1.78 3/101 12541
/proc/meminfo: memFree=1252672/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2.84
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18439 0 17 0 249 35 0 0 25 0 8 0 270042622 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954530 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228935 18191 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.23
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 453 0 0 0 22 1 0 0 15 0 8 0 270042632 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915740

[startup+6.2603 s]
/proc/loadavg: 1.40 1.84 1.78 2/88 12550
/proc/meminfo: memFree=1262248/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=6.09
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18451 0 17 0 566 43 0 0 24 0 8 0 270042622 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228935 18200 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.25
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 462 0 0 0 23 2 0 0 16 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915740

[startup+12.7421 s]
/proc/loadavg: 1.36 1.83 1.77 2/88 12556
/proc/meminfo: memFree=1262440/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=12.55
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18451 0 17 0 1204 51 0 0 25 0 8 0 270042622 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228935 18200 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.25
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 462 0 0 0 23 2 0 0 16 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915740

[startup+25.5996 s]
/proc/loadavg: 1.44 1.82 1.77 3/100 12601
/proc/meminfo: memFree=1234632/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=25.38
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18453 0 17 0 2476 62 0 0 25 0 8 0 270042622 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228935 18202 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.26
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 464 0 0 0 24 2 0 0 16 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915740

[startup+51.2976 s]
/proc/loadavg: 1.63 1.83 1.77 3/100 12601
/proc/meminfo: memFree=1234632/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=51.07
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18453 0 17 0 5024 83 0 0 25 0 8 0 270042622 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12521/statm: 228935 18202 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.26
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 464 0 0 0 24 2 0 0 16 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915740

[startup+102.503 s]
/proc/loadavg: 1.71 1.83 1.77 3/100 12717
/proc/meminfo: memFree=1231752/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=102.13
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18456 0 17 0 10069 144 0 0 25 0 8 0 270042622 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18205 2497 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1620 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.27
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 467 0 0 0 25 2 0 0 16 0 8 0 270042632 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 915740

[startup+162.569 s]
/proc/loadavg: 1.89 1.85 1.79 3/100 12717
/proc/meminfo: memFree=1204168/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=161.84
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18590 0 17 0 15960 224 0 0 25 0 8 0 270042622 937717760 18338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074148634 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.16 s]
/proc/loadavg: 2.15 2.06 1.97 3/100 12717
/proc/meminfo: memFree=1203464/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2073.04
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 207073 231 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074174004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.04
Current children cumulated vsize (KiB) 915740

[startup+2144.2 s]
/proc/loadavg: 2.09 2.06 1.98 4/100 12717
/proc/meminfo: memFree=1203400/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2132.75
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 213044 231 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2132.75
Current children cumulated vsize (KiB) 915740

[startup+2204.25 s]
/proc/loadavg: 2.03 2.05 1.98 3/100 12717
/proc/meminfo: memFree=1203400/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2192.48
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 219017 231 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.48
Current children cumulated vsize (KiB) 915740

[startup+2264.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/100 12717
/proc/meminfo: memFree=1203464/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2252.2
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 224989 231 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074175395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.2
Current children cumulated vsize (KiB) 915740

[startup+2324.35 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 12717
/proc/meminfo: memFree=1203400/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2311.92
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 230960 232 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.92
Current children cumulated vsize (KiB) 915740

[startup+2384.4 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 12717
/proc/meminfo: memFree=1203464/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2371.65
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18645 0 17 0 236933 232 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2371.65
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.01 s]
/proc/loadavg: 2.00 2.02 1.98 3/106 12819
/proc/meminfo: memFree=1202200/2055924 swapFree=4165736/4192956
[pid=12521] ppid=12518 vsize=915740 CPUtime=2400.04
/proc/12521/stat : 12521 (java) R 12518 12521 12006 0 -1 0 18646 0 17 0 239767 237 0 0 25 0 8 0 270042622 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12521/statm: 228935 18369 2545 14 0 215405 0
[pid=12521/tid=12531] ppid=12518 vsize=915740 CPUtime=0.09
/proc/12521/task/12531/stat : 12531 (java) S 12518 12521 12006 0 -1 64 1621 0 0 0 9 0 0 0 16 0 8 0 270042628 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12532] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12532/stat : 12532 (java) S 12518 12521 12006 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12533] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12533/stat : 12533 (java) S 12518 12521 12006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270042629 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12538] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12538/stat : 12538 (java) S 12518 12521 12006 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12539] ppid=12518 vsize=915740 CPUtime=0.4
/proc/12521/task/12539/stat : 12539 (java) S 12518 12521 12006 0 -1 64 556 0 0 0 38 2 0 0 16 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12521/tid=12540] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12540/stat : 12540 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12521/tid=12541] ppid=12518 vsize=915740 CPUtime=0
/proc/12521/task/12541/stat : 12541 (java) S 12518 12521 12006 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270042632 937717760 18369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 2413.09
CPU time (s): 2400.12
CPU user time (s): 2397.73
CPU system time (s): 2.38764
CPU usage (%): 99.4626
Max. virtual memory (cumulated for all children) (KiB): 915776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.73
system time used= 2.38764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18670
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50592
involuntary context switches= 122927

runsolver used 2.82357 s user time and 7.79181 s system time

The end

Launcher Data (download as text)

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


IDJOB= 275085
IDBENCH= 3296
IDSOLVER= 69
FILE ID= node6/275085-1169216469

PBS_JOBID= 3588926

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  59d37a2262a213d15cbbf5bc56d0fc93

RANDOM SEED= 176234200

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.240
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.240
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:      2055924 kB
MemFree:       1330744 kB
Buffers:         58376 kB
Cached:         548224 kB
SwapCached:       2476 kB
Active:         238728 kB
Inactive:       405120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1330744 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            2672 kB
Writeback:           0 kB
Mapped:          46904 kB
Slab:            66276 kB
Committed_AS:  7916728 kB
PageTables:       2220 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= 66561 MiB



End job on node6 on Fri Jan 19 15:01:25 UTC 2007