Trace number 275315

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.13 2402.8

General information on the benchmark

Namerlfap/rlfapScens/
scen8.xml
MD5SUMe6c02deb5c518b821b7094a76a19c955
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints5499
Best CPU time to get the best result obtained on this benchmark2400.08
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables916
Number of constraints5744
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5744
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=epfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/275315-1169219950/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.53	     nbVariables=916  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.53	       =>  wckTime=0.19  cpuTime=0.15  mem=8M828
0.53	   
0.53	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
1.85	     nbConstraints=5744  nbConvertedConstraints=5744  nbConvertConstraintsChecks=2225508  nbExtensionStructures=1626
1.85	     nbSharedExtensionStructures=4118  nbConflictsStructures=1626  nbSharedConflictsStructures=4118
1.85	     nbSharedBinaryRepresentations=118373  maxDegree=62  maxArity=2
1.85	       =>  wckTime=1.507  cpuTime=1.33  mem=45M885
1.95	   
1.95	   solver LocalSearchSolver being built... 
1.99	       =>  wckTime=1.646  cpuTime=1.38  mem=10M895
2.01	
2.01	s SATISFIABLE
2.01	o 3104
2.01	c 2640
2.02	o 3120
2.02	c 2624
2.02	o 3132
2.02	c 2612
2.03	o 3147
2.03	c 2597
2.03	o 3157
2.03	c 2587
2.03	o 3170
2.03	c 2574
2.04	o 3181
2.04	c 2563
2.04	o 3191
2.04	c 2553
2.04	o 3203
2.04	c 2541
2.05	o 3213
2.05	c 2531
2.05	o 3225
2.05	c 2519
2.05	o 3237
2.05	c 2507
2.06	o 3238
2.06	c 2506
2.06	o 3247
2.06	c 2497
2.06	o 3255
2.06	c 2489
2.07	o 3262
2.07	c 2482
2.07	o 3270
2.07	c 2474
2.08	o 3278
2.08	c 2466
2.08	o 3285
2.08	c 2459
2.08	o 3291
2.08	c 2453
2.08	o 3300
2.08	c 2444
2.09	o 3311
2.09	c 2433
2.09	o 3315
2.09	c 2429
2.09	o 3324
2.09	c 2420
2.10	o 3330
2.10	c 2414
2.10	o 3336
2.10	c 2408
2.11	o 3341
2.11	c 2403
2.11	o 3347
2.11	c 2397
2.11	o 3357
2.11	c 2387
2.12	o 3364
2.12	c 2380
2.12	o 3371
2.12	c 2373
2.12	o 3374
2.12	c 2370
2.13	o 3378
2.13	c 2366
2.13	o 3383
2.13	c 2361
2.13	o 3392
2.13	c 2352
2.14	o 3397
2.14	c 2347
2.14	o 3402
2.14	c 2342
2.14	o 3407
2.14	c 2337
2.14	o 3412
2.14	c 2332
2.15	o 3417
2.15	c 2327
2.15	o 3424
2.15	c 2320
2.15	o 3432
2.15	c 2312
2.16	o 3438
2.16	c 2306
2.16	o 3444
2.16	c 2300
2.17	o 3448
2.17	c 2296
2.17	o 3453
2.17	c 2291
2.18	o 3457
2.18	c 2287
2.18	o 3463
2.18	c 2281
2.18	o 3467
2.18	c 2277
2.19	o 3468
2.19	c 2276
2.20	o 3470
2.20	c 2274
2.20	o 3473
2.20	c 2271
2.21	o 3478
2.21	c 2266
2.21	o 3482
2.21	c 2262
2.22	o 3490
2.22	c 2254
2.22	o 3497
2.22	c 2247
2.23	o 3504
2.23	c 2240
2.23	o 3505
2.23	c 2239
2.23	o 3507
2.23	c 2237
2.24	o 3513
2.24	c 2231
2.24	o 3517
2.24	c 2227
2.25	o 3521
2.25	c 2223
2.25	o 3526
2.25	c 2218
2.26	o 3529
2.26	c 2215
2.26	o 3533
2.26	c 2211
2.26	o 3538
2.26	c 2206
2.27	o 3543
2.27	c 2201
2.27	o 3544
2.27	c 2200
2.28	o 3548
2.28	c 2196
2.28	o 3550
2.28	c 2194
2.29	o 3555
2.29	c 2189
2.29	o 3560
2.29	c 2184
2.30	o 3566
2.30	c 2178
2.30	o 3567
2.30	c 2177
2.30	o 3570
2.30	c 2174
2.31	o 3576
2.31	c 2168
2.31	o 3583
2.31	c 2161
2.32	o 3586
2.32	c 2158
2.32	o 3589
2.32	c 2155
2.32	o 3593
2.32	c 2151
2.33	o 3598
2.33	c 2146
2.34	o 3604
2.34	c 2140
2.35	o 3611
2.35	c 2133
2.36	o 3616
2.36	c 2128
2.36	o 3621
2.36	c 2123
2.37	o 3626
2.37	c 2118
2.37	o 3631
2.37	c 2113
2.38	o 3635
2.38	c 2109
2.38	o 3639
2.38	c 2105
2.39	o 3643
2.39	c 2101
2.39	o 3646
2.39	c 2098
2.40	o 3651
2.40	c 2093
2.40	o 3652
2.40	c 2092
2.41	o 3655
2.41	c 2089
2.41	o 3660
2.41	c 2084
2.42	o 3662
2.42	c 2082
2.43	o 3668
2.43	c 2076
2.43	o 3671
2.43	c 2073
2.44	o 3674
2.44	c 2070
2.45	o 3678
2.45	c 2066
2.46	o 3684
2.46	c 2060
2.46	o 3687
2.46	c 2057
2.47	o 3693
2.47	c 2051
2.48	o 3694
2.48	c 2050
2.48	o 3697
2.48	c 2047
2.49	o 3700
2.49	c 2044
2.49	o 3701
2.49	c 2043
2.50	o 3705
2.50	c 2039
2.50	o 3708
2.50	c 2036
2.51	o 3712
2.51	c 2032
2.51	o 3714
2.51	c 2030
2.52	o 3720
2.52	c 2024
2.53	o 3726
2.53	c 2018
2.53	o 3730
2.53	c 2014
2.53	o 3736
2.54	c 2008
2.54	o 3740
2.54	c 2004
2.54	o 3746
2.54	c 1998
2.55	o 3751
2.55	c 1993
2.55	o 3756
2.55	c 1988
2.56	o 3761
2.56	c 1983
2.56	o 3766
2.56	c 1978
2.57	o 3771
2.57	c 1973
2.58	o 3774
2.58	c 1970
2.58	o 3775
2.58	c 1969
2.59	o 3781
2.59	c 1963
2.59	o 3784
2.59	c 1960
2.60	o 3786
2.60	c 1958
2.60	o 3787
2.60	c 1957
2.61	o 3789
2.61	c 1955
2.62	o 3794
2.62	c 1950
2.63	o 3796
2.63	c 1948
2.63	o 3797
2.63	c 1947
2.63	o 3802
2.63	c 1942
2.64	o 3807
2.64	c 1937
2.64	o 3809
2.64	c 1935
2.65	o 3817
2.65	c 1927
2.66	o 3820
2.66	c 1924
2.66	o 3825
2.66	c 1919
2.67	o 3831
2.67	c 1913
2.67	o 3837
2.67	c 1907
2.68	o 3838
2.68	c 1906
2.68	o 3841
2.68	c 1903
2.68	o 3844
2.68	c 1900
2.69	o 3850
2.69	c 1894
2.69	o 3853
2.69	c 1891
2.70	o 3855
2.70	c 1889
2.71	o 3856
2.71	c 1888
2.71	o 3860
2.71	c 1884
2.71	o 3862
2.71	c 1882
2.72	o 3864
2.72	c 1880
2.73	o 3869
2.73	c 1875
2.73	o 3871
2.74	c 1873
2.74	o 3876
2.74	c 1868
2.74	o 3880
2.74	c 1864
2.75	o 3884
2.75	c 1860
2.76	o 3888
2.76	c 1856
2.76	o 3890
2.76	c 1854
2.76	o 3896
2.76	c 1848
2.77	o 3900
2.77	c 1844
2.77	o 3903
2.77	c 1841
2.78	o 3904
2.78	c 1840
2.78	o 3909
2.78	c 1835
2.79	o 3911
2.79	c 1833
2.79	o 3912
2.79	c 1832
2.80	o 3919
2.80	c 1825
2.80	o 3922
2.80	c 1822
2.82	o 3923
2.82	c 1821
2.82	o 3926
2.82	c 1818
2.83	o 3931
2.83	c 1813
2.83	o 3936
2.83	c 1808
2.84	o 3940
2.84	c 1804
2.84	o 3944
2.84	c 1800
2.85	o 3948
2.85	c 1796
2.85	o 3952
2.85	c 1792
2.86	o 3955
2.86	c 1789
2.87	o 3958
2.87	c 1786
2.87	o 3962
2.87	c 1782
2.88	o 3966
2.88	c 1778
2.88	o 3970
2.88	c 1774
2.89	o 3974
2.89	c 1770
2.89	o 3977
2.89	c 1767
2.90	o 3980
2.90	c 1764
2.90	o 3986
2.90	c 1758
2.91	o 3988
2.91	c 1756
2.91	o 3991
2.91	c 1753
2.92	o 3993
2.92	c 1751
2.92	o 3995
2.92	c 1749
2.94	o 3997
2.94	c 1747
2.95	o 4000
2.95	c 1744
2.96	o 4003
2.96	c 1741
2.96	o 4006
2.96	c 1738
2.97	o 4009
2.97	c 1735
2.97	o 4014
2.97	c 1730
2.98	o 4016
2.98	c 1728
2.99	o 4018
2.99	c 1726
2.99	o 4021
2.99	c 1723
3.00	o 4024
3.00	c 1720
3.00	o 4026
3.00	c 1718
3.01	o 4031
3.01	c 1713
3.01	o 4036
3.01	c 1708
3.02	o 4039
3.02	c 1705
3.02	o 4042
3.02	c 1702
3.03	o 4044
3.03	c 1700
3.03	o 4045
3.03	c 1699
3.04	o 4047
3.04	c 1697
3.04	o 4049
3.04	c 1695
3.06	o 4051
3.06	c 1693
3.06	o 4053
3.06	c 1691
3.07	o 4054
3.07	c 1690
3.07	o 4058
3.07	c 1686
3.08	o 4060
3.08	c 1684
3.08	o 4064
3.08	c 1680
3.09	o 4065
3.09	c 1679
3.09	o 4068
3.09	c 1676
3.10	o 4071
3.10	c 1673
3.11	o 4075
3.11	c 1669
3.11	o 4080
3.11	c 1664
3.12	o 4082
3.12	c 1662
3.14	o 4083
3.14	c 1661
3.14	o 4086
3.14	c 1658
3.15	o 4089
3.15	c 1655
3.15	o 4092
3.15	c 1652
3.16	o 4095
3.16	c 1649
3.16	o 4098
3.16	c 1646
3.17	o 4101
3.17	c 1643
3.18	o 4105
3.18	c 1639
3.18	o 4109
3.18	c 1635
3.19	o 4113
3.19	c 1631
3.20	o 4117
3.20	c 1627
3.20	o 4121
3.20	c 1623
3.21	o 4125
3.21	c 1619
3.21	o 4126
3.21	c 1618
3.22	o 4130
3.22	c 1614
3.23	o 4136
3.23	c 1608
3.23	o 4139
3.23	c 1605
3.24	o 4143
3.24	c 1601
3.25	o 4150
3.25	c 1594
3.25	o 4156
3.25	c 1588
3.26	o 4159
3.26	c 1585
3.26	o 4163
3.26	c 1581
3.27	o 4167
3.27	c 1577
3.27	o 4171
3.27	c 1573
3.28	o 4172
3.28	c 1572
3.28	o 4175
3.28	c 1569
3.29	o 4178
3.29	c 1566
3.29	o 4181
3.29	c 1563
3.30	o 4184
3.30	c 1560
3.30	o 4187
3.30	c 1557
3.31	o 4189
3.31	c 1555
3.31	o 4193
3.31	c 1551
3.32	o 4196
3.32	c 1548
3.33	o 4198
3.33	c 1546
3.33	o 4200
3.33	c 1544
3.34	o 4202
3.34	c 1542
3.34	o 4204
3.34	c 1540
3.35	o 4206
3.35	c 1538
3.35	o 4207
3.35	c 1537
3.36	o 4209
3.36	c 1535
3.37	o 4211
3.37	c 1533
3.38	o 4213
3.38	c 1531
3.39	o 4214
3.39	c 1530
3.39	o 4216
3.39	c 1528
3.40	o 4218
3.40	c 1526
3.40	o 4222
3.40	c 1522
3.44	o 4224
3.44	c 1520
3.45	o 4226
3.45	c 1518
3.45	o 4228
3.45	c 1516
3.46	o 4230
3.46	c 1514
3.46	o 4234
3.46	c 1510
3.47	o 4237
3.47	c 1507
3.48	o 4240
3.48	c 1504
3.49	o 4242
3.49	c 1502
3.49	o 4243
3.49	c 1501
3.50	o 4246
3.50	c 1498
3.50	o 4249
3.50	c 1495
3.51	o 4251
3.51	c 1493
3.51	o 4253
3.51	c 1491
3.53	o 4255
3.53	c 1489
3.53	o 4259
3.53	c 1485
3.54	o 4261
3.54	c 1483
3.54	o 4262
3.54	c 1482
3.55	o 4264
3.55	c 1480
3.55	o 4265
3.55	c 1479
3.56	o 4267
3.56	c 1477
3.56	o 4271
3.56	c 1473
3.58	o 4273
3.58	c 1471
3.59	o 4275
3.59	c 1469
3.59	o 4277
3.59	c 1467
3.60	o 4280
3.60	c 1464
3.61	o 4281
3.61	c 1463
3.62	o 4287
3.62	c 1457
3.63	o 4289
3.63	c 1455
3.63	o 4291
3.63	c 1453
3.64	o 4294
3.64	c 1450
3.64	o 4300
3.64	c 1444
3.65	o 4302
3.65	c 1442
3.65	o 4304
3.65	c 1440
3.66	o 4307
3.66	c 1437
3.66	o 4310
3.66	c 1434
3.67	o 4312
3.67	c 1432
3.68	o 4313
3.68	c 1431
3.68	o 4315
3.68	c 1429
3.69	o 4319
3.69	c 1425
3.70	o 4321
3.70	c 1423
3.70	o 4323
3.70	c 1421
3.71	o 4326
3.71	c 1418
3.71	o 4328
3.71	c 1416
3.72	o 4329
3.72	c 1415
3.72	o 4333
3.72	c 1411
3.73	o 4335
3.73	c 1409
3.74	o 4340
3.74	c 1404
3.74	o 4342
3.74	c 1402
3.75	o 4346
3.75	c 1398
3.75	o 4350
3.75	c 1394
3.77	o 4353
3.77	c 1391
3.77	o 4355
3.77	c 1389
3.78	o 4359
3.78	c 1385
3.78	o 4362
3.78	c 1382
3.79	o 4364
3.79	c 1380
3.80	o 4366
3.80	c 1378
3.81	o 4369
3.81	c 1375
3.81	o 4370
3.81	c 1374
3.82	o 4373
3.82	c 1371
3.83	o 4375
3.83	c 1369
3.83	o 4378
3.83	c 1366
3.84	o 4379
3.84	c 1365
3.84	o 4382
3.84	c 1362
3.85	o 4384
3.85	c 1360
3.86	o 4385
3.86	c 1359
3.86	o 4387
3.86	c 1357
3.87	o 4390
3.87	c 1354
3.87	o 4392
3.87	c 1352
3.89	o 4395
3.89	c 1349
3.90	o 4397
3.90	c 1347
3.91	o 4399
3.91	c 1345
3.91	o 4403
3.91	c 1341
3.92	o 4408
3.92	c 1336
3.92	o 4409
3.92	c 1335
3.93	o 4411
3.93	c 1333
3.93	o 4413
3.93	c 1331
3.94	o 4415
3.94	c 1329
3.94	o 4417
3.94	c 1327
3.95	o 4420
3.95	c 1324
3.95	o 4423
3.95	c 1321
3.96	o 4426
3.96	c 1318
3.96	o 4429
3.96	c 1315
3.97	o 4432
3.97	c 1312
3.98	o 4435
3.98	c 1309
3.99	o 4437
3.99	c 1307
3.99	o 4440
3.99	c 1304
4.00	o 4443
4.00	c 1301
4.00	o 4446
4.00	c 1298
4.01	o 4449
4.01	c 1295
4.01	o 4452
4.01	c 1292
4.02	o 4453
4.02	c 1291
4.02	o 4455
4.02	c 1289
4.03	o 4459
4.03	c 1285
4.03	o 4461
4.03	c 1283
4.04	o 4463
4.04	c 1281
4.04	o 4467
4.04	c 1277
4.05	o 4469
4.05	c 1275
4.05	o 4473
4.06	c 1271
4.06	o 4476
4.06	c 1268
4.07	o 4478
4.07	c 1266
4.07	o 4480
4.07	c 1264
4.08	o 4482
4.08	c 1262
4.08	o 4484
4.08	c 1260
4.09	o 4486
4.09	c 1258
4.09	o 4487
4.09	c 1257
4.10	o 4488
4.10	c 1256
4.11	o 4492
4.11	c 1252
4.12	o 4494
4.12	c 1250
4.12	o 4497
4.12	c 1247
4.13	o 4498
4.13	c 1246
4.13	o 4500
4.13	c 1244
4.14	o 4503
4.14	c 1241
4.14	o 4507
4.14	c 1237
4.15	o 4508
4.15	c 1236
4.16	o 4510
4.16	c 1234
4.18	o 4513
4.18	c 1231
4.18	o 4515
4.18	c 1229
4.19	o 4516
4.19	c 1228
4.20	o 4518
4.20	c 1226
4.20	o 4520
4.20	c 1224
4.21	o 4522
4.21	c 1222
4.23	o 4523
4.23	c 1221
4.23	o 4525
4.24	c 1219
4.25	o 4529
4.25	c 1215
4.26	o 4530
4.26	c 1214
4.26	o 4534
4.26	c 1210
4.27	o 4536
4.27	c 1208
4.27	o 4537
4.27	c 1207
4.28	o 4539
4.28	c 1205
4.28	o 4542
4.28	c 1202
4.29	o 4544
4.29	c 1200
4.29	o 4546
4.29	c 1198
4.30	o 4548
4.30	c 1196
4.31	o 4552
4.31	c 1192
4.31	o 4554
4.31	c 1190
4.32	o 4555
4.32	c 1189
4.32	o 4557
4.32	c 1187
4.33	o 4558
4.33	c 1186
4.33	o 4559
4.33	c 1185
4.34	o 4561
4.34	c 1183
4.34	o 4562
4.34	c 1182
4.35	o 4564
4.35	c 1180
4.36	o 4566
4.36	c 1178
4.36	o 4568
4.36	c 1176
4.37	o 4569
4.37	c 1175
4.38	o 4571
4.38	c 1173
4.39	o 4574
4.39	c 1170
4.40	o 4579
4.40	c 1165
4.41	o 4580
4.41	c 1164
4.42	o 4581
4.42	c 1163
4.43	o 4582
4.43	c 1162
4.44	o 4583
4.44	c 1161
4.45	o 4585
4.45	c 1159
4.45	o 4586
4.45	c 1158
4.46	o 4587
4.46	c 1157
4.46	o 4589
4.46	c 1155
4.47	o 4593
4.47	c 1151
4.48	o 4597
4.48	c 1147
4.50	o 4598
4.50	c 1146
4.51	o 4600
4.51	c 1144
4.52	o 4602
4.52	c 1142
4.53	o 4606
4.53	c 1138
4.55	o 4608
4.55	c 1136
4.56	o 4611
4.56	c 1133
4.56	o 4612
4.56	c 1132
4.57	o 4614
4.57	c 1130
4.58	o 4616
4.58	c 1128
4.58	o 4617
4.58	c 1127
4.59	o 4619
4.59	c 1125
4.60	o 4620
4.60	c 1124
4.61	o 4623
4.61	c 1121
4.62	o 4624
4.62	c 1120
4.62	o 4625
4.62	c 1119
4.63	o 4627
4.63	c 1117
4.64	o 4629
4.64	c 1115
4.64	o 4630
4.64	c 1114
4.67	o 4631
4.67	c 1113
4.67	o 4633
4.67	c 1111
4.68	o 4634
4.68	c 1110
4.69	o 4638
4.69	c 1106
4.70	o 4639
4.70	c 1105
4.71	o 4642
4.71	c 1102
4.71	o 4644
4.71	c 1100
4.72	o 4645
4.72	c 1099
4.72	o 4646
4.72	c 1098
4.74	o 4648
4.74	c 1096
4.74	o 4649
4.74	c 1095
4.75	o 4652
4.75	c 1092
4.77	o 4653
4.77	c 1091
4.78	o 4655
4.78	c 1089
4.78	o 4658
4.78	c 1086
4.78	o 4660
4.78	c 1084
4.79	o 4662
4.79	c 1082
4.80	o 4663
4.80	c 1081
4.80	o 4665
4.80	c 1079
4.81	o 4666
4.81	c 1078
4.82	o 4668
4.82	c 1076
4.82	o 4670
4.82	c 1074
4.83	o 4672
4.83	c 1072
4.84	o 4673
4.84	c 1071
4.84	o 4675
4.84	c 1069
4.85	o 4677
4.85	c 1067
4.86	o 4679
4.86	c 1065
4.87	o 4680
4.87	c 1064
4.87	o 4682
4.87	c 1062
4.88	o 4684
4.88	c 1060
4.89	o 4686
4.89	c 1058
4.90	o 4688
4.90	c 1056
4.90	o 4695
4.90	c 1049
4.91	o 4697
4.91	c 1047
4.92	o 4699
4.92	c 1045
4.94	o 4700
4.94	c 1044
4.94	o 4702
4.94	c 1042
4.95	o 4703
4.95	c 1041
4.96	o 4705
4.96	c 1039
4.96	o 4707
4.96	c 1037
4.97	o 4709
4.97	c 1035
4.99	o 4711
4.99	c 1033
5.01	o 4712
5.01	c 1032
5.01	o 4714
5.01	c 1030
5.02	o 4716
5.02	c 1028
5.03	o 4718
5.03	c 1026
5.03	o 4719
5.03	c 1025
5.04	o 4720
5.04	c 1024
5.05	o 4722
5.05	c 1022
5.05	o 4723
5.05	c 1021
5.06	o 4725
5.06	c 1019
5.07	o 4726
5.07	c 1018
5.07	o 4727
5.07	c 1017
5.08	o 4728
5.08	c 1016
5.09	o 4729
5.09	c 1015
5.09	o 4730
5.09	c 1014
5.10	o 4731
5.10	c 1013
5.15	o 4732
5.15	c 1012
5.16	o 4733
5.16	c 1011
5.19	o 4736
5.19	c 1008
5.29	o 4738
5.29	c 1006
5.32	o 4740
5.32	c 1004
5.44	o 4741
5.44	c 1003
5.45	o 4742
5.45	c 1002
5.46	o 4743
5.46	c 1001
5.48	o 4744
5.48	c 1000
5.49	o 4746
5.49	c 998
5.50	o 4748
5.50	c 996
5.51	o 4749
5.51	c 995
5.52	o 4750
5.53	c 994
5.53	o 4751
5.53	c 993
5.56	o 4754
5.56	c 990
5.72	o 4755
5.72	c 989
5.73	o 4757
5.73	c 987
5.74	o 4759
5.74	c 985
5.75	o 4763
5.75	c 981
5.76	o 4764
5.76	c 980
5.76	o 4766
5.76	c 978
5.77	o 4770
5.77	c 974
5.78	o 4771
5.78	c 973
5.81	o 4772
5.81	c 972
5.82	o 4774
5.82	c 970
5.88	o 4776
5.88	c 968
5.89	o 4778
5.89	c 966
5.89	o 4780
5.89	c 964
5.91	o 4781
5.91	c 963
5.93	o 4783
5.93	c 961
5.94	o 4784
5.94	c 960
5.94	o 4786
5.94	c 958
5.96	o 4787
5.96	c 957
5.97	o 4788
5.97	c 956
5.98	o 4790
5.98	c 954
5.99	o 4791
5.99	c 953
6.00	o 4792
6.00	c 952
6.01	o 4794
6.01	c 950
6.03	o 4795
6.03	c 949
6.04	o 4796
6.04	c 948
6.05	o 4798
6.05	c 946
6.13	o 4799
6.13	c 945
6.16	o 4802
6.16	c 942
6.17	o 4805
6.17	c 939
6.18	o 4806
6.18	c 938
6.19	o 4807
6.19	c 937
6.25	o 4809
6.25	c 935
6.47	o 4810
6.47	c 934
6.49	o 4812
6.49	c 932
6.49	o 4813
6.49	c 931
6.51	o 4816
6.51	c 928
6.52	o 4818
6.52	c 926
6.54	o 4820
6.54	c 924
6.55	o 4826
6.55	c 918
6.56	o 4828
6.56	c 916
6.59	o 4830
6.59	c 914
6.60	o 4831
6.60	c 913
6.61	o 4832
6.61	c 912
6.61	o 4835
6.61	c 909
6.62	o 4838
6.62	c 906
6.62	o 4840
6.62	c 904
6.65	o 4841
6.65	c 903
6.65	o 4842
6.65	c 902
6.71	o 4843
6.71	c 901
6.72	o 4853
6.72	c 891
6.74	o 4854
6.74	c 890
6.74	o 4855
6.74	c 889
6.76	o 4856
6.76	c 888
7.02	o 4857
7.02	c 887
7.03	o 4859
7.03	c 885
7.03	o 4864
7.03	c 880
7.04	o 4865
7.04	c 879
7.05	o 4868
7.05	c 876
7.07	o 4871
7.07	c 873
7.08	o 4872
7.08	c 872
7.08	o 4873
7.08	c 871
7.09	o 4874
7.09	c 870
7.10	o 4875
7.10	c 869
7.11	o 4876
7.11	c 868
7.11	o 4877
7.12	c 867
7.12	o 4878
7.12	c 866
7.13	o 4879
7.13	c 865
7.14	o 4880
7.14	c 864
7.15	o 4881
7.15	c 863
7.15	o 4882
7.15	c 862
7.16	o 4883
7.16	c 861
7.17	o 4884
7.17	c 860
7.18	o 4885
7.18	c 859
7.19	o 4886
7.19	c 858
7.19	o 4887
7.19	c 857
7.20	o 4888
7.20	c 856
7.21	o 4890
7.21	c 854
7.22	o 4891
7.22	c 853
7.23	o 4892
7.23	c 852
7.23	o 4893
7.23	c 851
7.24	o 4894
7.24	c 850
7.25	o 4895
7.25	c 849
7.38	o 4897
7.38	c 847
7.39	o 4898
7.39	c 846
7.51	o 4905
7.51	c 839
7.52	o 4906
7.52	c 838
7.52	o 4908
7.52	c 836
7.54	o 4910
7.54	c 834
7.54	o 4914
7.54	c 830
7.55	o 4915
7.55	c 829
7.56	o 4916
7.56	c 828
7.59	o 4917
7.59	c 827
7.60	o 4919
7.60	c 825
7.60	o 4920
7.60	c 824
7.62	o 4922
7.62	c 822
7.63	o 4924
7.63	c 820
7.65	o 4925
7.65	c 819
7.66	o 4928
7.66	c 816
7.74	o 4931
7.74	c 813
7.74	o 4933
7.74	c 811
8.02	o 4934
8.02	c 810
8.10	o 4935
8.10	c 809
8.10	o 4937
8.10	c 807
8.12	o 4939
8.12	c 805
8.13	o 4941
8.13	c 803
8.14	o 4945
8.14	c 799
8.16	o 4946
8.16	c 798
8.31	o 4947
8.31	c 797
8.35	o 4949
8.35	c 795
8.36	o 4950
8.36	c 794
8.37	o 4953
8.37	c 791
8.43	o 4954
8.43	c 790
8.48	o 4959
8.48	c 785
8.51	o 4961
8.51	c 783
8.73	o 4962
8.73	c 782
8.74	o 4966
8.74	c 778
8.75	o 4968
8.75	c 776
8.79	o 4970
8.79	c 774
8.80	o 4972
8.80	c 772
8.83	o 4974
8.83	c 770
8.84	o 4979
8.84	c 765
8.97	o 4980
8.97	c 764
8.97	o 4982
8.98	c 762
8.99	o 4983
8.99	c 761
9.03	o 4984
9.03	c 760
9.14	o 4985
9.14	c 759
9.15	o 4986
9.15	c 758
9.18	o 4990
9.18	c 754
9.20	o 4991
9.20	c 753
9.21	o 4992
9.21	c 752
9.21	o 4994
9.21	c 750
9.24	o 4995
9.24	c 749
9.25	o 4997
9.25	c 747
9.26	o 5000
9.26	c 744
9.28	o 5001
9.28	c 743
9.29	o 5002
9.29	c 742
9.49	o 5003
9.49	c 741
9.49	o 5007
9.49	c 737
9.59	o 5008
9.59	c 736
9.65	o 5009
9.65	c 735
9.73	o 5010
9.73	c 734
9.74	o 5012
9.74	c 732
9.76	o 5015
9.76	c 729
9.77	o 5016
9.77	c 728
9.77	o 5017
9.77	c 727
9.83	o 5018
9.83	c 726
9.87	o 5020
9.87	c 724
9.88	o 5022
9.88	c 722
9.90	o 5024
9.90	c 720
9.90	o 5026
9.90	c 718
9.91	o 5028
9.91	c 716
9.92	o 5030
9.92	c 714
10.20	o 5032
10.20	c 712
10.26	o 5034
10.26	c 710
10.28	o 5036
10.28	c 708
10.29	o 5037
10.29	c 707
10.32	o 5038
10.32	c 706
10.32	o 5039
10.32	c 705
10.34	o 5041
10.34	c 703
10.35	o 5044
10.35	c 700
10.38	o 5047
10.38	c 697
10.39	o 5048
10.39	c 696
10.40	o 5050
10.40	c 694
10.64	o 5051
10.64	c 693
10.65	o 5053
10.65	c 691
10.68	o 5054
10.68	c 690
10.69	o 5057
10.69	c 687
10.70	o 5058
10.70	c 686
10.71	o 5059
10.71	c 685
10.73	o 5060
10.73	c 684
10.73	o 5062
10.74	c 682
10.74	o 5066
10.74	c 678
10.76	o 5068
10.76	c 676
10.77	o 5069
10.77	c 675
11.34	o 5078
11.34	c 666
11.35	o 5081
11.35	c 663
11.35	o 5084
11.35	c 660
11.36	o 5085
11.36	c 659
11.37	o 5086
11.37	c 658
11.38	o 5088
11.38	c 656
11.38	o 5090
11.38	c 654
11.39	o 5092
11.39	c 652
11.40	o 5093
11.40	c 651
11.41	o 5094
11.41	c 650
11.42	o 5097
11.42	c 647
11.42	o 5099
11.42	c 645
11.43	o 5101
11.43	c 643
11.44	o 5103
11.44	c 641
11.45	o 5104
11.45	c 640
11.46	o 5107
11.46	c 637
11.47	o 5111
11.47	c 633
11.47	o 5114
11.47	c 630
11.48	o 5118
11.48	c 626
11.49	o 5119
11.49	c 625
11.49	o 5122
11.49	c 622
11.50	o 5123
11.50	c 621
11.51	o 5125
11.51	c 619
11.52	o 5127
11.52	c 617
11.53	o 5129
11.53	c 615
11.53	o 5130
11.53	c 614
11.54	o 5133
11.54	c 611
11.56	o 5134
11.56	c 610
11.65	o 5135
11.65	c 609
11.67	o 5139
11.67	c 605
11.68	o 5140
11.68	c 604
11.69	o 5141
11.69	c 603
11.75	o 5146
11.75	c 598
11.76	o 5148
11.76	c 596
11.80	o 5149
11.80	c 595
11.80	o 5152
11.80	c 592
11.81	o 5156
11.81	c 588
11.82	o 5157
11.82	c 587
11.85	o 5161
11.85	c 583
11.86	o 5162
11.86	c 582
11.87	o 5163
11.87	c 581
11.88	o 5164
11.88	c 580
11.88	o 5168
11.88	c 576
11.89	o 5170
11.89	c 574
11.91	o 5171
11.91	c 573
11.91	o 5176
11.91	c 568
11.92	o 5177
11.92	c 567
11.93	o 5179
11.93	c 565
11.95	o 5182
11.95	c 562
11.96	o 5183
11.96	c 561
11.96	o 5188
11.97	c 556
12.00	o 5191
12.00	c 553
12.01	o 5193
12.01	c 551
12.02	o 5194
12.02	c 550
12.03	o 5198
12.03	c 546
12.03	o 5199
12.03	c 545
12.04	o 5200
12.04	c 544
12.05	o 5201
12.05	c 543
12.05	o 5204
12.05	c 540
12.08	o 5205
12.08	c 539
12.09	o 5208
12.10	c 536
12.14	o 5213
12.14	c 531
12.15	o 5218
12.15	c 526
12.17	o 5223
12.17	c 521
12.17	o 5227
12.17	c 517
12.98	o 5228
12.98	c 516
13.00	o 5230
13.00	c 514
13.06	o 5231
13.06	c 513
13.06	o 5232
13.06	c 512
13.15	o 5233
13.15	c 511
13.16	o 5235
13.16	c 509
13.18	o 5236
13.18	c 508
13.19	o 5237
13.19	c 507
13.21	o 5238
13.21	c 506
13.27	o 5239
13.27	c 505
13.28	o 5241
13.28	c 503
13.30	o 5243
13.30	c 501
13.39	o 5245
13.39	c 499
13.40	o 5252
13.40	c 492
13.41	o 5254
13.41	c 490
13.42	o 5255
13.42	c 489
13.46	o 5256
13.46	c 488
13.47	o 5258
13.47	c 486
13.48	o 5261
13.48	c 483
13.62	o 5262
13.62	c 482
13.63	o 5263
13.63	c 481
13.64	o 5264
13.64	c 480
13.65	o 5266
13.65	c 478
13.82	o 5268
13.82	c 476
14.33	o 5269
14.33	c 475
17.64	o 5270
17.64	c 474
17.65	o 5272
17.65	c 472
17.67	o 5273
17.67	c 471
17.68	o 5275
17.68	c 469
17.70	o 5276
17.70	c 468
17.70	o 5278
17.70	c 466
17.71	o 5285
17.71	c 459
17.72	o 5288
17.72	c 456
17.73	o 5292
17.73	c 452
17.74	o 5293
17.74	c 451
17.78	o 5298
17.78	c 446
17.80	o 5299
17.80	c 445
17.82	o 5302
17.82	c 442
17.83	o 5303
17.83	c 441
17.84	o 5305
17.84	c 439
17.85	o 5307
17.85	c 437
17.94	o 5308
17.94	c 436
17.97	o 5309
17.97	c 435
18.35	o 5310
18.35	c 434
18.40	o 5311
18.40	c 433
18.47	o 5313
18.47	c 431
18.48	o 5314
18.48	c 430
18.94	o 5316
18.94	c 428
18.96	o 5317
18.96	c 427
18.98	o 5319
18.98	c 425
20.29	o 5322
20.29	c 422
20.31	o 5323
20.31	c 421
20.35	o 5324
20.35	c 420
20.36	o 5325
20.36	c 419
20.37	o 5326
20.37	c 418
20.38	o 5327
20.38	c 417
20.39	o 5328
20.39	c 416
20.41	o 5332
20.41	c 412
20.52	o 5334
20.52	c 410
20.53	o 5335
20.53	c 409
21.49	o 5338
21.49	c 406
21.50	o 5340
21.50	c 404
21.54	o 5341
21.54	c 403
21.76	o 5342
21.76	c 402
21.77	o 5344
21.77	c 400
21.80	o 5347
21.80	c 397
21.81	o 5348
21.81	c 396
21.82	o 5349
21.82	c 395
21.84	o 5350
21.84	c 394
21.85	o 5351
21.85	c 393
21.86	o 5352
21.86	c 392
21.92	o 5353
21.92	c 391
22.13	o 5354
22.13	c 390
22.22	o 5356
22.22	c 388
22.31	o 5358
22.31	c 386
22.34	o 5359
22.34	c 385
22.35	o 5362
22.35	c 382
22.36	o 5363
22.36	c 381
22.38	o 5364
22.39	c 380
22.42	o 5366
22.42	c 378
22.43	o 5368
22.43	c 376
22.44	o 5369
22.44	c 375
23.15	o 5374
23.15	c 370
23.16	o 5376
23.16	c 368
23.18	o 5379
23.18	c 365
23.19	o 5382
23.19	c 362
23.21	o 5383
23.21	c 361
23.25	o 5384
23.25	c 360
23.26	o 5386
23.26	c 358
23.29	o 5387
23.29	c 357
23.31	o 5388
23.31	c 356
24.15	o 5390
24.15	c 354
24.16	o 5393
24.16	c 351
24.17	o 5399
24.17	c 345
24.23	o 5401
24.23	c 343
24.26	o 5404
24.26	c 340
24.33	o 5405
24.33	c 339
24.35	o 5406
24.35	c 338
24.38	o 5407
24.38	c 337
24.39	o 5408
24.39	c 336
24.41	o 5409
24.41	c 335
24.43	o 5410
24.43	c 334
32.64	o 5411
32.64	c 333
32.81	o 5412
32.81	c 332
32.86	o 5413
32.86	c 331
32.87	o 5415
32.87	c 329
32.88	o 5418
32.88	c 326
32.89	o 5420
32.89	c 324
32.90	o 5421
32.90	c 323
32.92	o 5423
32.92	c 321
32.93	o 5424
32.93	c 320
32.94	o 5425
32.94	c 319
32.96	o 5426
32.96	c 318
45.16	o 5430
45.16	c 314
45.17	o 5432
45.17	c 312
45.19	o 5434
45.19	c 310
49.02	o 5435
49.02	c 309
49.03	o 5436
49.03	c 308
49.05	o 5437
49.05	c 307
49.21	o 5438
49.21	c 306
49.22	o 5441
49.22	c 303
49.23	o 5444
49.23	c 300
49.24	o 5446
49.24	c 298
49.33	o 5447
49.33	c 297
50.70	o 5448
50.70	c 296
51.15	o 5452
51.15	c 292
51.16	o 5459
51.16	c 285
70.33	o 5460
70.33	c 284
73.83	o 5462
73.83	c 282
74.10	o 5464
74.10	c 280
77.97	o 5465
77.97	c 279
78.00	o 5466
78.00	c 278
78.02	o 5467
78.02	c 277
78.21	o 5468
78.21	c 276
78.24	o 5470
78.24	c 274
78.24	o 5471
78.24	c 273
78.26	o 5472
78.26	c 272
78.27	o 5473
78.27	c 271
78.57	o 5475
78.58	c 269
90.05	o 5476
90.05	c 268
90.06	o 5477
90.06	c 267
98.82	   
98.82	   search
98.82	     run=0  nbConstraintChecks=829862024  nbAssignments=10000
98.82	       =>  wckTime=96.831  cpuTime=96.62  mem=11M870
98.98	o 5478
98.98	c 266
99.06	o 5479
99.06	c 265
99.07	o 5480
99.07	c 264
99.08	o 5482
99.08	c 262
99.10	o 5484
99.10	c 260
99.11	o 5485
99.11	c 259
99.12	o 5486
99.12	c 258
99.34	o 5487
99.34	c 257
99.48	o 5488
99.48	c 256
102.55	o 5489
102.55	c 255
130.90	o 5491
130.90	c 253
130.93	o 5492
130.93	c 252
130.94	o 5493
130.94	c 251
130.96	o 5494
130.96	c 250
130.97	o 5495
130.97	c 249
130.99	o 5496
130.99	c 248
131.02	o 5497
131.02	c 247
131.03	o 5498
131.03	c 246
131.04	o 5499
131.04	c 245
161.09	   
161.09	   search
161.09	     run=1  nbConstraintChecks=1375789915  nbAssignments=16071
161.09	       =>  wckTime=159.105  cpuTime=158.82  mem=11M870
161.09	   
161.09	   global
161.09	     nbConstraintChecks=1375789915  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
161.09	     solvingWckTime=159.101  solvingCpuTime=158.82  expiredTime=no  totalExploration=no  nbFoundSolutions=0
161.09	     globalCpuTime=160.24
161.09	       =>  wckTime=160.752  cpuTime=160.2  mem=11M870
161.09	   
161.09	   solver IterativeSystematicSolver being built... 
161.28	       =>  wckTime=160.934  cpuTime=160.35  mem=27M629
183.62	   
183.62	   preprocessing
183.62	     nbConstraintChecks=87146358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
183.62	     detectedInconsistency=no
183.62	       =>  wckTime=22.341  cpuTime=22.27  mem=27M629
215.23	   
215.23	   search
215.23	     run=0  nbConstraintChecks=61317303  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=436
215.23	     nbFailedAssignments=149  nbBacktracks=10  nbVisitedNodes=596  nbRestartNogoods=0
215.23	       =>  wckTime=53.947  cpuTime=53.84  mem=27M629
283.85	   
283.85	   search
283.85	     run=1  nbConstraintChecks=111372375  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=814
283.85	     nbFailedAssignments=239  nbBacktracks=25  nbVisitedNodes=1079  nbRestartNogoods=38
283.85	       =>  wckTime=122.57  cpuTime=122.37  mem=27M629
441.08	   
441.08	   search
441.08	     run=2  nbConstraintChecks=200534148  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1352
441.08	     nbFailedAssignments=485  nbBacktracks=48  nbVisitedNodes=1886  nbRestartNogoods=74
441.08	       =>  wckTime=279.802  cpuTime=279.44  mem=27M629
572.90	   
572.90	   search
572.90	     run=3  nbConstraintChecks=350548428  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2167
572.90	     nbFailedAssignments=1005  nbBacktracks=81  nbVisitedNodes=3254  nbRestartNogoods=91
572.90	       =>  wckTime=411.62  cpuTime=411.09  mem=27M629
926.61	   
926.61	   search
926.61	     run=4  nbConstraintChecks=699113170  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3831
926.61	     nbFailedAssignments=2343  nbBacktracks=131  nbVisitedNodes=6306  nbRestartNogoods=125
926.61	       =>  wckTime=765.334  cpuTime=764.43  mem=27M629
1433.90	   
1433.90	   search
1433.90	     run=5  nbConstraintChecks=955659398  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5080
1433.90	     nbFailedAssignments=3263  nbBacktracks=206  nbVisitedNodes=8550  nbRestartNogoods=178
1433.90	       =>  wckTime=1272.623  cpuTime=1271.19  mem=27M629
2402.76	v 44 282 142 380 128 366 30 268 652 414 778 540 128 366 16 750 100 338 30 268 268 30 764 526 554 792 414 652 442 680 792 554 764 526 114 352 30 268 30 268 442 680 554 792 142 380 708 470 526 764 352 114 428 666 428 666 380 142 16 254 470 708 254 16 414 652 338 100 428 666 58 296 268 30 366 128 428 666 338 100 792 554 498 736 128 366 282 44 764 526 366 128 254 16 554 792 296 58 456 694 156 394 156 394 100 338 470 708 792 554 722 484 44 282 114 352 16 254 666 428 708 470 86 324 708 470 722 484 366 128 352 114 456 694 16 254 86 324 792 554 408 170 100 156 16 254 72 310 722 484 540 778 72 310 338 100 16 254 792 554 680 442 142 380 792 554 394 156 44 282 352 114 708 470 512 750 792 554 114 352 16 254 414 792 554 792 30 268 680 442 254 16 680 442 442 680 254 16 778 540 442 680 282 44 16 254 750 512 694 456 694 456 778 540 652 414 456 694 442 680 736 498 366 128 268 30 778 540 366 128 414 652 268 30 456 694 86 324 310 72 394 156 456 16 554 792 394 156 16 254 478 240 282 44 428 666 254 16 282 44 792 554 254 16 86 324 540 778 338 100 484 722 540 778 792 554 554 792 254 16 414 652 484 722 666 428 764 442 296 58 554 792 380 142 254 16 324 86 86 324 554 792 722 484 394 156 16 254 554 792 456 694 540 778 86 324 470 708 736 498 142 380 156 394 540 778 338 100 708 414 324 86 414 16 414 652 764 526 666 428 694 456 484 722 540 778 254 16 366 128 366 128 470 268 296 58 694 456 764 526 268 30 708 470 352 114 268 30 540 778 254 16 114 352 114 352 526 764 456 694 268 30 338 100 366 128 428 666 792 554 324 86 128 366 442 680 58 296 680 442 352 114 268 30 310 72 100 338 750 512 30 268 352 114 366 128 338 100 30 268 30 268 778 540 338 100 44 282 282 44 44 282 428 666 282 44 282 44 694 456 778 352 764 526 296 58 694 456 540 778 680 442 722 484 282 44 442 680 750 512 128 366 44 282 30 268 428 666 128 366 254 16 540 778 442 680 750 512 778 540 142 380 708 470 86 324 352 114 366 128 128 366 694 456 708 470 484 722 86 324 442 680 792 554 778 540 666 428 380 142 736 498 44 282 16 254 268 30 338 100 736 498 30 268 540 778 708 470 442 680 554 792 156 394 526 764 484 722 778 540 156 394 86 324 394 156 750 512 338 100 470 708 792 666 30 268 540 778 428 666 100 338 540 778 764 526 666 428 540 778 694 456 44 282 540 778 554 792 554 792 338 100 86 324 282 44 380 142 72 310 268 30 338 100 666 428 470 708 72 310 268 30 142 380 708 470 736 498 554 792 268 30 428 666 268 30 736 498 128 366 722 484 722 484 352 114 680 442 142 380 778 540 778 540 338 100 470 708 44 282 44 282 86 324 156 394 470 708 554 792 254 16 338 100 30 268 778 540 708 470 484 722 554 792 254 16 380 142 792 554 296 58 30 268 428 666 540 778 666 428 30 268 428 666 268 30 736 498 268 30 540 778 282 44 352 114 750 512 394 156 484 722 750 512 310 72 268 30 296 58 268 30 554 792 666 428 680 442 652 414 16 254 128 366 442 680 778 540 44 708 526 764 30 268 428 666 268 30 540 778 484 722 380 142 540 778 282 142 268 30 694 456 114 722 764 526 540 778 114 352 778 540 470 708 16 30 442 680 44 282 16 254 310 72 680 442 554 792 324 16 324 86 764 526 380 142 778 352 268 30 512 750 44 282 666 428 30 268 540 778 296 58 764 526 58 296 456 694 72 310 366 128 778 540 30 268 680 442 142 380 72 310 540 778 44 498 736 470 254 16 778 540 254 16 778 540 72 310 30 268 114 352 268 30 722 484 394 156 380 142 30 268 498 736 142 380 268 30 282 44 128 366 554 792 680 442 268 30 792 554 680 442 310 72 442 680 366 128 30 268 722 484 470 708 540 778 680 442 540 778 86 324 456 694 512 750 128 366 778 540 296 58 380 142 254 16 100 338 792 554 44 282 778 540 142 380

Verifier Data (download as text)

245 unsatisfied constraints, 5499 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/node7/watcher-275315-1169219950 -o ROOT/results/node7/solver-275315-1169219950 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275315-1169219950/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.93 2.00 1.97 4/93 11546
/proc/meminfo: memFree=1255656/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=172 CPUtime=0
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 270390411 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416427 0 0 4096 0 0 0 0 17 0 0 0
/proc/11545/statm: 43 24 18 14 0 3 0

[startup+0.108322 s]
/proc/loadavg: 1.93 2.00 1.97 4/93 11546
/proc/meminfo: memFree=1255656/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=907808 CPUtime=0.05
/proc/11545/stat : 11545 (java) D 11543 11545 11477 0 -1 0 2458 0 1 0 4 1 0 0 21 0 4 0 270390411 929595392 2205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 226952 2205 1215 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.516364 s]
/proc/loadavg: 1.93 2.00 1.97 4/93 11546
/proc/meminfo: memFree=1255656/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915332 CPUtime=0.44
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 6508 0 1 0 41 3 0 0 23 0 8 0 270390411 937299968 6247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228833 6247 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332

[startup+1.33945 s]
/proc/loadavg: 1.93 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1215152/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915632 CPUtime=1.27
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 13377 0 1 0 112 15 0 0 25 0 8 0 270390411 937607168 13115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228908 13115 2174 14 0 215378 0
[pid=11545/tid=11547] ppid=11543 vsize=915632 CPUtime=0
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270390414 937607168 13115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915632 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 270390415 937607168 13115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915636 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 270390415 937611264 13116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915632 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937607168 13116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915632 CPUtime=0.19
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 432 0 0 0 18 1 0 0 16 0 8 0 270390423 937607168 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915632 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937607168 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915632 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937607168 13117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915632

[startup+2.99262 s]
/proc/loadavg: 1.93 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1195632/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2.9
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17683 0 1 0 258 32 0 0 25 0 8 0 270390411 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17419 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 17 0 8 0 270390414 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915744 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937721856 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.23
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 452 0 0 0 21 2 0 0 15 0 8 0 270390423 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915740

[startup+6.28997 s]
/proc/loadavg: 1.93 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1195440/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=6.17
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17693 0 1 0 577 40 0 0 25 0 8 0 270390411 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17427 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.24
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 460 0 0 0 22 2 0 0 17 0 8 0 270390423 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915740

[startup+12.7757 s]
/proc/loadavg: 1.94 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1195440/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=12.64
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17697 0 1 0 1217 47 0 0 25 0 8 0 270390411 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17431 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.25
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 462 0 0 0 23 2 0 0 16 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915740

[startup+25.627 s]
/proc/loadavg: 1.95 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1195504/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=25.47
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17697 0 1 0 2490 57 0 0 25 0 8 0 270390411 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17431 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.25
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 462 0 0 0 23 2 0 0 16 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915740

[startup+51.2467 s]
/proc/loadavg: 1.97 2.00 1.97 3/100 11553
/proc/meminfo: memFree=1195568/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=51.06
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17697 0 1 0 5028 78 0 0 25 0 8 0 270390411 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17431 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.25
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 462 0 0 0 23 2 0 0 16 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915740

[startup+102.503 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 11555
/proc/meminfo: memFree=1195568/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=102.26
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17700 0 1 0 10112 114 0 0 25 0 8 0 270390411 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17434 2500 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1498 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.25
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 465 0 0 0 23 2 0 0 17 0 8 0 270390423 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915740

[startup+162.51 s]
/proc/loadavg: 2.05 2.02 1.98 3/100 11555
/proc/meminfo: memFree=1158448/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=162.2
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17824 0 1 0 16059 161 0 0 25 0 8 0 270390411 937717760 17557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074135235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.46 s]
/proc/loadavg: 2.08 2.03 2.00 3/94 11645
/proc/meminfo: memFree=974624/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2081.11
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 207939 172 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.11
Current children cumulated vsize (KiB) 915740

[startup+2143.47 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2141.07
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 213934 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.07
Current children cumulated vsize (KiB) 915740

[startup+2203.48 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2201.01
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 219928 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155298 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.01
Current children cumulated vsize (KiB) 915740

[startup+2263.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2260.97
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 225924 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.97
Current children cumulated vsize (KiB) 915740

[startup+2323.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2320.91
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 231918 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.91
Current children cumulated vsize (KiB) 915740

[startup+2383.52 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2380.85
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 237912 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2380.85
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.75 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 11645
/proc/meminfo: memFree=974944/2055920 swapFree=4192812/4192956
[pid=11545] ppid=11543 vsize=915740 CPUtime=2400.08
/proc/11545/stat : 11545 (java) R 11543 11545 11477 0 -1 0 17889 0 1 0 239835 173 0 0 25 0 8 0 270390411 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11545/statm: 228935 17598 2551 14 0 215405 0
[pid=11545/tid=11547] ppid=11543 vsize=915740 CPUtime=0.08
/proc/11545/task/11547/stat : 11547 (java) S 11543 11545 11477 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 270390414 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11548] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11548/stat : 11548 (java) S 11543 11545 11477 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11549] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11549/stat : 11549 (java) S 11543 11545 11477 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270390415 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11550] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11550/stat : 11550 (java) S 11543 11545 11477 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11551] ppid=11543 vsize=915740 CPUtime=0.39
/proc/11545/task/11551/stat : 11551 (java) S 11543 11545 11477 0 -1 64 552 0 0 0 36 3 0 0 16 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11552] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11552/stat : 11552 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11545/tid=11553] ppid=11543 vsize=915740 CPUtime=0
/proc/11545/task/11553/stat : 11553 (java) S 11543 11545 11477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270390423 937717760 17598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 2402.8
CPU time (s): 2400.13
CPU user time (s): 2398.38
CPU system time (s): 1.74973
CPU usage (%): 99.8892
Max. virtual memory (cumulated for all children) (KiB): 915744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.38
system time used= 1.74973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50411
involuntary context switches= 110624

runsolver used 3.09253 s user time and 7.62784 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Fri Jan 19 15:19:10 UTC 2007


IDJOB= 275315
IDBENCH= 3790
IDSOLVER= 68
FILE ID= node7/275315-1169219950

PBS_JOBID= 3588943

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e6c02deb5c518b821b7094a76a19c955

RANDOM SEED= 611961196

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.220
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.220
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:       1256136 kB
Buffers:         51524 kB
Cached:         495740 kB
SwapCached:          0 kB
Active:         290804 kB
Inactive:       427404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1256136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2588 kB
Writeback:           0 kB
Mapped:         200044 kB
Slab:            66044 kB
Committed_AS:  8571128 kB
PageTables:       2620 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 node7 on Fri Jan 19 15:59:13 UTC 2007