Trace number 1112840

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? 197.517 198.342

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.01/0.19	
0.01/0.19	Abscon 112 (May, 2008)
0.16/0.38	
0.16/0.38	   configuration
0.16/0.38	     name=mrdac-ddeg.xml
0.26/0.43	   
0.26/0.43	   instance
0.26/0.43	     name=HOME/instance-1112840-1215874505.xml
0.26/0.46	   
0.26/0.46	   domains being loaded...
0.34/0.50	   
0.34/0.50	   variables being loaded...
0.44/0.60	     nbVariables=500  nbDomainTypes=16  minDomainSize=42  maxDomainSize=290  nbTotalValues=108024
0.44/0.60	       =>  wckTime=0.225  cpuTime=0.14  mem=11M747
0.44/0.60	   
0.44/0.60	   predicates being loaded...
0.44/0.67	   
0.44/0.67	   constraints being loaded...
10.50/10.72	   
10.50/10.72	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 23M617)
12.00/12.28	     nbConstraints=6531  nbConvertedConstraints=709  nbConvertConstraintsChecks=38322356  nbExtensionStructures=649
12.00/12.28	     nbSharedExtensionStructures=220  nbConflictsStructures=1163  nbSharedConflictsStructures=279
12.00/12.28	     nbUnbuiltConflictsStructures=2995  nbSharedBinaryRepresentations=270922  nbEvaluationManagers=3509
12.00/12.28	     nbSharedEvaluationManagers=2313  minDegree=5  maxDegree=36  minArity=2  maxArity=2
12.00/12.28	       =>  wckTime=11.904  cpuTime=11.44  mem=35M79
12.19/12.44	   
12.19/12.44	   solver LocalSearchSolver being built... 
12.19/12.49	       =>  wckTime=12.109  cpuTime=11.48  mem=21M540
12.29/12.57	
12.29/12.57	s SATISFIABLE
12.29/12.57	o 1705
12.40/12.61	o 1699
12.40/12.63	o 1692
12.40/12.65	o 1686
12.40/12.68	o 1680
12.40/12.69	o 1676
12.49/12.71	o 1673
12.49/12.72	o 1671
12.49/12.74	o 1662
12.49/12.76	o 1654
12.49/12.77	o 1649
12.49/12.78	o 1644
12.49/12.79	o 1640
12.59/12.80	o 1636
12.59/12.81	o 1632
12.59/12.83	o 1626
12.59/12.83	o 1623
12.59/12.85	o 1616
12.59/12.87	o 1608
12.59/12.88	o 1607
12.59/12.89	o 1601
12.69/12.91	o 1595
12.69/12.91	o 1590
12.69/12.92	o 1586
12.69/12.94	o 1582
12.69/12.95	o 1579
12.69/12.96	o 1576
12.69/12.97	o 1574
12.69/12.98	o 1573
12.79/13.02	o 1568
12.79/13.02	o 1563
12.79/13.04	o 1556
12.79/13.06	o 1548
12.79/13.08	o 1544
12.79/13.09	o 1541
12.89/13.11	o 1537
12.89/13.12	o 1534
12.89/13.15	o 1532
12.89/13.16	o 1530
12.89/13.17	o 1528
12.89/13.19	o 1527
12.99/13.20	o 1526
12.99/13.22	o 1525
12.99/13.24	o 1523
12.99/13.25	o 1521
12.99/13.30	o 1520
13.08/13.33	o 1515
13.08/13.34	o 1513
13.08/13.35	o 1507
13.08/13.37	o 1502
13.08/13.38	o 1497
13.18/13.40	o 1492
13.18/13.42	o 1487
13.18/13.43	o 1484
13.18/13.45	o 1479
13.18/13.47	o 1477
13.18/13.48	o 1472
13.18/13.49	o 1466
13.28/13.50	o 1464
13.28/13.51	o 1458
13.28/13.53	o 1454
13.28/13.55	o 1450
13.28/13.56	o 1447
13.28/13.57	o 1444
13.28/13.59	o 1440
13.38/13.60	o 1438
13.38/13.62	o 1437
13.38/13.65	o 1434
13.38/13.66	o 1427
13.38/13.67	o 1426
13.38/13.68	o 1422
13.38/13.69	o 1418
13.49/13.70	o 1414
13.49/13.73	o 1411
13.49/13.75	o 1408
13.49/13.77	o 1406
13.49/13.78	o 1402
13.49/13.80	o 1401
13.58/13.81	o 1400
13.58/13.82	o 1399
13.58/13.83	o 1393
13.58/13.84	o 1390
13.58/13.85	o 1386
13.58/13.87	o 1380
13.58/13.88	o 1379
13.58/13.89	o 1378
13.68/13.90	o 1376
13.68/13.91	o 1375
13.68/13.93	o 1374
13.68/13.94	o 1367
13.68/13.96	o 1364
13.68/13.98	o 1363
13.68/13.99	o 1361
13.78/14.01	o 1353
13.78/14.03	o 1349
13.78/14.04	o 1348
13.78/14.06	o 1346
13.78/14.07	o 1342
13.78/14.09	o 1338
13.88/14.10	o 1335
13.88/14.12	o 1328
13.88/14.13	o 1327
13.88/14.16	o 1325
13.88/14.18	o 1317
13.88/14.19	o 1316
13.98/14.22	o 1311
13.98/14.23	o 1310
13.98/14.25	o 1308
13.98/14.27	o 1303
13.98/14.28	o 1300
13.98/14.29	o 1298
14.08/14.32	o 1296
14.08/14.34	o 1292
14.08/14.35	o 1289
14.08/14.37	o 1288
14.08/14.39	o 1283
14.17/14.40	o 1279
14.17/14.41	o 1275
14.17/14.43	o 1274
14.17/14.44	o 1272
14.17/14.49	o 1269
14.27/14.51	o 1268
14.27/14.53	o 1267
14.27/14.54	o 1266
14.27/14.56	o 1258
14.27/14.58	o 1254
14.27/14.59	o 1251
14.37/14.61	o 1244
14.37/14.63	o 1240
14.37/14.66	o 1236
14.37/14.68	o 1227
14.37/14.70	o 1225
14.47/14.72	o 1220
14.47/14.74	o 1218
14.47/14.77	o 1216
14.47/14.79	o 1212
14.57/14.82	o 1209
14.57/14.85	o 1206
14.57/14.88	o 1204
14.66/14.90	o 1201
14.66/14.93	o 1199
14.66/14.97	o 1198
14.66/14.99	o 1195
14.76/15.01	o 1191
14.76/15.04	o 1187
14.76/15.06	o 1182
14.76/15.08	o 1177
14.86/15.14	o 1174
14.86/15.15	o 1172
14.86/15.18	o 1169
14.96/15.30	o 1165
15.07/15.31	o 1162
15.07/15.33	o 1157
15.07/15.35	o 1155
15.07/15.38	o 1152
15.17/15.43	o 1146
15.17/15.45	o 1144
15.26/15.51	o 1142
15.26/15.55	o 1141
15.26/15.58	o 1140
15.26/15.60	o 1136
15.36/15.61	o 1134
15.36/15.66	o 1132
15.36/15.68	o 1128
15.46/15.72	o 1124
15.46/15.74	o 1122
15.46/15.76	o 1119
15.46/15.78	o 1117
15.56/15.80	o 1113
15.56/15.83	o 1112
15.56/15.84	o 1111
15.56/15.87	o 1107
15.66/15.90	o 1105
15.66/15.92	o 1100
15.66/15.94	o 1099
15.66/15.97	o 1098
15.66/15.99	o 1093
15.76/16.06	o 1092
15.76/16.08	o 1088
15.86/16.11	o 1087
15.86/16.13	o 1083
15.86/16.14	o 1080
15.86/16.16	o 1077
15.86/16.18	o 1075
15.96/16.23	o 1072
15.96/16.25	o 1068
15.96/16.27	o 1067
15.96/16.29	o 1065
16.06/16.33	o 1061
16.06/16.36	o 1060
16.06/16.38	o 1059
16.06/16.40	o 1056
16.16/16.45	o 1053
16.16/16.48	o 1052
16.26/16.51	o 1049
16.26/16.55	o 1047
16.26/16.59	o 1044
16.36/16.62	o 1042
16.36/16.66	o 1041
16.55/16.80	o 1039
16.55/16.84	o 1035
16.55/16.88	o 1034
16.65/16.92	o 1028
16.65/16.95	o 1027
16.65/16.98	o 1026
16.75/17.02	o 1025
16.75/17.05	o 1021
16.75/17.09	o 1020
16.85/17.12	o 1018
16.85/17.15	o 1017
16.85/17.18	o 1016
16.95/17.26	o 1013
17.05/17.37	o 1012
17.15/17.45	o 1010
17.15/17.48	o 1008
17.35/17.62	o 1007
17.35/17.65	o 1005
17.35/17.68	o 1001
17.45/17.73	o 995
17.45/17.74	o 989
17.45/17.78	o 986
17.55/17.81	o 985
17.65/17.93	o 982
17.65/17.99	o 980
17.74/18.03	o 977
17.74/18.07	o 974
17.84/18.14	o 971
17.84/18.17	o 969
17.94/18.21	o 964
17.94/18.25	o 962
17.94/18.29	o 960
18.04/18.33	o 959
18.15/18.40	o 958
18.15/18.44	o 956
18.15/18.48	o 953
18.35/18.62	o 950
18.35/18.70	o 949
18.45/18.74	o 945
18.45/18.79	o 943
18.55/18.83	o 940
18.55/18.88	o 939
18.65/18.92	o 936
18.75/19.00	o 934
18.75/19.04	o 929
18.75/19.08	o 926
18.85/19.11	o 925
18.85/19.19	o 924
19.04/19.38	o 923
19.14/19.41	o 921
19.14/19.48	o 918
19.24/19.54	o 916
19.24/19.58	o 914
19.34/19.65	o 913
19.34/19.68	o 912
19.44/19.72	o 911
19.54/19.80	o 908
19.54/19.87	o 907
19.83/20.15	o 906
19.83/20.18	o 903
19.93/20.21	o 901
19.93/20.25	o 900
19.93/20.29	o 898
20.03/20.34	o 895
20.03/20.39	o 893
20.13/20.43	o 888
20.23/20.54	o 885
20.23/20.57	o 884
20.33/20.61	o 882
20.53/20.81	o 881
20.53/20.84	o 880
20.64/20.92	o 878
20.64/20.96	o 875
21.14/21.42	o 874
21.14/21.45	o 872
21.23/21.53	o 871
21.23/21.59	o 869
21.33/21.68	o 868
21.43/21.71	o 866
21.43/21.74	o 861
21.53/21.89	o 860
21.63/21.93	o 858
21.73/22.02	o 857
21.73/22.06	o 855
21.83/22.14	o 854
22.03/22.37	o 852
22.13/22.41	o 851
22.32/22.65	o 850
22.32/22.69	o 848
22.42/22.74	o 845
22.42/22.79	o 842
22.52/22.84	o 839
22.52/22.88	o 836
22.73/23.08	o 834
22.83/23.17	o 832
22.92/23.23	o 830
22.92/23.27	o 829
23.02/23.37	o 827
23.12/23.42	o 826
23.12/23.46	o 824
23.22/23.55	o 820
23.22/23.59	o 817
23.32/23.63	o 815
23.41/23.74	o 814
23.41/23.78	o 811
23.51/23.83	o 809
23.61/23.93	o 807
23.61/23.98	o 805
23.71/24.03	o 804
23.81/24.19	o 803
24.01/24.30	o 800
24.21/24.51	o 799
24.21/24.57	o 796
24.31/24.68	o 794
24.41/24.73	o 792
24.50/24.80	o 789
24.50/24.85	o 788
24.60/24.91	o 785
24.60/24.96	o 780
24.70/25.02	o 778
24.70/25.08	o 777
24.80/25.18	o 775
25.01/25.35	o 773
25.10/25.40	o 770
25.10/25.45	o 766
25.31/25.63	o 762
25.31/25.69	o 759
25.41/25.75	o 758
25.51/25.82	o 756
25.90/26.29	o 754
26.20/26.54	o 752
26.30/26.61	o 748
26.50/26.89	o 747
27.00/27.32	o 746
27.20/27.52	o 744
27.20/27.59	o 743
27.29/27.66	o 742
27.39/27.73	o 741
27.49/27.87	o 739
27.59/27.93	o 737
27.79/28.13	o 736
27.89/28.20	o 732
27.99/28.33	o 729
28.09/28.40	o 726
28.09/28.46	o 725
28.19/28.51	o 722
28.30/28.67	o 721
28.49/28.80	o 720
28.49/28.86	o 717
28.59/28.93	o 715
28.59/28.99	o 712
28.79/29.19	o 710
28.88/29.26	o 709
28.98/29.31	o 707
29.08/29.43	o 706
29.08/29.49	o 704
29.18/29.56	o 702
29.18/29.59	o 700
29.29/29.65	o 698
29.39/29.71	o 695
29.78/30.19	o 694
30.28/30.64	o 693
30.38/30.72	o 691
30.98/31.31	o 689
31.08/31.42	o 687
31.08/31.49	o 686
31.28/31.67	o 684
31.48/31.86	o 683
31.48/31.90	o 680
31.59/31.96	o 678
31.68/32.02	o 676
31.88/32.28	o 675
31.98/32.40	o 673
32.18/32.51	o 672
32.18/32.58	o 670
32.37/32.77	o 669
32.58/32.96	o 666
32.68/33.02	o 664
32.68/33.08	o 663
32.77/33.14	o 657
32.77/33.20	o 655
32.87/33.25	o 654
32.97/33.38	o 653
33.07/33.45	o 651
33.17/33.50	o 647
33.17/33.56	o 646
33.27/33.62	o 644
33.37/33.75	o 641
33.46/33.80	o 640
33.46/33.86	o 637
33.56/33.97	o 635
33.67/34.02	o 634
33.67/34.07	o 631
33.86/34.23	o 630
33.96/34.30	o 628
34.26/34.65	o 627
34.56/34.92	o 626
34.56/34.98	o 625
34.66/35.04	o 623
34.76/35.18	o 622
35.16/35.52	o 621
35.26/35.65	o 620
35.36/35.72	o 619
35.75/36.20	o 618
35.86/36.27	o 617
35.96/36.34	o 615
36.05/36.41	o 614
36.05/36.49	o 611
36.25/36.63	o 609
36.35/36.71	o 608
36.35/36.78	o 606
36.45/36.85	o 603
36.55/36.92	o 601
36.55/36.99	o 600
36.96/37.30	o 599
37.25/37.67	o 598
37.35/37.74	o 595
37.45/37.82	o 591
37.55/37.90	o 589
37.55/37.98	o 587
37.65/38.05	o 585
37.75/38.14	o 584
37.85/38.22	o 582
37.95/38.30	o 580
39.04/39.40	o 577
39.15/39.53	o 576
39.25/39.67	o 575
39.34/39.71	o 574
39.34/39.78	o 572
39.44/39.86	o 570
39.54/39.93	o 568
39.64/40.01	o 567
39.93/40.33	o 563
40.03/40.49	o 561
40.24/40.65	o 559
41.23/41.60	o 558
42.43/42.81	o 555
42.43/42.88	o 552
42.83/43.22	o 550
43.12/43.55	o 547
43.22/43.64	o 546
43.42/43.82	o 545
43.53/43.97	o 541
43.63/44.06	o 540
43.72/44.14	o 536
43.82/44.23	o 535
44.32/44.73	o 533
44.42/44.89	o 531
44.52/44.97	o 529
44.62/45.05	o 527
44.72/45.14	o 526
45.12/45.51	o 525
45.22/45.60	o 523
45.22/45.67	o 521
45.41/45.85	o 520
45.72/46.14	o 518
57.66/58.15	o 516
57.76/58.26	o 515
57.86/58.37	o 513
57.96/58.48	o 509
58.36/58.87	o 508
59.06/59.51	o 506
65.83/66.33	o 505
70.10/70.69	o 504
70.30/70.81	o 503
73.30/73.80	o 502
73.50/74.06	o 500
73.60/74.18	o 499
73.70/74.29	o 498
74.10/74.68	o 496
74.30/74.82	o 493
74.39/74.96	o 491
75.19/75.78	o 490
75.79/76.34	o 489
75.89/76.47	o 488
76.19/76.76	o 486
76.59/77.16	o 484
76.68/77.29	o 479
76.98/77.54	o 477
77.78/78.36	o 476
77.98/78.50	o 475
78.08/78.64	o 473
78.37/78.91	o 472
79.07/79.62	o 471
79.07/79.64	o 468
79.17/79.78	o 465
79.67/80.21	o 463
79.67/80.29	o 460
80.37/80.90	o 459
80.47/81.02	o 457
80.57/81.16	o 456
80.87/81.41	o 453
81.07/81.65	o 452
81.17/81.72	o 449
82.06/82.68	o 445
82.26/82.88	o 442
82.36/82.99	o 440
82.56/83.11	o 437
82.66/83.22	o 436
82.76/83.33	o 435
82.86/83.44	o 434
83.16/83.78	o 432
83.26/83.89	o 430
83.85/84.46	o 429
83.95/84.56	o 428
84.06/84.64	o 425
84.16/84.75	o 424
84.75/85.39	o 422
84.85/85.49	o 420
85.04/85.70	o 419
85.25/85.84	o 417
85.34/85.95	o 415
85.84/86.50	o 414
86.04/86.61	o 412
86.64/87.29	o 410
86.74/87.40	o 409
86.84/87.50	o 407
86.93/87.59	o 406
87.03/87.68	o 405
87.13/87.78	o 404
87.23/87.89	o 403
90.92/91.57	o 401
91.02/91.68	o 400
91.12/91.74	o 398
91.22/91.85	o 396
91.32/91.97	o 395
91.52/92.14	o 393
91.62/92.24	o 390
91.82/92.46	o 389
92.12/92.78	o 388
92.71/93.32	o 387
95.01/95.67	o 386
95.11/95.79	o 383
95.30/95.91	o 382
95.80/96.41	o 381
95.90/96.54	o 380
96.30/96.96	o 379
96.39/97.08	o 378
96.89/97.57	o 377
96.99/97.69	o 376
97.29/97.91	o 372
98.19/98.88	o 371
98.30/99.00	o 370
100.28/100.98	o 369
100.59/101.25	o 367
100.68/101.37	o 365
100.78/101.49	o 364
100.98/101.62	o 363
103.47/104.10	o 362
104.17/104.82	o 361
104.96/105.62	o 360
105.06/105.75	o 359
105.46/106.15	o 358
105.85/106.53	o 357
106.35/107.07	o 356
106.75/107.47	o 355
106.85/107.60	o 353
107.15/107.86	o 351
107.45/108.14	o 350
109.34/110.02	o 349
122.88/123.63	o 348
122.98/123.77	o 343
123.18/123.92	o 342
123.28/124.07	o 338
123.68/124.49	o 337
125.57/126.36	o 335
125.77/126.51	o 332
128.95/129.77	o 329
129.25/130.06	o 328
129.55/130.37	o 326
129.85/130.62	o 325
129.95/130.72	o 324
130.45/131.29	o 321
130.65/131.44	o 320
130.74/131.58	o 319
130.94/131.73	o 318
131.65/132.44	o 317
131.95/132.72	o 316
135.73/136.56	o 315
136.63/137.41	o 314
136.83/137.68	o 313
137.13/138.00	o 312
143.90/144.72	o 311
144.20/145.01	o 310
144.31/145.17	o 309
146.00/146.82	o 308
146.10/146.97	o 306
148.20/149.06	o 305
148.20/149.09	o 302
152.69/153.56	o 301
152.89/153.71	o 300
152.89/153.80	o 297
153.10/153.95	o 295
153.20/154.10	o 294
153.39/154.24	o 293
154.30/155.15	o 289
154.99/155.87	o 288
155.19/156.03	o 287
185.19/186.10	   
185.19/186.10	   search
185.19/186.10	     run=0  nbConstraintChecks=479077185  nbAssignments=1807
185.19/186.10	       =>  wckTime=173.612  cpuTime=172.98  mem=22M538
185.29/186.10	   
185.29/186.10	   global
185.29/186.10	     nbConstraintChecks=479077185  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
185.29/186.10	     solvingWckTime=173.609  solvingCpuTime=172.96  expiredTime=no  totalExploration=no  nbFoundSolutions=0
185.29/186.10	     globalCpuTime=184.5
185.29/186.10	       =>  wckTime=185.722  cpuTime=184.45  mem=22M538
185.29/186.10	   
185.29/186.10	   solver DecomposerSolver being built... 
185.89/186.80	       =>  wckTime=186.42  cpuTime=184.74  mem=248M882
197.18/198.04	   
197.18/198.04	   preprocessing
197.18/198.04	     nbConstraintChecks=36754543  nbValidityChecks=172611  nbPropagations=500  nbRevisions=10520
197.18/198.04	     nbUselessRevisions=10516  nbRemovedValues=452  detectedInconsistency=no
197.18/198.04	       =>  wckTime=11.237  cpuTime=11.22  mem=248M882
197.37/198.28	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-1112840-1215874505/watcher-1112840-1215874505 -o /tmp/evaluation-result-1112840-1215874505/solver-1112840-1215874505 -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-1112840-1215874505.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.24 2.84 2.96 4/80 17593
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=18572 CPUtime=0
/proc/17593/stat : 17593 (runsolver) D 17591 17593 17377 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44149402 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 273653755175 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/17593/statm: 4643 292 257 25 0 2626 0

[startup+0.094404 s]
/proc/loadavg: 3.24 2.84 2.96 4/80 17593
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=10904 CPUtime=0.01
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 811 0 0 0 0 1 0 0 18 0 2 0 44149402 11165696 564 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 2726 564 277 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10904

[startup+0.102401 s]
/proc/loadavg: 3.24 2.84 2.96 4/80 17593
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=860508 CPUtime=0.01
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 974 0 1 0 0 1 0 0 18 0 2 0 44149402 881160192 723 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 215127 732 381 9 0 213525 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860508

[startup+0.301427 s]
/proc/loadavg: 3.24 2.84 2.96 4/80 17593
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=866016 CPUtime=0.16
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 4445 0 1 0 13 3 0 0 18 0 9 0 44149402 886800384 3878 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216504 3879 1847 9 0 211052 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 866016

[startup+0.701446 s]
/proc/loadavg: 3.24 2.84 2.96 4/80 17593
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867108 CPUtime=0.54
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 8219 0 1 0 49 5 0 0 18 0 9 0 44149402 887918592 7580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216777 7580 2006 9 0 211283 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 867108

[startup+1.5015 s]
/proc/loadavg: 3.24 2.84 2.96 3/89 17602
/proc/meminfo: memFree=1812848/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=1.34
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 14162 0 1 0 126 8 0 0 18 0 9 0 44149402 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 13520 2014 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=1.16
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 12815 0 1 0 109 7 0 0 25 0 9 0 44149404 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4126861712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 44149413 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 44149413 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 44149413 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.17
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 650 0 0 0 17 0 0 0 15 0 9 0 44149417 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 13520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 867696

[startup+3.10161 s]
/proc/loadavg: 3.24 2.84 2.96 3/89 17602
/proc/meminfo: memFree=1801840/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=2.93
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 15253 0 1 0 284 9 0 0 18 0 9 0 44149402 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 14610 2014 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=2.72
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 13884 0 1 0 265 7 0 0 25 0 9 0 44149404 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4126888983 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 44149413 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 9 0 0 0 0 0 0 0 20 0 9 0 44149413 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 44149413 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.19
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 672 0 0 0 19 0 0 0 15 0 9 0 44149417 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 14610 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 867696

[startup+6.30282 s]
/proc/loadavg: 3.22 2.84 2.96 3/89 17602
/proc/meminfo: memFree=1792304/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=6.12
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 19387 0 1 0 600 12 0 0 18 0 9 0 44149402 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 18716 2005 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=5.82
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15802 0 1 0 573 9 0 0 25 0 9 0 44149404 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4126888645 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.07
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 2212 0 0 0 6 1 0 0 16 0 9 0 44149413 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.19
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 676 0 0 0 19 0 0 0 16 0 9 0 44149417 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 18716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 867608

[startup+12.7013 s]
/proc/loadavg: 3.13 2.83 2.95 3/89 17602
/proc/meminfo: memFree=1770872/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=12.49
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 25178 0 1 0 1232 17 0 0 18 0 9 0 44149402 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 24311 2638 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=11.87
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15879 0 1 0 1176 11 0 0 25 0 9 0 44149404 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4126457607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 7881 0 0 0 27 3 0 0 17 0 9 0 44149413 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.28
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 721 0 0 0 27 1 0 0 15 0 9 0 44149417 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 24311 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 867696

[startup+25.5021 s]
/proc/loadavg: 2.88 2.79 2.94 3/89 17602
/proc/meminfo: memFree=1762424/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=25.21
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 25184 0 1 0 2499 22 0 0 18 0 9 0 44149402 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 24316 2640 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=24.58
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15880 0 1 0 2442 16 0 0 25 0 9 0 44149404 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4127056772 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 7881 0 0 0 27 3 0 0 16 0 9 0 44149413 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.29
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 726 0 0 0 28 1 0 0 16 0 9 0 44149417 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 24316 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867696

[startup+51.1028 s]
/proc/loadavg: 2.58 2.72 2.91 3/89 17602
/proc/meminfo: memFree=1762552/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=50.69
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 25187 0 1 0 5044 25 0 0 18 0 9 0 44149402 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 24318 2640 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=50.06
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15881 0 1 0 4987 19 0 0 25 0 9 0 44149404 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4126861871 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 7881 0 0 0 27 3 0 0 16 0 9 0 44149413 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.29
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 728 0 0 0 28 1 0 0 17 0 9 0 44149417 888520704 24318 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0

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

/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 731 0 0 0 29 1 0 0 15 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.5
Current children cumulated vsize (KiB) 867696

Solver just ended. Dumping a history of the last processes samples

[startup+179.102 s]
/proc/loadavg: 2.22 2.52 2.80 3/89 17637
/proc/meminfo: memFree=1750456/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867696 CPUtime=178.29
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 25190 0 1 0 17793 36 0 0 18 0 9 0 44149402 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216924 24321 2640 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867696 CPUtime=177.66
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15881 0 1 0 17736 30 0 0 25 0 9 0 44149404 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4127177112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 7881 0 0 0 27 3 0 0 16 0 9 0 44149413 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44149413 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867696 CPUtime=0.3
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 731 0 0 0 29 1 0 0 15 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867696 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888520704 24321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 178.29
Current children cumulated vsize (KiB) 867696

[startup+191.901 s]
/proc/loadavg: 2.32 2.52 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=191.08
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 73559 0 1 0 19056 52 0 0 18 0 9 0 44149402 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 72621 2619 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=190.03
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15960 0 1 0 18972 31 0 0 25 0 9 0 44149404 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4126861773 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.69
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 56135 0 0 0 51 18 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.34
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 749 0 0 0 33 1 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.08
Current children cumulated vsize (KiB) 867608

[startup+195.103 s]
/proc/loadavg: 2.29 2.51 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=194.28
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 73559 0 1 0 19376 52 0 0 18 0 9 0 44149402 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 72621 2619 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=193.23
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15960 0 1 0 19292 31 0 0 25 0 9 0 44149404 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4127175423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.69
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 56135 0 0 0 51 18 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.34
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 749 0 0 0 33 1 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 194.28
Current children cumulated vsize (KiB) 867608

[startup+196.703 s]
/proc/loadavg: 2.29 2.51 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=195.88
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 73559 0 1 0 19536 52 0 0 18 0 9 0 44149402 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 72621 2619 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=194.82
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15960 0 1 0 19451 31 0 0 25 0 9 0 44149404 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4126869211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.69
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 56135 0 0 0 51 18 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.34
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 749 0 0 0 33 1 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 195.88
Current children cumulated vsize (KiB) 867608

[startup+197.502 s]
/proc/loadavg: 2.29 2.51 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=196.68
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 73559 0 1 0 19616 52 0 0 18 0 9 0 44149402 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 72621 2619 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=195.62
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15960 0 1 0 19531 31 0 0 25 0 9 0 44149404 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4126861832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.69
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 56135 0 0 0 51 18 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.34
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 749 0 0 0 33 1 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 196.68
Current children cumulated vsize (KiB) 867608

[startup+197.902 s]
/proc/loadavg: 2.29 2.51 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=867608 CPUtime=197.08
/proc/17593/stat : 17593 (java) S 17591 17593 17377 0 -1 0 73559 0 1 0 19656 52 0 0 18 0 9 0 44149402 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 216902 72621 2619 9 0 211430 0
[pid=17593/tid=17595] ppid=17591 vsize=867608 CPUtime=196.03
/proc/17593/task/17595/stat : 17595 (java) R 17591 17593 17377 0 -1 64 15960 0 1 0 19572 31 0 0 25 0 9 0 44149404 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4126865672 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17596] ppid=17591 vsize=867608 CPUtime=0.69
/proc/17593/task/17596/stat : 17596 (java) S 17591 17593 17377 0 -1 64 56135 0 0 0 51 18 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17597] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17597/stat : 17597 (java) S 17591 17593 17377 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17598] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17598/stat : 17598 (java) S 17591 17593 17377 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44149413 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17599] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17599/stat : 17599 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17600] ppid=17591 vsize=867608 CPUtime=0.34
/proc/17593/task/17600/stat : 17600 (java) S 17591 17593 17377 0 -1 64 749 0 0 0 33 1 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17601] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17601/stat : 17601 (java) S 17591 17593 17377 0 -1 64 2 0 0 0 0 0 0 0 22 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17593/tid=17602] ppid=17591 vsize=867608 CPUtime=0
/proc/17593/task/17602/stat : 17602 (java) S 17591 17593 17377 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44149417 888430592 72621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.08
Current children cumulated vsize (KiB) 867608

[startup+198.302 s]
/proc/loadavg: 2.29 2.51 2.80 3/89 17637
/proc/meminfo: memFree=1556984/2055920 swapFree=4192812/4192956
[pid=17593] ppid=17591 vsize=0 CPUtime=197.47
/proc/17593/stat : 17593 (java) Z 17591 17593 17377 0 -1 12 82107 0 1 0 19691 56 0 0 16 0 2 0 44149402 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 197.47
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 198.342
CPU time (s): 197.517
CPU user time (s): 196.912
CPU system time (s): 0.604908
CPU usage (%): 99.5841
Max. virtual memory (cumulated for all children) (KiB): 867700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.912
system time used= 0.604908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82107
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6056
involuntary context switches= 12428

runsolver used 0.299954 second user time and 0.665898 second system time

The end

Launcher Data (download as text)

Begin job on node52 at 2008-07-12 16:55:05
IDJOB=1112840
IDBENCH=61483
IDSOLVER=360
FILE ID=node52/1112840-1215874505
PBS_JOBID= 7903567
Free space on /tmp= 66548 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 744c0dba383c6f3a8251a2e0da8b7c1e
RANDOM SEED=1468177724

node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1851736 kB
Buffers:          2788 kB
Cached:          37128 kB
SwapCached:          0 kB
Active:         146792 kB
Inactive:         4660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:         131892 kB
Slab:            37656 kB
Committed_AS:   944264 kB
PageTables:       2220 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= 66544 MiB
End job on node52 at 2008-07-12 16:58:24