Trace number 1114063

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? 429.188 433.479

General information on the benchmark

Namecsp/fapp/fapp19/
normalized-fapp19-0350-2.xml
MD5SUM1825ea13215fc44c945afffc7e468e56
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints14
Best CPU time to get the best result obtained on this benchmark3600.06
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.07/0.20	
0.07/0.20	Abscon 112 (May, 2008)
0.17/0.39	
0.17/0.39	   configuration
0.17/0.39	     name=mrdac-wdeg.xml
0.26/0.44	   
0.26/0.44	   instance
0.26/0.44	     name=HOME/instance-1114063-1215896209.xml
0.26/0.48	   
0.26/0.48	   domains being loaded...
0.34/0.53	   
0.34/0.53	   variables being loaded...
0.45/0.62	     nbVariables=350  nbDomainTypes=8  minDomainSize=186  maxDomainSize=802  nbTotalValues=201074
0.45/0.62	       =>  wckTime=0.222  cpuTime=0.16  mem=13M725
0.45/0.62	   
0.45/0.62	   predicates being loaded...
0.45/0.68	   
0.45/0.68	   constraints being loaded...
10.54/10.80	   
10.54/10.80	   INFO : Stopping converting binary constraints (cpu=10.17, mem = 48M758)
11.24/11.56	     nbConstraints=5873  nbConvertedConstraints=117  nbConvertConstraintsChecks=33143096  nbExtensionStructures=91
11.24/11.56	     nbSharedExtensionStructures=26  nbConflictsStructures=91  nbSharedConflictsStructures=26
11.24/11.56	     nbUnbuiltConflictsStructures=1988  nbSharedBinaryRepresentations=93265  nbEvaluationManagers=1988
11.24/11.56	     nbSharedEvaluationManagers=3768  minDegree=7  maxDegree=71  minArity=2  maxArity=2
11.24/11.56	       =>  wckTime=11.166  cpuTime=10.73  mem=55M112
11.43/11.75	   
11.43/11.75	   solver LocalSearchSolver being built... 
11.43/11.79	       =>  wckTime=11.399  cpuTime=10.77  mem=21M278
11.74/12.03	
11.74/12.03	s SATISFIABLE
11.74/12.03	o 1704
11.93/12.20	o 1695
12.03/12.31	o 1688
12.03/12.39	o 1681
12.13/12.48	o 1671
12.23/12.54	o 1661
12.33/12.60	o 1654
12.33/12.68	o 1646
12.43/12.72	o 1640
12.53/12.84	o 1633
12.53/12.88	o 1629
12.63/12.95	o 1621
12.73/13.01	o 1619
12.73/13.08	o 1614
12.83/13.16	o 1609
12.92/13.25	o 1606
13.02/13.32	o 1598
13.12/13.41	o 1596
13.22/13.52	o 1594
13.22/13.58	o 1591
13.32/13.65	o 1585
13.42/13.76	o 1582
13.52/13.82	o 1577
13.61/13.91	o 1572
13.61/13.96	o 1569
13.71/14.03	o 1567
13.81/14.14	o 1564
13.91/14.22	o 1561
14.01/14.31	o 1558
14.01/14.39	o 1555
14.10/14.47	o 1552
14.30/14.60	o 1551
14.40/14.73	o 1548
14.40/14.77	o 1547
14.70/15.06	o 1544
14.80/15.13	o 1543
14.90/15.22	o 1540
15.00/15.38	o 1537
15.39/15.73	o 1534
15.39/15.78	o 1532
15.49/15.86	o 1526
15.59/15.91	o 1522
15.69/16.03	o 1520
15.79/16.10	o 1518
15.79/16.14	o 1517
15.89/16.20	o 1515
15.99/16.30	o 1512
16.09/16.41	o 1510
16.09/16.49	o 1508
16.28/16.64	o 1505
16.38/16.72	o 1502
16.48/16.90	o 1496
16.58/16.97	o 1486
16.68/17.04	o 1483
16.78/17.12	o 1480
16.78/17.19	o 1474
16.87/17.23	o 1472
16.87/17.29	o 1465
16.97/17.33	o 1458
17.07/17.49	o 1449
17.17/17.53	o 1448
17.17/17.58	o 1445
17.37/17.75	o 1439
17.47/17.80	o 1435
17.47/17.89	o 1430
17.67/18.04	o 1429
17.77/18.11	o 1428
17.88/18.20	o 1425
17.97/18.32	o 1422
18.07/18.40	o 1419
18.17/18.51	o 1416
18.27/18.61	o 1414
18.37/18.78	o 1413
18.46/18.89	o 1412
18.56/18.99	o 1405
18.66/19.06	o 1403
18.76/19.14	o 1399
18.86/19.20	o 1398
18.86/19.27	o 1397
18.96/19.34	o 1394
19.06/19.45	o 1390
19.16/19.58	o 1387
19.46/19.85	o 1382
19.55/19.97	o 1379
19.65/20.05	o 1375
20.24/20.68	o 1371
20.44/20.90	o 1368
20.64/21.01	o 1365
20.74/21.10	o 1363
21.14/21.53	o 1361
21.23/21.67	o 1359
21.43/21.80	o 1356
21.53/21.93	o 1354
21.63/22.09	o 1351
21.93/22.30	o 1349
21.93/22.39	o 1346
22.13/22.57	o 1341
22.23/22.65	o 1338
22.32/22.76	o 1336
22.52/22.91	o 1330
22.62/23.06	o 1329
22.72/23.19	o 1328
22.82/23.29	o 1325
23.01/23.42	o 1318
23.11/23.54	o 1316
23.21/23.67	o 1312
23.31/23.77	o 1304
23.41/23.87	o 1298
23.51/23.97	o 1294
23.61/24.07	o 1290
23.71/24.16	o 1288
23.81/24.25	o 1287
23.90/24.37	o 1279
24.10/24.51	o 1274
24.30/24.74	o 1272
24.40/24.87	o 1268
24.60/25.00	o 1265
24.79/25.24	o 1264
24.89/25.39	o 1261
25.59/26.03	o 1257
25.79/26.26	o 1253
25.89/26.39	o 1250
26.09/26.51	o 1245
26.29/26.76	o 1239
26.68/27.18	o 1236
26.78/27.29	o 1233
27.17/27.62	o 1227
27.27/27.72	o 1225
27.47/27.93	o 1222
27.57/28.06	o 1214
28.26/28.71	o 1213
28.95/29.43	o 1211
29.05/29.58	o 1208
29.25/29.71	o 1201
29.35/29.81	o 1194
29.45/29.92	o 1190
29.55/30.04	o 1182
29.65/30.15	o 1178
29.85/30.30	o 1174
29.94/30.42	o 1169
30.04/30.51	o 1165
30.14/30.64	o 1163
30.34/30.88	o 1158
30.44/30.99	o 1157
30.64/31.12	o 1155
30.74/31.26	o 1153
30.83/31.38	o 1152
30.94/31.47	o 1148
31.04/31.57	o 1143
31.24/31.70	o 1140
31.44/31.92	o 1133
31.53/32.02	o 1130
31.63/32.13	o 1128
31.73/32.25	o 1125
32.03/32.52	o 1124
32.13/32.65	o 1123
32.23/32.79	o 1119
32.43/32.94	o 1115
34.01/34.57	o 1114
34.21/34.71	o 1111
34.40/34.96	o 1108
34.50/35.09	o 1102
34.70/35.22	o 1098
34.90/35.42	o 1093
35.00/35.54	o 1089
35.30/35.85	o 1088
35.39/35.98	o 1087
35.59/36.12	o 1086
35.79/36.36	o 1083
35.98/36.59	o 1082
36.18/36.74	o 1079
36.78/37.32	o 1073
36.88/37.48	o 1069
37.27/37.88	o 1064
37.47/38.05	o 1062
37.67/38.22	o 1059
37.87/38.41	o 1056
37.97/38.54	o 1050
38.06/38.67	o 1043
38.36/38.96	o 1041
38.56/39.11	o 1040
38.76/39.36	o 1036
39.06/39.67	o 1033
39.15/39.79	o 1030
39.35/39.92	o 1021
39.45/40.05	o 1018
39.65/40.21	o 1014
39.95/40.54	o 1009
40.04/40.67	o 1005
40.24/40.82	o 1001
40.34/40.98	o 996
40.64/41.25	o 992
40.83/41.41	o 990
40.93/41.54	o 986
41.23/41.83	o 983
41.33/41.96	o 979
41.53/42.12	o 976
41.63/42.25	o 975
41.84/42.41	o 974
41.93/42.58	o 970
42.13/42.73	o 960
42.23/42.86	o 957
42.33/42.94	o 951
42.42/43.02	o 949
42.52/43.12	o 948
42.62/43.23	o 945
43.02/43.60	o 944
43.22/43.86	o 940
43.42/44.01	o 935
43.81/44.44	o 931
44.11/44.72	o 926
44.41/45.07	o 921
44.60/45.22	o 917
44.70/45.37	o 916
44.90/45.55	o 912
45.20/45.87	o 906
45.60/46.22	o 900
45.69/46.37	o 899
45.89/46.54	o 894
46.19/46.85	o 892
46.39/47.05	o 890
46.68/47.34	o 889
46.78/47.48	o 885
46.98/47.66	o 878
47.08/47.79	o 874
47.57/48.21	o 873
47.67/48.36	o 872
47.87/48.53	o 871
47.97/48.68	o 869
48.17/48.83	o 866
48.37/49.00	o 862
48.46/49.18	o 858
48.66/49.35	o 857
48.86/49.54	o 854
49.06/49.74	o 851
49.26/49.92	o 849
49.65/50.31	o 848
50.05/50.71	o 846
50.25/50.91	o 845
50.45/51.10	o 843
50.84/51.51	o 840
51.04/51.71	o 837
51.24/51.92	o 836
51.44/52.11	o 833
52.13/52.86	o 832
52.52/53.27	o 828
52.72/53.44	o 827
53.12/53.88	o 825
53.31/54.10	o 816
53.51/54.26	o 812
53.71/54.46	o 810
53.91/54.67	o 809
54.50/55.21	o 803
54.70/55.40	o 799
54.80/55.58	o 798
55.00/55.76	o 789
55.20/55.95	o 788
55.59/56.31	o 785
55.79/56.50	o 783
56.29/57.05	o 782
56.48/57.22	o 781
56.58/57.38	o 778
56.98/57.72	o 777
57.08/57.88	o 775
57.27/58.06	o 770
57.67/58.40	o 767
57.97/58.76	o 766
58.76/59.50	o 765
59.06/59.83	o 764
59.65/60.43	o 761
59.85/60.64	o 759
60.05/60.85	o 758
60.24/61.05	o 754
60.93/61.72	o 751
61.34/62.19	o 747
66.30/67.14	o 746
66.59/67.42	o 745
66.79/67.69	o 742
67.08/67.95	o 740
67.68/68.50	o 738
67.88/68.75	o 737
68.17/69.04	o 736
68.67/69.57	o 734
68.97/69.83	o 733
71.05/71.92	o 731
71.54/72.48	o 729
71.84/72.75	o 728
72.63/73.57	o 726
72.93/73.84	o 724
73.52/74.42	o 721
73.72/74.69	o 719
74.81/75.76	o 716
75.30/76.25	o 715
75.80/76.70	o 713
76.00/76.94	o 710
76.19/77.15	o 707
76.39/77.37	o 704
76.69/77.63	o 703
78.18/79.16	o 702
79.46/80.41	o 699
80.35/81.37	o 696
80.85/81.88	o 692
81.94/82.91	o 691
82.43/83.42	o 685
82.73/83.74	o 683
83.03/84.04	o 679
83.32/84.33	o 677
83.62/84.64	o 673
83.92/84.94	o 671
84.22/85.27	o 669
84.52/85.57	o 668
85.42/86.49	o 666
85.71/86.78	o 662
86.00/87.06	o 660
86.30/87.34	o 659
86.60/87.64	o 657
86.90/87.93	o 656
87.19/88.24	o 654
88.48/89.53	o 653
88.78/89.87	o 647
89.77/90.86	o 646
90.07/91.16	o 645
90.36/91.47	o 642
90.66/91.78	o 641
91.95/93.09	o 638
92.35/93.42	o 637
92.64/93.74	o 635
92.94/94.06	o 633
93.24/94.38	o 631
94.23/95.32	o 628
94.33/95.47	o 626
94.63/95.76	o 624
96.21/97.33	o 620
96.51/97.66	o 619
96.81/97.95	o 617
98.79/99.91	o 615
99.08/100.22	o 614
100.27/101.43	o 612
100.86/102.06	o 610
101.16/102.39	o 607
101.36/102.57	o 605
101.95/103.17	o 604
102.55/103.72	o 603
102.75/103.91	o 601
103.44/104.67	o 599
103.73/104.94	o 598
104.23/105.46	o 597
104.52/105.73	o 595
104.72/105.97	o 594
105.02/106.26	o 592
105.22/106.43	o 589
111.06/112.36	o 588
114.14/115.49	o 587
114.73/116.05	o 585
115.02/116.33	o 583
115.32/116.63	o 582
115.52/116.85	o 579
115.82/117.13	o 577
116.71/118.05	o 576
118.19/119.54	o 575
118.49/119.86	o 573
119.08/120.48	o 570
119.39/120.77	o 569
120.18/121.52	o 565
120.48/121.83	o 564
122.95/124.33	o 561
123.55/124.99	o 560
124.64/126.03	o 558
124.83/126.30	o 555
127.01/128.48	o 551
127.31/128.76	o 548
128.59/130.02	o 547
128.79/130.28	o 545
129.39/130.86	o 544
129.68/131.15	o 543
130.28/131.73	o 542
133.25/134.72	o 540
133.55/135.02	o 539
133.75/135.27	o 537
134.84/136.32	o 536
135.03/136.51	o 534
135.43/136.97	o 530
135.63/137.14	o 527
135.92/137.40	o 525
136.12/137.64	o 523
136.32/137.89	o 519
136.62/138.13	o 517
136.71/138.30	o 515
136.81/138.39	o 512
137.11/138.65	o 510
137.31/138.82	o 507
137.51/139.03	o 505
137.71/139.28	o 502
138.50/140.01	o 497
138.50/140.07	o 493
139.49/141.06	o 491
139.69/141.25	o 490
140.68/142.21	o 489
140.88/142.44	o 487
141.07/142.66	o 486
141.27/142.87	o 485
141.47/143.03	o 482
141.57/143.18	o 478
141.76/143.36	o 476
141.96/143.57	o 474
142.26/143.81	o 471
142.85/144.46	o 468
143.05/144.66	o 466
143.25/144.88	o 465
143.55/145.10	o 464
143.74/145.31	o 462
143.94/145.52	o 460
144.14/145.73	o 458
144.64/146.22	o 456
144.74/146.37	o 454
145.03/146.61	o 453
145.62/147.29	o 452
145.92/147.51	o 451
146.02/147.66	o 449
146.22/147.87	o 448
146.81/148.49	o 446
147.51/149.15	o 445
147.70/149.38	o 444
148.00/149.60	o 443
148.10/149.77	o 441
148.50/150.19	o 439
148.60/150.26	o 437
148.69/150.39	o 432
148.89/150.57	o 431
149.19/150.81	o 428
149.30/150.99	o 427
149.50/151.19	o 425
150.49/152.18	o 422
150.68/152.37	o 420
151.08/152.77	o 416
151.77/153.41	o 415
151.97/153.62	o 413
152.07/153.73	o 411
152.27/153.94	o 408
152.46/154.18	o 404
152.66/154.30	o 402
152.76/154.43	o 400
152.96/154.68	o 397
153.15/154.85	o 396
153.35/155.06	o 393
153.55/155.25	o 391
153.95/155.62	o 389
154.14/155.80	o 387
154.24/155.99	o 385
154.54/156.20	o 384
155.82/157.53	o 383
155.92/157.60	o 379
155.92/157.66	o 376
156.02/157.78	o 374
156.22/157.93	o 373
156.81/158.56	o 372
157.01/158.74	o 371
157.11/158.86	o 369
157.11/158.89	o 364
157.41/159.12	o 363
157.62/159.30	o 362
157.72/159.47	o 360
157.91/159.66	o 353
158.21/159.95	o 352
158.41/160.13	o 350
158.70/160.48	o 349
158.90/160.66	o 345
159.40/161.15	o 344
159.79/161.59	o 343
160.49/162.20	o 342
160.68/162.43	o 341
160.78/162.55	o 338
160.88/162.69	o 336
161.47/163.22	o 334
161.57/163.36	o 331
161.67/163.48	o 328
161.77/163.56	o 325
161.87/163.70	o 323
162.46/164.21	o 320
162.56/164.36	o 317
162.66/164.43	o 315
162.76/164.57	o 314
162.95/164.71	o 313
163.05/164.84	o 312
163.15/164.98	o 309
163.25/165.06	o 308
163.45/165.25	o 305
163.55/165.33	o 303
163.65/165.44	o 300
163.75/165.52	o 298
163.85/165.63	o 293
163.94/165.75	o 291
164.05/165.85	o 288
164.05/165.89	o 285
164.94/166.73	o 281
165.14/166.96	o 280
165.24/167.08	o 279
165.34/167.16	o 274
165.53/167.30	o 273
165.63/167.43	o 272
166.13/167.95	o 270
166.53/168.38	o 269
166.72/168.53	o 267
167.02/168.81	o 265
167.12/168.92	o 264
167.22/169.08	o 262
167.52/169.36	o 257
167.81/169.62	o 254
167.91/169.71	o 251
168.01/169.82	o 249
168.21/170.08	o 247
168.31/170.19	o 245
168.50/170.32	o 240
168.60/170.44	o 236
168.70/170.59	o 235
168.90/170.73	o 232
169.00/170.84	o 231
169.20/171.08	o 230
169.39/171.20	o 228
169.49/171.33	o 226
169.59/171.47	o 220
169.69/171.59	o 217
169.89/171.71	o 214
169.99/171.83	o 211
170.09/171.94	o 208
170.09/171.96	o 206
170.19/172.05	o 204
170.29/172.16	o 202
170.48/172.38	o 201
170.68/172.50	o 199
170.68/172.56	o 196
170.98/172.89	o 195
171.08/172.96	o 193
171.18/173.10	o 189
171.28/173.16	o 185
171.37/173.29	o 184
171.57/173.44	o 179
171.67/173.60	o 177
171.97/173.89	o 175
172.06/173.97	o 174
172.26/174.10	o 170
172.36/174.23	o 169
172.46/174.32	o 166
172.56/174.43	o 162
172.66/174.52	o 159
173.06/174.91	o 157
173.06/174.92	o 155
173.15/175.04	o 154
173.45/175.40	o 152
173.55/175.50	o 147
173.75/175.64	o 146
173.85/175.76	o 145
175.63/177.56	o 143
175.73/177.68	o 140
175.83/177.78	o 138
175.92/177.85	o 137
176.02/177.92	o 134
176.12/178.02	o 133
176.22/178.11	o 131
176.22/178.18	o 127
176.32/178.26	o 126
176.42/178.36	o 122
176.52/178.45	o 121
176.62/178.56	o 120
176.72/178.66	o 119
176.82/178.75	o 116
176.92/178.82	o 115
177.02/179.00	o 113
177.12/179.09	o 112
177.32/179.25	o 111
177.42/179.39	o 109
177.51/179.46	o 107
177.61/179.54	o 105
177.71/179.60	o 102
177.71/179.69	o 101
178.01/179.96	o 98
178.10/180.03	o 87
178.10/180.07	o 84
178.20/180.13	o 83
178.30/180.21	o 79
178.50/180.41	o 78
178.50/180.43	o 76
178.50/180.49	o 70
178.60/180.53	o 68
178.60/180.57	o 67
178.70/180.67	o 65
178.80/180.72	o 64
178.90/180.84	o 63
178.90/180.87	o 62
179.00/180.92	o 61
179.00/180.96	o 56
179.09/181.06	o 55
179.39/181.39	o 52
180.28/182.21	o 51
180.28/182.27	o 50
180.48/182.46	o 49
180.68/182.63	o 48
180.97/182.93	o 47
181.07/183.07	o 45
181.27/183.24	o 44
181.37/183.30	o 41
181.46/183.48	o 40
183.25/185.23	o 39
186.52/188.52	o 38
186.62/188.61	o 37
186.62/188.63	o 36
189.29/191.32	o 35
192.57/194.67	o 33
193.95/196.10	o 32
210.19/212.45	o 31
212.67/214.99	o 30
212.77/215.09	o 29
213.26/215.60	o 28
214.86/217.11	o 27
214.95/217.26	o 26
232.98/235.46	o 25
240.31/242.85	o 24
245.66/248.21	o 23
252.99/255.66	o 21
263.19/265.94	o 20
278.05/280.91	o 19
278.05/280.95	o 18
281.02/283.93	o 17
282.02/284.95	o 16
282.21/285.19	o 15
290.13/293.15	o 14
320.15/323.45	   
320.15/323.45	   search
320.15/323.45	     run=0  nbConstraintChecks=812350332  nbAssignments=2807
320.15/323.45	       =>  wckTime=311.662  cpuTime=308.64  mem=21M278
320.15/323.45	   
320.15/323.45	   global
320.15/323.45	     nbConstraintChecks=812350332  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
320.15/323.45	     solvingWckTime=311.656  solvingCpuTime=308.64  expiredTime=no  totalExploration=no  nbFoundSolutions=0
320.15/323.45	     globalCpuTime=319.46
320.15/323.45	       =>  wckTime=323.06  cpuTime=319.41  mem=21M278
320.15/323.45	   
320.15/323.45	   solver DecomposerSolver being built... 
321.14/324.44	       =>  wckTime=324.047  cpuTime=319.77  mem=335M87
428.82/433.10	   
428.82/433.10	   preprocessing
428.82/433.10	     nbConstraintChecks=304229873  nbValidityChecks=578510  nbPropagations=355  nbRevisions=11698
428.82/433.10	     nbUselessRevisions=11679  nbRemovedValues=2386  detectedInconsistency=no
428.82/433.10	       =>  wckTime=108.658  cpuTime=107.62  mem=335M87
429.01/433.40	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-1114063-1215896209/watcher-1114063-1215896209 -o /tmp/evaluation-result-1114063-1215896209/solver-1114063-1215896209 -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-1114063-1215896209.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

[startup+0 s]
/proc/loadavg: 2.22 2.13 2.24 4/81 24496
/proc/meminfo: memFree=1509704/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=18572 CPUtime=0
/proc/24496/stat : 24496 (runsolver) R 24494 23671 23671 0 -1 4194368 4 0 0 0 0 0 0 0 19 0 1 0 46323832 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 237788261115 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24496/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0621661 s]
/proc/loadavg: 2.22 2.13 2.24 4/81 24496
/proc/meminfo: memFree=1509704/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=10780 CPUtime=0
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 749 0 0 0 0 0 0 0 18 0 2 0 46323832 11038720 529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 2695 529 252 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10780

[startup+0.101165 s]
/proc/loadavg: 2.22 2.13 2.24 4/81 24496
/proc/meminfo: memFree=1509704/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=10904 CPUtime=0
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 811 0 0 0 0 0 0 0 18 0 2 0 46323832 11165696 564 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 2726 564 277 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10904

[startup+0.301193 s]
/proc/loadavg: 2.22 2.13 2.24 4/81 24496
/proc/meminfo: memFree=1509704/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=866016 CPUtime=0.17
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 4334 0 2 0 14 3 0 0 18 0 9 0 46323832 886800384 3771 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216504 3771 1844 9 0 211052 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866016

[startup+0.701234 s]
/proc/loadavg: 2.22 2.13 2.24 4/81 24496
/proc/meminfo: memFree=1509704/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=866632 CPUtime=0.54
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 8487 0 2 0 48 6 0 0 18 0 9 0 46323832 887431168 7849 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216658 7849 2006 9 0 211164 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 866632

[startup+1.50131 s]
/proc/loadavg: 2.20 2.13 2.24 3/90 24505
/proc/meminfo: memFree=1472960/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=1.33
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 13993 0 2 0 124 9 0 0 18 0 9 0 46323832 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 13352 2014 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=1.14
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 12649 0 2 0 106 8 0 0 25 0 9 0 46323837 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4126877904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46323844 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46323845 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46323845 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.17
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 647 0 0 0 17 0 0 0 15 0 9 0 46323848 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 13352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 867712

[startup+3.10148 s]
/proc/loadavg: 2.20 2.13 2.24 3/90 24505
/proc/meminfo: memFree=1461184/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=2.92
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 14709 0 2 0 282 10 0 0 18 0 9 0 46323832 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 14067 2014 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=2.72
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 13361 0 2 0 263 9 0 0 25 0 9 0 46323837 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4126862720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46323844 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46323845 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46323845 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.18
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 651 0 0 0 18 0 0 0 15 0 9 0 46323848 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 14067 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 867712

[startup+6.30281 s]
/proc/loadavg: 2.26 2.14 2.24 3/90 24505
/proc/meminfo: memFree=1456064/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=6.09
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 15853 0 2 0 598 11 0 0 18 0 9 0 46323832 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 15208 2014 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=5.87
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 14500 0 2 0 578 9 0 0 25 0 9 0 46323837 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4126867063 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 46323844 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 46323845 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46323845 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.19
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 656 0 0 0 19 0 0 0 16 0 9 0 46323848 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 15208 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 867712

[startup+12.7025 s]
/proc/loadavg: 2.24 2.14 2.24 3/90 24505
/proc/meminfo: memFree=1426752/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=12.43
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 23692 0 2 0 1228 15 0 0 18 0 9 0 46323832 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 22829 2640 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=11.87
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15875 0 2 0 1176 11 0 0 25 0 9 0 46323837 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4126867063 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0.24
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 6396 0 0 0 22 2 0 0 17 0 9 0 46323844 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46323845 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.29
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 723 0 0 0 29 0 0 0 15 0 9 0 46323848 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 22829 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 867712

[startup+25.5018 s]
/proc/loadavg: 2.19 2.13 2.23 3/90 24505
/proc/meminfo: memFree=1426688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=25.09
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 23694 0 2 0 2493 16 0 0 18 0 9 0 46323832 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 22830 2640 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=24.53
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15876 0 2 0 2440 13 0 0 25 0 9 0 46323837 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4127175384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0.24
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 6396 0 0 0 22 2 0 0 16 0 9 0 46323844 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46323845 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.29
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 724 0 0 0 29 0 0 0 16 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 867712

[startup+51.1015 s]
/proc/loadavg: 2.12 2.12 2.23 3/90 24505
/proc/meminfo: memFree=1426816/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=50.45
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 23694 0 2 0 5026 19 0 0 18 0 9 0 46323832 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 22830 2640 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=49.88
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15876 0 2 0 4973 15 0 0 25 0 9 0 46323837 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4126867129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=0.24
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 6396 0 0 0 22 2 0 0 16 0 9 0 46323844 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46323845 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.29
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 724 0 0 0 29 0 0 0 16 0 9 0 46323848 888537088 22830 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0

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

/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97309 0 2 0 41746 66 0 0 18 0 9 0 46323832 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 96368 2619 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=416.91
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15959 0 2 0 41656 35 0 0 25 0 9 0 46323837 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4126876711 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=0.83
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 79880 0 0 0 54 29 0 0 16 0 9 0 46323844 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 418.12
Current children cumulated vsize (KiB) 867624

[startup+428.702 s]
/proc/loadavg: 2.01 2.09 2.17 3/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867624 CPUtime=424.46
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97309 0 2 0 42380 66 0 0 18 0 9 0 46323832 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 96368 2619 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=423.25
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15959 0 2 0 42290 35 0 0 25 0 9 0 46323837 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4126862720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=0.83
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 79880 0 0 0 54 29 0 0 16 0 9 0 46323844 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 424.46
Current children cumulated vsize (KiB) 867624

[startup+431.902 s]
/proc/loadavg: 2.01 2.09 2.17 3/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867624 CPUtime=427.63
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97309 0 2 0 42697 66 0 0 18 0 9 0 46323832 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 96368 2619 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=426.42
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15959 0 2 0 42607 35 0 0 25 0 9 0 46323837 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4126862696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=0.83
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 79880 0 0 0 54 29 0 0 16 0 9 0 46323844 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 427.63
Current children cumulated vsize (KiB) 867624

[startup+432.702 s]
/proc/loadavg: 2.01 2.09 2.17 3/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867624 CPUtime=428.42
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97309 0 2 0 42776 66 0 0 18 0 9 0 46323832 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 96368 2619 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=427.21
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15959 0 2 0 42686 35 0 0 25 0 9 0 46323837 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4126876663 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=0.83
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 79880 0 0 0 54 29 0 0 16 0 9 0 46323844 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 428.42
Current children cumulated vsize (KiB) 867624

[startup+433.102 s]
/proc/loadavg: 2.01 2.09 2.17 3/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867624 CPUtime=428.82
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97309 0 2 0 42816 66 0 0 18 0 9 0 46323832 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 96368 2619 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=427.61
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15959 0 2 0 42726 35 0 0 25 0 9 0 46323837 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4126877948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=0.83
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 79880 0 0 0 54 29 0 0 16 0 9 0 46323844 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) R 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 96368 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 428.82
Current children cumulated vsize (KiB) 867624

[startup+433.302 s]
/proc/loadavg: 2.01 2.09 2.17 4/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867712 CPUtime=429.01
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 97348 0 2 0 42835 66 0 0 18 0 9 0 46323832 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216928 96404 2640 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867712 CPUtime=427.62
/proc/24496/task/24498/stat : 24498 (java) R 24494 24496 23671 0 -1 64 15985 0 2 0 42727 35 0 0 23 0 9 0 46323837 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867712 CPUtime=1.02
/proc/24496/task/24499/stat : 24499 (java) R 24494 24496 23671 0 -1 64 79893 0 0 0 73 29 0 0 16 0 9 0 46323844 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 102731829 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46323845 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867712 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867712 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888537088 96404 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 429.01
Current children cumulated vsize (KiB) 867712

[startup+433.407 s]
/proc/loadavg: 2.01 2.09 2.17 4/90 24511
/proc/meminfo: memFree=1130688/2055920 swapFree=4181012/4192956
[pid=24496] ppid=24494 vsize=867624 CPUtime=429.12
/proc/24496/stat : 24496 (java) S 24494 24496 23671 0 -1 0 103300 0 2 0 42843 69 0 0 18 0 9 0 46323832 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24496/statm: 216906 102332 2618 9 0 211434 0
[pid=24496/tid=24498] ppid=24494 vsize=867624 CPUtime=427.62
/proc/24496/task/24498/stat : 24498 (java) S 24494 24496 23671 0 -1 64 15988 0 2 0 42727 35 0 0 23 0 9 0 46323837 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24499] ppid=24494 vsize=867624 CPUtime=1.12
/proc/24496/task/24499/stat : 24499 (java) S 24494 24496 23671 0 -1 64 85842 0 0 0 80 32 0 0 16 0 9 0 46323844 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24500] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24500/stat : 24500 (java) S 24494 24496 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24501] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24501/stat : 24501 (java) S 24494 24496 23671 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 46323845 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24502] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24502/stat : 24502 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46323848 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24503] ppid=24494 vsize=867624 CPUtime=0.34
/proc/24496/task/24503/stat : 24503 (java) S 24494 24496 23671 0 -1 64 754 0 0 0 34 0 0 0 16 0 9 0 46323848 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24504] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24504/stat : 24504 (java) S 24494 24496 23671 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46323848 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24496/tid=24505] ppid=24494 vsize=867624 CPUtime=0
/proc/24496/task/24505/stat : 24505 (java) S 24494 24496 23671 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46323848 888446976 102332 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 429.12
Current children cumulated vsize (KiB) 867624

Child status: 0
Real time (s): 433.479
CPU time (s): 429.188
CPU user time (s): 428.432
CPU system time (s): 0.755885
CPU usage (%): 99.0099
Max. virtual memory (cumulated for all children) (KiB): 867716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.432
system time used= 0.755885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103305
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10851
involuntary context switches= 21559

runsolver used 0.598908 second user time and 1.43878 second system time

The end

Launcher Data (download as text)

Begin job on node24 at 2008-07-12 22:56:49
IDJOB=1114063
IDBENCH=61682
IDSOLVER=359
FILE ID=node24/1114063-1215896209
PBS_JOBID= 7903616
Free space on /tmp= 66392 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp19/normalized-fapp19-0350-2.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-1114063-1215896209/watcher-1114063-1215896209 -o /tmp/evaluation-result-1114063-1215896209/solver-1114063-1215896209 -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-1114063-1215896209.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1825ea13215fc44c945afffc7e468e56
RANDOM SEED=2079060042

node24.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.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1510312 kB
Buffers:          1364 kB
Cached:          34248 kB
SwapCached:       5528 kB
Active:         490380 kB
Inactive:         4348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1510312 kB
SwapTotal:     4192956 kB
SwapFree:      4181012 kB
Dirty:            2816 kB
Writeback:           0 kB
Mapped:         475512 kB
Slab:            34760 kB
Committed_AS:  1045612 kB
PageTables:       2904 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= 66392 MiB
End job on node24 at 2008-07-12 23:04:03