Trace number 1112815

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-w? 202.501 204.29

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.08/0.61	
0.08/0.61	Abscon 112 (May, 2008)
0.22/0.94	
0.22/0.94	   configuration
0.22/0.94	     name=mrdac-wdeg.xml
0.22/0.99	   
0.22/0.99	   instance
0.22/0.99	     name=HOME/instance-1112815-1215874228.xml
0.31/1.03	   
0.31/1.03	   domains being loaded...
0.31/1.07	   
0.31/1.07	   variables being loaded...
0.50/1.20	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.50/1.20	       =>  wckTime=0.26  cpuTime=0.19  mem=12M738
0.50/1.20	   
0.50/1.20	   predicates being loaded...
0.50/1.26	   
0.50/1.26	   constraints being loaded...
10.55/11.30	   
10.55/11.30	   INFO : Stopping converting binary constraints (cpu=10.04, mem = 28M293)
13.25/14.06	     nbConstraints=7122  nbConvertedConstraints=815  nbConvertConstraintsChecks=39377648  nbExtensionStructures=745
13.25/14.06	     nbSharedExtensionStructures=227  nbConflictsStructures=1853  nbSharedConflictsStructures=344
13.25/14.06	     nbUnbuiltConflictsStructures=2998  nbSharedBinaryRepresentations=271858  nbEvaluationManagers=4106
13.25/14.06	     nbSharedEvaluationManagers=2201  minDegree=4  maxDegree=37  minArity=2  maxArity=2
13.25/14.06	       =>  wckTime=13.117  cpuTime=12.62  mem=46M577
13.45/14.25	   
13.45/14.25	   solver LocalSearchSolver being built... 
13.45/14.30	       =>  wckTime=13.361  cpuTime=12.66  mem=23M625
13.55/14.35	
13.55/14.35	s SATISFIABLE
13.55/14.35	o 1846
13.55/14.37	o 1840
13.55/14.39	o 1833
13.64/14.40	o 1830
13.64/14.42	o 1827
13.64/14.43	o 1823
13.64/14.44	o 1821
13.64/14.46	o 1817
13.64/14.47	o 1813
13.64/14.48	o 1809
13.64/14.49	o 1806
13.64/14.50	o 1803
13.74/14.50	o 1799
13.74/14.51	o 1797
13.74/14.52	o 1795
13.74/14.53	o 1794
13.74/14.55	o 1790
13.74/14.57	o 1783
13.74/14.58	o 1776
13.74/14.59	o 1770
13.84/14.61	o 1764
13.84/14.62	o 1759
13.84/14.63	o 1755
13.84/14.64	o 1751
13.84/14.66	o 1747
13.84/14.67	o 1741
13.84/14.68	o 1738
13.84/14.69	o 1735
13.94/14.70	o 1732
13.94/14.72	o 1730
13.94/14.72	o 1728
13.94/14.73	o 1726
13.94/14.74	o 1724
13.94/14.75	o 1722
13.94/14.76	o 1720
13.94/14.77	o 1714
13.94/14.79	o 1713
13.94/14.80	o 1711
14.03/14.81	o 1710
14.03/14.82	o 1706
14.03/14.83	o 1702
14.03/14.85	o 1699
14.03/14.86	o 1693
14.03/14.88	o 1688
14.03/14.89	o 1686
14.13/14.91	o 1681
14.13/14.93	o 1677
14.13/14.94	o 1673
14.13/14.95	o 1670
14.13/14.96	o 1667
14.13/14.97	o 1665
14.13/14.98	o 1663
14.13/14.99	o 1661
14.23/15.00	o 1659
14.23/15.02	o 1658
14.33/15.12	o 1655
14.33/15.13	o 1652
14.33/15.14	o 1649
14.33/15.16	o 1643
14.33/15.16	o 1642
14.33/15.17	o 1640
14.33/15.19	o 1636
14.43/15.21	o 1635
14.43/15.21	o 1631
14.43/15.24	o 1626
14.43/15.26	o 1624
14.43/15.29	o 1619
14.52/15.34	o 1616
14.52/15.36	o 1613
14.63/15.40	o 1610
14.63/15.42	o 1607
14.63/15.44	o 1605
14.63/15.46	o 1603
14.63/15.48	o 1601
14.63/15.49	o 1599
14.73/15.51	o 1598
14.73/15.52	o 1596
14.73/15.53	o 1594
14.73/15.54	o 1588
14.73/15.55	o 1584
14.73/15.57	o 1582
14.73/15.59	o 1580
14.83/15.60	o 1577
14.83/15.61	o 1576
14.83/15.62	o 1575
14.93/15.72	o 1573
14.93/15.74	o 1570
14.93/15.76	o 1569
14.93/15.78	o 1568
14.93/15.80	o 1566
15.03/15.83	o 1563
15.03/15.85	o 1561
15.03/15.87	o 1556
15.03/15.88	o 1555
15.13/15.91	o 1553
15.13/15.93	o 1549
15.13/15.94	o 1547
15.13/15.95	o 1545
15.13/15.97	o 1544
15.13/15.98	o 1542
15.13/16.00	o 1539
15.22/16.02	o 1535
15.22/16.04	o 1531
15.22/16.06	o 1528
15.22/16.07	o 1527
15.22/16.09	o 1525
15.32/16.11	o 1523
15.32/16.13	o 1518
15.32/16.15	o 1516
15.32/16.17	o 1515
15.32/16.19	o 1514
15.42/16.21	o 1513
15.42/16.23	o 1512
15.42/16.24	o 1511
15.42/16.26	o 1510
15.42/16.28	o 1508
15.52/16.36	o 1504
15.52/16.37	o 1502
15.52/16.39	o 1500
15.62/16.41	o 1499
15.62/16.43	o 1497
15.62/16.46	o 1496
15.62/16.47	o 1490
15.62/16.49	o 1487
15.72/16.51	o 1483
15.72/16.53	o 1482
15.72/16.56	o 1479
15.72/16.58	o 1478
15.81/16.60	o 1475
15.81/16.62	o 1473
15.81/16.66	o 1471
15.81/16.68	o 1468
15.91/16.70	o 1465
15.91/16.73	o 1464
15.91/16.75	o 1463
15.91/16.77	o 1460
16.01/16.82	o 1459
16.01/16.84	o 1454
16.01/16.86	o 1451
16.01/16.87	o 1450
16.11/16.91	o 1449
16.11/16.94	o 1447
16.11/16.96	o 1444
16.21/17.01	o 1438
16.21/17.03	o 1437
16.21/17.06	o 1434
16.31/17.12	o 1432
16.31/17.16	o 1430
16.41/17.23	o 1429
16.41/17.25	o 1424
16.41/17.27	o 1422
16.41/17.29	o 1421
16.51/17.31	o 1417
16.51/17.34	o 1412
16.51/17.37	o 1411
16.51/17.39	o 1409
16.61/17.41	o 1407
16.61/17.44	o 1405
16.61/17.46	o 1403
16.61/17.48	o 1401
16.71/17.53	o 1400
16.71/17.55	o 1399
16.71/17.57	o 1398
16.81/17.61	o 1395
16.90/17.75	o 1394
16.90/17.77	o 1391
16.90/17.79	o 1389
17.00/17.81	o 1385
17.00/17.83	o 1382
17.00/17.85	o 1378
17.00/17.88	o 1377
17.10/17.90	o 1375
17.20/18.01	o 1374
17.20/18.06	o 1373
17.20/18.08	o 1371
17.30/18.10	o 1366
17.30/18.11	o 1365
17.30/18.13	o 1362
17.30/18.14	o 1361
17.30/18.18	o 1359
17.30/18.20	o 1355
17.40/18.23	o 1354
17.40/18.25	o 1352
17.40/18.26	o 1349
17.40/18.28	o 1347
17.40/18.29	o 1345
17.50/18.31	o 1344
17.50/18.33	o 1342
17.60/18.40	o 1340
17.60/18.41	o 1336
17.60/18.43	o 1331
17.60/18.44	o 1327
17.60/18.46	o 1326
17.60/18.48	o 1321
17.69/18.50	o 1318
17.69/18.51	o 1317
17.69/18.54	o 1316
17.69/18.56	o 1314
17.69/18.58	o 1311
17.79/18.62	o 1310
17.79/18.65	o 1308
17.79/18.67	o 1307
17.79/18.69	o 1304
17.90/18.72	o 1298
17.90/18.74	o 1297
17.90/18.77	o 1296
17.90/18.79	o 1295
18.00/18.85	o 1294
18.00/18.87	o 1293
18.10/18.90	o 1292
18.10/18.97	o 1288
18.10/18.99	o 1287
18.20/19.10	o 1285
18.30/19.12	o 1283
18.30/19.15	o 1281
18.30/19.20	o 1277
18.39/19.28	o 1274
18.49/19.32	o 1270
18.49/19.35	o 1266
18.59/19.40	o 1264
18.59/19.49	o 1262
18.69/19.50	o 1258
18.69/19.54	o 1255
18.69/19.57	o 1252
18.79/19.67	o 1251
18.79/19.70	o 1250
18.89/19.73	o 1249
18.89/19.76	o 1248
18.89/19.80	o 1247
18.99/19.86	o 1245
19.08/19.90	o 1244
19.08/19.98	o 1240
19.18/20.05	o 1239
19.18/20.07	o 1237
19.28/20.10	o 1235
19.28/20.16	o 1234
19.38/20.24	o 1232
19.38/20.27	o 1230
19.48/20.31	o 1226
19.48/20.34	o 1223
19.48/20.37	o 1220
19.59/20.40	o 1217
19.59/20.46	o 1214
19.69/20.55	o 1212
19.89/20.73	o 1209
20.09/20.98	o 1208
20.18/21.03	o 1207
20.18/21.06	o 1206
20.28/21.13	o 1205
20.28/21.16	o 1203
20.38/21.20	o 1200
20.38/21.27	o 1197
20.48/21.31	o 1196
20.48/21.38	o 1195
20.58/21.42	o 1192
20.58/21.45	o 1190
20.58/21.49	o 1189
20.68/21.53	o 1186
20.78/21.61	o 1184
20.88/21.74	o 1180
20.88/21.78	o 1178
20.98/21.82	o 1177
20.98/21.87	o 1174
21.08/21.91	o 1172
21.08/21.95	o 1170
21.08/21.98	o 1167
21.18/22.02	o 1164
21.18/22.06	o 1162
21.27/22.10	o 1161
21.27/22.14	o 1160
21.27/22.18	o 1157
21.37/22.21	o 1156
21.37/22.29	o 1153
21.67/22.56	o 1151
21.77/22.65	o 1148
21.77/22.69	o 1147
21.87/22.73	o 1146
21.87/22.77	o 1145
21.97/22.81	o 1144
21.97/22.88	o 1143
22.07/22.91	o 1138
22.07/22.99	o 1137
22.17/23.02	o 1136
22.17/23.06	o 1135
22.17/23.10	o 1134
22.27/23.14	o 1132
22.27/23.18	o 1130
22.37/23.21	o 1129
22.37/23.25	o 1126
22.37/23.29	o 1123
22.46/23.37	o 1121
22.56/23.41	o 1120
22.56/23.45	o 1119
22.56/23.50	o 1116
22.66/23.54	o 1115
22.66/23.58	o 1113
22.76/23.62	o 1111
22.76/23.65	o 1110
22.86/23.73	o 1106
22.86/23.77	o 1104
22.96/23.81	o 1101
22.96/23.85	o 1100
22.96/23.89	o 1097
23.06/23.93	o 1095
23.16/24.01	o 1094
23.16/24.06	o 1093
23.26/24.13	o 1092
23.26/24.17	o 1089
23.45/24.32	o 1086
23.45/24.36	o 1084
23.66/24.50	o 1083
23.66/24.55	o 1080
23.66/24.58	o 1078
23.76/24.62	o 1076
23.76/24.66	o 1073
23.86/24.75	o 1072
23.86/24.79	o 1069
23.96/24.83	o 1065
24.46/25.38	o 1063
24.55/25.41	o 1062
24.55/25.45	o 1061
24.65/25.57	o 1059
24.75/25.65	o 1058
24.75/25.69	o 1057
24.85/25.74	o 1054
24.85/25.78	o 1053
24.95/25.83	o 1050
25.05/25.96	o 1049
25.25/26.13	o 1046
25.25/26.19	o 1045
25.35/26.23	o 1041
25.35/26.28	o 1039
25.45/26.32	o 1036
25.45/26.37	o 1035
25.55/26.41	o 1034
25.55/26.46	o 1033
25.64/26.51	o 1032
25.64/26.55	o 1031
25.84/26.73	o 1028
25.84/26.78	o 1027
25.94/26.82	o 1024
26.04/26.95	o 1023
26.14/27.04	o 1021
26.14/27.09	o 1019
26.34/27.24	o 1015
26.54/27.44	o 1013
26.54/27.49	o 1010
26.64/27.59	o 1009
26.83/27.75	o 1008
26.93/27.84	o 1007
26.93/27.89	o 1006
27.03/27.94	o 1002
27.33/28.28	o 1000
27.43/28.33	o 997
27.53/28.42	o 995
27.53/28.47	o 993
27.63/28.57	o 990
27.73/28.63	o 989
27.82/28.73	o 987
27.92/28.86	o 986
28.12/29.07	o 984
28.32/29.26	o 981
28.42/29.31	o 980
28.62/29.51	o 978
28.62/29.57	o 977
28.82/29.72	o 976
28.92/29.88	o 973
29.02/29.93	o 972
29.02/29.99	o 970
29.21/30.16	o 969
29.31/30.22	o 967
29.41/30.34	o 964
29.41/30.39	o 961
29.51/30.45	o 958
29.61/30.51	o 957
29.92/30.83	o 956
29.92/30.87	o 954
30.11/31.07	o 953
30.21/31.12	o 952
30.21/31.16	o 951
30.31/31.21	o 949
30.31/31.26	o 945
30.70/31.62	o 943
30.70/31.66	o 942
30.80/31.71	o 940
30.90/31.85	o 938
31.11/32.10	o 935
31.20/32.15	o 934
31.20/32.20	o 933
31.40/32.30	o 929
31.40/32.35	o 927
31.50/32.40	o 926
31.70/32.66	o 924
31.80/32.71	o 922
31.80/32.77	o 919
31.90/32.82	o 918
31.90/32.88	o 916
32.00/32.93	o 913
32.00/32.98	o 912
32.10/33.03	o 910
32.19/33.14	o 909
32.19/33.18	o 907
32.29/33.22	o 905
32.29/33.26	o 903
32.49/33.44	o 902
32.49/33.49	o 901
32.59/33.54	o 898
32.69/33.63	o 893
32.79/33.76	o 891
32.89/33.85	o 889
32.89/33.89	o 888
33.00/33.93	o 887
33.10/34.02	o 884
33.10/34.06	o 882
33.20/34.10	o 881
33.20/34.14	o 880
33.20/34.19	o 879
33.29/34.23	o 878
33.39/34.30	o 875
33.49/34.44	o 874
33.49/34.48	o 873
33.79/34.70	o 872
33.89/34.80	o 871
34.38/35.35	o 868
34.38/35.39	o 865
34.48/35.48	o 863
34.68/35.66	o 862
34.78/35.71	o 860
34.78/35.75	o 858
34.88/35.80	o 857
35.98/36.92	o 856
36.38/37.35	o 854
36.47/37.41	o 852
36.47/37.47	o 846
36.57/37.53	o 843
36.57/37.59	o 841
36.68/37.64	o 839
36.78/37.71	o 836
36.78/37.74	o 830
36.88/37.84	o 828
36.88/37.89	o 827
36.98/37.95	o 826
37.08/38.00	o 825
37.08/38.06	o 819
37.48/38.41	o 818
37.48/38.47	o 817
37.58/38.51	o 815
37.67/38.63	o 813
37.78/38.75	o 812
37.87/38.87	o 811
37.97/38.93	o 810
37.97/39.00	o 808
38.17/39.17	o 807
38.27/39.23	o 805
38.37/39.35	o 804
38.47/39.41	o 803
38.76/39.73	o 802
38.86/39.80	o 801
38.96/39.93	o 800
38.96/39.99	o 798
39.06/40.05	o 796
39.85/40.87	o 795
39.95/40.93	o 791
40.06/41.03	o 790
40.25/41.22	o 788
40.25/41.27	o 786
40.35/41.33	o 784
40.55/41.51	o 783
40.65/41.64	o 782
40.75/41.70	o 780
40.75/41.77	o 778
40.85/41.82	o 777
41.24/42.26	o 776
41.34/42.32	o 772
41.44/42.43	o 769
41.65/42.60	o 768
41.65/42.67	o 766
42.24/43.27	o 764
42.34/43.34	o 763
42.44/43.48	o 761
42.54/43.55	o 759
42.84/43.85	o 758
43.04/44.07	o 756
43.13/44.14	o 754
43.23/44.21	o 751
43.23/44.27	o 748
43.33/44.33	o 746
43.84/44.85	o 744
44.04/45.01	o 743
44.73/45.73	o 742
44.73/45.78	o 738
44.83/45.83	o 737
44.83/45.86	o 733
44.93/45.99	o 732
45.33/46.31	o 731
45.43/46.44	o 730
45.43/46.50	o 729
45.53/46.56	o 728
45.72/46.79	o 727
45.82/46.83	o 723
45.82/46.90	o 718
45.92/46.95	o 716
46.02/47.00	o 715
46.12/47.12	o 713
46.12/47.18	o 712
46.22/47.23	o 710
46.41/47.44	o 708
46.41/47.49	o 706
47.51/48.59	o 705
47.61/48.65	o 702
47.71/48.71	o 701
47.92/48.91	o 699
48.11/49.11	o 698
48.21/49.25	o 697
48.31/49.33	o 696
48.31/49.40	o 694
48.40/49.46	o 693
48.50/49.51	o 692
48.70/49.72	o 690
48.70/49.79	o 689
48.80/49.86	o 688
48.90/49.98	o 687
49.10/50.11	o 686
49.69/50.71	o 685
49.69/50.78	o 683
49.79/50.85	o 682
49.99/51.00	o 678
50.19/51.23	o 675
50.29/51.30	o 673
50.29/51.35	o 671
50.39/51.42	o 670
50.49/51.56	o 668
50.59/51.63	o 667
50.99/52.03	o 666
50.99/52.08	o 665
51.09/52.12	o 664
51.09/52.18	o 663
51.09/52.19	o 662
51.29/52.31	o 661
51.39/52.42	o 660
51.39/52.48	o 659
51.79/52.81	o 658
51.79/52.88	o 657
51.88/52.95	o 656
51.98/53.01	o 653
52.08/53.15	o 652
52.19/53.22	o 650
52.19/53.29	o 648
52.29/53.35	o 647
53.88/54.91	o 644
54.18/55.20	o 642
54.18/55.29	o 641
54.38/55.46	o 639
54.48/55.54	o 638
54.58/55.62	o 637
54.68/55.80	o 635
54.88/55.97	o 634
54.97/56.05	o 630
55.27/56.31	o 629
55.27/56.38	o 628
55.37/56.42	o 625
55.47/56.51	o 621
55.47/56.59	o 619
55.67/56.75	o 618
55.77/56.83	o 617
56.46/57.58	o 615
57.86/58.96	o 613
58.55/59.63	o 612
58.65/59.79	o 610
59.25/60.39	o 609
59.35/60.46	o 608
59.54/60.69	o 607
59.74/60.82	o 605
60.14/61.23	o 604
60.24/61.39	o 603
60.44/61.53	o 602
60.54/61.61	o 600
60.84/61.93	o 599
60.94/62.01	o 598
60.94/62.08	o 596
61.04/62.17	o 595
61.14/62.29	o 594
61.24/62.37	o 593
61.54/62.62	o 592
61.54/62.70	o 591
61.63/62.78	o 589
61.73/62.86	o 586
62.03/63.18	o 585
62.53/63.65	o 584
62.63/63.73	o 583
62.73/63.89	o 582
62.92/64.07	o 579
63.02/64.16	o 577
63.22/64.34	o 575
63.63/64.71	o 574
63.83/64.91	o 572
63.92/65.10	o 570
64.02/65.14	o 567
65.01/66.16	o 565
65.11/66.25	o 564
65.21/66.34	o 563
65.31/66.44	o 561
65.61/66.73	o 560
65.61/66.79	o 559
65.71/66.88	o 558
65.81/66.98	o 557
65.91/67.06	o 556
66.31/67.42	o 554
67.11/68.23	o 552
67.60/68.80	o 550
67.70/68.89	o 548
68.20/69.39	o 547
68.29/69.47	o 546
68.39/69.55	o 542
68.39/69.56	o 540
68.89/70.03	o 538
68.99/70.19	o 537
69.19/70.35	o 535
69.39/70.51	o 534
69.49/70.60	o 532
69.49/70.68	o 531
69.59/70.77	o 529
70.09/71.21	o 528
70.09/71.29	o 524
70.98/72.14	o 523
71.08/72.23	o 522
71.18/72.32	o 521
71.28/72.40	o 517
71.28/72.49	o 516
71.38/72.57	o 514
71.57/72.71	o 511
71.77/72.97	o 509
71.97/73.14	o 508
72.07/73.22	o 507
72.17/73.31	o 506
72.17/73.39	o 505
72.27/73.48	o 504
72.38/73.56	o 503
72.48/73.64	o 501
72.58/73.74	o 500
72.87/74.05	o 499
72.97/74.14	o 498
73.07/74.24	o 497
73.17/74.33	o 493
74.16/75.33	o 492
74.26/75.43	o 491
74.46/75.63	o 490
74.86/76.09	o 487
75.56/76.78	o 484
76.85/78.01	o 483
76.95/78.11	o 482
77.04/78.22	o 480
77.14/78.32	o 479
77.94/79.19	o 478
78.84/80.05	o 477
78.94/80.20	o 476
79.04/80.29	o 475
79.14/80.38	o 474
79.23/80.46	o 472
79.83/81.01	o 471
80.52/81.70	o 470
81.12/82.39	o 469
81.32/82.59	o 468
81.42/82.69	o 466
81.52/82.76	o 465
81.72/82.96	o 463
81.92/83.10	o 462
81.92/83.18	o 461
82.02/83.26	o 460
82.52/83.72	o 459
82.72/83.98	o 457
91.27/92.52	o 456
94.75/96.00	o 455
95.05/96.35	o 454
95.15/96.47	o 453
95.55/96.85	o 450
95.65/96.98	o 449
96.15/97.47	o 447
96.25/97.59	o 446
96.84/98.10	o 445
97.04/98.36	o 444
97.24/98.60	o 442
97.65/98.96	o 441
98.14/99.46	o 440
98.24/99.59	o 438
98.34/99.67	o 437
99.34/100.60	o 436
99.44/100.72	o 435
99.84/101.19	o 433
102.92/104.20	o 432
103.02/104.34	o 429
103.12/104.47	o 428
103.41/104.73	o 427
103.51/104.87	o 426
103.71/105.00	o 425
103.81/105.13	o 424
104.01/105.35	o 422
104.21/105.52	o 420
104.31/105.65	o 419
104.41/105.78	o 418
104.80/106.15	o 417
105.40/106.77	o 415
105.50/106.89	o 413
106.20/107.53	o 412
106.30/107.65	o 410
106.40/107.77	o 409
106.79/108.13	o 407
106.79/108.19	o 402
108.78/110.18	o 401
108.88/110.28	o 400
108.98/110.37	o 399
109.08/110.47	o 398
109.28/110.60	o 397
111.17/112.53	o 396
111.37/112.77	o 395
111.47/112.88	o 394
111.67/113.07	o 392
111.88/113.27	o 391
111.98/113.39	o 390
112.47/113.84	o 388
113.16/114.56	o 387
113.56/114.92	o 386
113.66/115.04	o 385
115.65/117.06	o 382
128.39/129.89	o 379
128.59/130.03	o 377
128.79/130.27	o 376
129.68/131.17	o 375
129.98/131.42	o 374
130.38/131.90	o 373
130.67/132.16	o 372
132.27/133.76	o 370
133.67/135.17	o 369
134.16/135.64	o 368
134.26/135.71	o 366
134.46/135.96	o 365
134.56/136.01	o 364
134.66/136.11	o 363
134.86/136.37	o 361
135.25/136.76	o 360
147.30/148.87	o 357
147.50/149.08	o 355
152.77/154.37	o 354
153.07/154.69	o 353
154.96/156.56	o 351
155.95/157.50	o 350
157.25/158.86	o 344
157.34/158.99	o 343
157.54/159.15	o 342
157.74/159.30	o 340
158.34/159.92	o 337
158.44/160.07	o 334
159.33/160.97	o 331
159.53/161.12	o 330
159.63/161.26	o 329
159.83/161.42	o 328
159.93/161.58	o 327
189.99/191.75	   
189.99/191.75	   search
189.99/191.75	     run=0  nbConstraintChecks=490044713  nbAssignments=2168
189.99/191.75	       =>  wckTime=177.453  cpuTime=176.46  mem=24M605
189.99/191.75	   
189.99/191.75	   global
189.99/191.75	     nbConstraintChecks=490044713  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
189.99/191.75	     solvingWckTime=177.449  solvingCpuTime=176.46  expiredTime=no  totalExploration=no  nbFoundSolutions=0
189.99/191.75	     globalCpuTime=189.15
189.99/191.75	       =>  wckTime=190.814  cpuTime=189.12  mem=24M605
189.99/191.75	   
189.99/191.76	   solver DecomposerSolver being built... 
191.08/192.89	       =>  wckTime=191.948  cpuTime=189.57  mem=410M501
202.02/203.88	   
202.02/203.88	   preprocessing
202.02/203.88	     nbConstraintChecks=33373769  nbValidityChecks=173030  nbPropagations=705  nbRevisions=10272
202.02/203.88	     nbUselessRevisions=10249  nbRemovedValues=889  detectedInconsistency=no
202.02/203.88	       =>  wckTime=10.991  cpuTime=10.92  mem=411M497
202.33/204.19	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-1112815-1215874228/watcher-1112815-1215874228 -o /tmp/evaluation-result-1112815-1215874228/solver-1112815-1215874228 -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-wdeg.xml 1 XSax HOME/instance-1112815-1215874228.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: 0.00 0.00 0.00 3/73 11495
/proc/meminfo: memFree=1670824/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=272 CPUtime=0
/proc/11495/stat : 11495 (java) R 11493 11495 11417 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 44122666 278528 35 996147200 134512640 134550740 4294956128 18446744073709551615 8559751 0 0 4096 0 0 0 0 17 1 0 0
/proc/11495/statm: 68 37 28 9 0 6 0

[startup+0.0393401 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 11495
/proc/meminfo: memFree=1670824/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=1472 CPUtime=0
/proc/11495/stat : 11495 (java) D 11493 11495 11417 0 -1 0 97 0 2 0 0 0 0 0 18 0 1 0 44122666 1507328 72 996147200 134512640 134550740 4294956128 18446744073709551615 9210640 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/11495/statm: 368 72 52 9 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1472

[startup+0.101611 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 11495
/proc/meminfo: memFree=1670824/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=10336 CPUtime=0
/proc/11495/stat : 11495 (java) D 11493 11495 11417 0 -1 0 356 0 11 0 0 0 0 0 18 0 1 0 44122666 10584064 170 996147200 134512640 134550740 4294955952 18446744073709551615 8575864 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/11495/statm: 2584 170 141 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.301373 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 11495
/proc/meminfo: memFree=1670824/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=860712 CPUtime=0.01
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 1627 0 56 0 0 1 0 0 18 0 2 0 44122666 881369088 1380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 215178 1380 549 9 0 210157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860712

[startup+0.701419 s]
/proc/loadavg: 0.00 0.00 0.00 3/73 11495
/proc/meminfo: memFree=1670824/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=866768 CPUtime=0.13
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 3901 0 139 0 10 3 0 0 18 0 9 0 44122666 887570432 3480 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 216692 3480 1791 9 0 211247 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 866768

[startup+1.50151 s]
/proc/loadavg: 0.16 0.03 0.01 4/90 11512
/proc/meminfo: memFree=1623968/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868448 CPUtime=0.8
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 10445 0 140 0 70 10 0 0 18 0 9 0 44122666 889290752 9944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217112 9945 2012 9 0 211618 0
[pid=11495/tid=11498] ppid=11493 vsize=868448 CPUtime=0.62
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 9145 0 97 0 54 8 0 0 20 0 9 0 44122683 889290752 9945 996147200 134512640 134550740 4294955952 18446744073709551615 4126575964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44122696 889290752 9946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44122700 889290752 9947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 44122700 889290752 9947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889290752 9948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868448 CPUtime=0.17
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 646 0 1 0 16 1 0 0 16 0 9 0 44122706 889290752 9948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889290752 9949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868448 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889290752 9950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 868448

[startup+3.10269 s]
/proc/loadavg: 0.16 0.03 0.01 3/90 11512
/proc/meminfo: memFree=1582688/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868552 CPUtime=2.4
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 15554 0 140 0 227 13 0 0 18 0 9 0 44122666 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 15050 2015 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=2.17
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 14226 0 97 0 206 11 0 0 25 0 9 0 44122683 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4126864695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44122696 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44122700 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 44122700 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.21
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 673 0 1 0 20 1 0 0 15 0 9 0 44122706 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889397248 15050 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 868552

[startup+6.30205 s]
/proc/loadavg: 0.16 0.03 0.01 4/91 11513
/proc/meminfo: memFree=1552600/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=5.59
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 19480 0 140 0 542 17 0 0 18 0 9 0 44122666 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 18948 2006 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=5.24
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15730 0 97 0 511 13 0 0 25 0 9 0 44122683 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4126863461 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=0.07
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 2402 0 0 0 7 0 0 0 17 0 9 0 44122696 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.23
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 694 0 1 0 22 1 0 0 15 0 9 0 44122706 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 18948 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 868464

[startup+12.7028 s]
/proc/loadavg: 0.52 0.11 0.04 3/91 11513
/proc/meminfo: memFree=1535384/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=11.95
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 22309 0 140 0 1176 19 0 0 18 0 9 0 44122666 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 21772 2007 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=11.48
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15737 0 97 0 1133 15 0 0 25 0 9 0 44122683 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4126871382 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=0.16
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 5202 0 0 0 15 1 0 0 16 0 9 0 44122696 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.28
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 716 0 1 0 27 1 0 0 16 0 9 0 44122706 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 21772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 868464

[startup+25.5012 s]
/proc/loadavg: 0.74 0.18 0.06 3/91 11513
/proc/meminfo: memFree=1480408/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868552 CPUtime=24.65
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 25572 0 140 0 2440 25 0 0 18 0 9 0 44122666 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 24842 2640 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=23.95
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15801 0 97 0 2376 19 0 0 25 0 9 0 44122683 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4126869286 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=0.35
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 8376 0 0 0 33 2 0 0 16 0 9 0 44122696 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.32
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 741 0 1 0 31 1 0 0 15 0 9 0 44122706 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889397248 24842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 868552

[startup+51.101 s]
/proc/loadavg: 1.17 0.32 0.11 4/90 11513
/proc/meminfo: memFree=1309080/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868552 CPUtime=50.09
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 25576 0 140 0 4980 29 0 0 18 0 9 0 44122666 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 24845 2640 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=49.39
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15802 0 97 0 4915 24 0 0 25 0 9 0 44122683 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4126867767 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=0.35
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 8376 0 0 0 33 2 0 0 16 0 9 0 44122696 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.32
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 744 0 1 0 31 1 0 0 16 0 9 0 44122706 889397248 24845 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0

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

/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 25628 0 140 0 18978 41 0 0 18 0 9 0 44122666 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 24894 2641 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=189.46
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15843 0 97 0 18910 36 0 0 25 0 9 0 44122683 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=0.35
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 8376 0 0 0 33 2 0 0 16 0 9 0 44122696 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.35
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 755 0 1 0 34 1 0 0 15 0 9 0 44122706 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889397248 24894 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.19
Current children cumulated vsize (KiB) 868552

[startup+198.301 s]
/proc/loadavg: 1.94 0.99 0.39 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=196.55
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 108929 0 140 0 19581 74 0 0 18 0 9 0 44122666 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 108123 2619 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=195.13
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15888 0 97 0 19477 36 0 0 25 0 9 0 44122683 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4126870135 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=1.01
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 91601 0 0 0 66 35 0 0 16 0 9 0 44122696 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.55
Current children cumulated vsize (KiB) 868464

[startup+201.503 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=199.73
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 108929 0 140 0 19899 74 0 0 18 0 9 0 44122666 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 108123 2619 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=198.32
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15888 0 97 0 19796 36 0 0 25 0 9 0 44122683 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4126863458 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=1.01
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 91601 0 0 0 66 35 0 0 16 0 9 0 44122696 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 199.73
Current children cumulated vsize (KiB) 868464

[startup+203.103 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=201.33
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 108929 0 140 0 20059 74 0 0 18 0 9 0 44122666 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 108123 2619 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=199.91
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15888 0 97 0 19955 36 0 0 25 0 9 0 44122683 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4126871335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=1.01
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 91601 0 0 0 66 35 0 0 16 0 9 0 44122696 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44122700 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 108123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 201.33
Current children cumulated vsize (KiB) 868464

[startup+203.901 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868552 CPUtime=202.13
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 108955 0 140 0 20138 75 0 0 18 0 9 0 44122666 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 108146 2640 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=200.69
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15913 0 97 0 20033 36 0 0 25 0 9 0 44122683 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=1.02
/proc/11495/task/11499/stat : 11499 (java) R 11493 11495 11417 0 -1 64 91602 0 0 0 67 35 0 0 16 0 9 0 44122696 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44122700 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 16 0 9 0 44122706 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889397248 108146 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.13
Current children cumulated vsize (KiB) 868552

[startup+204.101 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868552 CPUtime=202.33
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 108980 0 140 0 20158 75 0 0 18 0 9 0 44122666 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217138 108171 2640 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868552 CPUtime=200.69
/proc/11495/task/11498/stat : 11498 (java) R 11493 11495 11417 0 -1 64 15913 0 97 0 20033 36 0 0 25 0 9 0 44122683 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868552 CPUtime=1.22
/proc/11495/task/11499/stat : 11499 (java) R 11493 11495 11417 0 -1 64 91627 0 0 0 87 35 0 0 16 0 9 0 44122696 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44122700 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868552 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 16 0 9 0 44122706 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868552 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889397248 108171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.33
Current children cumulated vsize (KiB) 868552

[startup+204.201 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 11513
/proc/meminfo: memFree=952152/2055920 swapFree=4192956/4192956
[pid=11495] ppid=11493 vsize=868464 CPUtime=202.42
/proc/11495/stat : 11495 (java) S 11493 11495 11417 0 -1 0 121675 0 140 0 20163 79 0 0 18 0 9 0 44122666 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11495/statm: 217116 120842 2618 9 0 211644 0
[pid=11495/tid=11498] ppid=11493 vsize=868464 CPUtime=200.69
/proc/11495/task/11498/stat : 11498 (java) S 11493 11495 11417 0 -1 64 15916 0 97 0 20033 36 0 0 25 0 9 0 44122683 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11499] ppid=11493 vsize=868464 CPUtime=1.31
/proc/11495/task/11499/stat : 11499 (java) S 11493 11495 11417 0 -1 64 104319 0 0 0 92 39 0 0 17 0 9 0 44122696 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11501] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11501/stat : 11501 (java) S 11493 11495 11417 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11503] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11503/stat : 11503 (java) S 11493 11495 11417 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44122700 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11507] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11507/stat : 11507 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44122706 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11509] ppid=11493 vsize=868464 CPUtime=0.37
/proc/11495/task/11509/stat : 11509 (java) S 11493 11495 11417 0 -1 64 768 0 1 0 36 1 0 0 16 0 9 0 44122706 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11495/tid=11511] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11511/stat : 11511 (java) S 11493 11495 11417 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44122706 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11495/tid=11512] ppid=11493 vsize=868464 CPUtime=0
/proc/11495/task/11512/stat : 11512 (java) S 11493 11495 11417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44122706 889307136 120842 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.42
Current children cumulated vsize (KiB) 868464

Child status: 0
Real time (s): 204.29
CPU time (s): 202.501
CPU user time (s): 201.637
CPU system time (s): 0.863868
CPU usage (%): 99.1244
Max. virtual memory (cumulated for all children) (KiB): 868556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.637
system time used= 0.863868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121680
page faults= 140
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6646
involuntary context switches= 10614

runsolver used 0.32695 second user time and 0.657899 second system time

The end

Launcher Data (download as text)

Begin job on node38 at 2008-07-12 16:50:28
IDJOB=1112815
IDBENCH=61479
IDSOLVER=359
FILE ID=node38/1112815-1215874228
PBS_JOBID= 7903600
Free space on /tmp= 66440 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112815-1215874228/watcher-1112815-1215874228 -o /tmp/evaluation-result-1112815-1215874228/solver-1112815-1215874228 -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-wdeg.xml 1 XSax HOME/instance-1112815-1215874228.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= cb796999e9af592cdd0cc64917717810
RANDOM SEED=226440824

node38.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.218
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.218
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:       1671304 kB
Buffers:         26772 kB
Cached:         278752 kB
SwapCached:          0 kB
Active:          86724 kB
Inactive:       234200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671304 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4704 kB
Writeback:           0 kB
Mapped:          25388 kB
Slab:            48864 kB
Committed_AS:    97428 kB
PageTables:       1844 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= 66436 MiB
End job on node38 at 2008-07-12 16:53:53