Trace number 275316

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.08 2420.71

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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/275316-1169219953/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.51	     nbVariables=916  nbDomainTypes=7  minDomainSize=6  maxDomainSize=44
0.51	       =>  wckTime=0.208  cpuTime=0.14  mem=8M860
0.51	   
0.51	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
1.96	     nbConstraints=5744  nbConvertedConstraints=5744  nbConvertConstraintsChecks=2225508  nbExtensionStructures=1626
1.96	     nbSharedExtensionStructures=4118  nbConflictsStructures=1626  nbSharedConflictsStructures=4118
1.96	     nbSharedBinaryRepresentations=118373  maxDegree=62  maxArity=2
1.96	       =>  wckTime=1.663  cpuTime=1.42  mem=45M917
2.08	   
2.08	   solver LocalSearchSolver being built... 
2.12	       =>  wckTime=1.815  cpuTime=1.47  mem=10M893
2.14	
2.14	s SATISFIABLE
2.14	o 3104
2.14	c 2640
2.15	o 3120
2.15	c 2624
2.15	o 3132
2.15	c 2612
2.16	o 3147
2.16	c 2597
2.16	o 3157
2.16	c 2587
2.16	o 3170
2.16	c 2574
2.17	o 3181
2.17	c 2563
2.17	o 3191
2.17	c 2553
2.18	o 3203
2.18	c 2541
2.18	o 3213
2.18	c 2531
2.18	o 3225
2.18	c 2519
2.18	o 3237
2.18	c 2507
2.19	o 3238
2.19	c 2506
2.19	o 3247
2.19	c 2497
2.20	o 3255
2.20	c 2489
2.20	o 3262
2.20	c 2482
2.20	o 3270
2.20	c 2474
2.21	o 3278
2.21	c 2466
2.21	o 3285
2.21	c 2459
2.21	o 3291
2.21	c 2453
2.22	o 3300
2.22	c 2444
2.22	o 3311
2.22	c 2433
2.22	o 3315
2.22	c 2429
2.23	o 3324
2.23	c 2420
2.23	o 3330
2.23	c 2414
2.24	o 3336
2.24	c 2408
2.24	o 3341
2.24	c 2403
2.24	o 3347
2.25	c 2397
2.25	o 3357
2.25	c 2387
2.25	o 3364
2.25	c 2380
2.25	o 3371
2.25	c 2373
2.26	o 3374
2.26	c 2370
2.26	o 3378
2.26	c 2366
2.26	o 3383
2.26	c 2361
2.27	o 3392
2.27	c 2352
2.27	o 3397
2.27	c 2347
2.27	o 3402
2.27	c 2342
2.28	o 3407
2.28	c 2337
2.28	o 3412
2.28	c 2332
2.28	o 3417
2.28	c 2327
2.29	o 3424
2.29	c 2320
2.29	o 3432
2.29	c 2312
2.30	o 3438
2.30	c 2306
2.30	o 3444
2.30	c 2300
2.30	o 3448
2.30	c 2296
2.31	o 3453
2.31	c 2291
2.31	o 3457
2.31	c 2287
2.32	o 3463
2.32	c 2281
2.32	o 3467
2.32	c 2277
2.33	o 3468
2.33	c 2276
2.34	o 3470
2.34	c 2274
2.34	o 3473
2.34	c 2271
2.35	o 3478
2.35	c 2266
2.35	o 3482
2.35	c 2262
2.36	o 3490
2.36	c 2254
2.36	o 3497
2.36	c 2247
2.37	o 3504
2.37	c 2240
2.37	o 3505
2.37	c 2239
2.37	o 3507
2.37	c 2237
2.38	o 3513
2.38	c 2231
2.38	o 3517
2.38	c 2227
2.39	o 3521
2.39	c 2223
2.39	o 3526
2.39	c 2218
2.40	o 3529
2.40	c 2215
2.40	o 3533
2.40	c 2211
2.41	o 3538
2.41	c 2206
2.41	o 3543
2.41	c 2201
2.42	o 3544
2.42	c 2200
2.42	o 3548
2.42	c 2196
2.43	o 3550
2.43	c 2194
2.43	o 3555
2.43	c 2189
2.44	o 3560
2.44	c 2184
2.44	o 3566
2.44	c 2178
2.45	o 3567
2.45	c 2177
2.45	o 3570
2.45	c 2174
2.45	o 3576
2.45	c 2168
2.46	o 3583
2.46	c 2161
2.46	o 3586
2.46	c 2158
2.47	o 3589
2.47	c 2155
2.47	o 3593
2.47	c 2151
2.48	o 3598
2.48	c 2146
2.49	o 3604
2.49	c 2140
2.50	o 3611
2.50	c 2133
2.51	o 3616
2.51	c 2128
2.51	o 3621
2.51	c 2123
2.52	o 3626
2.52	c 2118
2.52	o 3631
2.52	c 2113
2.53	o 3635
2.53	c 2109
2.53	o 3639
2.53	c 2105
2.54	o 3643
2.54	c 2101
2.54	o 3646
2.54	c 2098
2.55	o 3651
2.55	c 2093
2.55	o 3652
2.55	c 2092
2.56	o 3655
2.56	c 2089
2.56	o 3660
2.56	c 2084
2.57	o 3662
2.57	c 2082
2.58	o 3668
2.58	c 2076
2.59	o 3671
2.59	c 2073
2.59	o 3674
2.59	c 2070
2.61	o 3678
2.61	c 2066
2.61	o 3684
2.61	c 2060
2.62	o 3687
2.62	c 2057
2.62	o 3693
2.62	c 2051
2.63	o 3694
2.63	c 2050
2.64	o 3697
2.64	c 2047
2.64	o 3700
2.64	c 2044
2.65	o 3701
2.65	c 2043
2.66	o 3705
2.66	c 2039
2.66	o 3708
2.66	c 2036
2.66	o 3712
2.66	c 2032
2.67	o 3714
2.67	c 2030
2.68	o 3720
2.68	c 2024
2.68	o 3726
2.68	c 2018
2.69	o 3730
2.69	c 2014
2.69	o 3736
2.69	c 2008
2.70	o 3740
2.70	c 2004
2.70	o 3746
2.70	c 1998
2.71	o 3751
2.71	c 1993
2.71	o 3756
2.71	c 1988
2.72	o 3761
2.72	c 1983
2.72	o 3766
2.72	c 1978
2.73	o 3771
2.73	c 1973
2.74	o 3774
2.74	c 1970
2.74	o 3775
2.74	c 1969
2.75	o 3781
2.75	c 1963
2.75	o 3784
2.75	c 1960
2.76	o 3786
2.76	c 1958
2.77	o 3787
2.77	c 1957
2.77	o 3789
2.77	c 1955
2.78	o 3794
2.78	c 1950
2.79	o 3796
2.79	c 1948
2.79	o 3797
2.79	c 1947
2.80	o 3802
2.80	c 1942
2.80	o 3807
2.80	c 1937
2.81	o 3809
2.81	c 1935
2.82	o 3817
2.82	c 1927
2.82	o 3820
2.82	c 1924
2.83	o 3825
2.83	c 1919
2.83	o 3831
2.83	c 1913
2.84	o 3837
2.84	c 1907
2.84	o 3838
2.84	c 1906
2.85	o 3841
2.85	c 1903
2.85	o 3844
2.85	c 1900
2.86	o 3850
2.86	c 1894
2.86	o 3853
2.86	c 1891
2.87	o 3855
2.87	c 1889
2.87	o 3856
2.87	c 1888
2.88	o 3860
2.88	c 1884
2.88	o 3862
2.88	c 1882
2.89	o 3864
2.89	c 1880
2.90	o 3869
2.90	c 1875
2.91	o 3871
2.91	c 1873
2.91	o 3876
2.91	c 1868
2.92	o 3880
2.92	c 1864
2.92	o 3884
2.92	c 1860
2.93	o 3888
2.93	c 1856
2.93	o 3890
2.93	c 1854
2.94	o 3896
2.94	c 1848
2.94	o 3900
2.94	c 1844
2.95	o 3903
2.95	c 1841
2.95	o 3904
2.95	c 1840
2.96	o 3909
2.96	c 1835
2.96	o 3911
2.96	c 1833
2.97	o 3912
2.97	c 1832
2.97	o 3919
2.97	c 1825
2.98	o 3922
2.98	c 1822
2.99	o 3923
2.99	c 1821
3.00	o 3926
3.00	c 1818
3.00	o 3931
3.00	c 1813
3.01	o 3936
3.01	c 1808
3.01	o 3940
3.01	c 1804
3.02	o 3944
3.02	c 1800
3.02	o 3948
3.02	c 1796
3.03	o 3952
3.03	c 1792
3.04	o 3955
3.04	c 1789
3.05	o 3958
3.05	c 1786
3.05	o 3962
3.05	c 1782
3.06	o 3966
3.06	c 1778
3.06	o 3970
3.06	c 1774
3.07	o 3974
3.07	c 1770
3.07	o 3977
3.07	c 1767
3.08	o 3980
3.08	c 1764
3.08	o 3986
3.08	c 1758
3.09	o 3988
3.09	c 1756
3.10	o 3991
3.10	c 1753
3.10	o 3993
3.10	c 1751
3.11	o 3995
3.11	c 1749
3.13	o 3997
3.13	c 1747
3.14	o 4000
3.14	c 1744
3.15	o 4003
3.15	c 1741
3.15	o 4006
3.15	c 1738
3.16	o 4009
3.16	c 1735
3.16	o 4014
3.16	c 1730
3.17	o 4016
3.17	c 1728
3.18	o 4018
3.18	c 1726
3.18	o 4021
3.18	c 1723
3.19	o 4024
3.19	c 1720
3.19	o 4026
3.19	c 1718
3.20	o 4031
3.20	c 1713
3.20	o 4036
3.20	c 1708
3.21	o 4039
3.21	c 1705
3.21	o 4042
3.21	c 1702
3.22	o 4044
3.22	c 1700
3.23	o 4045
3.23	c 1699
3.23	o 4047
3.23	c 1697
3.24	o 4049
3.24	c 1695
3.25	o 4051
3.25	c 1693
3.26	o 4053
3.26	c 1691
3.26	o 4054
3.26	c 1690
3.27	o 4058
3.27	c 1686
3.27	o 4060
3.27	c 1684
3.28	o 4064
3.28	c 1680
3.28	o 4065
3.28	c 1679
3.29	o 4068
3.29	c 1676
3.29	o 4071
3.29	c 1673
3.31	o 4075
3.31	c 1669
3.31	o 4080
3.31	c 1664
3.32	o 4082
3.32	c 1662
3.34	o 4083
3.34	c 1661
3.34	o 4086
3.34	c 1658
3.35	o 4089
3.35	c 1655
3.35	o 4092
3.35	c 1652
3.36	o 4095
3.36	c 1649
3.36	o 4098
3.36	c 1646
3.37	o 4101
3.37	c 1643
3.38	o 4105
3.38	c 1639
3.39	o 4109
3.39	c 1635
3.39	o 4113
3.39	c 1631
3.40	o 4117
3.40	c 1627
3.41	o 4121
3.41	c 1623
3.41	o 4125
3.41	c 1619
3.42	o 4126
3.42	c 1618
3.43	o 4130
3.43	c 1614
3.43	o 4136
3.43	c 1608
3.44	o 4139
3.44	c 1605
3.45	o 4143
3.45	c 1601
3.46	o 4150
3.46	c 1594
3.46	o 4156
3.46	c 1588
3.46	o 4159
3.46	c 1585
3.47	o 4163
3.47	c 1581
3.47	o 4167
3.47	c 1577
3.48	o 4171
3.48	c 1573
3.49	o 4172
3.49	c 1572
3.49	o 4175
3.49	c 1569
3.50	o 4178
3.50	c 1566
3.50	o 4181
3.50	c 1563
3.51	o 4184
3.51	c 1560
3.51	o 4187
3.51	c 1557
3.52	o 4189
3.52	c 1555
3.53	o 4193
3.53	c 1551
3.53	o 4196
3.53	c 1548
3.54	o 4198
3.54	c 1546
3.54	o 4200
3.54	c 1544
3.55	o 4202
3.55	c 1542
3.56	o 4204
3.56	c 1540
3.56	o 4206
3.56	c 1538
3.57	o 4207
3.57	c 1537
3.58	o 4209
3.58	c 1535
3.59	o 4211
3.59	c 1533
3.60	o 4213
3.60	c 1531
3.60	o 4214
3.60	c 1530
3.61	o 4216
3.61	c 1528
3.61	o 4218
3.61	c 1526
3.62	o 4222
3.62	c 1522
3.66	o 4224
3.66	c 1520
3.67	o 4226
3.67	c 1518
3.67	o 4228
3.67	c 1516
3.68	o 4230
3.68	c 1514
3.68	o 4234
3.68	c 1510
3.69	o 4237
3.69	c 1507
3.70	o 4240
3.70	c 1504
3.71	o 4242
3.71	c 1502
3.71	o 4243
3.71	c 1501
3.72	o 4246
3.72	c 1498
3.72	o 4249
3.72	c 1495
3.73	o 4251
3.73	c 1493
3.74	o 4253
3.74	c 1491
3.75	o 4255
3.75	c 1489
3.75	o 4259
3.75	c 1485
3.76	o 4261
3.76	c 1483
3.77	o 4262
3.77	c 1482
3.77	o 4264
3.77	c 1480
3.78	o 4265
3.78	c 1479
3.78	o 4267
3.78	c 1477
3.79	o 4271
3.79	c 1473
3.81	o 4273
3.81	c 1471
3.82	o 4275
3.82	c 1469
3.82	o 4277
3.82	c 1467
3.83	o 4280
3.83	c 1464
3.84	o 4281
3.84	c 1463
3.85	o 4287
3.85	c 1457
3.86	o 4289
3.86	c 1455
3.86	o 4291
3.86	c 1453
3.87	o 4294
3.87	c 1450
3.87	o 4300
3.87	c 1444
3.88	o 4302
3.88	c 1442
3.88	o 4304
3.88	c 1440
3.89	o 4307
3.89	c 1437
3.90	o 4310
3.90	c 1434
3.91	o 4312
3.91	c 1432
3.91	o 4313
3.91	c 1431
3.92	o 4315
3.92	c 1429
3.92	o 4319
3.92	c 1425
3.93	o 4321
3.93	c 1423
3.94	o 4323
3.94	c 1421
3.94	o 4326
3.94	c 1418
3.95	o 4328
3.95	c 1416
3.95	o 4329
3.95	c 1415
3.96	o 4333
3.96	c 1411
3.96	o 4335
3.97	c 1409
3.97	o 4340
3.97	c 1404
3.98	o 4342
3.98	c 1402
3.98	o 4346
3.98	c 1398
3.99	o 4350
3.99	c 1394
4.00	o 4353
4.00	c 1391
4.01	o 4355
4.01	c 1389
4.01	o 4359
4.01	c 1385
4.02	o 4362
4.02	c 1382
4.03	o 4364
4.03	c 1380
4.04	o 4366
4.04	c 1378
4.05	o 4369
4.05	c 1375
4.06	o 4370
4.06	c 1374
4.07	o 4373
4.07	c 1371
4.07	o 4375
4.07	c 1369
4.08	o 4378
4.08	c 1366
4.08	o 4379
4.08	c 1365
4.09	o 4382
4.09	c 1362
4.10	o 4384
4.10	c 1360
4.10	o 4385
4.10	c 1359
4.11	o 4387
4.11	c 1357
4.11	o 4390
4.11	c 1354
4.12	o 4392
4.12	c 1352
4.14	o 4395
4.14	c 1349
4.15	o 4397
4.15	c 1347
4.15	o 4399
4.15	c 1345
4.16	o 4403
4.16	c 1341
4.16	o 4408
4.16	c 1336
4.17	o 4409
4.17	c 1335
4.18	o 4411
4.18	c 1333
4.18	o 4413
4.18	c 1331
4.19	o 4415
4.19	c 1329
4.19	o 4417
4.19	c 1327
4.20	o 4420
4.20	c 1324
4.20	o 4423
4.20	c 1321
4.21	o 4426
4.21	c 1318
4.21	o 4429
4.21	c 1315
4.22	o 4432
4.22	c 1312
4.23	o 4435
4.23	c 1309
4.24	o 4437
4.24	c 1307
4.25	o 4440
4.25	c 1304
4.25	o 4443
4.25	c 1301
4.26	o 4446
4.26	c 1298
4.26	o 4449
4.26	c 1295
4.27	o 4452
4.27	c 1292
4.27	o 4453
4.27	c 1291
4.28	o 4455
4.28	c 1289
4.29	o 4459
4.29	c 1285
4.29	o 4461
4.29	c 1283
4.30	o 4463
4.30	c 1281
4.30	o 4467
4.30	c 1277
4.31	o 4469
4.31	c 1275
4.31	o 4473
4.32	c 1271
4.33	o 4476
4.33	c 1268
4.33	o 4478
4.33	c 1266
4.34	o 4480
4.34	c 1264
4.34	o 4482
4.34	c 1262
4.35	o 4484
4.35	c 1260
4.35	o 4486
4.35	c 1258
4.36	o 4487
4.36	c 1257
4.36	o 4488
4.36	c 1256
4.38	o 4492
4.38	c 1252
4.38	o 4494
4.38	c 1250
4.39	o 4497
4.39	c 1247
4.39	o 4498
4.39	c 1246
4.40	o 4500
4.40	c 1244
4.41	o 4503
4.41	c 1241
4.41	o 4507
4.41	c 1237
4.42	o 4508
4.42	c 1236
4.43	o 4510
4.43	c 1234
4.45	o 4513
4.45	c 1231
4.45	o 4515
4.45	c 1229
4.47	o 4516
4.47	c 1228
4.47	o 4518
4.47	c 1226
4.48	o 4520
4.48	c 1224
4.48	o 4522
4.48	c 1222
4.51	o 4523
4.51	c 1221
4.51	o 4525
4.51	c 1219
4.53	o 4529
4.53	c 1215
4.53	o 4530
4.53	c 1214
4.54	o 4534
4.54	c 1210
4.54	o 4536
4.54	c 1208
4.55	o 4537
4.55	c 1207
4.56	o 4539
4.56	c 1205
4.56	o 4542
4.56	c 1202
4.57	o 4544
4.57	c 1200
4.57	o 4546
4.57	c 1198
4.58	o 4548
4.58	c 1196
4.59	o 4552
4.59	c 1192
4.59	o 4554
4.59	c 1190
4.60	o 4555
4.60	c 1189
4.60	o 4557
4.60	c 1187
4.61	o 4558
4.61	c 1186
4.62	o 4559
4.62	c 1185
4.62	o 4561
4.62	c 1183
4.63	o 4562
4.63	c 1182
4.63	o 4564
4.63	c 1180
4.64	o 4566
4.64	c 1178
4.65	o 4568
4.65	c 1176
4.65	o 4569
4.65	c 1175
4.66	o 4571
4.66	c 1173
4.68	o 4574
4.68	c 1170
4.69	o 4579
4.69	c 1165
4.69	o 4580
4.69	c 1164
4.71	o 4581
4.71	c 1163
4.72	o 4582
4.72	c 1162
4.73	o 4583
4.73	c 1161
4.74	o 4585
4.74	c 1159
4.74	o 4586
4.74	c 1158
4.75	o 4587
4.75	c 1157
4.76	o 4589
4.76	c 1155
4.76	o 4593
4.76	c 1151
4.77	o 4597
4.77	c 1147
4.80	o 4598
4.80	c 1146
4.80	o 4600
4.80	c 1144
4.82	o 4602
4.82	c 1142
4.82	o 4606
4.82	c 1138
4.85	o 4608
4.85	c 1136
4.85	o 4611
4.85	c 1133
4.86	o 4612
4.86	c 1132
4.87	o 4614
4.87	c 1130
4.88	o 4616
4.88	c 1128
4.88	o 4617
4.88	c 1127
4.89	o 4619
4.89	c 1125
4.90	o 4620
4.90	c 1124
4.91	o 4623
4.91	c 1121
4.92	o 4624
4.92	c 1120
4.92	o 4625
4.92	c 1119
4.93	o 4627
4.93	c 1117
4.94	o 4629
4.94	c 1115
4.95	o 4630
4.95	c 1114
4.97	o 4631
4.97	c 1113
4.98	o 4633
4.98	c 1111
4.99	o 4634
4.99	c 1110
5.00	o 4638
5.00	c 1106
5.01	o 4639
5.01	c 1105
5.01	o 4642
5.01	c 1102
5.02	o 4644
5.02	c 1100
5.03	o 4645
5.03	c 1099
5.03	o 4646
5.03	c 1098
5.05	o 4648
5.05	c 1096
5.05	o 4649
5.05	c 1095
5.06	o 4652
5.06	c 1092
5.08	o 4653
5.08	c 1091
5.09	o 4655
5.09	c 1089
5.09	o 4658
5.09	c 1086
5.10	o 4660
5.10	c 1084
5.10	o 4662
5.10	c 1082
5.11	o 4663
5.11	c 1081
5.12	o 4665
5.12	c 1079
5.12	o 4666
5.12	c 1078
5.13	o 4668
5.13	c 1076
5.14	o 4670
5.14	c 1074
5.15	o 4672
5.15	c 1072
5.15	o 4673
5.15	c 1071
5.16	o 4675
5.16	c 1069
5.17	o 4677
5.17	c 1067
5.18	o 4679
5.18	c 1065
5.19	o 4680
5.19	c 1064
5.19	o 4682
5.19	c 1062
5.20	o 4684
5.20	c 1060
5.21	o 4686
5.21	c 1058
5.22	o 4688
5.22	c 1056
5.22	o 4695
5.22	c 1049
5.23	o 4697
5.23	c 1047
5.24	o 4699
5.24	c 1045
5.26	o 4700
5.26	c 1044
5.27	o 4702
5.27	c 1042
5.27	o 4703
5.27	c 1041
5.28	o 4705
5.28	c 1039
5.29	o 4707
5.29	c 1037
5.29	o 4709
5.29	c 1035
5.31	o 4711
5.31	c 1033
5.33	o 4712
5.33	c 1032
5.34	o 4714
5.34	c 1030
5.35	o 4716
5.35	c 1028
5.35	o 4718
5.35	c 1026
5.36	o 4719
5.36	c 1025
5.37	o 4720
5.37	c 1024
5.38	o 4722
5.38	c 1022
5.39	o 4723
5.39	c 1021
5.40	o 4725
5.40	c 1019
5.40	o 4726
5.40	c 1018
5.41	o 4727
5.41	c 1017
5.42	o 4728
5.42	c 1016
5.42	o 4729
5.42	c 1015
5.43	o 4730
5.43	c 1014
5.44	o 4731
5.44	c 1013
5.50	o 4732
5.50	c 1012
5.50	o 4733
5.50	c 1011
5.54	o 4736
5.54	c 1008
5.64	o 4738
5.64	c 1006
5.67	o 4740
5.67	c 1004
5.80	o 4741
5.80	c 1003
5.81	o 4742
5.81	c 1002
5.83	o 4743
5.83	c 1001
5.85	o 4744
5.85	c 1000
5.85	o 4746
5.85	c 998
5.87	o 4748
5.87	c 996
5.87	o 4749
5.87	c 995
5.90	o 4750
5.90	c 994
5.90	o 4751
5.90	c 993
5.93	o 4754
5.93	c 990
6.11	o 4755
6.11	c 989
6.12	o 4757
6.12	c 987
6.12	o 4759
6.12	c 985
6.14	o 4763
6.14	c 981
6.14	o 4764
6.14	c 980
6.15	o 4766
6.15	c 978
6.16	o 4770
6.16	c 974
6.17	o 4771
6.17	c 973
6.20	o 4772
6.20	c 972
6.21	o 4774
6.21	c 970
6.28	o 4776
6.28	c 968
6.28	o 4778
6.28	c 966
6.29	o 4780
6.29	c 964
6.31	o 4781
6.31	c 963
6.33	o 4783
6.33	c 961
6.34	o 4784
6.34	c 960
6.35	o 4786
6.35	c 958
6.36	o 4787
6.36	c 957
6.38	o 4788
6.38	c 956
6.39	o 4790
6.39	c 954
6.40	o 4791
6.40	c 953
6.40	o 4792
6.41	c 952
6.42	o 4794
6.42	c 950
6.44	o 4795
6.44	c 949
6.45	o 4796
6.45	c 948
6.46	o 4798
6.46	c 946
6.56	o 4799
6.56	c 945
6.59	o 4802
6.59	c 942
6.59	o 4805
6.59	c 939
6.61	o 4806
6.61	c 938
6.63	o 4807
6.63	c 937
6.68	o 4809
6.68	c 935
6.93	o 4810
6.93	c 934
6.95	o 4812
6.95	c 932
6.95	o 4813
6.95	c 931
6.97	o 4816
6.97	c 928
6.97	o 4818
6.97	c 926
7.00	o 4820
7.00	c 924
7.01	o 4826
7.01	c 918
7.02	o 4828
7.02	c 916
7.05	o 4830
7.05	c 914
7.05	o 4831
7.05	c 913
7.06	o 4832
7.06	c 912
7.06	o 4835
7.06	c 909
7.07	o 4838
7.07	c 906
7.08	o 4840
7.08	c 904
7.10	o 4841
7.10	c 903
7.11	o 4842
7.11	c 902
7.17	o 4843
7.17	c 901
7.18	o 4853
7.18	c 891
7.19	o 4854
7.19	c 890
7.20	o 4855
7.20	c 889
7.21	o 4856
7.21	c 888
7.47	o 4857
7.47	c 887
7.48	o 4859
7.48	c 885
7.49	o 4864
7.49	c 880
7.49	o 4865
7.49	c 879
7.50	o 4868
7.50	c 876
7.52	o 4871
7.52	c 873
7.53	o 4872
7.53	c 872
7.53	o 4873
7.53	c 871
7.54	o 4874
7.54	c 870
7.55	o 4875
7.55	c 869
7.56	o 4876
7.56	c 868
7.56	o 4877
7.56	c 867
7.57	o 4878
7.57	c 866
7.58	o 4879
7.58	c 865
7.59	o 4880
7.59	c 864
7.59	o 4881
7.59	c 863
7.60	o 4882
7.60	c 862
7.61	o 4883
7.61	c 861
7.62	o 4884
7.62	c 860
7.63	o 4885
7.63	c 859
7.63	o 4886
7.63	c 858
7.64	o 4887
7.64	c 857
7.65	o 4888
7.65	c 856
7.66	o 4890
7.66	c 854
7.66	o 4891
7.66	c 853
7.67	o 4892
7.67	c 852
7.68	o 4893
7.68	c 851
7.69	o 4894
7.69	c 850
7.69	o 4895
7.69	c 849
7.82	o 4897
7.82	c 847
7.83	o 4898
7.83	c 846
7.96	o 4905
7.96	c 839
7.96	o 4906
7.96	c 838
7.97	o 4908
7.97	c 836
7.99	o 4910
7.99	c 834
8.00	o 4914
8.00	c 830
8.00	o 4915
8.00	c 829
8.01	o 4916
8.01	c 828
8.04	o 4917
8.04	c 827
8.05	o 4919
8.05	c 825
8.06	o 4920
8.06	c 824
8.08	o 4922
8.08	c 822
8.09	o 4924
8.09	c 820
8.11	o 4925
8.11	c 819
8.12	o 4928
8.12	c 816
8.20	o 4931
8.20	c 813
8.21	o 4933
8.21	c 811
8.50	o 4934
8.50	c 810
8.58	o 4935
8.58	c 809
8.59	o 4937
8.59	c 807
8.60	o 4939
8.60	c 805
8.61	o 4941
8.61	c 803
8.62	o 4945
8.62	c 799
8.65	o 4946
8.65	c 798
8.79	o 4947
8.79	c 797
8.84	o 4949
8.84	c 795
8.85	o 4950
8.85	c 794
8.86	o 4953
8.86	c 791
8.91	o 4954
8.91	c 790
8.96	o 4959
8.96	c 785
8.99	o 4961
8.99	c 783
9.21	o 4962
9.21	c 782
9.22	o 4966
9.22	c 778
9.23	o 4968
9.23	c 776
9.27	o 4970
9.27	c 774
9.28	o 4972
9.28	c 772
9.31	o 4974
9.31	c 770
9.32	o 4979
9.32	c 765
9.45	o 4980
9.45	c 764
9.46	o 4982
9.46	c 762
9.47	o 4983
9.47	c 761
9.51	o 4984
9.51	c 760
9.63	o 4985
9.63	c 759
9.64	o 4986
9.64	c 758
9.67	o 4990
9.67	c 754
9.69	o 4991
9.69	c 753
9.70	o 4992
9.70	c 752
9.70	o 4994
9.70	c 750
9.73	o 4995
9.73	c 749
9.74	o 4997
9.74	c 747
9.75	o 5000
9.75	c 744
9.77	o 5001
9.77	c 743
9.77	o 5002
9.78	c 742
9.97	o 5003
9.97	c 741
9.98	o 5007
9.98	c 737
10.08	o 5008
10.08	c 736
10.13	o 5009
10.13	c 735
10.22	o 5010
10.22	c 734
10.22	o 5012
10.22	c 732
10.24	o 5015
10.24	c 729
10.25	o 5016
10.25	c 728
10.26	o 5017
10.26	c 727
10.32	o 5018
10.32	c 726
10.36	o 5020
10.36	c 724
10.37	o 5022
10.37	c 722
10.38	o 5024
10.38	c 720
10.39	o 5026
10.39	c 718
10.40	o 5028
10.40	c 716
10.41	o 5030
10.41	c 714
10.68	o 5032
10.68	c 712
10.74	o 5034
10.74	c 710
10.76	o 5036
10.76	c 708
10.77	o 5037
10.77	c 707
10.80	o 5038
10.80	c 706
10.80	o 5039
10.80	c 705
10.82	o 5041
10.82	c 703
10.83	o 5044
10.83	c 700
10.86	o 5047
10.86	c 697
10.87	o 5048
10.87	c 696
10.88	o 5050
10.88	c 694
11.12	o 5051
11.12	c 693
11.13	o 5053
11.13	c 691
11.16	o 5054
11.16	c 690
11.17	o 5057
11.17	c 687
11.18	o 5058
11.18	c 686
11.19	o 5059
11.19	c 685
11.20	o 5060
11.20	c 684
11.21	o 5062
11.21	c 682
11.22	o 5066
11.22	c 678
11.24	o 5068
11.24	c 676
11.25	o 5069
11.25	c 675
11.81	o 5078
11.81	c 666
11.82	o 5081
11.82	c 663
11.83	o 5084
11.83	c 660
11.83	o 5085
11.83	c 659
11.84	o 5086
11.84	c 658
11.85	o 5088
11.85	c 656
11.86	o 5090
11.86	c 654
11.86	o 5092
11.86	c 652
11.88	o 5093
11.88	c 651
11.88	o 5094
11.88	c 650
11.89	o 5097
11.89	c 647
11.89	o 5099
11.89	c 645
11.90	o 5101
11.90	c 643
11.91	o 5103
11.91	c 641
11.93	o 5104
11.93	c 640
11.93	o 5107
11.93	c 637
11.94	o 5111
11.94	c 633
11.95	o 5114
11.95	c 630
11.95	o 5118
11.95	c 626
11.96	o 5119
11.96	c 625
11.96	o 5122
11.96	c 622
11.97	o 5123
11.97	c 621
11.98	o 5125
11.98	c 619
11.99	o 5127
11.99	c 617
12.00	o 5129
12.00	c 615
12.00	o 5130
12.00	c 614
12.01	o 5133
12.01	c 611
12.03	o 5134
12.03	c 610
12.12	o 5135
12.12	c 609
12.14	o 5139
12.14	c 605
12.15	o 5140
12.15	c 604
12.16	o 5141
12.16	c 603
12.21	o 5146
12.21	c 598
12.23	o 5148
12.23	c 596
12.27	o 5149
12.27	c 595
12.27	o 5152
12.27	c 592
12.28	o 5156
12.28	c 588
12.28	o 5157
12.28	c 587
12.32	o 5161
12.32	c 583
12.33	o 5162
12.33	c 582
12.33	o 5163
12.33	c 581
12.34	o 5164
12.34	c 580
12.35	o 5168
12.35	c 576
12.36	o 5170
12.36	c 574
12.37	o 5171
12.37	c 573
12.38	o 5176
12.38	c 568
12.39	o 5177
12.39	c 567
12.40	o 5179
12.40	c 565
12.41	o 5182
12.41	c 562
12.42	o 5183
12.42	c 561
12.43	o 5188
12.43	c 556
12.47	o 5191
12.47	c 553
12.48	o 5193
12.48	c 551
12.49	o 5194
12.49	c 550
12.50	o 5198
12.50	c 546
12.50	o 5199
12.50	c 545
12.51	o 5200
12.51	c 544
12.52	o 5201
12.52	c 543
12.52	o 5204
12.52	c 540
12.55	o 5205
12.55	c 539
12.57	o 5208
12.57	c 536
12.61	o 5213
12.61	c 531
12.62	o 5218
12.62	c 526
12.64	o 5223
12.64	c 521
12.64	o 5227
12.64	c 517
13.45	o 5228
13.45	c 516
13.48	o 5230
13.48	c 514
13.53	o 5231
13.53	c 513
13.54	o 5232
13.54	c 512
13.63	o 5233
13.63	c 511
13.64	o 5235
13.64	c 509
13.66	o 5236
13.66	c 508
13.67	o 5237
13.67	c 507
13.69	o 5238
13.69	c 506
13.75	o 5239
13.75	c 505
13.76	o 5241
13.76	c 503
13.78	o 5243
13.78	c 501
13.87	o 5245
13.87	c 499
13.88	o 5252
13.88	c 492
13.89	o 5254
13.89	c 490
13.90	o 5255
13.90	c 489
13.94	o 5256
13.94	c 488
13.95	o 5258
13.95	c 486
13.96	o 5261
13.96	c 483
14.10	o 5262
14.10	c 482
14.11	o 5263
14.11	c 481
14.12	o 5264
14.12	c 480
14.13	o 5266
14.13	c 478
14.30	o 5268
14.30	c 476
14.82	o 5269
14.82	c 475
18.18	o 5270
18.18	c 474
18.19	o 5272
18.19	c 472
18.20	o 5273
18.20	c 471
18.22	o 5275
18.22	c 469
18.24	o 5276
18.24	c 468
18.24	o 5278
18.24	c 466
18.25	o 5285
18.25	c 459
18.26	o 5288
18.26	c 456
18.27	o 5292
18.27	c 452
18.28	o 5293
18.28	c 451
18.32	o 5298
18.32	c 446
18.34	o 5299
18.34	c 445
18.35	o 5302
18.35	c 442
18.37	o 5303
18.37	c 441
18.38	o 5305
18.38	c 439
18.39	o 5307
18.39	c 437
18.48	o 5308
18.48	c 436
18.51	o 5309
18.51	c 435
18.90	o 5310
18.90	c 434
18.95	o 5311
18.95	c 433
19.02	o 5313
19.02	c 431
19.03	o 5314
19.03	c 430
19.51	o 5316
19.51	c 428
19.53	o 5317
19.53	c 427
19.54	o 5319
19.54	c 425
20.89	o 5322
20.89	c 422
20.90	o 5323
20.90	c 421
20.94	o 5324
20.94	c 420
20.95	o 5325
20.95	c 419
20.96	o 5326
20.96	c 418
20.97	o 5327
20.97	c 417
20.98	o 5328
20.98	c 416
21.00	o 5332
21.00	c 412
21.11	o 5334
21.11	c 410
21.13	o 5335
21.13	c 409
22.11	o 5338
22.11	c 406
22.12	o 5340
22.12	c 404
22.15	o 5341
22.15	c 403
22.38	o 5342
22.38	c 402
22.39	o 5344
22.39	c 400
22.42	o 5347
22.42	c 397
22.43	o 5348
22.43	c 396
22.44	o 5349
22.44	c 395
22.46	o 5350
22.46	c 394
22.48	o 5351
22.48	c 393
22.49	o 5352
22.49	c 392
22.54	o 5353
22.54	c 391
22.76	o 5354
22.76	c 390
22.86	o 5356
22.86	c 388
22.95	o 5358
22.95	c 386
22.97	o 5359
22.97	c 385
22.99	o 5362
22.99	c 382
23.00	o 5363
23.00	c 381
23.02	o 5364
23.02	c 380
23.05	o 5366
23.05	c 378
23.07	o 5368
23.07	c 376
23.08	o 5369
23.08	c 375
23.83	o 5374
23.83	c 370
23.84	o 5376
23.84	c 368
23.86	o 5379
23.86	c 365
23.87	o 5382
23.87	c 362
23.89	o 5383
23.89	c 361
23.93	o 5384
23.93	c 360
23.94	o 5386
23.94	c 358
23.97	o 5387
23.97	c 357
23.99	o 5388
23.99	c 356
24.84	o 5390
24.84	c 354
24.85	o 5393
24.85	c 351
24.86	o 5399
24.86	c 345
24.93	o 5401
24.93	c 343
24.96	o 5404
24.96	c 340
25.03	o 5405
25.03	c 339
25.04	o 5406
25.04	c 338
25.08	o 5407
25.08	c 337
25.09	o 5408
25.09	c 336
25.10	o 5409
25.10	c 335
25.13	o 5410
25.13	c 334
33.38	o 5411
33.38	c 333
33.55	o 5412
33.55	c 332
33.60	o 5413
33.60	c 331
33.61	o 5415
33.61	c 329
33.62	o 5418
33.62	c 326
33.63	o 5420
33.63	c 324
33.64	o 5421
33.64	c 323
33.65	o 5423
33.65	c 321
33.67	o 5424
33.67	c 320
33.68	o 5425
33.68	c 319
33.70	o 5426
33.70	c 318
46.17	o 5430
46.17	c 314
46.17	o 5432
46.17	c 312
46.20	o 5434
46.20	c 310
50.10	o 5435
50.10	c 309
50.11	o 5436
50.11	c 308
50.13	o 5437
50.13	c 307
50.29	o 5438
50.29	c 306
50.30	o 5441
50.30	c 303
50.32	o 5444
50.32	c 300
50.33	o 5446
50.33	c 298
50.42	o 5447
50.42	c 297
51.80	o 5448
51.80	c 296
52.26	o 5452
52.26	c 292
52.27	o 5459
52.27	c 285
71.83	o 5460
71.83	c 284
75.38	o 5462
75.38	c 282
75.66	o 5464
75.66	c 280
79.61	o 5465
79.61	c 279
79.63	o 5466
79.63	c 278
79.65	o 5467
79.65	c 277
79.85	o 5468
79.85	c 276
79.88	o 5470
79.88	c 274
79.88	o 5471
79.88	c 273
79.90	o 5472
79.90	c 272
79.91	o 5473
79.91	c 271
80.23	o 5475
80.23	c 269
91.92	o 5476
91.92	c 268
91.93	o 5477
91.93	c 267
100.85	   
100.85	   search
100.85	     run=0  nbConstraintChecks=829862024  nbAssignments=10000
100.85	       =>  wckTime=98.736  cpuTime=97.87  mem=11M867
101.02	o 5478
101.02	c 266
101.10	o 5479
101.10	c 265
101.10	o 5480
101.10	c 264
101.11	o 5482
101.11	c 262
101.13	o 5484
101.13	c 260
101.15	o 5485
101.15	c 259
101.16	o 5486
101.16	c 258
101.38	o 5487
101.38	c 257
101.53	o 5488
101.53	c 256
104.69	o 5489
104.69	c 255
133.56	o 5491
133.56	c 253
133.59	o 5492
133.59	c 252
133.60	o 5493
133.60	c 251
133.62	o 5494
133.62	c 250
133.63	o 5495
133.63	c 249
133.65	o 5496
133.65	c 248
133.68	o 5497
133.68	c 247
133.69	o 5498
133.69	c 246
133.70	o 5499
133.70	c 245
163.99	   
163.99	   search
163.99	     run=1  nbConstraintChecks=1372538652  nbAssignments=16034
163.99	       =>  wckTime=161.874  cpuTime=160.43  mem=11M867
163.99	   
163.99	   global
163.99	     nbConstraintChecks=1372538652  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
163.99	     solvingWckTime=161.87  solvingCpuTime=160.44  expiredTime=no  totalExploration=no  nbFoundSolutions=0
163.99	     globalCpuTime=161.97
163.99	       =>  wckTime=163.689  cpuTime=161.91  mem=11M867
163.99	   
163.99	   solver IterativeSystematicSolver being built... 
164.18	       =>  wckTime=163.88  cpuTime=162.06  mem=27M624
164.23	   
164.23	   preprocessing
164.23	     nbConstraintChecks=46830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
164.23	     detectedInconsistency=no
164.23	       =>  wckTime=0.041  cpuTime=0.02  mem=27M624
185.40	   
185.40	   search
185.40	     run=0  nbConstraintChecks=46829613  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=372
185.40	     nbFailedAssignments=87  nbBacktracks=10  nbVisitedNodes=470  nbRestartNogoods=0
185.40	       =>  wckTime=21.213  cpuTime=20.99  mem=27M624
211.82	   
211.82	   search
211.82	     run=1  nbConstraintChecks=101211737  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=777
211.82	     nbFailedAssignments=201  nbBacktracks=25  nbVisitedNodes=1004  nbRestartNogoods=14
211.82	       =>  wckTime=47.638  cpuTime=47.16  mem=27M624
283.72	   
283.72	   search
283.72	     run=2  nbConstraintChecks=151090549  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1153
283.72	     nbFailedAssignments=289  nbBacktracks=47  nbVisitedNodes=1490  nbRestartNogoods=25
283.72	       =>  wckTime=119.536  cpuTime=118.47  mem=27M624
572.48	   
572.48	   search
572.48	     run=3  nbConstraintChecks=340608397  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2115
572.48	     nbFailedAssignments=937  nbBacktracks=80  nbVisitedNodes=3133  nbRestartNogoods=44
572.48	       =>  wckTime=408.303  cpuTime=404.79  mem=27M624
637.52	   
637.52	   search
637.52	     run=4  nbConstraintChecks=400081019  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2537
637.52	     nbFailedAssignments=1043  nbBacktracks=130  nbVisitedNodes=3711  nbRestartNogoods=150
637.52	       =>  wckTime=473.338  cpuTime=469.28  mem=27M624
749.93	   
749.93	   search
749.93	     run=5  nbConstraintChecks=607806977  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3637
749.93	     nbFailedAssignments=1796  nbBacktracks=205  nbVisitedNodes=5639  nbRestartNogoods=173
749.93	       =>  wckTime=585.747  cpuTime=580.67  mem=27M624
905.37	   
905.37	   search
905.37	     run=6  nbConstraintChecks=793006213  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4609
905.37	     nbFailedAssignments=2393  nbBacktracks=318  nbVisitedNodes=7321  nbRestartNogoods=250
905.37	       =>  wckTime=741.193  cpuTime=734.79  mem=28M598
1426.29	   
1426.29	   search
1426.29	     run=7  nbConstraintChecks=1183788215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6398
1426.29	     nbFailedAssignments=3741  nbBacktracks=488  nbVisitedNodes=10628  nbRestartNogoods=277
1426.29	       =>  wckTime=1262.106  cpuTime=1251.34  mem=28M598
1668.28	   
1668.28	   search
1668.28	     run=8  nbConstraintChecks=1349070641  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7279
1668.28	     nbFailedAssignments=4104  nbBacktracks=744  nbVisitedNodes=12128  nbRestartNogoods=355
1668.28	       =>  wckTime=1504.1  cpuTime=1491.27  mem=28M598
2183.71	   
2183.71	   search
2183.71	     run=9  nbConstraintChecks=1747389485  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9174
2183.71	     nbFailedAssignments=5340  nbBacktracks=1128  nbVisitedNodes=15643  nbRestartNogoods=395
2183.71	       =>  wckTime=2019.53  cpuTime=2002.3  mem=28M598
2420.64	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/node66/watcher-275316-1169219953 -o ROOT/results/node66/solver-275316-1169219953 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275316-1169219953/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.94 2.00 1.97 3/81 16815
/proc/meminfo: memFree=1342216/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=1784 CPUtime=0
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 346 0 0 0 0 0 0 0 20 0 1 0 69492508 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/16814/statm: 446 140 106 14 0 91 0

[startup+0.107941 s]
/proc/loadavg: 1.94 2.00 1.97 3/81 16815
/proc/meminfo: memFree=1342216/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=914988 CPUtime=0.09
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 3077 0 1 0 8 1 0 0 25 0 8 0 69492508 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154112261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515988 s]
/proc/loadavg: 1.94 2.00 1.97 3/81 16815
/proc/meminfo: memFree=1342216/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=915332 CPUtime=0.49
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 6660 0 1 0 46 3 0 0 24 0 8 0 69492508 937299968 6399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16814/statm: 228833 6399 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34009 s]
/proc/loadavg: 1.94 2.00 1.97 3/88 16822
/proc/meminfo: memFree=1300752/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=915632 CPUtime=1.25
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 13025 0 1 0 112 13 0 0 25 0 8 0 69492508 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16814/statm: 228908 12763 2171 14 0 215378 0
[pid=16814/tid=16816] ppid=16812 vsize=915632 CPUtime=0
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 69492512 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=915632 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 69492513 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16818] ppid=16812 vsize=915632 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 69492513 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16819] ppid=16812 vsize=915632 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=915632 CPUtime=0.2
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 434 0 0 0 19 1 0 0 16 0 8 0 69492516 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16821] ppid=16812 vsize=915636 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 937611264 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=915632 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 937607168 12763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915632

[startup+2.99029 s]
/proc/loadavg: 1.94 2.00 1.97 3/88 16822
/proc/meminfo: memFree=1278736/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2.89
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17685 0 1 0 253 36 0 0 25 0 8 0 69492508 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16814/statm: 229191 17422 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 17 0 8 0 69492512 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.23
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 454 0 0 0 22 1 0 0 15 0 8 0 69492516 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 916764

[startup+6.27069 s]
/proc/loadavg: 2.03 2.02 1.98 3/88 16822
/proc/meminfo: memFree=1274128/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=6.12
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17696 0 1 0 570 42 0 0 25 0 8 0 69492508 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16814/statm: 229191 17430 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.25
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 462 0 0 0 24 1 0 0 15 0 8 0 69492516 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 916764

[startup+12.7575 s]
/proc/loadavg: 1.94 2.00 1.97 3/88 16894
/proc/meminfo: memFree=1323920/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=12.54
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17698 0 1 0 1202 52 0 0 25 0 8 0 69492508 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17432 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.25
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 464 0 0 0 24 1 0 0 16 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 916764

[startup+25.6041 s]
/proc/loadavg: 1.96 2.00 1.97 3/88 16894
/proc/meminfo: memFree=1323984/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=25.29
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17698 0 1 0 2467 62 0 0 25 0 8 0 69492508 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17432 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.25
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 464 0 0 0 24 1 0 0 16 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 916764

[startup+51.2172 s]
/proc/loadavg: 1.97 2.00 1.97 3/88 16896
/proc/meminfo: memFree=1323920/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=50.73
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17698 0 1 0 4991 82 0 0 25 0 8 0 69492508 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17432 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.25
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 464 0 0 0 24 1 0 0 16 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 916764

[startup+102.436 s]
/proc/loadavg: 1.98 2.00 1.97 3/88 16896
/proc/meminfo: memFree=1323984/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=101.5
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17701 0 1 0 10032 118 0 0 25 0 8 0 69492508 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17435 2497 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1499 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.25
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 467 0 0 0 24 1 0 0 17 0 8 0 69492516 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 69492516 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 916764

[startup+162.506 s]
/proc/loadavg: 1.99 2.00 1.97 3/88 16896
/proc/meminfo: memFree=1323984/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=161.05
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17701 0 1 0 15942 163 0 0 25 0 8 0 69492508 938766336 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2007.22
Current children cumulated vsize (KiB) 916764

[startup+2084.51 s]
/proc/loadavg: 2.05 2.03 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2066.79
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 206507 172 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2066.79
Current children cumulated vsize (KiB) 916764

[startup+2144.59 s]
/proc/loadavg: 2.02 2.02 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2126.35
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 212463 172 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074156095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2126.35
Current children cumulated vsize (KiB) 916764

[startup+2204.68 s]
/proc/loadavg: 2.00 2.02 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2185.94
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 218421 173 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074155239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) R 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2185.94
Current children cumulated vsize (KiB) 916764

[startup+2264.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2245.41
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 224368 173 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2245.41
Current children cumulated vsize (KiB) 916764

[startup+2324.77 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2304.95
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 230322 173 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.95
Current children cumulated vsize (KiB) 916764

[startup+2384.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 16896
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2364.5
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 236276 174 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2364.5
Current children cumulated vsize (KiB) 916764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2420.63 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 16973
/proc/meminfo: memFree=1322944/2055920 swapFree=4192812/4192956
[pid=16814] ppid=16812 vsize=916764 CPUtime=2400
/proc/16814/stat : 16814 (java) R 16812 16814 15957 0 -1 0 17906 0 1 0 239823 177 0 0 25 0 8 0 69492508 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16814/statm: 229191 17614 2545 14 0 215661 0
[pid=16814/tid=16816] ppid=16812 vsize=916764 CPUtime=0.08
/proc/16814/task/16816/stat : 16816 (java) S 16812 16814 15957 0 -1 64 1500 0 0 0 8 0 0 0 16 0 8 0 69492512 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16817] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16817/stat : 16817 (java) S 16812 16814 15957 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16818] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16818/stat : 16818 (java) S 16812 16814 15957 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69492513 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16814/tid=16819] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16819/stat : 16819 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16820] ppid=16812 vsize=916764 CPUtime=0.38
/proc/16814/task/16820/stat : 16820 (java) S 16812 16814 15957 0 -1 64 547 0 0 0 36 2 0 0 16 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16821] ppid=16812 vsize=916764 CPUtime=0
/proc/16814/task/16821/stat : 16821 (java) S 16812 16814 15957 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16814/tid=16822] ppid=16812 vsize=916764 CPUtime=0.03
/proc/16814/task/16822/stat : 16822 (java) S 16812 16814 15957 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 69492516 938766336 17614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 916764

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

Child status: 143
Real time (s): 2420.71
CPU time (s): 2400.08
CPU user time (s): 2398.29
CPU system time (s): 1.78873
CPU usage (%): 99.1478
Max. virtual memory (cumulated for all children) (KiB): 916768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.29
system time used= 1.78873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17929
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= 50698
involuntary context switches= 107482

runsolver used 2.52262 s user time and 6.68298 s system time

The end

Launcher Data (download as text)

Begin job on node66 on Fri Jan 19 15:19:13 UTC 2007


IDJOB= 275316
IDBENCH= 3790
IDSOLVER= 69
FILE ID= node66/275316-1169219953

PBS_JOBID= 3589112

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e6c02deb5c518b821b7094a76a19c955

RANDOM SEED= 331194719

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.230
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.230
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:       1342768 kB
Buffers:         40968 kB
Cached:         531100 kB
SwapCached:         16 kB
Active:         162460 kB
Inactive:       481224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1342768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3472 kB
Writeback:           0 kB
Mapped:          89640 kB
Slab:            54808 kB
Committed_AS:   647376 kB
PageTables:       1904 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node66 on Fri Jan 19 15:59:34 UTC 2007