Trace number 1112810

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? 213.467 214.42

General information on the benchmark

Namecsp/fapp/fapp08/
normalized-fapp08-0700-4.xml
MD5SUM40ccc1d0ec371372bfe35ce6b8f3e8ae
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints17
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of constraints7122
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7122
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.03/0.14	
0.03/0.14	Abscon 112 (May, 2008)
0.21/0.52	
0.21/0.52	   configuration
0.21/0.52	     name=mrdac-ddeg.xml
0.27/0.60	   
0.27/0.60	   instance
0.27/0.60	     name=HOME/instance-1112810-1215874228.xml
0.27/0.64	   
0.27/0.64	   domains being loaded...
0.27/0.69	   
0.27/0.69	   variables being loaded...
0.46/0.81	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.46/0.81	       =>  wckTime=0.284  cpuTime=0.17  mem=12M738
0.46/0.81	   
0.46/0.81	   predicates being loaded...
0.46/0.87	   
0.46/0.87	   constraints being loaded...
10.49/10.83	   
10.49/10.83	   INFO : Stopping converting binary constraints (cpu=10.05, mem = 31M494)
12.69/13.08	     nbConstraints=7122  nbConvertedConstraints=961  nbConvertConstraintsChecks=42333556  nbExtensionStructures=832
12.69/13.08	     nbSharedExtensionStructures=348  nbConflictsStructures=1822  nbSharedConflictsStructures=563
12.69/13.08	     nbUnbuiltConflictsStructures=2675  nbSharedBinaryRepresentations=302779  nbEvaluationManagers=3665
12.69/13.08	     nbSharedEvaluationManagers=2496  minDegree=4  maxDegree=37  minArity=2  maxArity=2
12.69/13.08	       =>  wckTime=12.554  cpuTime=12.13  mem=46M778
12.90/13.27	   
12.90/13.27	   solver LocalSearchSolver being built... 
13.00/13.32	       =>  wckTime=12.797  cpuTime=12.17  mem=23M851
13.00/13.36	
13.00/13.36	s SATISFIABLE
13.00/13.36	o 1498
13.00/13.38	o 1491
13.00/13.40	o 1486
13.09/13.41	o 1481
13.09/13.42	o 1477
13.09/13.43	o 1474
13.09/13.44	o 1468
13.09/13.45	o 1463
13.09/13.46	o 1459
13.09/13.48	o 1455
13.09/13.49	o 1451
13.09/13.50	o 1448
13.19/13.51	o 1445
13.19/13.52	o 1443
13.19/13.53	o 1441
13.19/13.54	o 1435
13.19/13.56	o 1428
13.19/13.57	o 1423
13.19/13.59	o 1418
13.29/13.60	o 1413
13.29/13.61	o 1409
13.29/13.62	o 1406
13.29/13.64	o 1403
13.29/13.64	o 1401
13.29/13.65	o 1399
13.29/13.67	o 1398
13.29/13.68	o 1397
13.29/13.69	o 1393
13.39/13.71	o 1390
13.39/13.72	o 1384
13.39/13.74	o 1378
13.39/13.75	o 1372
13.39/13.77	o 1366
13.39/13.79	o 1361
13.49/13.81	o 1356
13.49/13.82	o 1351
13.49/13.84	o 1346
13.49/13.86	o 1342
13.49/13.88	o 1339
13.49/13.89	o 1338
13.59/13.90	o 1335
13.59/13.92	o 1332
13.59/13.93	o 1329
13.59/13.94	o 1327
13.59/13.94	o 1326
13.59/13.96	o 1323
13.59/13.97	o 1322
13.59/13.98	o 1321
13.69/14.02	o 1317
13.69/14.03	o 1316
13.69/14.04	o 1315
13.69/14.06	o 1314
13.69/14.07	o 1309
13.69/14.09	o 1306
13.69/14.09	o 1303
13.79/14.10	o 1298
13.79/14.11	o 1295
13.79/14.12	o 1290
13.79/14.16	o 1285
13.79/14.18	o 1282
13.89/14.21	o 1278
13.89/14.23	o 1275
13.89/14.25	o 1272
13.89/14.27	o 1269
13.89/14.29	o 1266
13.99/14.30	o 1263
13.99/14.32	o 1260
13.99/14.33	o 1257
13.99/14.35	o 1254
13.99/14.37	o 1252
13.99/14.38	o 1250
13.99/14.40	o 1248
14.08/14.41	o 1246
14.08/14.43	o 1243
14.08/14.44	o 1241
14.08/14.45	o 1240
14.08/14.46	o 1238
14.08/14.46	o 1237
14.08/14.47	o 1236
14.18/14.55	o 1235
14.18/14.57	o 1233
14.18/14.57	o 1229
14.18/14.58	o 1225
14.18/14.60	o 1220
14.29/14.61	o 1216
14.29/14.62	o 1212
14.29/14.64	o 1208
14.29/14.66	o 1206
14.29/14.67	o 1204
14.29/14.68	o 1201
14.29/14.70	o 1198
14.39/14.71	o 1196
14.39/14.72	o 1195
14.39/14.74	o 1193
14.39/14.75	o 1189
14.39/14.77	o 1188
14.39/14.78	o 1187
14.49/14.81	o 1183
14.49/14.82	o 1179
14.49/14.82	o 1175
14.49/14.83	o 1171
14.49/14.85	o 1167
14.49/14.86	o 1164
14.49/14.87	o 1161
14.49/14.89	o 1156
14.59/14.90	o 1151
14.59/14.92	o 1146
14.59/14.93	o 1144
14.59/14.95	o 1141
14.59/14.96	o 1138
14.59/14.98	o 1135
14.59/15.00	o 1133
14.69/15.01	o 1131
14.69/15.02	o 1129
14.69/15.04	o 1127
14.69/15.05	o 1125
14.69/15.06	o 1123
14.69/15.07	o 1121
14.69/15.08	o 1119
14.69/15.09	o 1118
14.69/15.10	o 1115
14.78/15.12	o 1111
14.78/15.13	o 1110
14.78/15.15	o 1107
14.78/15.17	o 1101
14.78/15.18	o 1097
14.78/15.19	o 1095
14.88/15.20	o 1090
14.88/15.23	o 1087
14.88/15.24	o 1086
14.88/15.25	o 1085
14.88/15.26	o 1080
14.88/15.28	o 1079
14.88/15.29	o 1075
14.99/15.30	o 1071
14.99/15.32	o 1069
14.99/15.33	o 1064
14.99/15.34	o 1063
14.99/15.36	o 1061
14.99/15.37	o 1058
14.99/15.38	o 1054
14.99/15.40	o 1051
15.09/15.41	o 1049
15.09/15.42	o 1046
15.09/15.44	o 1043
15.09/15.45	o 1042
15.09/15.46	o 1041
15.18/15.50	o 1038
15.18/15.51	o 1035
15.18/15.53	o 1034
15.18/15.54	o 1033
15.18/15.56	o 1031
15.18/15.57	o 1028
15.18/15.58	o 1025
15.18/15.60	o 1022
15.28/15.63	o 1021
15.28/15.65	o 1019
15.28/15.66	o 1016
15.28/15.68	o 1015
15.28/15.69	o 1012
15.38/15.71	o 1009
15.38/15.73	o 1006
15.38/15.74	o 1003
15.38/15.76	o 999
15.38/15.77	o 997
15.38/15.79	o 996
15.48/15.82	o 995
15.48/15.84	o 994
15.48/15.86	o 993
15.48/15.87	o 989
15.48/15.88	o 988
15.48/15.90	o 987
15.58/15.91	o 986
15.58/15.92	o 985
15.58/15.95	o 982
15.58/15.99	o 978
15.68/16.00	o 974
15.68/16.03	o 973
15.68/16.08	o 971
15.68/16.09	o 969
15.68/16.10	o 967
15.78/16.15	o 964
15.78/16.16	o 962
15.78/16.18	o 961
15.88/16.20	o 958
15.88/16.21	o 955
15.88/16.22	o 951
15.88/16.23	o 949
15.88/16.26	o 947
15.88/16.27	o 946
15.88/16.29	o 945
15.98/16.31	o 943
15.98/16.37	o 940
15.98/16.40	o 938
16.08/16.43	o 936
16.08/16.46	o 934
16.18/16.52	o 932
16.18/16.54	o 931
16.18/16.55	o 930
16.18/16.57	o 928
16.18/16.58	o 927
16.18/16.59	o 926
16.28/16.61	o 924
16.28/16.63	o 922
16.28/16.64	o 920
16.28/16.66	o 918
16.28/16.67	o 916
16.28/16.68	o 912
16.28/16.70	o 908
16.37/16.71	o 906
16.37/16.73	o 905
16.37/16.75	o 904
16.47/16.80	o 902
16.47/16.83	o 899
16.47/16.84	o 896
16.47/16.87	o 895
16.47/16.89	o 894
16.58/16.92	o 892
16.58/16.94	o 890
16.58/16.95	o 889
16.58/16.97	o 886
16.58/16.99	o 885
16.68/17.01	o 882
16.68/17.03	o 879
16.68/17.05	o 878
16.68/17.07	o 875
16.68/17.10	o 873
16.78/17.15	o 871
16.78/17.17	o 867
16.78/17.18	o 865
16.78/17.20	o 864
16.88/17.22	o 862
16.88/17.25	o 861
16.88/17.26	o 860
16.88/17.28	o 859
17.08/17.42	o 858
17.08/17.44	o 857
17.08/17.46	o 856
17.08/17.49	o 855
17.18/17.53	o 852
17.18/17.58	o 849
17.28/17.66	o 847
17.38/17.71	o 845
17.38/17.73	o 843
17.38/17.76	o 842
17.48/17.80	o 840
17.48/17.83	o 835
17.48/17.87	o 834
17.48/17.89	o 832
17.58/17.91	o 830
17.58/17.93	o 829
17.78/18.12	o 828
17.78/18.14	o 826
17.78/18.19	o 824
17.88/18.21	o 820
17.88/18.24	o 819
17.97/18.30	o 817
17.97/18.37	o 815
17.97/18.40	o 814
18.07/18.42	o 812
18.07/18.44	o 810
18.07/18.47	o 809
18.17/18.53	o 807
18.28/18.64	o 804
18.47/18.86	o 800
18.57/18.94	o 799
18.57/18.96	o 798
18.67/19.06	o 797
18.77/19.13	o 796
18.77/19.15	o 794
18.77/19.17	o 792
18.87/19.20	o 791
18.87/19.22	o 790
18.97/19.30	o 788
18.97/19.32	o 786
19.07/19.40	o 785
19.07/19.46	o 784
19.17/19.52	o 782
19.17/19.54	o 780
19.17/19.56	o 779
19.17/19.59	o 778
19.27/19.63	o 773
19.27/19.66	o 772
19.27/19.67	o 769
19.27/19.69	o 768
19.38/19.71	o 766
19.38/19.72	o 765
19.38/19.74	o 763
19.38/19.76	o 761
19.38/19.79	o 760
19.48/19.84	o 759
19.48/19.87	o 758
19.58/19.91	o 756
19.58/19.93	o 751
19.58/19.98	o 750
19.68/20.01	o 749
19.68/20.03	o 748
19.68/20.05	o 747
19.68/20.08	o 746
19.77/20.17	o 745
19.87/20.21	o 744
19.87/20.23	o 743
19.87/20.25	o 741
19.87/20.29	o 739
19.96/20.33	o 738
19.96/20.35	o 735
19.96/20.38	o 733
20.06/20.40	o 732
20.06/20.43	o 730
20.06/20.45	o 729
20.06/20.48	o 725
20.16/20.52	o 724
20.16/20.57	o 723
20.16/20.60	o 722
20.27/20.70	o 720
20.47/20.84	o 719
20.47/20.86	o 716
20.47/20.89	o 714
20.57/20.91	o 712
20.57/20.94	o 710
20.57/20.99	o 708
20.67/21.07	o 706
20.67/21.09	o 705
20.77/21.12	o 703
20.77/21.15	o 701
20.77/21.17	o 700
20.87/21.24	o 698
20.87/21.30	o 696
20.97/21.32	o 691
20.97/21.38	o 690
21.07/21.41	o 689
21.07/21.44	o 686
21.07/21.47	o 683
21.16/21.51	o 679
21.16/21.55	o 678
21.16/21.58	o 677
21.26/21.61	o 675
21.26/21.67	o 674
21.36/21.71	o 672
21.36/21.75	o 667
21.67/22.02	o 665
21.67/22.06	o 664
21.97/22.36	o 662
21.97/22.39	o 660
22.07/22.46	o 658
22.17/22.53	o 657
22.17/22.56	o 655
22.57/22.99	o 651
22.77/23.14	o 650
22.87/23.21	o 649
22.87/23.24	o 648
22.87/23.28	o 647
22.97/23.31	o 645
22.97/23.35	o 643
23.07/23.41	o 641
23.07/23.44	o 640
23.07/23.48	o 639
23.16/23.51	o 638
23.16/23.55	o 637
23.36/23.71	o 636
23.36/23.74	o 634
23.36/23.77	o 633
23.46/23.81	o 632
23.66/24.02	o 630
23.66/24.06	o 628
23.66/24.10	o 627
23.87/24.21	o 625
23.87/24.29	o 624
23.96/24.37	o 622
24.06/24.41	o 621
24.06/24.45	o 620
24.06/24.49	o 618
24.16/24.57	o 616
24.26/24.64	o 615
24.26/24.68	o 612
24.36/24.72	o 610
24.46/24.84	o 608
24.56/24.91	o 607
24.56/24.95	o 606
24.56/24.98	o 605
24.66/25.00	o 604
24.66/25.03	o 601
24.66/25.06	o 600
24.76/25.10	o 599
24.76/25.13	o 597
25.06/25.40	o 596
25.06/25.44	o 594
25.46/25.82	o 592
25.46/25.85	o 591
25.46/25.88	o 589
25.56/25.92	o 588
25.66/26.08	o 586
25.76/26.11	o 584
25.76/26.15	o 583
25.76/26.18	o 582
25.86/26.22	o 581
25.86/26.26	o 580
26.46/26.83	o 578
26.56/26.91	o 577
26.75/27.15	o 576
26.75/27.19	o 574
26.85/27.22	o 572
26.95/27.31	o 571
27.06/27.41	o 569
27.06/27.44	o 567
27.06/27.48	o 565
27.16/27.52	o 564
27.16/27.56	o 563
27.25/27.61	o 562
27.65/28.00	o 561
27.65/28.05	o 560
27.75/28.10	o 557
28.05/28.42	o 556
28.15/28.52	o 554
28.15/28.57	o 552
28.25/28.68	o 549
28.45/28.84	o 547
29.25/29.67	o 545
29.35/29.72	o 544
30.05/30.42	o 543
30.05/30.45	o 540
30.15/30.50	o 538
30.75/31.11	o 536
30.75/31.16	o 535
30.95/31.38	o 534
31.35/31.73	o 532
31.35/31.78	o 531
31.55/31.91	o 530
31.55/31.96	o 529
31.65/32.09	o 528
31.75/32.14	o 525
31.85/32.23	o 524
31.95/32.38	o 523
32.25/32.60	o 522
32.25/32.69	o 518
32.34/32.73	o 517
32.44/32.82	o 515
32.74/33.14	o 514
32.74/33.18	o 511
32.84/33.22	o 510
32.94/33.31	o 507
33.14/33.50	o 505
33.44/33.87	o 504
34.04/34.41	o 503
34.14/34.55	o 501
34.24/34.67	o 500
34.43/34.87	o 498
34.63/35.00	o 497
34.63/35.06	o 495
34.83/35.29	o 494
35.43/35.83	o 493
35.43/35.90	o 492
35.54/35.96	o 491
35.94/36.39	o 489
36.23/36.65	o 488
36.33/36.71	o 487
36.33/36.79	o 486
36.63/37.06	o 484
37.23/37.64	o 483
37.33/37.73	o 480
37.43/37.80	o 478
37.43/37.88	o 474
37.53/37.97	o 473
37.63/38.05	o 472
37.73/38.19	o 470
37.83/38.27	o 469
38.03/38.42	o 468
38.14/38.58	o 466
38.23/38.65	o 465
38.33/38.73	o 464
38.33/38.78	o 463
38.63/39.01	o 461
39.43/39.86	o 460
39.53/39.94	o 459
39.63/40.01	o 455
39.63/40.07	o 454
39.83/40.21	o 452
39.93/40.35	o 451
40.03/40.42	o 450
40.13/40.57	o 449
40.33/40.70	o 448
40.53/40.99	o 446
40.63/41.05	o 445
41.22/41.66	o 444
41.33/41.72	o 442
41.33/41.78	o 441
41.43/41.84	o 439
42.13/42.53	o 438
42.13/42.59	o 437
42.23/42.66	o 436
42.33/42.72	o 435
42.33/42.78	o 434
42.54/42.91	o 433
42.73/43.10	o 432
44.03/44.49	o 431
44.13/44.57	o 429
44.23/44.65	o 428
44.33/44.72	o 427
44.63/45.03	o 425
44.73/45.11	o 424
44.82/45.27	o 423
45.02/45.48	o 422
45.12/45.55	o 420
45.63/46.02	o 418
47.12/47.58	o 417
47.22/47.65	o 415
47.32/47.72	o 414
47.42/47.81	o 411
47.42/47.84	o 408
47.42/47.88	o 407
47.51/47.94	o 406
47.71/48.13	o 403
47.71/48.19	o 401
47.81/48.25	o 400
47.92/48.30	o 399
48.02/48.47	o 397
48.11/48.53	o 396
48.21/48.65	o 395
48.51/48.99	o 394
49.41/49.87	o 392
49.52/49.93	o 391
49.82/50.27	o 390
49.92/50.35	o 389
50.12/50.57	o 388
51.11/51.50	o 387
52.71/53.14	o 385
53.31/53.75	o 381
53.41/53.89	o 380
53.71/54.10	o 379
53.81/54.25	o 378
53.91/54.32	o 374
53.91/54.39	o 372
54.01/54.47	o 371
54.21/54.66	o 369
54.31/54.71	o 368
54.41/54.80	o 366
54.51/54.93	o 365
54.51/54.98	o 364
54.70/55.18	o 363
55.30/55.75	o 361
55.61/56.03	o 360
56.20/56.67	o 359
56.30/56.73	o 358
56.61/57.01	o 357
56.81/57.22	o 355
56.91/57.35	o 354
57.01/57.42	o 349
57.01/57.46	o 347
57.11/57.52	o 343
57.21/57.69	o 342
57.51/57.93	o 341
57.51/57.99	o 340
57.61/58.08	o 337
58.11/58.52	o 335
58.11/58.58	o 333
58.41/58.82	o 332
58.41/58.87	o 331
58.61/59.07	o 330
59.30/59.71	o 329
59.50/59.97	o 328
59.60/60.02	o 326
60.30/60.72	o 325
60.40/60.82	o 324
61.70/62.13	o 323
61.70/62.19	o 322
61.80/62.24	o 320
61.90/62.31	o 318
62.00/62.43	o 316
62.00/62.47	o 314
62.10/62.59	o 313
62.60/63.02	o 312
63.00/63.46	o 311
63.10/63.51	o 308
63.70/64.10	o 306
63.70/64.11	o 304
64.10/64.59	o 302
64.20/64.64	o 301
64.30/64.74	o 300
64.30/64.77	o 298
64.41/64.82	o 297
64.41/64.88	o 296
64.70/65.14	o 295
64.80/65.25	o 294
64.90/65.30	o 293
65.00/65.41	o 291
65.00/65.47	o 289
65.40/65.82	o 288
65.40/65.87	o 287
66.30/66.78	o 285
67.09/67.51	o 284
67.19/67.68	o 283
67.29/67.78	o 282
67.39/67.89	o 281
67.70/68.13	o 280
68.49/68.96	o 278
68.69/69.18	o 277
71.19/71.67	o 276
71.89/72.34	o 274
72.59/73.00	o 273
72.69/73.20	o 272
72.79/73.27	o 271
72.99/73.42	o 270
72.99/73.50	o 268
76.38/76.83	o 267
76.49/76.92	o 265
76.68/77.19	o 264
76.78/77.27	o 263
76.98/77.46	o 262
77.08/77.54	o 261
77.18/77.62	o 260
77.28/77.71	o 258
77.78/78.25	o 257
78.08/78.50	o 255
78.88/79.34	o 254
79.48/79.98	o 251
79.57/80.02	o 250
79.67/80.11	o 249
81.98/82.44	o 248
82.08/82.53	o 246
82.17/82.69	o 245
82.47/82.99	o 244
82.77/83.24	o 241
82.87/83.36	o 239
82.98/83.42	o 238
82.98/83.48	o 236
83.68/84.15	o 235
83.78/84.29	o 234
83.98/84.44	o 232
84.08/84.51	o 230
84.08/84.59	o 229
84.48/84.99	o 228
84.58/85.06	o 227
85.17/85.61	o 226
85.17/85.69	o 225
85.58/86.03	o 224
86.07/86.59	o 223
86.27/86.75	o 222
86.38/86.83	o 221
86.48/86.91	o 220
86.57/87.01	o 219
86.57/87.09	o 218
86.86/87.33	o 217
86.96/87.41	o 216
87.26/87.74	o 214
87.66/88.14	o 213
88.36/88.90	o 212
88.76/89.21	o 211
88.86/89.33	o 210
89.66/90.16	o 208
89.76/90.23	o 207
89.86/90.30	o 206
89.86/90.37	o 205
89.96/90.45	o 204
90.26/90.75	o 203
92.74/93.25	o 202
92.84/93.30	o 200
92.95/93.44	o 199
92.95/93.48	o 198
93.24/93.77	o 197
96.15/96.61	o 196
96.15/96.70	o 195
96.65/97.12	o 193
97.75/98.24	o 192
97.85/98.32	o 191
98.35/98.89	o 190
98.95/99.50	o 189
99.45/99.93	o 187
99.45/99.99	o 186
99.94/100.47	o 183
100.04/100.56	o 182
100.54/101.07	o 180
100.75/101.21	o 179
101.34/101.88	o 177
101.44/101.96	o 176
101.94/102.44	o 175
102.24/102.73	o 174
104.24/104.73	o 173
104.24/104.78	o 172
104.34/104.86	o 171
105.43/105.98	o 170
106.94/107.45	o 169
107.14/107.68	o 167
107.43/107.91	o 166
107.63/108.11	o 165
107.73/108.29	o 164
108.33/108.82	o 163
108.82/109.31	o 162
109.12/109.65	o 161
109.32/109.89	o 160
109.43/109.98	o 159
109.72/110.22	o 158
109.72/110.29	o 157
109.82/110.37	o 156
110.03/110.51	o 155
110.03/110.59	o 154
110.13/110.66	o 153
110.63/111.12	o 152
110.72/111.29	o 151
111.13/111.62	o 150
111.23/111.70	o 149
111.23/111.78	o 148
111.32/111.86	o 147
111.42/111.94	o 146
111.52/112.06	o 144
111.73/112.22	o 143
112.03/112.52	o 141
112.13/112.68	o 140
114.81/115.30	o 139
116.12/116.63	o 138
116.61/117.13	o 136
139.68/140.20	o 134
139.68/140.28	o 132
167.24/167.89	o 131
167.34/167.98	o 129
167.73/168.33	o 128
167.93/168.51	o 126
173.01/173.70	o 122
173.51/174.16	o 121
174.70/175.37	o 120
204.77/205.41	   
204.77/205.41	   search
204.77/205.41	     run=0  nbConstraintChecks=585802108  nbAssignments=3061
204.77/205.41	       =>  wckTime=192.092  cpuTime=191.74  mem=24M847
204.77/205.41	   
204.77/205.41	   global
204.77/205.41	     nbConstraintChecks=585802108  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
204.77/205.41	     solvingWckTime=192.088  solvingCpuTime=191.74  expiredTime=no  totalExploration=no  nbFoundSolutions=0
204.77/205.41	     globalCpuTime=203.95
204.77/205.41	       =>  wckTime=204.89  cpuTime=203.91  mem=24M847
204.77/205.41	   
204.77/205.41	   solver DecomposerSolver being built... 
205.98/206.85	       =>  wckTime=206.329  cpuTime=204.41  mem=411M202
212.98/214.00	   
212.98/214.00	   preprocessing
212.98/214.00	     nbConstraintChecks=23063886  nbValidityChecks=147291  nbPropagations=704  nbRevisions=9943  nbUselessRevisions=9937
212.98/214.00	     nbRemovedValues=128  detectedInconsistency=no
212.98/214.00	       =>  wckTime=7.145  cpuTime=7.04  mem=411M202
213.38/214.30	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-1112810-1215874228/watcher-1112810-1215874228 -o /tmp/evaluation-result-1112810-1215874228/solver-1112810-1215874228 -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-1112810-1215874228.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: 0.00 0.00 0.00 3/72 12338
/proc/meminfo: memFree=1102264/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=18572 CPUtime=0
/proc/12338/stat : 12338 (runsolver) R 12336 12338 12262 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44120588 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 244276849959 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12338/statm: 4643 292 257 25 0 2626 0

[startup+0.077987 s]
/proc/loadavg: 0.00 0.00 0.00 3/72 12338
/proc/meminfo: memFree=1102264/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=861876 CPUtime=0.02
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 2120 0 1 0 1 1 0 0 18 0 5 0 44120588 882561024 1763 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 215469 1768 818 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102988 s]
/proc/loadavg: 0.00 0.00 0.00 3/72 12338
/proc/meminfo: memFree=1102264/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=863688 CPUtime=0.03
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 2421 0 1 0 2 1 0 0 18 0 9 0 44120588 884416512 1996 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 215922 1996 913 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863688

[startup+0.303013 s]
/proc/loadavg: 0.00 0.00 0.00 3/72 12338
/proc/meminfo: memFree=1102264/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=866036 CPUtime=0.14
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 4319 0 1 0 12 2 0 0 18 0 9 0 44120588 886820864 3755 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 216509 3755 1843 9 0 211057 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 866036

[startup+0.702068 s]
/proc/loadavg: 0.00 0.00 0.00 3/72 12338
/proc/meminfo: memFree=1102264/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=867548 CPUtime=0.36
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 6396 0 1 0 32 4 0 0 18 0 9 0 44120588 888369152 5767 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 216887 5767 1964 9 0 211415 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 867548

[startup+1.50115 s]
/proc/loadavg: 0.16 0.03 0.01 3/87 12364
/proc/meminfo: memFree=1066424/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868712 CPUtime=1.19
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 14785 0 1 0 109 10 0 0 18 0 9 0 44120588 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217178 14143 2014 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868712 CPUtime=1.02
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 13440 0 1 0 93 9 0 0 24 0 9 0 44120591 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44120595 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44120596 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 44120596 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.16
/proc/12338/task/12345/stat : 12345 (java) R 12336 12338 12262 0 -1 64 648 0 0 0 16 0 0 0 15 0 9 0 44120599 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 101660476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889561088 14143 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 868712

[startup+3.10132 s]
/proc/loadavg: 0.16 0.03 0.01 3/91 12368
/proc/meminfo: memFree=1027032/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868712 CPUtime=2.8
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 16324 0 2 0 267 13 0 0 18 0 9 0 44120588 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217178 15681 2015 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868712 CPUtime=2.57
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 14952 0 1 0 246 11 0 0 25 0 9 0 44120591 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4126891799 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44120595 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44120596 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 44120596 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.2
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 675 0 1 0 20 0 0 0 15 0 9 0 44120599 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889561088 15681 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 868712

[startup+6.30268 s]
/proc/loadavg: 0.16 0.03 0.01 3/91 12368
/proc/meminfo: memFree=989208/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=6
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 19684 0 2 0 584 16 0 0 18 0 9 0 44120588 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 19014 2006 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=5.68
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15838 0 1 0 554 14 0 0 25 0 9 0 44120591 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4126863848 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=0.08
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 2468 0 0 0 8 0 0 0 17 0 9 0 44120595 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.21
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 681 0 1 0 21 0 0 0 15 0 9 0 44120599 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 19014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 868624

[startup+12.7014 s]
/proc/loadavg: 0.44 0.10 0.03 4/91 12368
/proc/meminfo: memFree=925920/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=12.39
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 22504 0 2 0 1220 19 0 0 18 0 9 0 44120588 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 21831 2007 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=11.95
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15846 0 1 0 1179 16 0 0 25 0 9 0 44120591 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4126871252 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=0.17
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 5259 0 0 0 15 2 0 0 17 0 9 0 44120595 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.25
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 702 0 1 0 25 0 0 0 16 0 9 0 44120599 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 21831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 868624

[startup+25.5028 s]
/proc/loadavg: 0.76 0.18 0.06 3/91 12368
/proc/meminfo: memFree=843424/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868712 CPUtime=25.16
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 25779 0 3 0 2488 28 0 0 18 0 9 0 44120588 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217178 24913 2640 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868712 CPUtime=24.49
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15910 0 1 0 2425 24 0 0 25 0 9 0 44120591 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4127187625 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868712 CPUtime=0.35
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 8445 0 0 0 32 3 0 0 16 0 9 0 44120595 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.29
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 727 0 2 0 29 0 0 0 16 0 9 0 44120599 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889561088 24913 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 868712

[startup+51.1026 s]
/proc/loadavg: 1.52 0.40 0.13 3/91 12368
/proc/meminfo: memFree=714720/2055920 swapFree=4192956/4192956
[pid=12338] ppid=12336 vsize=868712 CPUtime=50.71
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 25781 0 3 0 5036 35 0 0 18 0 9 0 44120588 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217178 24915 2640 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868712 CPUtime=50.04
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15910 0 1 0 4973 31 0 0 25 0 9 0 44120591 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4126863714 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868712 CPUtime=0.35
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 8445 0 0 0 32 3 0 0 16 0 9 0 44120595 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.29
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 729 0 2 0 29 0 0 0 16 0 9 0 44120599 889561088 24915 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0

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

/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.3
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 733 0 2 0 30 0 0 0 16 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.27
Current children cumulated vsize (KiB) 868712

[startup+204.702 s]
/proc/loadavg: 2.70 1.47 0.58 4/91 12368
/proc/meminfo: memFree=15968/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868712 CPUtime=204.07
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 25786 0 3 0 20319 88 0 0 18 0 9 0 44120588 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217178 24919 2640 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868712 CPUtime=203.39
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15911 0 1 0 20255 84 0 0 25 0 9 0 44120591 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4127181644 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868712 CPUtime=0.35
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 8445 0 0 0 32 3 0 0 16 0 9 0 44120595 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120596 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868712 CPUtime=0.3
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 733 0 2 0 30 0 0 0 16 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868712 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889561088 24919 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 868712

[startup+211.101 s]
/proc/loadavg: 2.67 1.50 0.60 2/81 12368
/proc/meminfo: memFree=1526320/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=210.24
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 109226 0 3 0 20902 122 0 0 18 0 9 0 44120588 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 108288 2619 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=208.79
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15990 0 1 0 20795 84 0 0 25 0 9 0 44120591 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4126870670 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=1.07
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 91768 0 0 0 71 36 0 0 16 0 9 0 44120595 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.34
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 753 0 2 0 34 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 210.24
Current children cumulated vsize (KiB) 868624

[startup+212.702 s]
/proc/loadavg: 2.67 1.50 0.60 2/76 12385
/proc/meminfo: memFree=1527192/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=211.79
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 109226 0 3 0 21055 124 0 0 18 0 9 0 44120588 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 108288 2619 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=210.35
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15990 0 1 0 20949 86 0 0 25 0 9 0 44120591 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4126863816 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=1.07
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 91768 0 0 0 71 36 0 0 16 0 9 0 44120595 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.34
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 753 0 2 0 34 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 211.79
Current children cumulated vsize (KiB) 868624

[startup+213.502 s]
/proc/loadavg: 2.67 1.50 0.60 3/90 12405
/proc/meminfo: memFree=1505384/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=212.58
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 109226 0 3 0 21130 128 0 0 18 0 9 0 44120588 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 108288 2619 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=211.14
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15990 0 1 0 21024 90 0 0 25 0 9 0 44120591 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4126867695 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=1.07
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 91768 0 0 0 71 36 0 0 16 0 9 0 44120595 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.34
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 753 0 2 0 34 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 212.58
Current children cumulated vsize (KiB) 868624

[startup+213.902 s]
/proc/loadavg: 2.67 1.50 0.60 3/90 12405
/proc/meminfo: memFree=1505384/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=212.98
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 109226 0 3 0 21170 128 0 0 18 0 9 0 44120588 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 108288 2619 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=211.54
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15990 0 1 0 21064 90 0 0 25 0 9 0 44120591 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4126863855 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=1.07
/proc/12338/task/12341/stat : 12341 (java) S 12336 12338 12262 0 -1 64 91768 0 0 0 71 36 0 0 16 0 9 0 44120595 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120596 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.34
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 753 0 2 0 34 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 108288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 212.98
Current children cumulated vsize (KiB) 868624

[startup+214.302 s]
/proc/loadavg: 2.67 1.50 0.60 3/90 12405
/proc/meminfo: memFree=1505384/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=868624 CPUtime=213.38
/proc/12338/stat : 12338 (java) S 12336 12338 12262 0 -1 0 121730 0 3 0 21207 131 0 0 18 0 9 0 44120588 889470976 120789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12338/statm: 217156 120800 2618 9 0 211684 0
[pid=12338/tid=12340] ppid=12336 vsize=868624 CPUtime=211.64
/proc/12338/task/12340/stat : 12340 (java) R 12336 12338 12262 0 -1 64 15992 0 1 0 21074 90 0 0 25 0 9 0 44120591 889470976 120806 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12341] ppid=12336 vsize=868624 CPUtime=1.37
/proc/12338/task/12341/stat : 12341 (java) R 12336 12338 12262 0 -1 64 104293 0 0 0 97 40 0 0 16 0 9 0 44120595 889470976 120813 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12342] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12342/stat : 12342 (java) S 12336 12338 12262 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120596 889470976 120819 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12343] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12343/stat : 12343 (java) S 12336 12338 12262 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120596 889470976 120822 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12338/tid=12344] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12344/stat : 12344 (java) S 12336 12338 12262 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 44120599 889470976 120822 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12345] ppid=12336 vsize=868624 CPUtime=0.34
/proc/12338/task/12345/stat : 12345 (java) S 12336 12338 12262 0 -1 64 754 0 2 0 34 0 0 0 16 0 9 0 44120599 889470976 120822 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12346] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12346/stat : 12346 (java) S 12336 12338 12262 0 -1 64 2 0 0 0 0 0 0 0 21 0 9 0 44120599 889470976 120822 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12338/tid=12347] ppid=12336 vsize=868624 CPUtime=0
/proc/12338/task/12347/stat : 12347 (java) S 12336 12338 12262 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44120599 889470976 120822 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 213.38
Current children cumulated vsize (KiB) 868624

[startup+214.402 s]
/proc/loadavg: 2.67 1.50 0.60 3/83 12405
/proc/meminfo: memFree=1818984/2055920 swapFree=4192812/4192956
[pid=12338] ppid=12336 vsize=0 CPUtime=213.44
/proc/12338/stat : 12338 (java) Z 12336 12338 12262 0 -1 12 121771 0 3 0 21207 137 0 0 16 0 2 0 44120588 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12338/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 213.44
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 214.42
CPU time (s): 213.467
CPU user time (s): 212.077
CPU system time (s): 1.38979
CPU usage (%): 99.5551
Max. virtual memory (cumulated for all children) (KiB): 868712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.077
system time used= 1.38979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121771
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6336
involuntary context switches= 9100

runsolver used 0.295955 second user time and 0.766883 second system time

The end

Launcher Data (download as text)

Begin job on node63 at 2008-07-12 16:50:28
IDJOB=1112810
IDBENCH=61478
IDSOLVER=360
FILE ID=node63/1112810-1215874228
PBS_JOBID= 7903596
Free space on /tmp= 66528 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-4.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-1112810-1215874228/watcher-1112810-1215874228 -o /tmp/evaluation-result-1112810-1215874228/solver-1112810-1215874228 -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-1112810-1215874228.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 40ccc1d0ec371372bfe35ce6b8f3e8ae
RANDOM SEED=226440824

node63.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.213
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1102816 kB
Buffers:         36576 kB
Cached:         833280 kB
SwapCached:          0 kB
Active:         293464 kB
Inactive:       593452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1102816 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4792 kB
Writeback:           0 kB
Mapped:          27616 kB
Slab:            51400 kB
Committed_AS:   105908 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node63 at 2008-07-12 16:54:03