Trace number 1114064

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? 399.739 400.235

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.06/0.23	
0.06/0.23	Abscon 112 (May, 2008)
0.21/0.44	
0.21/0.44	   configuration
0.21/0.44	     name=mrdac-ddeg.xml
0.29/0.51	   
0.29/0.51	   instance
0.29/0.51	     name=HOME/instance-1114064-1215896211.xml
0.29/0.55	   
0.29/0.55	   domains being loaded...
0.29/0.59	   
0.29/0.59	   variables being loaded...
0.38/0.67	     nbVariables=350  nbDomainTypes=8  minDomainSize=186  maxDomainSize=802  nbTotalValues=201074
0.38/0.67	       =>  wckTime=0.228  cpuTime=0.16  mem=13M725
0.38/0.67	   
0.38/0.67	   predicates being loaded...
0.48/0.74	   
0.48/0.74	   constraints being loaded...
10.48/10.72	   
10.48/10.72	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 12M760)
11.08/11.33	     nbConstraints=5873  nbConvertedConstraints=121  nbConvertConstraintsChecks=35715912  nbExtensionStructures=95
11.08/11.33	     nbSharedExtensionStructures=26  nbConflictsStructures=95  nbSharedConflictsStructures=26
11.08/11.33	     nbUnbuiltConflictsStructures=1988  nbSharedBinaryRepresentations=99671  nbEvaluationManagers=1988
11.08/11.33	     nbSharedEvaluationManagers=3764  minDegree=7  maxDegree=71  minArity=2  maxArity=2
11.08/11.33	       =>  wckTime=10.885  cpuTime=10.58  mem=55M686
11.28/11.50	   
11.28/11.50	   solver LocalSearchSolver being built... 
11.28/11.54	       =>  wckTime=11.101  cpuTime=10.61  mem=21M308
11.47/11.76	
11.47/11.76	s SATISFIABLE
11.47/11.76	o 1704
11.68/11.91	o 1695
11.79/12.02	o 1688
11.79/12.10	o 1681
11.89/12.18	o 1671
11.98/12.23	o 1661
11.98/12.29	o 1654
12.08/12.36	o 1646
12.08/12.39	o 1640
12.28/12.50	o 1633
12.28/12.54	o 1629
12.38/12.61	o 1621
12.38/12.65	o 1619
12.48/12.73	o 1614
12.48/12.80	o 1609
12.58/12.87	o 1606
12.68/12.94	o 1598
12.78/13.02	o 1596
12.89/13.12	o 1594
12.89/13.18	o 1591
12.99/13.25	o 1585
13.08/13.35	o 1582
13.18/13.41	o 1577
13.18/13.48	o 1572
13.28/13.53	o 1569
13.38/13.60	o 1567
13.48/13.70	o 1564
13.48/13.77	o 1561
13.58/13.85	o 1558
13.68/13.93	o 1555
13.78/14.00	o 1552
13.88/14.13	o 1551
13.98/14.25	o 1548
13.98/14.28	o 1547
14.28/14.55	o 1544
14.38/14.62	o 1543
14.48/14.71	o 1540
14.58/14.85	o 1537
14.88/15.17	o 1534
14.98/15.22	o 1532
14.98/15.29	o 1526
15.08/15.34	o 1522
15.18/15.46	o 1520
15.28/15.52	o 1518
15.28/15.55	o 1517
15.38/15.61	o 1515
15.48/15.70	o 1512
15.48/15.80	o 1510
15.58/15.87	o 1508
15.78/16.01	o 1505
15.78/16.09	o 1502
15.98/16.25	o 1496
16.07/16.32	o 1486
16.07/16.39	o 1483
16.18/16.46	o 1480
16.28/16.52	o 1474
16.28/16.56	o 1472
16.37/16.62	o 1465
16.37/16.65	o 1458
16.57/16.80	o 1449
16.57/16.84	o 1448
16.57/16.88	o 1445
16.77/17.04	o 1439
16.77/17.08	o 1435
16.87/17.17	o 1430
17.07/17.30	o 1429
17.07/17.37	o 1428
17.17/17.46	o 1425
17.28/17.56	o 1422
17.38/17.64	o 1419
17.47/17.74	o 1416
17.57/17.82	o 1414
17.67/17.99	o 1413
17.77/18.08	o 1412
17.87/18.18	o 1405
17.97/18.24	o 1403
18.07/18.32	o 1399
18.07/18.37	o 1398
18.17/18.44	o 1397
18.27/18.51	o 1394
18.38/18.60	o 1390
18.48/18.72	o 1387
18.67/18.97	o 1382
18.77/19.08	o 1379
18.87/19.17	o 1375
19.48/19.75	o 1371
19.67/19.95	o 1368
19.77/20.05	o 1365
19.87/20.14	o 1363
20.27/20.54	o 1361
20.37/20.67	o 1359
20.47/20.79	o 1356
20.67/20.91	o 1354
20.77/21.06	o 1351
20.97/21.26	o 1349
21.07/21.34	o 1346
21.27/21.51	o 1341
21.27/21.58	o 1338
21.37/21.68	o 1336
21.57/21.82	o 1330
21.67/21.96	o 1329
21.77/22.09	o 1328
21.87/22.18	o 1325
22.07/22.30	o 1318
22.17/22.41	o 1316
22.27/22.54	o 1312
22.37/22.63	o 1304
22.47/22.72	o 1298
22.56/22.81	o 1294
22.66/22.91	o 1290
22.66/22.99	o 1288
22.77/23.07	o 1287
22.87/23.19	o 1279
23.06/23.32	o 1274
23.26/23.54	o 1272
23.36/23.65	o 1268
23.46/23.77	o 1265
23.66/23.99	o 1264
23.87/24.13	o 1261
24.47/24.73	o 1257
24.67/24.94	o 1253
24.77/25.06	o 1250
24.87/25.17	o 1245
25.17/25.40	o 1239
25.47/25.79	o 1236
25.57/25.90	o 1233
25.97/26.20	o 1227
25.97/26.30	o 1225
26.17/26.49	o 1222
26.37/26.62	o 1214
26.97/27.21	o 1213
27.57/27.88	o 1211
27.77/28.03	o 1208
27.87/28.14	o 1201
27.97/28.23	o 1194
28.06/28.34	o 1190
28.16/28.45	o 1182
28.27/28.55	o 1178
28.37/28.69	o 1174
28.46/28.79	o 1169
28.56/28.88	o 1165
28.76/29.00	o 1163
28.96/29.22	o 1158
29.06/29.32	o 1157
29.16/29.44	o 1155
29.26/29.57	o 1153
29.36/29.68	o 1152
29.46/29.77	o 1148
29.56/29.86	o 1143
29.66/29.97	o 1140
29.86/30.17	o 1133
29.96/30.27	o 1130
30.06/30.37	o 1128
30.16/30.48	o 1125
30.46/30.73	o 1124
30.56/30.85	o 1123
30.65/30.98	o 1119
30.85/31.11	o 1115
32.36/32.62	o 1114
32.46/32.75	o 1111
32.67/32.97	o 1108
32.86/33.10	o 1102
32.96/33.22	o 1098
33.16/33.40	o 1093
33.26/33.52	o 1089
33.56/33.81	o 1088
33.66/33.92	o 1087
33.76/34.06	o 1086
33.96/34.28	o 1083
34.16/34.49	o 1082
34.36/34.63	o 1079
34.86/35.16	o 1073
35.06/35.31	o 1069
35.36/35.68	o 1064
35.56/35.84	o 1062
35.66/36.00	o 1059
35.86/36.17	o 1056
35.96/36.29	o 1050
36.16/36.42	o 1043
36.36/36.68	o 1041
36.56/36.82	o 1040
36.76/37.05	o 1036
37.06/37.34	o 1033
37.16/37.45	o 1030
37.26/37.57	o 1021
37.36/37.70	o 1018
37.56/37.85	o 1014
37.86/38.14	o 1009
37.96/38.26	o 1005
38.06/38.40	o 1001
38.26/38.55	o 996
38.56/38.80	o 992
38.66/38.95	o 990
38.76/39.08	o 986
39.06/39.35	o 983
39.16/39.46	o 979
39.36/39.62	o 976
39.45/39.74	o 975
39.55/39.89	o 974
39.75/40.04	o 970
39.85/40.19	o 960
40.05/40.30	o 957
40.05/40.38	o 951
40.15/40.45	o 949
40.25/40.54	o 948
40.35/40.65	o 945
40.65/41.00	o 944
40.95/41.24	o 940
41.05/41.38	o 935
41.45/41.78	o 931
41.75/42.04	o 926
42.05/42.36	o 921
42.25/42.50	o 917
42.35/42.64	o 916
42.55/42.81	o 912
42.85/43.10	o 906
43.15/43.42	o 900
43.25/43.57	o 899
43.45/43.72	o 894
43.75/44.02	o 892
43.94/44.20	o 890
44.14/44.47	o 889
44.24/44.60	o 885
44.44/44.76	o 878
44.54/44.89	o 874
44.94/45.27	o 873
45.14/45.41	o 872
45.24/45.56	o 871
45.44/45.71	o 869
45.54/45.85	o 866
45.74/46.01	o 862
45.84/46.17	o 858
46.04/46.33	o 857
46.24/46.51	o 854
46.34/46.69	o 851
46.54/46.86	o 849
46.94/47.22	o 848
47.24/47.59	o 846
47.44/47.78	o 845
47.64/47.96	o 843
48.04/48.33	o 840
48.24/48.51	o 837
48.45/48.71	o 836
48.55/48.88	o 833
49.25/49.57	o 832
49.65/49.95	o 828
49.85/50.11	o 827
50.25/50.51	o 825
50.44/50.71	o 816
50.54/50.87	o 812
50.74/51.04	o 810
50.94/51.24	o 809
51.45/51.74	o 803
51.64/51.92	o 799
51.74/52.09	o 798
51.94/52.25	o 789
52.14/52.43	o 788
52.45/52.76	o 785
52.64/52.94	o 783
53.14/53.44	o 782
53.34/53.60	o 781
53.44/53.75	o 778
53.74/54.07	o 777
53.94/54.22	o 775
54.04/54.38	o 770
54.34/54.70	o 767
54.75/55.03	o 766
55.44/55.72	o 765
55.74/56.02	o 764
56.24/56.57	o 761
56.44/56.76	o 759
56.64/56.96	o 758
56.84/57.14	o 754
57.44/57.76	o 751
57.84/58.20	o 747
62.44/62.79	o 746
62.73/63.06	o 745
63.03/63.30	o 742
63.23/63.54	o 740
63.73/64.05	o 738
63.93/64.29	o 737
64.23/64.55	o 736
64.73/65.04	o 734
64.93/65.29	o 733
66.93/67.22	o 731
67.43/67.73	o 729
67.63/67.99	o 728
68.43/68.74	o 726
68.63/68.99	o 724
69.23/69.52	o 721
69.44/69.77	o 719
70.44/70.76	o 716
70.94/71.22	o 715
71.34/71.64	o 713
71.54/71.85	o 710
71.74/72.05	o 707
71.94/72.26	o 704
72.14/72.49	o 703
73.63/73.91	o 702
74.73/75.06	o 699
75.64/75.96	o 696
76.13/76.43	o 692
77.03/77.38	o 691
77.53/77.86	o 685
77.84/78.15	o 683
78.13/78.43	o 679
78.43/78.70	o 677
78.63/78.99	o 673
78.93/79.27	o 671
79.23/79.58	o 669
79.53/79.85	o 668
80.43/80.70	o 666
80.63/80.97	o 662
80.93/81.23	o 660
81.13/81.49	o 659
81.43/81.77	o 657
81.73/82.04	o 656
82.03/82.32	o 654
83.23/83.52	o 653
83.53/83.83	o 647
84.43/84.75	o 646
84.73/85.03	o 645
85.03/85.32	o 642
85.33/85.60	o 641
86.53/86.82	o 638
86.82/87.12	o 637
87.12/87.42	o 635
87.42/87.72	o 633
87.73/88.02	o 631
88.52/88.89	o 628
88.73/89.03	o 626
88.92/89.30	o 624
90.42/90.75	o 620
90.72/91.06	o 619
91.02/91.33	o 617
92.82/93.14	o 615
93.12/93.43	o 614
94.22/94.55	o 612
94.82/95.13	o 610
95.12/95.43	o 607
95.32/95.60	o 605
95.81/96.16	o 604
96.31/96.67	o 603
96.52/96.85	o 601
97.21/97.55	o 599
97.41/97.80	o 598
97.91/98.27	o 597
98.21/98.52	o 595
98.41/98.75	o 594
98.72/99.01	o 592
98.81/99.17	o 589
104.31/104.65	o 588
107.21/107.55	o 587
107.71/108.08	o 585
108.01/108.34	o 583
108.31/108.61	o 582
108.51/108.82	o 579
108.71/109.08	o 577
109.61/109.93	o 576
111.01/111.31	o 575
111.31/111.61	o 573
111.82/112.18	o 570
112.11/112.45	o 569
112.81/113.15	o 565
113.11/113.43	o 564
115.41/115.74	o 561
116.01/116.35	o 560
117.01/117.31	o 558
117.21/117.55	o 555
119.20/119.57	o 551
119.51/119.83	o 548
120.61/121.00	o 547
120.90/121.24	o 545
121.40/121.78	o 544
121.71/122.05	o 543
122.20/122.59	o 542
125.01/125.36	o 540
125.30/125.64	o 539
125.50/125.88	o 537
126.50/126.86	o 536
126.70/127.04	o 534
127.10/127.48	o 530
127.30/127.63	o 527
127.50/127.87	o 525
127.80/128.10	o 523
128.00/128.33	o 519
128.20/128.56	o 517
128.40/128.71	o 515
128.40/128.80	o 512
128.70/129.04	o 510
128.90/129.20	o 507
129.10/129.40	o 505
129.30/129.63	o 502
129.99/130.30	o 497
129.99/130.36	o 493
130.90/131.28	o 491
131.10/131.46	o 490
132.00/132.34	o 489
132.20/132.56	o 487
132.40/132.76	o 486
132.60/132.96	o 485
132.71/133.10	o 482
132.90/133.24	o 478
133.10/133.41	o 476
133.30/133.62	o 474
133.50/133.83	o 471
134.10/134.44	o 468
134.30/134.63	o 466
134.50/134.82	o 465
134.70/135.03	o 464
134.90/135.22	o 462
135.10/135.42	o 460
135.30/135.61	o 458
135.70/136.05	o 456
135.90/136.20	o 454
136.10/136.42	o 453
136.70/137.04	o 452
136.90/137.25	o 451
137.00/137.39	o 449
137.20/137.58	o 448
137.79/138.14	o 446
138.39/138.76	o 445
138.59/138.97	o 444
138.79/139.18	o 443
138.99/139.33	o 441
139.40/139.73	o 439
139.40/139.79	o 437
139.59/139.91	o 432
139.69/140.08	o 431
139.99/140.30	o 428
140.09/140.47	o 427
140.29/140.65	o 425
141.19/141.57	o 422
141.39/141.75	o 420
141.79/142.12	o 416
142.39/142.71	o 415
142.59/142.91	o 413
142.69/143.01	o 411
142.89/143.20	o 408
143.09/143.43	o 404
143.19/143.54	o 402
143.29/143.66	o 400
143.49/143.90	o 397
143.70/144.05	o 396
143.89/144.25	o 393
144.09/144.43	o 391
144.39/144.78	o 389
144.59/144.95	o 387
144.79/145.13	o 385
144.99/145.32	o 384
146.19/146.56	o 383
146.29/146.63	o 379
146.29/146.68	o 376
146.49/146.80	o 374
146.59/146.94	o 373
147.19/147.52	o 372
147.29/147.69	o 371
147.49/147.80	o 369
147.49/147.83	o 364
147.69/148.05	o 363
147.89/148.22	o 362
147.99/148.37	o 360
148.19/148.55	o 353
148.49/148.82	o 352
148.59/148.99	o 350
148.99/149.31	o 349
149.08/149.47	o 345
149.58/149.93	o 344
149.98/150.34	o 343
150.58/150.90	o 342
150.78/151.12	o 341
150.88/151.23	o 338
150.98/151.35	o 336
151.49/151.85	o 334
151.58/151.98	o 331
151.68/152.09	o 328
151.78/152.16	o 325
151.88/152.29	o 323
152.38/152.77	o 320
152.48/152.90	o 317
152.58/152.96	o 315
152.78/153.10	o 314
152.88/153.22	o 313
152.98/153.34	o 312
153.08/153.46	o 309
153.18/153.54	o 308
153.38/153.72	o 305
153.38/153.79	o 303
153.48/153.89	o 300
153.58/153.97	o 298
153.68/154.07	o 293
153.78/154.17	o 291
153.88/154.27	o 288
153.98/154.31	o 285
154.69/155.07	o 281
154.88/155.28	o 280
155.08/155.40	o 279
155.08/155.46	o 274
155.18/155.59	o 273
155.38/155.71	o 272
155.79/156.18	o 270
156.18/156.59	o 269
156.38/156.72	o 267
156.58/156.98	o 265
156.68/157.08	o 264
156.89/157.22	o 262
157.08/157.48	o 257
157.38/157.72	o 254
157.48/157.81	o 251
157.58/157.91	o 249
157.78/158.15	o 247
157.88/158.25	o 245
157.99/158.37	o 240
158.08/158.48	o 236
158.28/158.61	o 235
158.38/158.75	o 232
158.48/158.85	o 231
158.68/159.07	o 230
158.78/159.18	o 228
158.88/159.30	o 226
159.08/159.44	o 220
159.18/159.54	o 217
159.28/159.65	o 214
159.37/159.76	o 211
159.47/159.87	o 208
159.47/159.89	o 206
159.57/159.97	o 204
159.67/160.07	o 202
159.87/160.28	o 201
159.97/160.39	o 199
160.07/160.44	o 196
160.37/160.75	o 195
160.47/160.82	o 193
160.57/160.94	o 189
160.67/161.00	o 185
160.77/161.13	o 184
160.87/161.26	o 179
161.07/161.40	o 177
161.27/161.67	o 175
161.37/161.75	o 174
161.47/161.87	o 170
161.57/161.99	o 169
161.67/162.08	o 166
161.76/162.18	o 162
161.86/162.26	o 159
162.26/162.63	o 157
162.26/162.64	o 155
162.37/162.75	o 154
162.66/163.09	o 152
162.76/163.18	o 147
162.96/163.31	o 146
163.06/163.42	o 145
164.77/165.10	o 143
164.87/165.21	o 140
164.97/165.32	o 138
164.97/165.37	o 137
165.07/165.44	o 134
165.17/165.53	o 133
165.27/165.61	o 131
165.27/165.68	o 127
165.37/165.76	o 126
165.47/165.85	o 122
165.57/165.94	o 121
165.67/166.04	o 120
165.77/166.13	o 119
165.87/166.22	o 116
165.87/166.28	o 115
166.07/166.44	o 113
166.17/166.53	o 112
166.27/166.67	o 111
166.47/166.81	o 109
166.47/166.88	o 107
166.57/166.95	o 105
166.66/167.01	o 102
166.66/167.09	o 101
166.96/167.35	o 98
167.06/167.41	o 87
167.06/167.45	o 84
167.16/167.50	o 83
167.16/167.58	o 79
167.36/167.76	o 78
167.36/167.78	o 76
167.46/167.83	o 70
167.46/167.87	o 68
167.56/167.91	o 67
167.66/168.00	o 65
167.66/168.05	o 64
167.76/168.17	o 63
167.76/168.19	o 62
167.87/168.23	o 61
167.87/168.28	o 56
167.97/168.38	o 55
168.26/168.68	o 52
169.07/169.43	o 51
169.07/169.49	o 50
169.26/169.66	o 49
169.46/169.81	o 48
169.76/170.10	o 47
169.86/170.23	o 45
169.96/170.39	o 44
170.06/170.44	o 41
170.25/170.61	o 40
171.86/172.21	o 39
174.86/175.21	o 38
174.96/175.30	o 37
174.96/175.31	o 36
177.36/177.77	o 35
180.45/180.86	o 33
181.75/182.19	o 32
196.85/197.24	o 31
199.14/199.58	o 30
199.24/199.68	o 29
199.75/200.14	o 28
201.14/201.56	o 27
201.34/201.70	o 26
218.04/218.46	o 25
224.93/225.32	o 24
229.83/230.23	o 23
236.64/237.02	o 21
246.13/246.51	o 20
259.81/260.25	o 19
259.81/260.29	o 18
262.60/263.07	o 17
263.61/264.02	o 16
263.80/264.24	o 15
271.21/271.63	o 14
301.19/301.64	   
301.19/301.64	   search
301.19/301.64	     run=0  nbConstraintChecks=817624941  nbAssignments=2845
301.19/301.64	       =>  wckTime=290.094  cpuTime=289.88  mem=21M308
301.19/301.64	   
301.19/301.64	   global
301.19/301.64	     nbConstraintChecks=817624941  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
301.19/301.64	     solvingWckTime=290.09  solvingCpuTime=289.87  expiredTime=no  totalExploration=no  nbFoundSolutions=0
301.19/301.64	     globalCpuTime=300.52
301.19/301.64	       =>  wckTime=301.195  cpuTime=300.49  mem=21M308
301.19/301.64	   
301.19/301.64	   solver DecomposerSolver being built... 
302.10/302.58	       =>  wckTime=302.138  cpuTime=300.84  mem=334M845
399.35/399.84	   
399.35/399.84	   preprocessing
399.35/399.84	     nbConstraintChecks=303820964  nbValidityChecks=577947  nbPropagations=355  nbRevisions=11690
399.35/399.84	     nbUselessRevisions=11671  nbRemovedValues=2386  detectedInconsistency=no
399.35/399.84	       =>  wckTime=97.26  cpuTime=97.2  mem=335M852
399.65/400.12	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-1114064-1215896211/watcher-1114064-1215896211 -o /tmp/evaluation-result-1114064-1215896211/solver-1114064-1215896211 -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-1114064-1215896211.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.66 2.39 2.41 4/80 19612
/proc/meminfo: memFree=1294424/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=18572 CPUtime=0
/proc/19612/stat : 19612 (runsolver) D 19610 19612 19353 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 46320303 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 208717540647 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/19612/statm: 4643 292 257 25 0 2626 0

[startup+0.0617089 s]
/proc/loadavg: 2.66 2.39 2.41 4/80 19612
/proc/meminfo: memFree=1294424/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=10744 CPUtime=0.01
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 664 0 35 0 0 1 0 0 18 0 2 0 46320303 11001856 490 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 2686 490 220 9 0 1184 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10744

[startup+0.101712 s]
/proc/loadavg: 2.66 2.39 2.41 4/80 19612
/proc/meminfo: memFree=1294424/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=10904 CPUtime=0.01
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 771 0 40 0 0 1 0 0 18 0 2 0 46320303 11165696 564 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 2726 564 277 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10904

[startup+0.301737 s]
/proc/loadavg: 2.66 2.39 2.41 4/80 19612
/proc/meminfo: memFree=1294424/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=865988 CPUtime=0.14
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 4063 0 62 0 10 4 0 0 18 0 9 0 46320303 886771712 3561 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216497 3561 1800 9 0 211052 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865988

[startup+0.701779 s]
/proc/loadavg: 2.66 2.39 2.41 4/80 19612
/proc/meminfo: memFree=1294424/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=866632 CPUtime=0.48
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 8153 0 67 0 40 8 0 0 18 0 9 0 46320303 887431168 7581 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216658 7581 1997 9 0 211164 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 866632

[startup+1.50186 s]
/proc/loadavg: 2.66 2.39 2.41 3/89 19621
/proc/meminfo: memFree=1250384/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=1.28
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 13954 0 67 0 117 11 0 0 18 0 9 0 46320303 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 13378 2014 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=1.09
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 12646 0 32 0 100 9 0 0 19 0 9 0 46320309 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4126865742 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 46320317 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46320317 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46320317 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.17
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 646 0 0 0 17 0 0 0 15 0 9 0 46320320 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888532992 13378 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 867708

[startup+3.10104 s]
/proc/loadavg: 2.66 2.39 2.41 3/89 19621
/proc/meminfo: memFree=1236944/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=2.88
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 14712 0 67 0 277 11 0 0 18 0 9 0 46320303 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 14135 2014 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=2.68
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 13400 0 32 0 259 9 0 0 25 0 9 0 46320309 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4126864167 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46320317 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46320317 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.17
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 650 0 0 0 17 0 0 0 15 0 9 0 46320320 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888532992 14135 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 867708

[startup+6.30238 s]
/proc/loadavg: 2.61 2.38 2.41 3/89 19621
/proc/meminfo: memFree=1231632/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=6.08
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 15897 0 67 0 596 12 0 0 18 0 9 0 46320303 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 15316 2014 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=5.87
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 14580 0 32 0 577 10 0 0 25 0 9 0 46320309 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4126864112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 46320317 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 46320317 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.18
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 655 0 0 0 18 0 0 0 16 0 9 0 46320320 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888532992 15316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 867708

[startup+12.7021 s]
/proc/loadavg: 2.56 2.37 2.41 3/89 19621
/proc/meminfo: memFree=1202512/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=12.48
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 23639 0 68 0 1231 17 0 0 18 0 9 0 46320303 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 22840 2640 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=11.94
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15848 0 32 0 1183 11 0 0 25 0 9 0 46320309 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4127173815 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0.22
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 6409 0 0 0 20 2 0 0 17 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.28
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 721 0 1 0 27 1 0 0 15 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 867708

[startup+25.5015 s]
/proc/loadavg: 2.44 2.35 2.40 3/89 19621
/proc/meminfo: memFree=1202576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=25.27
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 23639 0 68 0 2509 18 0 0 18 0 9 0 46320303 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 22840 2640 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=24.73
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15848 0 32 0 2461 12 0 0 25 0 9 0 46320309 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4127177814 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0.22
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 6409 0 0 0 20 2 0 0 16 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.28
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 721 0 1 0 27 1 0 0 16 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888532992 22840 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 867708

[startup+51.1012 s]
/proc/loadavg: 2.29 2.33 2.39 3/89 19621
/proc/meminfo: memFree=1202512/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867708 CPUtime=50.84
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 23640 0 68 0 5064 20 0 0 18 0 9 0 46320303 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216927 22841 2640 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867708 CPUtime=50.3
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15848 0 32 0 5016 14 0 0 25 0 9 0 46320309 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4126866615 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867708 CPUtime=0.22
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 6409 0 0 0 20 2 0 0 16 0 9 0 46320317 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 46320317 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867708 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867708 CPUtime=0.28
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 722 0 1 0 27 1 0 0 16 0 9 0 46320320 888532992 22841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867708 CPUtime=0

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

/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 383.46
Current children cumulated vsize (KiB) 867620

[startup+390.303 s]
/proc/loadavg: 2.02 2.11 2.26 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=389.85
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 97211 0 68 0 38920 65 0 0 18 0 9 0 46320303 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 96335 2619 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=388.68
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15931 0 32 0 38835 33 0 0 25 0 9 0 46320309 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4127270189 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=0.79
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 79850 0 0 0 51 28 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 389.85
Current children cumulated vsize (KiB) 867620

[startup+396.702 s]
/proc/loadavg: 2.02 2.11 2.26 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=396.25
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 97211 0 68 0 39560 65 0 0 18 0 9 0 46320303 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 96335 2619 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=395.08
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15931 0 32 0 39475 33 0 0 25 0 9 0 46320309 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4127173815 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=0.79
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 79850 0 0 0 51 28 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 396.25
Current children cumulated vsize (KiB) 867620

[startup+398.303 s]
/proc/loadavg: 2.01 2.10 2.25 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=397.85
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 97211 0 68 0 39720 65 0 0 18 0 9 0 46320303 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 96335 2619 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=396.68
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15931 0 32 0 39635 33 0 0 25 0 9 0 46320309 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4127271349 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=0.79
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 79850 0 0 0 51 28 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 397.85
Current children cumulated vsize (KiB) 867620

[startup+399.103 s]
/proc/loadavg: 2.01 2.10 2.25 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=398.65
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 97211 0 68 0 39800 65 0 0 18 0 9 0 46320303 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 96335 2619 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=397.48
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15931 0 32 0 39715 33 0 0 25 0 9 0 46320309 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4126862813 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=0.79
/proc/19612/task/19615/stat : 19615 (java) S 19610 19612 19353 0 -1 64 79850 0 0 0 51 28 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.65
Current children cumulated vsize (KiB) 867620

[startup+399.903 s]
/proc/loadavg: 2.01 2.10 2.25 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=399.45
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 97214 0 68 0 39880 65 0 0 18 0 9 0 46320303 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 96335 2618 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=398.23
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15933 0 32 0 39790 33 0 0 25 0 9 0 46320309 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=0.85
/proc/19612/task/19615/stat : 19615 (java) R 19610 19612 19353 0 -1 64 79851 0 0 0 57 28 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 103736199 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 96335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.45
Current children cumulated vsize (KiB) 867620

[startup+400.103 s]
/proc/loadavg: 2.01 2.10 2.25 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=867620 CPUtime=399.65
/proc/19612/stat : 19612 (java) S 19610 19612 19353 0 -1 0 100040 0 68 0 39899 66 0 0 18 0 9 0 46320303 888442880 99162 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19612/statm: 216905 99170 2618 9 0 211433 0
[pid=19612/tid=19614] ppid=19610 vsize=867620 CPUtime=398.23
/proc/19612/task/19614/stat : 19614 (java) R 19610 19612 19353 0 -1 64 15933 0 32 0 39790 33 0 0 25 0 9 0 46320309 888442880 99176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19615] ppid=19610 vsize=867620 CPUtime=1.05
/proc/19612/task/19615/stat : 19615 (java) R 19610 19612 19353 0 -1 64 82699 0 0 0 75 30 0 0 16 0 9 0 46320317 888442880 99183 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19616] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19616/stat : 19616 (java) S 19610 19612 19353 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46320317 888442880 99191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19617] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19617/stat : 19617 (java) S 19610 19612 19353 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 46320317 888442880 99198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19618] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19618/stat : 19618 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46320320 888442880 99206 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19619] ppid=19610 vsize=867620 CPUtime=0.33
/proc/19612/task/19619/stat : 19619 (java) S 19610 19612 19353 0 -1 64 751 0 1 0 32 1 0 0 16 0 9 0 46320320 888442880 99213 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19612/tid=19620] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19620/stat : 19620 (java) S 19610 19612 19353 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46320320 888442880 99221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19612/tid=19621] ppid=19610 vsize=867620 CPUtime=0
/proc/19612/task/19621/stat : 19621 (java) S 19610 19612 19353 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46320320 888442880 99228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.65
Current children cumulated vsize (KiB) 867620

[startup+400.203 s]
/proc/loadavg: 2.01 2.10 2.25 3/89 19627
/proc/meminfo: memFree=906576/2055920 swapFree=4181100/4192956
[pid=19612] ppid=19610 vsize=0 CPUtime=399.7
/proc/19612/stat : 19612 (java) Z 19610 19612 19353 0 -1 12 103221 0 68 0 39900 70 0 0 16 0 2 0 46320303 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19612/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 399.7
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 400.235
CPU time (s): 399.739
CPU user time (s): 399.002
CPU system time (s): 0.736887
CPU usage (%): 99.8761
Max. virtual memory (cumulated for all children) (KiB): 867708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.002
system time used= 0.736887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103221
page faults= 68
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10370
involuntary context switches= 12970

runsolver used 0.533918 second user time and 1.35879 second system time

The end

Launcher Data (download as text)

Begin job on node47 at 2008-07-12 22:56:52
IDJOB=1114064
IDBENCH=61682
IDSOLVER=360
FILE ID=node47/1114064-1215896211
PBS_JOBID= 7903689
Free space on /tmp= 66440 MiB

SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114064-1215896211/watcher-1114064-1215896211 -o /tmp/evaluation-result-1114064-1215896211/solver-1114064-1215896211 -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-1114064-1215896211.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 1825ea13215fc44c945afffc7e468e56
RANDOM SEED=2082319392

node47.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.232
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.232
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:       1295032 kB
Buffers:          1380 kB
Cached:          29220 kB
SwapCached:       4692 kB
Active:         711572 kB
Inactive:         7532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1295032 kB
SwapTotal:     4192956 kB
SwapFree:      4181100 kB
Dirty:            2968 kB
Writeback:           0 kB
Mapped:         705896 kB
Slab:            25592 kB
Committed_AS:  1034588 kB
PageTables:       3332 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= 66440 MiB
End job on node47 at 2008-07-12 23:03:32