Trace number 1112816

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-d? 189.193 190.389

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-0.xml
MD5SUMcb796999e9af592cdd0cc64917717810
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints73
Best CPU time to get the best result obtained on this benchmark3600.1
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
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.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112816-1215874229.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.38/0.47	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.38/0.47	       =>  wckTime=0.232  cpuTime=0.17  mem=12M738
0.38/0.47	   
0.38/0.47	   predicates being loaded...
0.48/0.54	   
0.48/0.54	   constraints being loaded...
10.42/10.59	   
10.42/10.59	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 30M243)
13.01/13.15	     nbConstraints=7122  nbConvertedConstraints=876  nbConvertConstraintsChecks=42090424  nbExtensionStructures=795
13.01/13.15	     nbSharedExtensionStructures=264  nbConflictsStructures=1899  nbSharedConflictsStructures=381
13.01/13.15	     nbUnbuiltConflictsStructures=2978  nbSharedBinaryRepresentations=293693  nbEvaluationManagers=4082
13.01/13.15	     nbSharedEvaluationManagers=2164  minDegree=4  maxDegree=37  minArity=2  maxArity=2
13.01/13.15	       =>  wckTime=12.912  cpuTime=12.44  mem=48M440
13.20/13.34	   
13.20/13.34	   solver LocalSearchSolver being built... 
13.20/13.39	       =>  wckTime=13.144  cpuTime=12.48  mem=23M733
13.30/13.43	
13.30/13.43	s SATISFIABLE
13.30/13.43	o 1846
13.30/13.45	o 1840
13.30/13.47	o 1833
13.30/13.48	o 1830
13.40/13.50	o 1827
13.40/13.51	o 1823
13.40/13.52	o 1821
13.40/13.53	o 1817
13.40/13.55	o 1813
13.40/13.55	o 1809
13.40/13.56	o 1806
13.40/13.57	o 1803
13.40/13.58	o 1799
13.40/13.58	o 1797
13.40/13.59	o 1795
13.50/13.60	o 1794
13.50/13.62	o 1790
13.50/13.64	o 1783
13.50/13.65	o 1776
13.50/13.66	o 1770
13.50/13.67	o 1764
13.50/13.68	o 1759
13.50/13.69	o 1755
13.60/13.70	o 1751
13.60/13.72	o 1747
13.60/13.73	o 1741
13.60/13.74	o 1738
13.60/13.75	o 1735
13.60/13.76	o 1732
13.60/13.77	o 1730
13.60/13.78	o 1728
13.60/13.79	o 1726
13.60/13.80	o 1724
13.69/13.81	o 1722
13.69/13.81	o 1720
13.69/13.82	o 1714
13.69/13.84	o 1713
13.69/13.85	o 1711
13.69/13.86	o 1710
13.69/13.87	o 1706
13.69/13.88	o 1702
13.69/13.89	o 1699
13.79/13.91	o 1693
13.79/13.92	o 1688
13.79/13.94	o 1686
13.79/13.95	o 1681
13.79/13.97	o 1677
13.79/13.98	o 1673
13.79/13.99	o 1670
13.79/14.00	o 1667
13.89/14.01	o 1665
13.89/14.02	o 1663
13.89/14.03	o 1661
13.89/14.04	o 1659
13.89/14.05	o 1658
14.00/14.15	o 1655
14.00/14.16	o 1652
14.00/14.17	o 1649
14.00/14.18	o 1643
14.00/14.19	o 1642
14.00/14.20	o 1640
14.10/14.22	o 1636
14.10/14.23	o 1635
14.10/14.24	o 1631
14.10/14.26	o 1626
14.10/14.28	o 1624
14.19/14.31	o 1619
14.19/14.35	o 1616
14.19/14.37	o 1613
14.29/14.41	o 1610
14.29/14.43	o 1607
14.29/14.45	o 1605
14.29/14.46	o 1603
14.29/14.48	o 1601
14.29/14.49	o 1599
14.39/14.51	o 1598
14.39/14.52	o 1596
14.39/14.53	o 1594
14.39/14.54	o 1588
14.39/14.55	o 1584
14.39/14.56	o 1582
14.39/14.58	o 1580
14.39/14.59	o 1577
14.49/14.60	o 1576
14.49/14.61	o 1575
14.58/14.70	o 1573
14.58/14.72	o 1570
14.58/14.74	o 1569
14.58/14.76	o 1568
14.58/14.77	o 1566
14.68/14.80	o 1563
14.68/14.82	o 1561
14.68/14.84	o 1556
14.68/14.85	o 1555
14.68/14.88	o 1553
14.68/14.89	o 1549
14.78/14.90	o 1547
14.78/14.91	o 1545
14.78/14.93	o 1544
14.78/14.94	o 1542
14.78/14.96	o 1539
14.78/14.98	o 1535
14.78/15.00	o 1531
14.89/15.01	o 1528
14.89/15.03	o 1527
14.89/15.05	o 1525
14.89/15.06	o 1523
14.89/15.08	o 1518
14.89/15.10	o 1516
14.99/15.12	o 1515
14.99/15.14	o 1514
14.99/15.15	o 1513
14.99/15.17	o 1512
14.99/15.19	o 1511
15.09/15.20	o 1510
15.09/15.22	o 1508
15.09/15.29	o 1504
15.19/15.31	o 1502
15.19/15.32	o 1500
15.19/15.34	o 1499
15.19/15.36	o 1497
15.19/15.39	o 1496
15.19/15.40	o 1490
15.28/15.41	o 1487
15.28/15.43	o 1483
15.28/15.46	o 1482
15.28/15.48	o 1479
15.38/15.50	o 1478
15.38/15.52	o 1475
15.38/15.54	o 1473
15.38/15.57	o 1471
15.38/15.59	o 1468
15.47/15.62	o 1465
15.47/15.64	o 1464
15.47/15.66	o 1463
15.47/15.68	o 1460
15.57/15.72	o 1459
15.57/15.74	o 1454
15.57/15.76	o 1451
15.57/15.77	o 1450
15.67/15.81	o 1449
15.67/15.83	o 1447
15.67/15.85	o 1444
15.77/15.90	o 1438
15.77/15.92	o 1437
15.77/15.94	o 1434
15.87/16.00	o 1432
15.87/16.04	o 1430
15.97/16.10	o 1429
15.97/16.12	o 1424
15.97/16.14	o 1422
15.97/16.16	o 1421
15.97/16.18	o 1417
16.07/16.21	o 1412
16.07/16.23	o 1411
16.07/16.25	o 1409
16.07/16.27	o 1407
16.07/16.29	o 1405
16.17/16.31	o 1403
16.17/16.33	o 1401
16.17/16.37	o 1400
16.17/16.39	o 1399
16.27/16.42	o 1398
16.27/16.45	o 1395
16.37/16.58	o 1394
16.46/16.60	o 1391
16.46/16.62	o 1389
16.46/16.64	o 1385
16.46/16.66	o 1382
16.46/16.68	o 1378
16.57/16.70	o 1377
16.57/16.72	o 1375
16.67/16.82	o 1374
16.67/16.87	o 1373
16.67/16.88	o 1371
16.77/16.90	o 1366
16.77/16.92	o 1365
16.77/16.93	o 1362
16.77/16.94	o 1361
16.77/16.97	o 1359
16.77/16.99	o 1355
16.87/17.02	o 1354
16.87/17.04	o 1352
16.87/17.05	o 1349
16.87/17.07	o 1347
16.87/17.08	o 1345
16.87/17.10	o 1344
16.97/17.12	o 1342
16.97/17.18	o 1340
16.97/17.19	o 1336
17.07/17.21	o 1331
17.07/17.22	o 1327
17.07/17.24	o 1326
17.07/17.26	o 1321
17.07/17.27	o 1318
17.07/17.29	o 1317
17.17/17.30	o 1316
17.17/17.32	o 1314
17.17/17.34	o 1311
17.17/17.38	o 1310
17.27/17.40	o 1308
17.27/17.42	o 1307
17.27/17.45	o 1304
17.27/17.47	o 1298
17.27/17.49	o 1297
17.36/17.52	o 1296
17.36/17.55	o 1295
17.36/17.60	o 1294
17.46/17.62	o 1293
17.46/17.64	o 1292
17.55/17.71	o 1288
17.55/17.73	o 1287
17.65/17.83	o 1285
17.65/17.85	o 1283
17.65/17.87	o 1281
17.75/17.92	o 1277
17.75/17.99	o 1274
17.85/18.04	o 1270
17.85/18.06	o 1266
17.95/18.11	o 1264
17.95/18.19	o 1262
17.95/18.20	o 1258
18.05/18.24	o 1255
18.05/18.26	o 1252
18.15/18.35	o 1251
18.15/18.37	o 1250
18.25/18.40	o 1249
18.25/18.43	o 1248
18.25/18.46	o 1247
18.35/18.52	o 1245
18.35/18.56	o 1244
18.46/18.64	o 1240
18.46/18.70	o 1239
18.56/18.72	o 1237
18.56/18.75	o 1235
18.65/18.80	o 1234
18.65/18.88	o 1232
18.75/18.91	o 1230
18.75/18.94	o 1226
18.75/18.97	o 1223
18.75/19.00	o 1220
18.85/19.03	o 1217
18.85/19.08	o 1214
18.95/19.16	o 1212
19.15/19.33	o 1209
19.34/19.56	o 1208
19.44/19.60	o 1207
19.44/19.64	o 1206
19.54/19.71	o 1205
19.54/19.74	o 1203
19.54/19.77	o 1200
19.64/19.84	o 1197
19.64/19.87	o 1196
19.74/19.94	o 1195
19.74/19.98	o 1192
19.84/20.01	o 1190
19.84/20.04	o 1189
19.84/20.08	o 1186
19.94/20.16	o 1184
20.03/20.27	o 1180
20.13/20.31	o 1178
20.13/20.35	o 1177
20.13/20.39	o 1174
20.23/20.42	o 1172
20.23/20.46	o 1170
20.23/20.49	o 1167
20.33/20.53	o 1164
20.33/20.56	o 1162
20.43/20.60	o 1161
20.43/20.64	o 1160
20.43/20.68	o 1157
20.53/20.71	o 1156
20.53/20.78	o 1153
20.83/21.04	o 1151
20.93/21.12	o 1148
20.93/21.16	o 1147
20.93/21.20	o 1146
21.03/21.23	o 1145
21.03/21.27	o 1144
21.13/21.33	o 1143
21.13/21.36	o 1138
21.23/21.43	o 1137
21.23/21.46	o 1136
21.23/21.49	o 1135
21.33/21.53	o 1134
21.33/21.57	o 1132
21.43/21.60	o 1130
21.43/21.64	o 1129
21.43/21.67	o 1126
21.53/21.70	o 1123
21.53/21.78	o 1121
21.62/21.82	o 1120
21.62/21.86	o 1119
21.72/21.91	o 1116
21.72/21.95	o 1115
21.72/21.99	o 1113
21.82/22.02	o 1111
21.82/22.05	o 1110
21.92/22.12	o 1106
21.92/22.16	o 1104
21.92/22.20	o 1101
22.02/22.23	o 1100
22.02/22.27	o 1097
22.12/22.30	o 1095
22.12/22.38	o 1094
22.22/22.42	o 1093
22.22/22.49	o 1092
22.32/22.52	o 1089
22.42/22.66	o 1086
22.42/22.70	o 1084
22.62/22.83	o 1083
22.62/22.87	o 1080
22.72/22.91	o 1078
22.72/22.94	o 1076
22.72/22.98	o 1073
22.82/23.07	o 1072
22.92/23.11	o 1069
22.92/23.14	o 1065
23.41/23.64	o 1063
23.41/23.68	o 1062
23.51/23.71	o 1061
23.61/23.82	o 1059
23.71/23.90	o 1058
23.71/23.93	o 1057
23.71/23.97	o 1054
23.81/24.02	o 1053
23.81/24.06	o 1050
23.91/24.19	o 1049
24.10/24.34	o 1046
24.21/24.40	o 1045
24.21/24.44	o 1041
24.21/24.48	o 1039
24.31/24.52	o 1036
24.31/24.56	o 1035
24.41/24.61	o 1034
24.41/24.65	o 1033
24.41/24.69	o 1032
24.51/24.74	o 1031
24.71/24.90	o 1028
24.71/24.94	o 1027
24.71/24.98	o 1024
24.91/25.10	o 1023
24.91/25.19	o 1021
25.01/25.24	o 1019
25.11/25.37	o 1015
25.30/25.55	o 1013
25.40/25.60	o 1010
25.40/25.69	o 1009
25.60/25.83	o 1008
25.70/25.92	o 1007
25.70/25.96	o 1006
25.80/26.01	o 1002
26.10/26.33	o 1000
26.10/26.37	o 997
26.20/26.46	o 995
26.20/26.50	o 993
26.29/26.59	o 990
26.39/26.64	o 989
26.49/26.73	o 987
26.59/26.86	o 986
26.79/27.04	o 984
26.99/27.22	o 981
26.99/27.26	o 980
27.19/27.44	o 978
27.19/27.49	o 977
27.38/27.63	o 976
27.48/27.77	o 973
27.58/27.83	o 972
27.58/27.88	o 970
27.78/28.04	o 969
27.78/28.09	o 967
27.88/28.19	o 964
27.98/28.24	o 961
27.98/28.30	o 958
28.08/28.35	o 957
28.38/28.64	o 956
28.38/28.68	o 954
28.57/28.86	o 953
28.67/28.90	o 952
28.67/28.94	o 951
28.67/28.99	o 949
28.78/29.03	o 945
29.08/29.36	o 943
29.08/29.40	o 942
29.18/29.44	o 940
29.28/29.56	o 938
29.48/29.79	o 935
29.57/29.84	o 934
29.57/29.88	o 933
29.67/29.98	o 929
29.77/30.02	o 927
29.77/30.07	o 926
30.07/30.31	o 924
30.07/30.36	o 922
30.17/30.41	o 919
30.17/30.45	o 918
30.27/30.50	o 916
30.27/30.55	o 913
30.27/30.60	o 912
30.37/30.64	o 910
30.47/30.74	o 909
30.47/30.79	o 907
30.57/30.82	o 905
30.57/30.86	o 903
30.77/31.03	o 902
30.77/31.07	o 901
30.87/31.11	o 898
30.96/31.20	o 893
31.06/31.32	o 891
31.06/31.40	o 889
31.16/31.44	o 888
31.16/31.47	o 887
31.26/31.55	o 884
31.26/31.59	o 882
31.36/31.63	o 881
31.36/31.67	o 880
31.46/31.71	o 879
31.46/31.75	o 878
31.56/31.82	o 875
31.66/31.95	o 874
31.66/31.99	o 873
31.86/32.19	o 872
31.95/32.29	o 871
32.45/32.78	o 868
32.55/32.82	o 865
32.65/32.91	o 863
32.75/33.07	o 862
32.85/33.12	o 860
32.85/33.16	o 858
32.95/33.20	o 857
33.94/34.24	o 856
34.33/34.64	o 854
34.33/34.70	o 852
34.43/34.75	o 846
34.53/34.81	o 843
34.53/34.86	o 841
34.63/34.91	o 839
34.63/34.97	o 836
34.73/35.00	o 830
34.73/35.09	o 828
34.84/35.15	o 827
34.84/35.20	o 826
34.94/35.25	o 825
35.03/35.30	o 819
35.33/35.62	o 818
35.33/35.67	o 817
35.43/35.71	o 815
35.53/35.82	o 813
35.63/35.94	o 812
35.73/36.05	o 811
35.83/36.10	o 810
35.83/36.16	o 808
36.03/36.33	o 807
36.03/36.38	o 805
36.13/36.49	o 804
36.23/36.56	o 803
36.53/36.85	o 802
36.63/36.91	o 801
36.73/37.03	o 800
36.73/37.09	o 798
36.83/37.14	o 796
37.62/37.91	o 795
37.62/37.96	o 791
37.72/38.05	o 790
37.92/38.22	o 788
37.92/38.27	o 786
38.02/38.33	o 784
38.22/38.50	o 783
38.31/38.61	o 782
38.31/38.67	o 780
38.41/38.73	o 778
38.41/38.78	o 777
38.81/39.19	o 776
38.91/39.24	o 772
39.01/39.35	o 769
39.21/39.51	o 768
39.21/39.57	o 766
39.80/40.12	o 764
39.80/40.18	o 763
40.00/40.31	o 761
40.00/40.38	o 759
40.30/40.66	o 758
40.49/40.86	o 756
40.59/40.92	o 754
40.59/40.99	o 751
40.69/41.05	o 748
40.79/41.10	o 746
41.19/41.58	o 744
41.40/41.73	o 743
41.99/42.40	o 742
42.09/42.44	o 738
42.09/42.49	o 737
42.19/42.52	o 733
42.29/42.64	o 732
42.59/42.93	o 731
42.69/43.05	o 730
42.79/43.10	o 729
42.79/43.17	o 728
42.99/43.37	o 727
43.09/43.42	o 723
43.09/43.47	o 718
43.19/43.53	o 716
43.19/43.57	o 715
43.28/43.68	o 713
43.38/43.73	o 712
43.38/43.78	o 710
43.58/43.98	o 708
43.68/44.03	o 706
44.68/45.02	o 705
44.68/45.08	o 702
44.78/45.13	o 701
44.97/45.31	o 699
45.07/45.49	o 698
45.27/45.63	o 697
45.27/45.69	o 696
45.37/45.75	o 694
45.47/45.81	o 693
45.47/45.84	o 692
45.67/46.03	o 690
45.67/46.10	o 689
45.77/46.16	o 688
45.87/46.28	o 687
45.96/46.39	o 686
46.56/46.92	o 685
46.56/46.98	o 683
46.66/47.05	o 682
46.76/47.19	o 678
47.05/47.40	o 675
47.05/47.47	o 673
47.15/47.51	o 671
47.15/47.57	o 670
47.35/47.70	o 668
47.35/47.76	o 667
47.75/48.13	o 666
47.75/48.17	o 665
47.85/48.21	o 664
47.85/48.27	o 663
47.85/48.28	o 662
47.95/48.39	o 661
48.05/48.50	o 660
48.14/48.55	o 659
48.44/48.85	o 658
48.54/48.92	o 657
48.54/48.98	o 656
48.64/49.04	o 653
48.74/49.16	o 652
48.84/49.22	o 650
48.84/49.28	o 648
48.94/49.35	o 647
50.34/50.77	o 644
50.64/51.04	o 642
50.74/51.12	o 641
50.84/51.28	o 639
50.94/51.35	o 638
51.04/51.43	o 637
51.14/51.59	o 635
51.34/51.75	o 634
51.43/51.82	o 630
51.63/52.06	o 629
51.73/52.12	o 628
51.73/52.16	o 625
51.83/52.24	o 621
51.93/52.32	o 619
52.03/52.47	o 618
52.13/52.54	o 617
52.82/53.23	o 615
54.11/54.50	o 613
54.70/55.12	o 612
54.80/55.26	o 610
55.40/55.82	o 609
55.40/55.88	o 608
55.70/56.11	o 607
55.80/56.22	o 605
56.20/56.61	o 604
56.30/56.75	o 603
56.40/56.89	o 602
56.50/56.96	o 600
56.80/57.26	o 599
56.90/57.33	o 598
57.00/57.40	o 596
57.00/57.48	o 595
57.10/57.60	o 594
57.20/57.67	o 593
57.50/57.90	o 592
57.50/57.97	o 591
57.60/58.05	o 589
57.70/58.12	o 586
57.99/58.42	o 585
58.39/58.84	o 584
58.49/58.92	o 583
58.59/59.07	o 582
58.79/59.23	o 579
58.89/59.32	o 577
58.99/59.49	o 575
59.38/59.83	o 574
59.58/60.01	o 572
59.68/60.18	o 570
59.78/60.22	o 567
60.67/61.16	o 565
60.77/61.24	o 564
60.87/61.33	o 563
60.97/61.42	o 561
61.17/61.69	o 560
61.26/61.75	o 559
61.36/61.83	o 558
61.46/61.91	o 557
61.46/61.99	o 556
61.86/62.32	o 554
62.56/63.06	o 552
63.06/63.58	o 550
63.16/63.67	o 548
63.65/64.13	o 547
63.65/64.20	o 546
63.75/64.27	o 542
63.75/64.28	o 540
64.25/64.71	o 538
64.35/64.86	o 537
64.55/65.00	o 535
64.65/65.15	o 534
64.75/65.23	o 532
64.85/65.31	o 531
64.85/65.39	o 529
65.25/65.78	o 528
65.35/65.86	o 524
66.14/66.64	o 523
66.24/66.72	o 522
66.34/66.80	o 521
66.34/66.87	o 517
66.44/66.95	o 516
66.54/67.03	o 514
66.64/67.15	o 511
66.84/67.39	o 509
67.03/67.54	o 508
67.13/67.62	o 507
67.13/67.70	o 506
67.23/67.78	o 505
67.33/67.86	o 504
67.43/67.92	o 503
67.53/68.00	o 501
67.53/68.08	o 500
67.83/68.38	o 499
67.93/68.47	o 498
68.03/68.55	o 497
68.13/68.64	o 493
69.02/69.56	o 492
69.12/69.65	o 491
69.32/69.84	o 490
69.72/70.25	o 487
70.31/70.89	o 484
71.50/72.02	o 483
71.60/72.11	o 482
71.70/72.21	o 480
71.80/72.30	o 479
72.59/73.10	o 478
73.39/73.91	o 477
73.49/74.04	o 476
73.59/74.13	o 475
73.69/74.21	o 474
73.69/74.29	o 472
74.30/74.81	o 471
74.89/75.44	o 470
75.48/76.08	o 469
75.68/76.26	o 468
75.78/76.35	o 466
75.88/76.42	o 465
76.08/76.61	o 463
76.18/76.74	o 462
76.28/76.81	o 461
76.28/76.89	o 460
76.77/77.31	o 459
76.97/77.56	o 457
84.72/85.37	o 456
87.91/88.54	o 455
88.21/88.85	o 454
88.31/88.96	o 453
88.70/89.32	o 450
88.80/89.43	o 449
89.20/89.88	o 447
89.30/89.99	o 446
89.80/90.46	o 445
89.99/90.69	o 444
90.29/90.91	o 442
90.59/91.25	o 441
91.09/91.71	o 440
91.19/91.83	o 438
91.29/91.90	o 437
92.08/92.77	o 436
92.18/92.87	o 435
92.68/93.30	o 433
95.36/96.09	o 432
95.56/96.21	o 429
95.66/96.33	o 428
95.86/96.58	o 427
96.06/96.71	o 426
96.16/96.83	o 425
96.25/96.95	o 424
96.45/97.16	o 422
96.65/97.31	o 420
96.75/97.43	o 419
96.85/97.55	o 418
97.15/97.90	o 417
97.75/98.46	o 415
97.85/98.57	o 413
98.45/99.16	o 412
98.55/99.27	o 410
98.65/99.39	o 409
99.04/99.71	o 407
99.04/99.77	o 402
100.83/101.58	o 401
100.93/101.67	o 400
101.03/101.75	o 399
101.13/101.84	o 398
101.23/101.96	o 397
103.02/103.72	o 396
103.22/103.94	o 395
103.32/104.03	o 394
103.52/104.21	o 392
103.62/104.39	o 391
103.81/104.50	o 390
104.21/104.90	o 388
104.81/105.56	o 387
105.10/105.89	o 386
105.30/106.00	o 385
107.10/107.84	o 382
118.83/119.68	o 379
119.03/119.81	o 377
119.22/120.03	o 376
120.02/120.84	o 375
120.22/121.07	o 374
120.71/121.50	o 373
120.91/121.74	o 372
122.31/123.20	o 370
123.60/124.48	o 369
124.10/124.90	o 368
124.10/124.97	o 366
124.30/125.19	o 365
124.39/125.24	o 364
124.49/125.33	o 363
124.69/125.56	o 361
125.09/125.92	o 360
136.22/137.10	o 357
136.32/137.29	o 355
141.19/142.11	o 354
141.39/142.39	o 353
143.09/144.09	o 351
143.98/144.94	o 350
145.17/146.17	o 344
145.27/146.30	o 343
145.47/146.44	o 342
145.57/146.58	o 340
146.16/147.14	o 337
146.26/147.28	o 334
147.16/148.10	o 331
147.26/148.24	o 330
147.36/148.37	o 329
147.56/148.52	o 328
147.65/148.66	o 327
177.68/178.85	   
177.68/178.85	   search
177.68/178.85	     run=0  nbConstraintChecks=497272301  nbAssignments=2186
177.68/178.85	       =>  wckTime=165.463  cpuTime=164.41  mem=24M729
177.68/178.85	   
177.68/178.85	   global
177.68/178.85	     nbConstraintChecks=497272301  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
177.68/178.85	     solvingWckTime=165.459  solvingCpuTime=164.41  expiredTime=no  totalExploration=no  nbFoundSolutions=0
177.68/178.85	     globalCpuTime=176.93
177.68/178.85	       =>  wckTime=178.606  cpuTime=176.89  mem=24M729
177.68/178.85	   
177.68/178.85	   solver DecomposerSolver being built... 
178.77/179.91	       =>  wckTime=179.664  cpuTime=177.3  mem=410M749
188.81/190.00	   
188.81/190.00	   preprocessing
188.81/190.00	     nbConstraintChecks=33001812  nbValidityChecks=170838  nbPropagations=705  nbRevisions=10158
188.81/190.00	     nbUselessRevisions=10135  nbRemovedValues=889  detectedInconsistency=no
188.81/190.00	       =>  wckTime=10.092  cpuTime=10.02  mem=410M749
189.01/190.30	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112816-1215874229/watcher-1112816-1215874229 -o /tmp/evaluation-result-1112816-1215874229/solver-1112816-1215874229 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112816-1215874229.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.36 2.53 2.73 4/100 15295
/proc/meminfo: memFree=1868296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=1616 CPUtime=0
/proc/15295/stat : 15295 (java) R 15293 15295 15258 0 -1 0 161 0 0 0 0 0 0 0 20 0 1 0 44119546 1654784 133 996147200 134512640 134550740 4294956128 18446744073709551615 6136326 0 0 4096 0 0 0 0 17 0 0 0
/proc/15295/statm: 404 133 107 9 0 46 0

[startup+0.082122 s]
/proc/loadavg: 2.36 2.53 2.73 4/100 15295
/proc/meminfo: memFree=1868296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=865856 CPUtime=0.06
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 3537 0 1 0 5 1 0 0 20 0 9 0 44119546 886636544 3027 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216464 3027 1627 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102124 s]
/proc/loadavg: 2.36 2.53 2.73 4/100 15295
/proc/meminfo: memFree=1868296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=865988 CPUtime=0.09
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 3800 0 1 0 7 2 0 0 20 0 9 0 44119546 886771712 3251 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216497 3251 1718 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.302155 s]
/proc/loadavg: 2.36 2.53 2.73 4/100 15295
/proc/meminfo: memFree=1868296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=866388 CPUtime=0.28
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 5910 0 1 0 24 4 0 0 20 0 9 0 44119546 887181312 5285 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216597 5285 1958 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701198 s]
/proc/loadavg: 2.36 2.53 2.73 4/100 15295
/proc/meminfo: memFree=1868296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=0.68
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 9759 0 1 0 61 7 0 0 20 0 9 0 44119546 888528896 9120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 9120 2011 9 0 211432 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867704

[startup+1.5013 s]
/proc/loadavg: 2.36 2.53 2.73 3/109 15304
/proc/meminfo: memFree=1820928/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=1.47
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 14975 0 1 0 137 10 0 0 20 0 9 0 44119546 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 14333 2014 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=1.28
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 13624 0 1 0 120 8 0 0 25 0 9 0 44119547 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4126596058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44119549 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44119549 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.18
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 654 0 0 0 17 1 0 0 15 0 9 0 44119551 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888528896 14333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867704

[startup+3.10149 s]
/proc/loadavg: 2.36 2.53 2.73 3/109 15304
/proc/meminfo: memFree=1816256/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=3.07
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 16484 0 1 0 296 11 0 0 20 0 9 0 44119546 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 15840 2015 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=2.84
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15108 0 1 0 275 9 0 0 25 0 9 0 44119547 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4126457504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44119549 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44119549 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44119549 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.2
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 679 0 0 0 19 1 0 0 15 0 9 0 44119551 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888528896 15840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867704

[startup+6.30289 s]
/proc/loadavg: 2.33 2.52 2.73 3/109 15304
/proc/meminfo: memFree=1799808/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=6.24
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 19589 0 1 0 610 14 0 0 20 0 9 0 44119546 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 18918 2006 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=5.94
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15806 0 1 0 582 12 0 0 25 0 9 0 44119547 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4126457507 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.07
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 2402 0 0 0 7 0 0 0 17 0 9 0 44119549 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.21
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 685 0 0 0 20 1 0 0 15 0 9 0 44119551 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 18918 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867616

[startup+12.7017 s]
/proc/loadavg: 2.31 2.51 2.72 3/109 15304
/proc/meminfo: memFree=1788296/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=12.61
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 22402 0 1 0 1243 18 0 0 20 0 9 0 44119546 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 21727 2007 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=12.18
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15814 0 1 0 1204 14 0 0 25 0 9 0 44119547 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4126863792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.15
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 5186 0 0 0 14 1 0 0 16 0 9 0 44119549 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.25
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 706 0 0 0 24 1 0 0 16 0 9 0 44119551 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 21727 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867616

[startup+25.5023 s]
/proc/loadavg: 2.24 2.48 2.71 3/109 15304
/proc/meminfo: memFree=1778504/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=25.3
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 25686 0 1 0 2506 24 0 0 20 0 9 0 44119546 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 24818 2640 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=24.65
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15877 0 1 0 2446 19 0 0 25 0 9 0 44119547 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4126863697 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0.33
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 8381 0 0 0 31 2 0 0 16 0 9 0 44119549 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.29
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 732 0 0 0 28 1 0 0 16 0 9 0 44119551 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888528896 24818 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 867704

[startup+51.1024 s]
/proc/loadavg: 2.16 2.44 2.69 3/109 15304
/proc/meminfo: memFree=1778504/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=50.74
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 25690 0 1 0 5046 28 0 0 20 0 9 0 44119546 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 24820 2640 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=50.08
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15879 0 1 0 4985 23 0 0 25 0 9 0 44119547 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4126863720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0.33
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 8381 0 0 0 31 2 0 0 16 0 9 0 44119549 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.29
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 734 0 0 0 28 1 0 0 16 0 9 0 44119551 888528896 24820 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0

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

/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 25696 0 1 0 16488 37 0 0 20 0 9 0 44119546 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 24824 2640 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=164.6
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15881 0 1 0 16427 33 0 0 25 0 9 0 44119547 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4127182111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0.33
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 8381 0 0 0 31 2 0 0 16 0 9 0 44119549 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.3
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 738 0 0 0 29 1 0 0 16 0 9 0 44119551 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888528896 24824 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.25
Current children cumulated vsize (KiB) 867704

[startup+179.102 s]
/proc/loadavg: 2.02 2.28 2.60 3/109 15304
/proc/meminfo: memFree=1778184/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867704 CPUtime=177.98
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 27210 0 1 0 17759 39 0 0 20 0 9 0 44119546 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216926 26297 2641 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867704 CPUtime=177.27
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15953 0 1 0 17694 33 0 0 25 0 9 0 44119547 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 104455595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867704 CPUtime=0.36
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 9797 0 0 0 33 3 0 0 16 0 9 0 44119549 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 22 0 0 0 0 0 0 0 16 0 9 0 44119549 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867704 CPUtime=0.32
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 747 0 0 0 31 1 0 0 15 0 9 0 44119551 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867704 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888528896 26297 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.98
Current children cumulated vsize (KiB) 867704

[startup+185.502 s]
/proc/loadavg: 2.01 2.28 2.59 3/109 15304
/proc/meminfo: memFree=1443784/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=184.34
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 109170 0 1 0 18365 69 0 0 20 0 9 0 44119546 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 108226 2619 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=183.02
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15961 0 1 0 18269 33 0 0 25 0 9 0 44119547 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4126870544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.95
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 91737 0 0 0 62 33 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.33
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 758 0 0 0 32 1 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 184.34
Current children cumulated vsize (KiB) 867616

[startup+188.702 s]
/proc/loadavg: 2.01 2.27 2.59 3/109 15304
/proc/meminfo: memFree=1443784/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=187.52
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 109170 0 1 0 18683 69 0 0 20 0 9 0 44119546 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 108226 2619 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=186.21
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15961 0 1 0 18588 33 0 0 25 0 9 0 44119547 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4126868113 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.95
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 91737 0 0 0 62 33 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.33
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 758 0 0 0 32 1 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 187.52
Current children cumulated vsize (KiB) 867616

[startup+189.502 s]
/proc/loadavg: 2.01 2.27 2.59 3/109 15304
/proc/meminfo: memFree=1443784/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=188.31
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 109170 0 1 0 18762 69 0 0 20 0 9 0 44119546 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 108226 2619 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=187
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15961 0 1 0 18667 33 0 0 25 0 9 0 44119547 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4127063064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.95
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 91737 0 0 0 62 33 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.33
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 758 0 0 0 32 1 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 188.31
Current children cumulated vsize (KiB) 867616

[startup+189.902 s]
/proc/loadavg: 2.01 2.27 2.59 3/109 15304
/proc/meminfo: memFree=1443784/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=188.71
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 109170 0 1 0 18802 69 0 0 20 0 9 0 44119546 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 108226 2619 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=187.4
/proc/15295/task/15297/stat : 15297 (java) R 15293 15295 15258 0 -1 64 15961 0 1 0 18707 33 0 0 25 0 9 0 44119547 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4126863744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=0.95
/proc/15295/task/15298/stat : 15298 (java) R 15293 15295 15258 0 -1 64 91737 0 0 0 62 33 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44119549 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.33
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 758 0 0 0 32 1 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) R 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 108226 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 188.71
Current children cumulated vsize (KiB) 867616

[startup+190.308 s]
/proc/loadavg: 2.01 2.27 2.59 4/109 15304
/proc/meminfo: memFree=1443784/2055920 swapFree=4192812/4192956
[pid=15295] ppid=15293 vsize=867616 CPUtime=189.11
/proc/15295/stat : 15295 (java) S 15293 15295 15258 0 -1 0 121748 0 1 0 18838 73 0 0 20 0 9 0 44119546 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15295/statm: 216904 120800 2618 9 0 211432 0
[pid=15295/tid=15297] ppid=15293 vsize=867616 CPUtime=187.5
/proc/15295/task/15297/stat : 15297 (java) S 15293 15295 15258 0 -1 64 15965 0 1 0 18717 33 0 0 25 0 9 0 44119547 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15298] ppid=15293 vsize=867616 CPUtime=1.24
/proc/15295/task/15298/stat : 15298 (java) S 15293 15295 15258 0 -1 64 104310 0 0 0 87 37 0 0 16 0 9 0 44119549 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15299] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15299/stat : 15299 (java) S 15293 15295 15258 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15300] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15300/stat : 15300 (java) S 15293 15295 15258 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44119549 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15301] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15301/stat : 15301 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44119551 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15302] ppid=15293 vsize=867616 CPUtime=0.33
/proc/15295/task/15302/stat : 15302 (java) S 15293 15295 15258 0 -1 64 759 0 0 0 32 1 0 0 16 0 9 0 44119551 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15303] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15303/stat : 15303 (java) S 15293 15295 15258 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44119551 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15295/tid=15304] ppid=15293 vsize=867616 CPUtime=0
/proc/15295/task/15304/stat : 15304 (java) S 15293 15295 15258 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44119551 888438784 120800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 189.11
Current children cumulated vsize (KiB) 867616

Child status: 0
Real time (s): 190.389
CPU time (s): 189.193
CPU user time (s): 188.384
CPU system time (s): 0.808877
CPU usage (%): 99.3718
Max. virtual memory (cumulated for all children) (KiB): 867708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.384
system time used= 0.808877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121753
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= 5805
involuntary context switches= 9443

runsolver used 0.336948 second user time and 0.78688 second system time

The end

Launcher Data (download as text)

Begin job on node80 at 2008-07-12 16:50:29
IDJOB=1112816
IDBENCH=61479
IDSOLVER=360
FILE ID=node80/1112816-1215874229
PBS_JOBID= 7903602
Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112816-1215874229/watcher-1112816-1215874229 -o /tmp/evaluation-result-1112816-1215874229/solver-1112816-1215874229 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112816-1215874229.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= cb796999e9af592cdd0cc64917717810
RANDOM SEED=995676626

node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1868776 kB
Buffers:          8544 kB
Cached:          44156 kB
SwapCached:          0 kB
Active:         119904 kB
Inactive:        11724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3212 kB
Writeback:           0 kB
Mapped:          98344 kB
Slab:            38508 kB
Committed_AS:   351436 kB
PageTables:       3544 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= 66556 MiB
End job on node80 at 2008-07-12 16:53:40