Trace number 1112839

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? 196.916 197.395

General information on the benchmark

Namecsp/fapp/fapp06/
normalized-fapp06-0500-0.xml
MD5SUM744c0dba383c6f3a8251a2e0da8b7c1e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints28
Best CPU time to get the best result obtained on this benchmark3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints6531
Maximum constraint arity2
Maximum domain size290
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6531
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.02/0.29	
0.02/0.29	Abscon 112 (May, 2008)
0.22/0.53	
0.22/0.53	   configuration
0.22/0.53	     name=mrdac-wdeg.xml
0.30/0.60	   
0.30/0.60	   instance
0.30/0.60	     name=HOME/instance-1112839-1215874488.xml
0.30/0.64	   
0.30/0.64	   domains being loaded...
0.30/0.68	   
0.30/0.68	   variables being loaded...
0.40/0.78	     nbVariables=500  nbDomainTypes=16  minDomainSize=42  maxDomainSize=290  nbTotalValues=108024
0.40/0.78	       =>  wckTime=0.244  cpuTime=0.16  mem=11M747
0.40/0.78	   
0.40/0.78	   predicates being loaded...
0.49/0.84	   
0.49/0.84	   constraints being loaded...
10.49/10.85	   
10.49/10.85	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 23M617)
12.09/12.40	     nbConstraints=6531  nbConvertedConstraints=710  nbConvertConstraintsChecks=38406456  nbExtensionStructures=650
12.09/12.40	     nbSharedExtensionStructures=221  nbConflictsStructures=1164  nbSharedConflictsStructures=280
12.09/12.40	     nbUnbuiltConflictsStructures=2995  nbSharedBinaryRepresentations=271502  nbEvaluationManagers=3509
12.09/12.40	     nbSharedEvaluationManagers=2312  minDegree=5  maxDegree=36  minArity=2  maxArity=2
12.09/12.40	       =>  wckTime=11.871  cpuTime=11.43  mem=35M905
12.19/12.57	   
12.19/12.57	   solver LocalSearchSolver being built... 
12.29/12.61	       =>  wckTime=12.079  cpuTime=11.47  mem=21M498
12.29/12.69	
12.29/12.69	s SATISFIABLE
12.29/12.69	o 1705
12.39/12.73	o 1699
12.39/12.76	o 1692
12.39/12.78	o 1686
12.49/12.80	o 1680
12.49/12.81	o 1676
12.49/12.83	o 1673
12.49/12.84	o 1671
12.49/12.86	o 1662
12.49/12.88	o 1654
12.49/12.89	o 1649
12.49/12.90	o 1644
12.58/12.91	o 1640
12.58/12.92	o 1636
12.58/12.93	o 1632
12.58/12.95	o 1626
12.58/12.95	o 1623
12.58/12.97	o 1616
12.58/12.99	o 1608
12.68/13.00	o 1607
12.68/13.01	o 1601
12.68/13.03	o 1595
12.68/13.04	o 1590
12.68/13.04	o 1586
12.68/13.06	o 1582
12.68/13.07	o 1579
12.68/13.08	o 1576
12.68/13.09	o 1574
12.68/13.10	o 1573
12.79/13.14	o 1568
12.79/13.14	o 1563
12.79/13.16	o 1556
12.79/13.18	o 1548
12.79/13.20	o 1544
12.89/13.21	o 1541
12.89/13.23	o 1537
12.89/13.24	o 1534
12.89/13.27	o 1532
12.89/13.28	o 1530
12.89/13.29	o 1528
12.98/13.31	o 1527
12.98/13.32	o 1526
12.98/13.34	o 1525
12.98/13.36	o 1523
12.98/13.37	o 1521
13.08/13.41	o 1520
13.08/13.45	o 1515
13.08/13.46	o 1513
13.08/13.47	o 1507
13.08/13.49	o 1502
13.18/13.50	o 1497
13.18/13.52	o 1492
13.18/13.54	o 1487
13.18/13.55	o 1484
13.18/13.57	o 1479
13.18/13.59	o 1477
13.18/13.60	o 1472
13.28/13.61	o 1466
13.28/13.62	o 1464
13.28/13.63	o 1458
13.28/13.65	o 1454
13.28/13.66	o 1450
13.28/13.68	o 1447
13.28/13.69	o 1444
13.38/13.70	o 1440
13.38/13.72	o 1438
13.38/13.73	o 1437
13.38/13.77	o 1434
13.38/13.78	o 1427
13.38/13.79	o 1426
13.48/13.80	o 1422
13.48/13.81	o 1418
13.48/13.82	o 1414
13.48/13.84	o 1411
13.48/13.86	o 1408
13.48/13.88	o 1406
13.48/13.89	o 1402
13.58/13.91	o 1401
13.58/13.92	o 1400
13.58/13.93	o 1399
13.58/13.94	o 1393
13.58/13.95	o 1390
13.58/13.96	o 1386
13.58/13.98	o 1380
13.58/13.99	o 1379
13.68/14.00	o 1378
13.68/14.02	o 1376
13.68/14.02	o 1375
13.68/14.04	o 1374
13.68/14.05	o 1367
13.68/14.07	o 1364
13.68/14.09	o 1363
13.79/14.10	o 1361
13.79/14.12	o 1353
13.79/14.14	o 1349
13.79/14.15	o 1348
13.79/14.17	o 1346
13.79/14.18	o 1342
13.79/14.20	o 1338
13.89/14.21	o 1335
13.89/14.23	o 1328
13.89/14.25	o 1327
13.89/14.27	o 1325
13.89/14.29	o 1317
13.89/14.30	o 1316
13.99/14.33	o 1311
13.99/14.34	o 1310
13.99/14.36	o 1308
13.99/14.38	o 1303
13.99/14.38	o 1300
13.99/14.40	o 1298
14.08/14.43	o 1296
14.08/14.45	o 1292
14.08/14.46	o 1289
14.08/14.48	o 1288
14.18/14.50	o 1283
14.18/14.51	o 1279
14.18/14.52	o 1275
14.18/14.54	o 1274
14.18/14.55	o 1272
14.28/14.60	o 1269
14.28/14.61	o 1268
14.28/14.63	o 1267
14.28/14.65	o 1266
14.28/14.67	o 1258
14.28/14.68	o 1254
14.37/14.70	o 1251
14.37/14.72	o 1244
14.37/14.74	o 1240
14.37/14.77	o 1236
14.37/14.78	o 1227
14.47/14.80	o 1225
14.47/14.83	o 1220
14.47/14.85	o 1218
14.47/14.88	o 1216
14.47/14.90	o 1212
14.57/14.93	o 1209
14.57/14.96	o 1206
14.57/14.98	o 1204
14.68/15.01	o 1201
14.68/15.03	o 1199
14.68/15.07	o 1198
14.68/15.09	o 1195
14.78/15.12	o 1191
14.78/15.14	o 1187
14.78/15.16	o 1182
14.78/15.19	o 1177
14.88/15.24	o 1174
14.88/15.25	o 1172
14.88/15.28	o 1169
14.98/15.40	o 1165
15.08/15.41	o 1162
15.08/15.42	o 1157
15.08/15.45	o 1155
15.08/15.47	o 1152
15.18/15.53	o 1146
15.18/15.55	o 1144
15.28/15.60	o 1142
15.28/15.65	o 1141
15.28/15.67	o 1140
15.28/15.69	o 1136
15.38/15.71	o 1134
15.38/15.75	o 1132
15.38/15.78	o 1128
15.48/15.81	o 1124
15.48/15.83	o 1122
15.48/15.85	o 1119
15.48/15.87	o 1117
15.48/15.90	o 1113
15.57/15.92	o 1112
15.57/15.94	o 1111
15.57/15.97	o 1107
15.57/15.99	o 1105
15.67/16.01	o 1100
15.67/16.04	o 1099
15.67/16.06	o 1098
15.67/16.08	o 1093
15.77/16.15	o 1092
15.77/16.17	o 1088
15.77/16.20	o 1087
15.87/16.21	o 1083
15.87/16.23	o 1080
15.87/16.25	o 1077
15.87/16.27	o 1075
15.97/16.31	o 1072
15.97/16.33	o 1068
15.97/16.35	o 1067
15.97/16.38	o 1065
16.07/16.42	o 1061
16.07/16.44	o 1060
16.07/16.46	o 1059
16.07/16.48	o 1056
16.17/16.54	o 1053
16.17/16.56	o 1052
16.17/16.59	o 1049
16.28/16.63	o 1047
16.28/16.67	o 1044
16.37/16.71	o 1042
16.37/16.74	o 1041
16.47/16.89	o 1039
16.57/16.93	o 1035
16.57/16.97	o 1034
16.67/17.00	o 1028
16.67/17.03	o 1027
16.67/17.07	o 1026
16.77/17.10	o 1025
16.77/17.13	o 1021
16.77/17.17	o 1020
16.77/17.20	o 1018
16.87/17.23	o 1017
16.87/17.26	o 1016
16.97/17.34	o 1013
17.07/17.45	o 1012
17.17/17.53	o 1010
17.17/17.56	o 1008
17.37/17.70	o 1007
17.37/17.73	o 1005
17.37/17.76	o 1001
17.47/17.81	o 995
17.47/17.82	o 989
17.47/17.86	o 986
17.47/17.89	o 985
17.67/18.01	o 982
17.67/18.07	o 980
17.77/18.11	o 977
17.77/18.15	o 974
17.87/18.22	o 971
17.87/18.25	o 969
17.87/18.28	o 964
17.97/18.32	o 962
17.97/18.36	o 960
18.07/18.41	o 959
18.07/18.48	o 958
18.17/18.52	o 956
18.17/18.56	o 953
18.37/18.70	o 950
18.37/18.78	o 949
18.46/18.82	o 945
18.46/18.87	o 943
18.56/18.91	o 940
18.56/18.96	o 939
18.66/19.00	o 936
18.66/19.08	o 934
18.76/19.12	o 929
18.76/19.16	o 926
18.76/19.20	o 925
18.86/19.27	o 924
19.06/19.46	o 923
19.06/19.49	o 921
19.16/19.56	o 918
19.26/19.62	o 916
19.26/19.66	o 914
19.37/19.73	o 913
19.37/19.76	o 912
19.37/19.79	o 911
19.47/19.88	o 908
19.57/19.95	o 907
19.87/20.23	o 906
19.87/20.26	o 903
19.87/20.30	o 901
19.97/20.33	o 900
19.97/20.37	o 898
20.07/20.42	o 895
20.07/20.47	o 893
20.17/20.50	o 888
20.26/20.61	o 885
20.26/20.65	o 884
20.26/20.69	o 882
20.47/20.88	o 881
20.57/20.92	o 880
20.57/20.99	o 878
20.66/21.04	o 875
21.16/21.50	o 874
21.16/21.54	o 872
21.26/21.61	o 871
21.26/21.67	o 869
21.36/21.76	o 868
21.36/21.79	o 866
21.46/21.82	o 861
21.56/21.97	o 860
21.66/22.01	o 858
21.75/22.10	o 857
21.75/22.14	o 855
21.85/22.22	o 854
22.05/22.45	o 852
22.05/22.48	o 851
22.35/22.72	o 850
22.35/22.76	o 848
22.45/22.81	o 845
22.45/22.86	o 842
22.55/22.91	o 839
22.55/22.95	o 836
22.76/23.15	o 834
22.85/23.24	o 832
22.85/23.29	o 830
22.95/23.34	o 829
23.05/23.43	o 827
23.05/23.48	o 826
23.15/23.53	o 824
23.25/23.62	o 820
23.25/23.65	o 817
23.25/23.70	o 815
23.35/23.80	o 814
23.45/23.84	o 811
23.45/23.89	o 809
23.55/23.99	o 807
23.65/24.03	o 805
23.65/24.09	o 804
23.85/24.24	o 803
23.95/24.35	o 800
24.15/24.57	o 799
24.25/24.63	o 796
24.35/24.73	o 794
24.35/24.78	o 792
24.45/24.85	o 789
24.55/24.90	o 788
24.55/24.95	o 785
24.65/25.01	o 780
24.65/25.07	o 778
24.75/25.12	o 777
24.86/25.23	o 775
24.96/25.39	o 773
25.05/25.44	o 770
25.05/25.50	o 766
25.25/25.67	o 762
25.35/25.73	o 759
25.35/25.79	o 758
25.45/25.86	o 756
25.95/26.32	o 754
26.15/26.57	o 752
26.25/26.64	o 748
26.55/26.92	o 747
26.95/27.34	o 746
27.15/27.54	o 744
27.25/27.61	o 743
27.25/27.68	o 742
27.35/27.75	o 741
27.45/27.88	o 739
27.55/27.94	o 737
27.75/28.13	o 736
27.85/28.20	o 732
27.95/28.34	o 729
28.05/28.40	o 726
28.05/28.46	o 725
28.15/28.52	o 722
28.25/28.67	o 721
28.35/28.80	o 720
28.45/28.86	o 717
28.55/28.92	o 715
28.55/28.99	o 712
28.74/29.18	o 710
28.84/29.24	o 709
28.94/29.30	o 707
29.04/29.42	o 706
29.04/29.47	o 704
29.14/29.54	o 702
29.14/29.57	o 700
29.25/29.63	o 698
29.25/29.69	o 695
29.74/30.16	o 694
30.24/30.61	o 693
30.24/30.68	o 691
30.85/31.26	o 689
30.95/31.37	o 687
31.05/31.44	o 686
31.25/31.61	o 684
31.45/31.81	o 683
31.45/31.85	o 680
31.55/31.90	o 678
31.55/31.97	o 676
31.85/32.23	o 675
31.94/32.34	o 673
32.04/32.45	o 672
32.14/32.52	o 670
32.34/32.71	o 669
32.44/32.89	o 666
32.55/32.96	o 664
32.65/33.02	o 663
32.65/33.08	o 657
32.74/33.13	o 655
32.74/33.19	o 654
32.94/33.32	o 653
32.94/33.38	o 651
33.04/33.43	o 647
33.04/33.50	o 646
33.14/33.55	o 644
33.24/33.68	o 641
33.34/33.73	o 640
33.34/33.79	o 637
33.44/33.90	o 635
33.54/33.95	o 634
33.54/34.00	o 631
33.75/34.16	o 630
33.84/34.23	o 628
34.14/34.58	o 627
34.44/34.84	o 626
34.44/34.90	o 625
34.54/34.96	o 623
34.64/35.10	o 622
35.04/35.44	o 621
35.14/35.57	o 620
35.24/35.64	o 619
35.74/36.10	o 618
35.74/36.18	o 617
35.84/36.25	o 615
35.94/36.32	o 614
35.94/36.40	o 611
36.14/36.54	o 609
36.24/36.61	o 608
36.24/36.69	o 606
36.34/36.76	o 603
36.44/36.82	o 601
36.44/36.89	o 600
36.83/37.20	o 599
37.13/37.57	o 598
37.23/37.64	o 595
37.33/37.72	o 591
37.43/37.80	o 589
37.43/37.87	o 587
37.53/37.95	o 585
37.63/38.03	o 584
37.73/38.11	o 582
37.73/38.20	o 580
38.84/39.29	o 577
39.04/39.42	o 576
39.14/39.56	o 575
39.14/39.60	o 574
39.24/39.67	o 572
39.34/39.75	o 570
39.44/39.82	o 568
39.54/39.90	o 567
39.84/40.22	o 563
39.94/40.38	o 561
40.14/40.54	o 559
41.03/41.49	o 558
42.23/42.68	o 555
42.33/42.75	o 552
42.63/43.09	o 550
43.03/43.41	o 547
43.13/43.50	o 546
43.23/43.69	o 545
43.43/43.83	o 541
43.54/43.92	o 540
43.64/44.00	o 536
43.64/44.09	o 535
44.13/44.59	o 533
44.33/44.75	o 531
44.43/44.82	o 529
44.53/44.90	o 527
44.53/45.00	o 526
44.93/45.37	o 525
45.03/45.47	o 523
45.13/45.53	o 521
45.33/45.72	o 520
45.63/46.02	o 518
57.53/57.97	o 516
57.63/58.08	o 515
57.73/58.19	o 513
57.93/58.30	o 509
58.22/58.69	o 508
58.93/59.33	o 506
65.72/66.10	o 505
69.92/70.40	o 504
70.11/70.52	o 503
73.01/73.48	o 502
73.31/73.73	o 500
73.42/73.86	o 499
73.52/73.96	o 498
73.92/74.35	o 496
74.02/74.48	o 493
74.22/74.62	o 491
75.02/75.43	o 490
75.52/75.99	o 489
75.72/76.12	o 488
76.02/76.41	o 486
76.42/76.80	o 484
76.52/76.92	o 479
76.71/77.17	o 477
77.51/77.99	o 476
77.72/78.13	o 475
77.81/78.27	o 473
78.11/78.54	o 472
78.82/79.25	o 471
78.82/79.27	o 468
79.01/79.40	o 465
79.41/79.83	o 463
79.51/79.91	o 460
80.11/80.52	o 459
80.21/80.65	o 457
80.31/80.78	o 456
80.61/81.03	o 453
80.81/81.28	o 452
80.91/81.35	o 449
81.81/82.29	o 445
82.01/82.49	o 442
82.21/82.60	o 440
82.31/82.72	o 437
82.41/82.83	o 436
82.51/82.93	o 435
82.61/83.04	o 434
82.91/83.39	o 432
83.00/83.50	o 430
83.61/84.05	o 429
83.71/84.16	o 428
83.81/84.24	o 425
83.91/84.35	o 424
84.51/84.97	o 422
84.61/85.08	o 420
84.81/85.28	o 419
85.01/85.43	o 417
85.11/85.54	o 415
85.61/86.07	o 414
85.71/86.19	o 412
86.41/86.87	o 410
86.51/86.97	o 409
86.61/87.06	o 407
86.71/87.16	o 406
86.81/87.25	o 405
86.91/87.35	o 404
87.01/87.46	o 403
90.60/91.07	o 401
90.70/91.18	o 400
90.81/91.24	o 398
90.91/91.35	o 396
91.00/91.46	o 395
91.20/91.64	o 393
91.30/91.74	o 390
91.50/91.95	o 389
91.80/92.27	o 388
92.40/92.80	o 387
94.70/95.13	o 386
94.80/95.25	o 383
94.90/95.36	o 382
95.40/95.86	o 381
95.50/95.99	o 380
96.01/96.40	o 379
96.11/96.53	o 378
96.61/97.01	o 377
96.71/97.13	o 376
96.90/97.35	o 372
97.90/98.31	o 371
98.00/98.44	o 370
100.00/100.41	o 369
100.20/100.68	o 367
100.40/100.80	o 365
100.50/100.92	o 364
100.60/101.05	o 363
103.10/103.51	o 362
103.80/104.23	o 361
104.60/105.01	o 360
104.70/105.14	o 359
105.10/105.54	o 358
105.50/105.91	o 357
105.99/106.45	o 356
106.39/106.85	o 355
106.49/106.97	o 353
106.79/107.24	o 351
107.09/107.51	o 350
108.89/109.35	o 349
122.39/122.85	o 348
122.48/122.98	o 343
122.69/123.13	o 342
122.79/123.27	o 338
123.19/123.69	o 337
125.09/125.54	o 335
125.19/125.69	o 332
128.48/128.90	o 329
128.68/129.19	o 328
128.98/129.49	o 326
129.29/129.74	o 325
129.39/129.83	o 324
129.88/130.40	o 321
130.08/130.54	o 320
130.18/130.68	o 319
130.39/130.82	o 318
131.08/131.53	o 317
131.38/131.81	o 316
135.08/135.60	o 315
135.98/136.43	o 314
136.18/136.69	o 313
136.58/137.00	o 312
143.08/143.57	o 311
143.38/143.87	o 310
143.59/144.03	o 309
145.18/145.68	o 308
145.38/145.83	o 306
147.48/147.91	o 305
147.48/147.94	o 302
151.88/152.37	o 301
152.08/152.52	o 300
152.18/152.60	o 297
152.28/152.75	o 295
152.48/152.90	o 294
152.58/153.05	o 293
153.48/153.96	o 289
154.17/154.67	o 288
154.37/154.83	o 287
184.56/185.00	   
184.56/185.00	   search
184.56/185.00	     run=0  nbConstraintChecks=479077185  nbAssignments=1807
184.56/185.00	       =>  wckTime=172.39  cpuTime=172.25  mem=22M588
184.56/185.00	   
184.56/185.00	   global
184.56/185.00	     nbConstraintChecks=479077185  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
184.56/185.00	     solvingWckTime=172.387  solvingCpuTime=172.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
184.56/185.00	     globalCpuTime=183.76
184.56/185.00	       =>  wckTime=184.47  cpuTime=183.71  mem=22M588
184.56/185.00	   
184.56/185.00	   solver DecomposerSolver being built... 
185.26/185.77	       =>  wckTime=185.24  cpuTime=184.04  mem=248M860
196.56/197.04	   
196.56/197.04	   preprocessing
196.56/197.04	     nbConstraintChecks=36751324  nbValidityChecks=172580  nbPropagations=500  nbRevisions=10518
196.56/197.04	     nbUselessRevisions=10514  nbRemovedValues=452  detectedInconsistency=no
196.56/197.04	       =>  wckTime=11.266  cpuTime=11.24  mem=248M860
196.76/197.29	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-1112839-1215874488/watcher-1112839-1215874488 -o /tmp/evaluation-result-1112839-1215874488/solver-1112839-1215874488 -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-1112839-1215874488.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: 3.30 3.01 3.07 3/81 14727
/proc/meminfo: memFree=1294752/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=18572 CPUtime=0
/proc/14727/stat : 14727 (runsolver) R 14725 14727 14233 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44148664 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 213116316967 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14727/statm: 4643 292 257 25 0 2626 0

[startup+0.011446 s]
/proc/loadavg: 3.30 3.01 3.07 3/81 14727
/proc/meminfo: memFree=1294752/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=18572 CPUtime=0
/proc/14727/stat : 14727 (runsolver) D 14725 14727 14233 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44148664 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 213116316967 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/14727/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572

[startup+0.101462 s]
/proc/loadavg: 3.30 3.01 3.07 3/81 14727
/proc/meminfo: memFree=1294752/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=10732 CPUtime=0
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 702 0 37 0 0 0 0 0 18 0 2 0 44148664 10989568 519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 2683 519 243 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10732

[startup+0.301484 s]
/proc/loadavg: 3.30 3.01 3.07 3/81 14727
/proc/meminfo: memFree=1294752/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=866768 CPUtime=0.1
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 3637 0 62 0 7 3 0 0 18 0 9 0 44148664 887570432 3173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 216692 3173 1683 9 0 211247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866768

[startup+0.70153 s]
/proc/loadavg: 3.30 3.01 3.07 3/81 14727
/proc/meminfo: memFree=1294752/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=867260 CPUtime=0.4
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 6387 0 75 0 34 6 0 0 18 0 9 0 44148664 888074240 5832 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 216815 5833 1964 9 0 211343 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 867260

[startup+1.50162 s]
/proc/loadavg: 3.30 3.01 3.07 3/90 14736
/proc/meminfo: memFree=1257048/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=1.19
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 13969 0 75 0 109 10 0 0 18 0 9 0 44148664 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 13401 2014 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=1
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 12648 0 39 0 92 8 0 0 19 0 9 0 44148671 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4126861794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44148684 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44148684 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.17
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 660 0 0 0 17 0 0 0 16 0 9 0 44148688 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 13401 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 868544

[startup+3.10179 s]
/proc/loadavg: 3.30 3.01 3.07 3/90 14736
/proc/meminfo: memFree=1236184/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=2.79
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 15108 0 75 0 268 11 0 0 18 0 9 0 44148664 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 14539 2014 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=2.57
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 13765 0 39 0 247 10 0 0 25 0 9 0 44148671 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44148684 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44148684 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.2
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 682 0 0 0 20 0 0 0 15 0 9 0 44148688 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 14539 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 868544

[startup+6.30214 s]
/proc/loadavg: 3.20 3.00 3.06 3/90 14736
/proc/meminfo: memFree=1226840/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=6
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 19345 0 75 0 585 15 0 0 18 0 9 0 44148664 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 18748 2005 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=5.68
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15785 0 39 0 556 12 0 0 24 0 9 0 44148671 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4126863108 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.06
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 2213 0 0 0 6 0 0 0 17 0 9 0 44148684 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.21
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 687 0 0 0 21 0 0 0 16 0 9 0 44148688 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 18748 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 868456

[startup+12.7028 s]
/proc/loadavg: 3.10 2.98 3.06 3/90 14736
/proc/meminfo: memFree=1204952/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=12.39
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 25131 0 76 0 1220 19 0 0 18 0 9 0 44148664 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 24339 2638 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=11.75
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15861 0 40 0 1161 14 0 0 25 0 9 0 44148671 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4126865072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0.31
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 7881 0 0 0 28 3 0 0 17 0 9 0 44148684 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.29
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 729 0 0 0 29 0 0 0 15 0 9 0 44148688 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 24339 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 868544

[startup+25.5022 s]
/proc/loadavg: 2.86 2.93 3.04 3/90 14736
/proc/meminfo: memFree=1196248/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=25.15
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 25140 0 76 0 2491 24 0 0 18 0 9 0 44148664 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 24347 2640 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=24.5
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15862 0 40 0 2432 18 0 0 25 0 9 0 44148671 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4126865075 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0.31
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 7881 0 0 0 28 3 0 0 16 0 9 0 44148684 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.3
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 737 0 0 0 30 0 0 0 16 0 9 0 44148688 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 24347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 868544

[startup+51.103 s]
/proc/loadavg: 2.56 2.85 3.01 3/90 14736
/proc/meminfo: memFree=1196440/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=50.73
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 25143 0 76 0 5046 27 0 0 18 0 9 0 44148664 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 24349 2640 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=50.08
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15863 0 40 0 4987 21 0 0 25 0 9 0 44148671 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4127182889 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0.31
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 7881 0 0 0 28 3 0 0 16 0 9 0 44148684 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.3
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 739 0 0 0 30 0 0 0 17 0 9 0 44148688 889389056 24349 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0

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

/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 25146 0 76 0 17831 36 0 0 18 0 9 0 44148664 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 24352 2640 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=178.01
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15863 0 40 0 17771 30 0 0 25 0 9 0 44148671 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4126457479 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0.31
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 7881 0 0 0 28 3 0 0 16 0 9 0 44148684 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.3
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 742 0 0 0 30 0 0 0 15 0 9 0 44148688 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 24352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 178.67
Current children cumulated vsize (KiB) 868544

[startup+185.503 s]
/proc/loadavg: 2.06 2.54 2.87 3/90 14736
/proc/meminfo: memFree=1196248/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=185.06
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 49648 0 76 0 18461 45 0 0 18 0 9 0 44148664 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 48788 2619 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=184.17
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15939 0 40 0 18386 31 0 0 25 0 9 0 44148671 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 104454905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.53
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 32280 0 0 0 41 12 0 0 16 0 9 0 44148684 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44148684 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.32
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 751 0 0 0 32 0 0 0 15 0 9 0 44148688 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 48788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 185.06
Current children cumulated vsize (KiB) 868456

[startup+191.901 s]
/proc/loadavg: 2.05 2.53 2.86 3/90 14736
/proc/meminfo: memFree=1002648/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=191.46
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 73512 0 76 0 19091 55 0 0 18 0 9 0 44148664 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 72649 2619 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=190.35
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15942 0 40 0 19004 31 0 0 25 0 9 0 44148671 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4127179122 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.73
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 56132 0 0 0 51 22 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.34
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 760 0 0 0 34 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 191.46
Current children cumulated vsize (KiB) 868456

[startup+195.103 s]
/proc/loadavg: 2.05 2.52 2.86 3/90 14736
/proc/meminfo: memFree=1002648/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=194.66
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 73512 0 76 0 19411 55 0 0 18 0 9 0 44148664 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 72649 2619 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=193.55
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15942 0 40 0 19324 31 0 0 25 0 9 0 44148671 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4127277171 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.73
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 56132 0 0 0 51 22 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.34
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 760 0 0 0 34 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 194.66
Current children cumulated vsize (KiB) 868456

[startup+196.702 s]
/proc/loadavg: 2.05 2.52 2.86 3/90 14736
/proc/meminfo: memFree=1002648/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=196.26
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 73512 0 76 0 19571 55 0 0 18 0 9 0 44148664 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 72649 2619 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=195.15
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15942 0 40 0 19484 31 0 0 25 0 9 0 44148671 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4126868560 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.73
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 56132 0 0 0 51 22 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44148684 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.34
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 760 0 0 0 34 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 72649 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.26
Current children cumulated vsize (KiB) 868456

[startup+197.102 s]
/proc/loadavg: 2.05 2.52 2.86 3/90 14736
/proc/meminfo: memFree=1002648/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868544 CPUtime=196.66
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 73540 0 76 0 19611 55 0 0 18 0 9 0 44148664 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217136 72674 2640 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868544 CPUtime=195.5
/proc/14727/task/14729/stat : 14729 (java) R 14725 14727 14233 0 -1 64 15968 0 40 0 19519 31 0 0 25 0 9 0 44148671 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868544 CPUtime=0.78
/proc/14727/task/14730/stat : 14730 (java) R 14725 14727 14233 0 -1 64 56133 0 0 0 56 22 0 0 16 0 9 0 44148684 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 103828929 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44148684 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868544 CPUtime=0.34
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 761 0 0 0 34 0 0 0 16 0 9 0 44148688 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868544 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889389056 72674 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.66
Current children cumulated vsize (KiB) 868544

[startup+197.302 s]
/proc/loadavg: 2.05 2.52 2.86 3/90 14736
/proc/meminfo: memFree=1002648/2055920 swapFree=4191900/4192956
[pid=14727] ppid=14725 vsize=868456 CPUtime=196.85
/proc/14727/stat : 14727 (java) S 14725 14727 14233 0 -1 0 82085 0 76 0 19627 58 0 0 18 0 9 0 44148664 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14727/statm: 217114 81195 2618 9 0 211642 0
[pid=14727/tid=14729] ppid=14725 vsize=868456 CPUtime=195.5
/proc/14727/task/14729/stat : 14729 (java) S 14725 14727 14233 0 -1 64 15971 0 40 0 19519 31 0 0 25 0 9 0 44148671 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14730] ppid=14725 vsize=868456 CPUtime=0.97
/proc/14727/task/14730/stat : 14730 (java) S 14725 14727 14233 0 -1 64 64675 0 0 0 72 25 0 0 16 0 9 0 44148684 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14731] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14731/stat : 14731 (java) S 14725 14727 14233 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14732] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14732/stat : 14732 (java) S 14725 14727 14233 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44148684 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14733] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14733/stat : 14733 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44148688 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14734] ppid=14725 vsize=868456 CPUtime=0.34
/proc/14727/task/14734/stat : 14734 (java) S 14725 14727 14233 0 -1 64 761 0 0 0 34 0 0 0 16 0 9 0 44148688 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14727/tid=14735] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14735/stat : 14735 (java) S 14725 14727 14233 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44148688 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14727/tid=14736] ppid=14725 vsize=868456 CPUtime=0
/proc/14727/task/14736/stat : 14736 (java) S 14725 14727 14233 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44148688 889298944 81195 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.85
Current children cumulated vsize (KiB) 868456

Child status: 0
Real time (s): 197.395
CPU time (s): 196.916
CPU user time (s): 196.278
CPU system time (s): 0.637903
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 868548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.278
system time used= 0.637903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82090
page faults= 76
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6359
involuntary context switches= 7826

runsolver used 0.211967 second user time and 0.754885 second system time

The end

Launcher Data (download as text)

Begin job on node37 at 2008-07-12 16:54:48
IDJOB=1112839
IDBENCH=61483
IDSOLVER=359
FILE ID=node37/1112839-1215874488
PBS_JOBID= 7903569
Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-0.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112839-1215874488/watcher-1112839-1215874488 -o /tmp/evaluation-result-1112839-1215874488/solver-1112839-1215874488 -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-1112839-1215874488.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 744c0dba383c6f3a8251a2e0da8b7c1e
RANDOM SEED=122974737

node37.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.238
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.238
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:       1295424 kB
Buffers:          2804 kB
Cached:          32488 kB
SwapCached:          0 kB
Active:         708116 kB
Inactive:         7624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1295424 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3304 kB
Writeback:           0 kB
Mapped:         699672 kB
Slab:            28580 kB
Committed_AS:   939768 kB
PageTables:       3248 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= 66552 MiB
End job on node37 at 2008-07-12 16:58:06