Trace number 1114058

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? 515.052 520.011

General information on the benchmark

Namecsp/fapp/fapp19/
normalized-fapp19-0350-5.xml
MD5SUM0e6d4c6cfe45c7fb1ed8c7d48e56685a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of constraints5873
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5873
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.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1114058-1215896158.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.37/0.43	   
0.37/0.43	   variables being loaded...
0.47/0.59	     nbVariables=350  nbDomainTypes=8  minDomainSize=186  maxDomainSize=802  nbTotalValues=201074
0.47/0.59	       =>  wckTime=0.343  cpuTime=0.26  mem=13M725
0.47/0.59	   
0.47/0.59	   predicates being loaded...
0.58/0.65	   
0.58/0.65	   constraints being loaded...
10.39/10.57	   
10.39/10.57	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 48M758)
11.17/11.36	     nbConstraints=5873  nbConvertedConstraints=114  nbConvertConstraintsChecks=32611028  nbExtensionStructures=98
11.17/11.36	     nbSharedExtensionStructures=23  nbConflictsStructures=98  nbSharedConflictsStructures=23
11.17/11.36	     nbUnbuiltConflictsStructures=2365  nbSharedBinaryRepresentations=97086  nbEvaluationManagers=2365
11.17/11.36	     nbSharedEvaluationManagers=3394  minDegree=7  maxDegree=71  minArity=2  maxArity=2
11.17/11.36	       =>  wckTime=11.12  cpuTime=10.65  mem=57M359
11.37/11.55	   
11.37/11.55	   solver LocalSearchSolver being built... 
11.37/11.59	       =>  wckTime=11.351  cpuTime=10.69  mem=21M154
11.67/11.83	
11.67/11.83	s SATISFIABLE
11.67/11.83	o 1703
11.76/11.99	o 1692
11.96/12.11	o 1685
11.96/12.18	o 1676
12.06/12.25	o 1666
12.16/12.33	o 1660
12.26/12.45	o 1651
12.36/12.54	o 1642
12.46/12.62	o 1636
12.57/12.70	o 1632
12.57/12.76	o 1625
12.67/12.81	o 1617
12.76/12.90	o 1615
12.76/12.96	o 1606
12.86/13.04	o 1600
12.96/13.10	o 1595
12.96/13.19	o 1592
13.06/13.29	o 1590
13.25/13.45	o 1587
13.35/13.55	o 1585
13.45/13.61	o 1582
13.45/13.68	o 1578
13.55/13.75	o 1573
13.65/13.83	o 1568
13.65/13.88	o 1566
13.75/13.93	o 1562
13.75/13.99	o 1560
13.85/14.09	o 1556
13.95/14.17	o 1554
14.05/14.21	o 1551
14.05/14.25	o 1548
14.05/14.30	o 1540
14.15/14.35	o 1538
14.15/14.39	o 1537
14.34/14.59	o 1535
14.44/14.67	o 1529
14.54/14.75	o 1528
14.54/14.78	o 1524
14.64/14.82	o 1521
14.84/15.00	o 1517
14.84/15.04	o 1514
14.84/15.10	o 1512
15.04/15.26	o 1508
15.14/15.32	o 1505
15.14/15.37	o 1500
15.23/15.42	o 1497
15.23/15.47	o 1495
15.23/15.48	o 1489
15.33/15.55	o 1487
15.43/15.60	o 1483
15.43/15.64	o 1482
15.53/15.70	o 1479
15.53/15.76	o 1477
15.63/15.88	o 1473
15.73/15.94	o 1470
15.83/16.07	o 1467
15.93/16.16	o 1458
16.03/16.24	o 1450
16.12/16.31	o 1443
16.12/16.38	o 1442
16.22/16.46	o 1430
16.22/16.49	o 1426
16.32/16.56	o 1423
16.42/16.67	o 1416
16.52/16.74	o 1409
16.52/16.79	o 1408
16.61/16.87	o 1405
16.71/16.99	o 1402
16.81/17.06	o 1397
16.91/17.14	o 1392
17.01/17.22	o 1391
17.01/17.29	o 1388
17.11/17.40	o 1387
17.21/17.47	o 1384
17.51/17.74	o 1382
17.61/17.82	o 1380
17.61/17.89	o 1379
17.71/17.93	o 1377
17.71/17.98	o 1372
17.81/18.05	o 1370
17.91/18.10	o 1369
17.91/18.16	o 1368
18.01/18.22	o 1365
18.11/18.30	o 1357
18.11/18.35	o 1354
18.21/18.43	o 1351
18.40/18.62	o 1349
18.50/18.76	o 1343
18.60/18.84	o 1339
18.70/18.90	o 1335
19.10/19.35	o 1333
19.20/19.42	o 1326
19.20/19.46	o 1316
19.30/19.59	o 1313
19.39/19.64	o 1309
19.39/19.69	o 1307
19.49/19.73	o 1306
19.49/19.78	o 1303
19.59/19.86	o 1299
19.69/19.98	o 1296
19.79/20.04	o 1291
19.79/20.08	o 1285
19.89/20.16	o 1283
19.98/20.21	o 1278
19.98/20.29	o 1276
20.08/20.36	o 1275
20.18/20.42	o 1273
20.28/20.52	o 1270
20.48/20.71	o 1268
20.68/20.94	o 1260
20.77/21.04	o 1252
20.87/21.14	o 1246
21.07/21.33	o 1242
21.17/21.43	o 1240
21.27/21.52	o 1237
21.37/21.60	o 1236
21.37/21.70	o 1234
21.47/21.78	o 1233
21.76/22.03	o 1230
21.86/22.14	o 1225
21.96/22.27	o 1220
22.06/22.39	o 1217
22.16/22.50	o 1215
22.56/22.81	o 1209
22.65/22.93	o 1207
22.75/23.06	o 1206
23.15/23.44	o 1198
23.25/23.54	o 1190
23.35/23.64	o 1181
23.45/23.75	o 1173
23.65/23.99	o 1171
23.94/24.20	o 1166
24.14/24.44	o 1160
24.44/24.78	o 1153
24.75/25.02	o 1149
24.84/25.13	o 1146
25.04/25.32	o 1144
25.13/25.40	o 1137
25.23/25.54	o 1136
25.33/25.63	o 1131
25.43/25.73	o 1129
25.53/25.82	o 1126
25.63/25.92	o 1125
25.73/26.02	o 1121
25.83/26.13	o 1120
25.93/26.23	o 1118
26.03/26.34	o 1114
26.13/26.45	o 1113
26.22/26.56	o 1111
26.32/26.65	o 1106
26.72/27.01	o 1099
26.82/27.16	o 1094
26.92/27.29	o 1086
27.01/27.39	o 1085
27.21/27.51	o 1081
27.51/27.89	o 1078
27.61/28.00	o 1076
27.71/28.10	o 1072
27.81/28.17	o 1070
27.91/28.26	o 1068
28.01/28.33	o 1060
28.10/28.46	o 1055
28.30/28.69	o 1050
29.10/29.43	o 1048
29.19/29.54	o 1047
29.29/29.69	o 1043
29.58/29.94	o 1039
29.78/30.10	o 1035
29.88/30.24	o 1033
29.98/30.38	o 1028
30.18/30.52	o 1027
30.48/30.81	o 1022
30.57/30.98	o 1018
30.77/31.15	o 1016
30.87/31.28	o 1013
31.07/31.45	o 1012
31.27/31.60	o 1010
31.66/32.08	o 1009
32.06/32.48	o 1007
32.46/32.82	o 1004
32.56/32.99	o 1001
32.75/33.16	o 1000
32.95/33.36	o 996
33.15/33.56	o 993
33.35/33.79	o 991
33.64/34.02	o 988
34.05/34.44	o 986
34.25/34.65	o 985
34.64/35.04	o 984
34.84/35.24	o 981
35.04/35.42	o 980
35.14/35.58	o 979
35.34/35.75	o 978
35.54/35.94	o 971
36.52/36.92	o 969
36.62/37.08	o 968
37.21/37.62	o 965
37.31/37.73	o 963
37.41/37.86	o 959
37.51/37.99	o 955
37.71/38.12	o 949
38.20/38.69	o 947
38.40/38.85	o 943
38.60/39.00	o 936
38.70/39.18	o 933
39.29/39.71	o 926
39.39/39.86	o 923
39.59/40.01	o 917
39.59/40.07	o 915
39.79/40.21	o 913
39.89/40.38	o 908
40.08/40.51	o 904
40.18/40.68	o 901
40.38/40.82	o 898
40.49/40.95	o 897
40.59/41.08	o 890
40.99/41.40	o 889
41.09/41.54	o 886
41.28/41.70	o 885
41.48/41.96	o 882
42.07/42.54	o 879
42.17/42.69	o 878
42.86/43.32	o 874
42.96/43.49	o 870
43.36/43.82	o 869
43.65/44.12	o 868
44.15/44.69	o 866
44.35/44.85	o 863
44.74/45.22	o 860
44.84/45.36	o 856
45.04/45.53	o 853
45.24/45.71	o 852
45.44/45.91	o 851
46.13/46.67	o 848
46.62/47.16	o 847
47.12/47.60	o 846
47.32/47.81	o 843
48.01/48.55	o 839
48.21/48.74	o 837
48.41/48.93	o 833
48.61/49.12	o 829
48.80/49.32	o 826
49.00/49.51	o 824
49.20/49.72	o 821
49.40/49.93	o 818
50.28/50.82	o 816
50.48/51.06	o 815
50.68/51.30	o 814
50.98/51.54	o 811
51.18/51.78	o 808
51.87/52.46	o 807
52.66/53.24	o 804
52.86/53.48	o 800
53.15/53.75	o 797
53.45/54.00	o 794
53.95/54.50	o 793
54.34/54.95	o 790
54.64/55.22	o 789
54.84/55.48	o 784
55.33/55.98	o 781
56.13/56.73	o 776
56.83/57.44	o 772
57.03/57.68	o 771
57.52/58.11	o 769
59.41/60.04	o 766
59.60/60.28	o 763
59.80/60.49	o 762
60.59/61.20	o 761
60.69/61.33	o 755
61.08/61.73	o 753
61.48/62.15	o 752
61.68/62.37	o 751
62.08/62.77	o 747
63.36/64.09	o 746
63.56/64.27	o 744
63.96/64.67	o 743
64.15/64.88	o 740
64.35/65.09	o 736
65.24/65.93	o 735
65.94/66.63	o 731
66.14/66.85	o 730
66.33/67.09	o 728
66.63/67.31	o 725
66.83/67.52	o 721
69.40/70.15	o 719
69.60/70.37	o 717
69.79/70.57	o 714
69.99/70.78	o 712
70.49/71.23	o 711
70.69/71.47	o 708
71.68/72.41	o 704
71.88/72.64	o 702
72.07/72.82	o 699
73.36/74.12	o 698
73.56/74.36	o 695
73.85/74.68	o 693
75.04/75.88	o 692
75.54/76.36	o 690
76.24/77.08	o 687
76.54/77.31	o 684
76.74/77.52	o 683
77.13/77.95	o 682
77.43/78.20	o 679
77.63/78.46	o 676
78.81/79.61	o 675
79.01/79.84	o 673
79.21/80.08	o 671
79.51/80.33	o 670
80.00/80.81	o 669
80.20/81.06	o 667
80.50/81.34	o 666
80.69/81.59	o 664
81.29/82.13	o 661
81.48/82.38	o 660
82.28/83.19	o 659
82.57/83.47	o 656
82.87/83.73	o 655
83.47/84.32	o 654
83.76/84.61	o 651
83.96/84.89	o 648
84.26/85.16	o 645
84.56/85.44	o 643
86.24/87.18	o 641
86.63/87.59	o 637
86.93/87.89	o 635
90.59/91.51	o 633
91.09/92.04	o 632
91.29/92.27	o 629
91.49/92.49	o 625
91.78/92.75	o 624
92.28/93.23	o 620
93.27/94.28	o 619
93.86/94.81	o 613
94.06/95.08	o 610
94.56/95.60	o 607
95.15/96.10	o 603
95.64/96.63	o 599
95.84/96.86	o 596
96.04/97.06	o 595
96.24/97.28	o 593
96.73/97.73	o 590
96.93/97.96	o 588
97.13/98.17	o 585
101.19/102.25	o 582
102.09/103.10	o 581
102.38/103.41	o 577
102.68/103.71	o 576
102.98/104.02	o 575
104.75/105.85	o 572
105.94/107.00	o 571
106.24/107.30	o 568
106.54/107.60	o 565
107.74/108.81	o 564
108.03/109.17	o 563
108.33/109.47	o 560
109.02/110.10	o 558
109.62/110.79	o 557
109.82/110.95	o 551
110.02/111.18	o 547
110.61/111.70	o 544
111.11/112.26	o 543
111.30/112.46	o 540
111.60/112.76	o 539
111.90/113.07	o 535
112.49/113.65	o 534
114.57/115.77	o 532
114.87/116.05	o 526
115.17/116.32	o 523
115.46/116.61	o 521
115.56/116.78	o 518
115.86/117.06	o 516
116.16/117.35	o 514
116.45/117.65	o 513
116.75/117.93	o 509
117.05/118.23	o 506
117.34/118.53	o 504
118.13/119.33	o 503
118.33/119.53	o 502
118.63/119.82	o 500
118.82/120.07	o 498
119.02/120.26	o 496
121.21/122.40	o 495
121.41/122.64	o 493
121.71/122.91	o 491
121.80/123.09	o 489
122.00/123.28	o 488
122.30/123.55	o 487
122.50/123.77	o 486
122.80/124.01	o 485
122.99/124.20	o 483
123.09/124.33	o 481
123.19/124.48	o 479
123.39/124.68	o 475
123.59/124.85	o 471
123.79/125.04	o 470
123.98/125.29	o 462
124.98/126.21	o 460
125.17/126.41	o 459
125.47/126.80	o 458
125.67/126.97	o 454
125.87/127.14	o 452
126.07/127.33	o 449
126.26/127.53	o 445
126.46/127.71	o 444
126.86/128.10	o 442
126.95/128.29	o 441
127.15/128.49	o 439
127.35/128.69	o 435
127.94/129.25	o 431
128.14/129.42	o 429
128.24/129.59	o 428
128.44/129.79	o 426
128.83/130.12	o 423
129.72/131.03	o 420
129.82/131.11	o 418
129.92/131.28	o 416
130.22/131.57	o 415
130.42/131.76	o 412
130.62/131.93	o 409
130.72/132.05	o 403
130.91/132.23	o 401
131.01/132.39	o 398
131.21/132.57	o 397
131.41/132.74	o 392
131.61/132.92	o 391
132.50/133.88	o 389
132.90/134.27	o 388
133.09/134.44	o 386
133.19/134.52	o 383
133.39/134.71	o 380
133.49/134.88	o 379
133.69/135.06	o 377
134.38/135.79	o 376
134.58/135.99	o 372
134.78/136.14	o 367
134.98/136.32	o 365
135.08/136.49	o 363
135.47/136.84	o 362
136.46/137.89	o 359
136.66/138.07	o 356
136.86/138.25	o 355
136.96/138.37	o 352
137.75/139.13	o 350
137.95/139.30	o 347
138.14/139.50	o 344
138.44/139.86	o 342
138.64/140.05	o 340
138.84/140.24	o 339
139.04/140.43	o 336
139.23/140.63	o 335
141.51/142.95	o 334
141.70/143.14	o 330
141.90/143.32	o 329
142.30/143.71	o 328
142.89/144.32	o 326
143.09/144.52	o 325
143.29/144.71	o 324
143.29/144.80	o 323
143.59/145.00	o 322
144.58/146.08	o 321
144.88/146.33	o 320
145.07/146.57	o 317
145.27/146.79	o 314
145.47/146.99	o 311
145.67/147.13	o 310
145.86/147.35	o 307
145.96/147.49	o 306
146.66/148.18	o 305
146.85/148.36	o 303
147.55/149.03	o 301
147.75/149.24	o 297
147.95/149.46	o 296
148.64/150.17	o 295
148.94/150.41	o 294
149.14/150.63	o 290
149.33/150.81	o 289
149.53/151.04	o 284
149.73/151.27	o 283
150.62/152.15	o 281
150.82/152.33	o 276
151.02/152.57	o 273
151.51/153.06	o 272
151.81/153.31	o 267
151.91/153.47	o 264
152.11/153.66	o 260
152.30/153.88	o 259
152.50/154.10	o 258
152.80/154.36	o 255
153.30/154.82	o 253
153.49/155.07	o 251
153.79/155.32	o 249
154.98/156.50	o 248
155.18/156.74	o 245
155.48/157.01	o 240
156.07/157.64	o 237
157.75/159.35	o 236
158.05/159.60	o 235
158.74/160.32	o 234
159.04/160.70	o 230
159.33/160.91	o 229
159.53/161.12	o 227
159.73/161.32	o 224
159.93/161.56	o 221
160.22/161.81	o 220
160.62/162.26	o 218
160.82/162.43	o 217
161.02/162.65	o 214
161.51/163.12	o 212
161.71/163.34	o 210
161.91/163.58	o 209
162.11/163.79	o 207
162.90/164.53	o 205
163.10/164.76	o 201
163.69/165.37	o 199
163.89/165.55	o 197
163.99/165.67	o 196
164.19/165.84	o 193
164.58/166.23	o 191
164.87/166.57	o 190
165.27/166.93	o 186
165.37/167.09	o 184
165.57/167.27	o 182
165.76/167.44	o 180
165.96/167.62	o 179
166.26/167.98	o 178
166.46/168.16	o 177
166.86/168.51	o 176
167.06/168.71	o 174
167.06/168.78	o 172
167.26/168.98	o 170
168.85/170.56	o 168
169.04/170.79	o 166
169.34/171.04	o 165
169.54/171.29	o 164
169.83/171.54	o 163
171.12/172.81	o 162
171.32/173.05	o 161
171.62/173.31	o 158
171.82/173.50	o 153
172.30/174.03	o 151
172.50/174.24	o 149
185.89/187.71	o 147
186.78/188.62	o 146
188.26/190.16	o 145
188.46/190.38	o 142
188.65/190.51	o 141
190.93/192.84	o 137
191.23/193.13	o 136
192.82/194.79	o 135
193.11/195.03	o 132
193.41/195.33	o 131
193.71/195.68	o 129
194.00/195.93	o 126
195.39/197.33	o 125
195.69/197.67	o 123
196.08/198.06	o 122
196.88/198.81	o 121
197.96/199.93	o 119
206.09/208.19	o 114
209.96/212.06	o 111
212.33/214.48	o 106
213.71/215.87	o 104
214.11/216.21	o 103
214.80/216.91	o 102
214.80/216.97	o 100
215.20/217.32	o 99
215.70/217.89	o 98
215.99/218.19	o 97
216.19/218.31	o 96
216.49/218.61	o 95
216.58/218.74	o 89
216.68/218.90	o 84
217.18/219.38	o 82
217.48/219.64	o 81
222.03/224.25	o 80
227.68/229.98	o 78
228.48/230.77	o 77
228.57/230.90	o 74
229.95/232.26	o 73
233.52/235.80	o 72
235.30/237.63	o 71
240.85/243.28	o 67
248.19/250.67	o 64
248.48/250.95	o 63
250.47/252.94	o 60
250.76/253.22	o 57
255.12/257.65	o 56
260.97/263.58	o 55
261.56/264.10	o 54
266.51/269.15	o 52
267.00/269.65	o 51
267.20/269.86	o 50
267.40/270.04	o 48
268.49/271.18	o 44
268.98/271.65	o 43
269.08/271.74	o 42
270.97/273.66	o 40
271.17/273.81	o 38
271.46/274.11	o 37
271.56/274.27	o 36
271.76/274.41	o 35
271.96/274.69	o 34
272.16/274.86	o 33
274.63/277.36	o 32
275.82/278.52	o 30
275.92/278.62	o 29
288.20/291.04	o 28
288.20/291.05	o 25
289.29/292.19	o 24
291.37/294.27	o 23
292.85/295.75	o 22
293.25/296.13	o 21
293.45/296.38	o 20
293.55/296.47	o 19
293.65/296.59	o 18
293.75/296.61	o 17
295.83/298.79	o 16
296.12/299.02	o 15
296.62/299.52	o 14
298.11/301.07	o 13
298.21/301.14	o 11
303.34/306.32	o 10
332.37/335.68	o 9
333.76/337.03	o 8
347.13/350.58	o 7
351.19/354.62	o 6
379.72/383.47	o 5
409.73/413.79	   
409.73/413.79	   search
409.73/413.79	     run=0  nbConstraintChecks=1021340942  nbAssignments=3272
409.73/413.79	       =>  wckTime=402.194  cpuTime=398.32  mem=21M154
409.73/413.79	   
409.73/413.79	   global
409.73/413.79	     nbConstraintChecks=1021340942  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
409.73/413.79	     solvingWckTime=402.19  solvingCpuTime=398.33  expiredTime=no  totalExploration=no  nbFoundSolutions=0
409.73/413.79	     globalCpuTime=409.07
409.73/413.79	       =>  wckTime=413.545  cpuTime=409.02  mem=21M154
409.73/413.79	   
409.73/413.79	   solver DecomposerSolver being built... 
410.82/414.86	       =>  wckTime=414.615  cpuTime=409.42  mem=334M918
514.64/519.64	   
514.64/519.64	   preprocessing
514.64/519.64	     nbConstraintChecks=303782492  nbValidityChecks=572986  nbPropagations=355  nbRevisions=11689
514.64/519.64	     nbUselessRevisions=11671  nbRemovedValues=2380  detectedInconsistency=no
514.64/519.64	       =>  wckTime=104.779  cpuTime=103.78  mem=335M892
514.94/519.94	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-1114058-1215896158/watcher-1114058-1215896158 -o /tmp/evaluation-result-1114058-1215896158/solver-1114058-1215896158 -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-1114058-1215896158.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.03 2.01 2.00 4/82 18838
/proc/meminfo: memFree=1743536/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=18572 CPUtime=0
/proc/18838/stat : 18838 (runsolver) R 18836 18838 17686 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 46318543 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18838/statm: 4643 292 257 25 0 2626 0

[startup+0.013806 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 18838
/proc/meminfo: memFree=1743536/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=1616 CPUtime=0
/proc/18838/stat : 18838 (java) D 18836 18838 17686 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 46318543 1654784 126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/18838/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616

[startup+0.103098 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 18838
/proc/meminfo: memFree=1743536/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=865984 CPUtime=0.08
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 3701 0 1 0 6 2 0 0 18 0 9 0 46318543 886767616 3174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216496 3174 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301126 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 18838
/proc/meminfo: memFree=1743536/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=866156 CPUtime=0.28
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 5598 0 1 0 25 3 0 0 18 0 9 0 46318543 886943744 5013 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216539 5013 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.702178 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 18838
/proc/meminfo: memFree=1743536/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867112 CPUtime=0.67
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 8705 0 1 0 61 6 0 0 18 0 9 0 46318543 887922688 8066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216778 8066 2006 9 0 211284 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867112

[startup+1.50228 s]
/proc/loadavg: 2.03 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1706664/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=1.46
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 14018 0 1 0 137 9 0 0 18 0 9 0 46318543 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 13376 2014 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=1.27
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 12684 0 1 0 119 8 0 0 25 0 9 0 46318545 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4126869892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46318546 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46318547 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46318547 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.18
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 637 0 0 0 18 0 0 0 16 0 9 0 46318549 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888545280 13376 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867720

[startup+3.10149 s]
/proc/loadavg: 2.03 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1696360/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=3.05
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 14695 0 1 0 295 10 0 0 18 0 9 0 46318543 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 14051 2014 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=2.84
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 13356 0 1 0 276 8 0 0 25 0 9 0 46318545 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4126865924 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46318546 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46318547 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46318547 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.18
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 642 0 0 0 18 0 0 0 16 0 9 0 46318549 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888545280 14051 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867720

[startup+6.30192 s]
/proc/loadavg: 2.03 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1679528/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=6.22
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 15886 0 1 0 612 10 0 0 18 0 9 0 46318543 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 15240 2014 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=6.01
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 14543 0 1 0 592 9 0 0 25 0 9 0 46318545 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4126868336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46318546 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46318547 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46318547 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.19
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 646 0 0 0 19 0 0 0 16 0 9 0 46318549 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888545280 15240 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867720

[startup+12.7018 s]
/proc/loadavg: 2.02 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1638568/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=12.57
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 23667 0 1 0 1242 15 0 0 18 0 9 0 46318543 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 22802 2640 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=11.99
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15884 0 1 0 1189 10 0 0 25 0 9 0 46318545 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4127180452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0.24
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 6373 0 0 0 22 2 0 0 17 0 9 0 46318546 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.31
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 714 0 0 0 30 1 0 0 15 0 9 0 46318549 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888545280 22802 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867720

[startup+25.5025 s]
/proc/loadavg: 2.02 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1604200/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=25.23
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 23668 0 1 0 2506 17 0 0 18 0 9 0 46318543 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 22803 2640 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=24.65
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15884 0 1 0 2453 12 0 0 25 0 9 0 46318545 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4126868993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0.24
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 6373 0 0 0 22 2 0 0 16 0 9 0 46318546 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.31
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 715 0 0 0 30 1 0 0 16 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867720

[startup+51.1028 s]
/proc/loadavg: 2.01 2.01 2.00 3/91 18847
/proc/meminfo: memFree=1544040/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867720 CPUtime=50.58
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 23668 0 1 0 5039 19 0 0 18 0 9 0 46318543 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216930 22803 2640 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867720 CPUtime=50
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15884 0 1 0 4986 14 0 0 25 0 9 0 46318545 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4126864566 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867720 CPUtime=0.24
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 6373 0 0 0 22 2 0 0 16 0 9 0 46318546 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46318547 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867720 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867720 CPUtime=0.31
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 715 0 0 0 30 1 0 0 16 0 9 0 46318549 888545280 22803 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867720 CPUtime=0

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

/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.34
Current children cumulated vsize (KiB) 867632

[startup+511.903 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=507.01
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97293 0 1 0 50633 68 0 0 18 0 9 0 46318543 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96352 2619 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=505.74
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15966 0 1 0 50540 34 0 0 25 0 9 0 46318545 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4126864610 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=0.88
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 79868 0 0 0 57 31 0 0 16 0 9 0 46318546 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 507.01
Current children cumulated vsize (KiB) 867632

[startup+515.102 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=510.18
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97293 0 1 0 50950 68 0 0 18 0 9 0 46318543 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96352 2619 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=508.91
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15966 0 1 0 50857 34 0 0 25 0 9 0 46318545 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4127180468 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=0.88
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 79868 0 0 0 57 31 0 0 16 0 9 0 46318546 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 510.18
Current children cumulated vsize (KiB) 867632

[startup+518.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=513.35
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97293 0 1 0 51267 68 0 0 18 0 9 0 46318543 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96352 2619 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=512.08
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15966 0 1 0 51174 34 0 0 25 0 9 0 46318545 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4126864566 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=0.88
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 79868 0 0 0 57 31 0 0 16 0 9 0 46318546 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 513.35
Current children cumulated vsize (KiB) 867632

[startup+519.102 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=514.15
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97293 0 1 0 51347 68 0 0 18 0 9 0 46318543 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96352 2619 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=512.88
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15966 0 1 0 51254 34 0 0 25 0 9 0 46318545 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4127180499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=0.88
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 79868 0 0 0 57 31 0 0 16 0 9 0 46318546 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 514.15
Current children cumulated vsize (KiB) 867632

[startup+519.502 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=514.54
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97293 0 1 0 51386 68 0 0 18 0 9 0 46318543 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96352 2619 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=513.27
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15966 0 1 0 51293 34 0 0 25 0 9 0 46318545 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4126864585 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=0.88
/proc/18838/task/18841/stat : 18841 (java) S 18836 18838 17686 0 -1 64 79868 0 0 0 57 31 0 0 16 0 9 0 46318546 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 514.54
Current children cumulated vsize (KiB) 867632

[startup+519.903 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=867632 CPUtime=514.94
/proc/18838/stat : 18838 (java) S 18836 18838 17686 0 -1 0 97860 0 1 0 51426 68 0 0 18 0 9 0 46318543 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 216908 96916 2618 9 0 211436 0
[pid=18838/tid=18840] ppid=18836 vsize=867632 CPUtime=513.41
/proc/18838/task/18840/stat : 18840 (java) R 18836 18838 17686 0 -1 64 15968 0 1 0 51307 34 0 0 23 0 9 0 46318545 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18841] ppid=18836 vsize=867632 CPUtime=1.14
/proc/18838/task/18841/stat : 18841 (java) R 18836 18838 17686 0 -1 64 80433 0 0 0 82 32 0 0 16 0 9 0 46318546 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18842] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18842/stat : 18842 (java) S 18836 18838 17686 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46318547 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18843] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18843/stat : 18843 (java) S 18836 18838 17686 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46318547 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18844] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18844/stat : 18844 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46318549 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18845] ppid=18836 vsize=867632 CPUtime=0.36
/proc/18838/task/18845/stat : 18845 (java) S 18836 18838 17686 0 -1 64 745 0 0 0 35 1 0 0 16 0 9 0 46318549 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18846] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18846/stat : 18846 (java) S 18836 18838 17686 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46318549 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18838/tid=18847] ppid=18836 vsize=867632 CPUtime=0
/proc/18838/task/18847/stat : 18847 (java) S 18836 18838 17686 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46318549 888455168 96916 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 514.94
Current children cumulated vsize (KiB) 867632

[startup+520.003 s]
/proc/loadavg: 2.00 2.01 2.00 3/90 18853
/proc/meminfo: memFree=826984/2055920 swapFree=4192812/4192956
[pid=18838] ppid=18836 vsize=0 CPUtime=515.03
/proc/18838/stat : 18838 (java) Z 18836 18838 17686 0 -1 12 103254 0 1 0 51427 76 0 0 16 0 2 0 46318543 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 515.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 520.011
CPU time (s): 515.052
CPU user time (s): 514.28
CPU system time (s): 0.771882
CPU usage (%): 99.0463
Max. virtual memory (cumulated for all children) (KiB): 867720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 514.28
system time used= 0.771882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103254
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= 12171
involuntary context switches= 25446

runsolver used 0.690894 second user time and 1.72874 second system time

The end

Launcher Data (download as text)

Begin job on node13 at 2008-07-12 22:55:58
IDJOB=1114058
IDBENCH=61681
IDSOLVER=360
FILE ID=node13/1114058-1215896158
PBS_JOBID= 7903622
Free space on /tmp= 66524 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp19/normalized-fapp19-0350-5.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-1114058-1215896158/watcher-1114058-1215896158 -o /tmp/evaluation-result-1114058-1215896158/solver-1114058-1215896158 -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-1114058-1215896158.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 0e6d4c6cfe45c7fb1ed8c7d48e56685a
RANDOM SEED=1296843098

node13.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.234
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.234
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:       1744016 kB
Buffers:         13284 kB
Cached:          45264 kB
SwapCached:          0 kB
Active:         245660 kB
Inactive:        15540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1744016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:         222840 kB
Slab:            35396 kB
Committed_AS:   463100 kB
PageTables:       2436 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= 66520 MiB
End job on node13 at 2008-07-12 23:04:38