Trace number 1112809

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 211.484 213.606

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.07/0.66	
0.07/0.66	Abscon 112 (May, 2008)
0.22/1.26	
0.22/1.26	   configuration
0.22/1.26	     name=mrdac-wdeg.xml
0.32/1.30	   
0.32/1.30	   instance
0.32/1.30	     name=HOME/instance-1112809-1215874228.xml
0.32/1.34	   
0.32/1.34	   domains being loaded...
0.32/1.38	   
0.32/1.38	   variables being loaded...
0.51/1.51	     nbVariables=700  nbDomainTypes=25  minDomainSize=42  maxDomainSize=282  nbTotalValues=134020
0.51/1.51	       =>  wckTime=0.243  cpuTime=0.16  mem=12M738
0.51/1.51	   
0.51/1.51	   predicates being loaded...
0.51/1.57	   
0.51/1.57	   constraints being loaded...
10.56/11.62	   
10.56/11.62	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 31M494)
12.75/13.84	     nbConstraints=7122  nbConvertedConstraints=956  nbConvertConstraintsChecks=42015460  nbExtensionStructures=828
12.75/13.84	     nbSharedExtensionStructures=344  nbConflictsStructures=1818  nbSharedConflictsStructures=559
12.75/13.84	     nbUnbuiltConflictsStructures=2675  nbSharedBinaryRepresentations=300523  nbEvaluationManagers=3665
12.75/13.84	     nbSharedEvaluationManagers=2501  minDegree=4  maxDegree=37  minArity=2  maxArity=2
12.75/13.84	       =>  wckTime=12.572  cpuTime=12.09  mem=46M793
12.95/14.02	   
12.95/14.02	   solver LocalSearchSolver being built... 
12.95/14.06	       =>  wckTime=12.8  cpuTime=12.13  mem=23M846
13.05/14.11	
13.05/14.11	s SATISFIABLE
13.05/14.11	o 1498
13.05/14.12	o 1491
13.05/14.14	o 1486
13.05/14.15	o 1481
13.05/14.17	o 1477
13.05/14.18	o 1474
13.05/14.19	o 1468
13.05/14.19	o 1463
13.15/14.21	o 1459
13.15/14.22	o 1455
13.15/14.23	o 1451
13.15/14.24	o 1448
13.15/14.25	o 1445
13.15/14.26	o 1443
13.15/14.27	o 1441
13.15/14.28	o 1435
13.15/14.30	o 1428
13.25/14.31	o 1423
13.25/14.32	o 1418
13.25/14.34	o 1413
13.25/14.35	o 1409
13.25/14.36	o 1406
13.25/14.37	o 1403
13.25/14.38	o 1401
13.25/14.39	o 1399
13.35/14.40	o 1398
13.35/14.41	o 1397
13.35/14.42	o 1393
13.35/14.44	o 1390
13.35/14.46	o 1384
13.35/14.47	o 1378
13.35/14.49	o 1372
13.45/14.50	o 1366
13.45/14.52	o 1361
13.45/14.54	o 1356
13.45/14.55	o 1351
13.45/14.57	o 1346
13.45/14.58	o 1342
13.54/14.60	o 1339
13.54/14.62	o 1338
13.54/14.63	o 1335
13.54/14.64	o 1332
13.54/14.65	o 1329
13.54/14.66	o 1327
13.54/14.67	o 1326
13.54/14.68	o 1323
13.54/14.69	o 1322
13.64/14.70	o 1321
13.64/14.75	o 1317
13.64/14.76	o 1316
13.64/14.77	o 1315
13.64/14.78	o 1314
13.64/14.79	o 1309
13.74/14.81	o 1306
13.74/14.81	o 1303
13.74/14.83	o 1298
13.74/14.83	o 1295
13.74/14.84	o 1290
13.74/14.88	o 1285
13.84/14.91	o 1282
13.84/14.93	o 1278
13.84/14.95	o 1275
13.84/14.97	o 1272
13.84/14.99	o 1269
13.94/15.01	o 1266
13.94/15.03	o 1263
13.94/15.04	o 1260
13.94/15.06	o 1257
13.94/15.08	o 1254
13.94/15.09	o 1252
14.04/15.11	o 1250
14.04/15.12	o 1248
14.04/15.14	o 1246
14.04/15.15	o 1243
14.04/15.16	o 1241
14.04/15.17	o 1240
14.04/15.18	o 1238
14.04/15.19	o 1237
14.04/15.20	o 1236
14.14/15.28	o 1235
14.14/15.30	o 1233
14.14/15.30	o 1229
14.24/15.31	o 1225
14.24/15.33	o 1220
14.24/15.34	o 1216
14.24/15.35	o 1212
14.24/15.37	o 1208
14.24/15.39	o 1206
14.34/15.40	o 1204
14.34/15.41	o 1201
14.34/15.43	o 1198
14.34/15.44	o 1196
14.34/15.45	o 1195
14.34/15.47	o 1193
14.34/15.48	o 1189
14.34/15.50	o 1188
14.43/15.51	o 1187
14.43/15.54	o 1183
14.43/15.55	o 1179
14.43/15.55	o 1175
14.43/15.56	o 1171
14.43/15.58	o 1167
14.43/15.59	o 1164
14.54/15.60	o 1161
14.54/15.62	o 1156
14.54/15.63	o 1151
14.54/15.65	o 1146
14.54/15.66	o 1144
14.54/15.68	o 1141
14.54/15.69	o 1138
14.64/15.71	o 1135
14.64/15.72	o 1133
14.64/15.74	o 1131
14.64/15.75	o 1129
14.64/15.76	o 1127
14.64/15.78	o 1125
14.64/15.79	o 1123
14.64/15.80	o 1121
14.74/15.80	o 1119
14.74/15.82	o 1118
14.74/15.83	o 1115
14.74/15.84	o 1111
14.74/15.85	o 1110
14.74/15.88	o 1107
14.74/15.89	o 1101
14.84/15.91	o 1097
14.84/15.92	o 1095
14.84/15.93	o 1090
14.84/15.95	o 1087
14.84/15.97	o 1086
14.84/15.98	o 1085
14.84/15.99	o 1080
14.94/16.00	o 1079
14.94/16.02	o 1075
14.94/16.03	o 1071
14.94/16.05	o 1069
14.94/16.05	o 1064
14.94/16.07	o 1063
14.94/16.09	o 1061
14.94/16.10	o 1058
15.03/16.11	o 1054
15.03/16.12	o 1051
15.03/16.13	o 1049
15.03/16.15	o 1046
15.03/16.17	o 1043
15.03/16.18	o 1042
15.03/16.19	o 1041
15.13/16.23	o 1038
15.13/16.24	o 1035
15.13/16.26	o 1034
15.13/16.27	o 1033
15.13/16.29	o 1031
15.13/16.30	o 1028
15.23/16.31	o 1025
15.23/16.32	o 1022
15.23/16.36	o 1021
15.23/16.38	o 1019
15.23/16.39	o 1016
15.33/16.41	o 1015
15.33/16.42	o 1012
15.33/16.44	o 1009
15.33/16.46	o 1006
15.33/16.47	o 1003
15.33/16.49	o 999
15.33/16.50	o 997
15.44/16.52	o 996
15.44/16.55	o 995
15.44/16.57	o 994
15.44/16.59	o 993
15.53/16.60	o 989
15.53/16.61	o 988
15.53/16.62	o 987
15.53/16.64	o 986
15.53/16.65	o 985
15.53/16.68	o 982
15.63/16.72	o 978
15.63/16.73	o 974
15.63/16.76	o 973
15.73/16.81	o 971
15.73/16.82	o 969
15.73/16.83	o 967
15.73/16.88	o 964
15.73/16.89	o 962
15.83/16.91	o 961
15.83/16.93	o 958
15.83/16.94	o 955
15.83/16.95	o 951
15.83/16.96	o 949
15.83/16.99	o 947
15.92/17.00	o 946
15.92/17.02	o 945
15.92/17.04	o 943
16.02/17.10	o 940
16.02/17.12	o 938
16.02/17.16	o 936
16.02/17.19	o 934
16.12/17.25	o 932
16.12/17.27	o 931
16.12/17.28	o 930
16.12/17.29	o 928
16.22/17.31	o 927
16.22/17.32	o 926
16.22/17.34	o 924
16.22/17.35	o 922
16.22/17.37	o 920
16.22/17.38	o 918
16.22/17.40	o 916
16.32/17.41	o 912
16.32/17.42	o 908
16.32/17.44	o 906
16.32/17.46	o 905
16.32/17.48	o 904
16.42/17.53	o 902
16.42/17.56	o 899
16.42/17.57	o 896
16.42/17.60	o 895
16.52/17.62	o 894
16.52/17.64	o 892
16.52/17.67	o 890
16.52/17.68	o 889
16.52/17.70	o 886
16.62/17.72	o 885
16.62/17.74	o 882
16.62/17.76	o 879
16.62/17.78	o 878
16.62/17.80	o 875
16.72/17.82	o 873
16.72/17.88	o 871
16.72/17.89	o 867
16.82/17.91	o 865
16.82/17.92	o 864
16.82/17.95	o 862
16.82/17.97	o 861
16.82/17.99	o 860
16.92/18.00	o 859
17.02/18.15	o 858
17.02/18.17	o 857
17.02/18.19	o 856
17.12/18.22	o 855
17.12/18.25	o 852
17.22/18.30	o 849
17.22/18.38	o 847
17.32/18.43	o 845
17.32/18.45	o 843
17.32/18.48	o 842
17.42/18.52	o 840
17.42/18.55	o 835
17.42/18.59	o 834
17.52/18.61	o 832
17.52/18.63	o 830
17.52/18.65	o 829
17.71/18.85	o 828
17.71/18.87	o 826
17.81/18.91	o 824
17.81/18.93	o 820
17.81/18.96	o 819
17.91/19.02	o 817
17.91/19.09	o 815
18.01/19.12	o 814
18.01/19.14	o 812
18.01/19.16	o 810
18.01/19.19	o 809
18.11/19.25	o 807
18.21/19.36	o 804
18.41/19.58	o 800
18.50/19.66	o 799
18.50/19.68	o 798
18.60/19.78	o 797
18.70/19.85	o 796
18.70/19.87	o 794
18.70/19.90	o 792
18.80/19.92	o 791
18.80/19.95	o 790
18.90/20.02	o 788
18.90/20.04	o 786
19.00/20.13	o 785
19.00/20.18	o 784
19.10/20.24	o 782
19.10/20.26	o 780
19.10/20.28	o 779
19.19/20.31	o 778
19.19/20.35	o 773
19.19/20.38	o 772
19.19/20.39	o 769
19.29/20.41	o 768
19.29/20.43	o 766
19.29/20.44	o 765
19.29/20.46	o 763
19.29/20.48	o 761
19.40/20.51	o 760
19.40/20.56	o 759
19.40/20.58	o 758
19.50/20.63	o 756
19.50/20.65	o 751
19.50/20.70	o 750
19.60/20.72	o 749
19.60/20.75	o 748
19.60/20.77	o 747
19.60/20.80	o 746
19.70/20.89	o 745
19.80/20.93	o 744
19.80/20.94	o 743
19.80/20.96	o 741
19.90/21.00	o 739
19.90/21.04	o 738
19.90/21.06	o 735
19.90/21.09	o 733
19.99/21.11	o 732
19.99/21.14	o 730
19.99/21.17	o 729
20.09/21.20	o 725
20.09/21.24	o 724
20.09/21.28	o 723
20.19/21.31	o 722
20.29/21.41	o 720
20.39/21.55	o 719
20.39/21.57	o 716
20.39/21.60	o 714
20.49/21.62	o 712
20.49/21.65	o 710
20.49/21.69	o 708
20.59/21.78	o 706
20.69/21.80	o 705
20.69/21.83	o 703
20.69/21.86	o 701
20.69/21.89	o 700
20.79/21.95	o 698
20.89/22.01	o 696
20.89/22.03	o 691
20.89/22.09	o 690
20.98/22.13	o 689
20.98/22.16	o 686
20.98/22.19	o 683
21.08/22.22	o 679
21.08/22.25	o 678
21.08/22.29	o 677
21.18/22.32	o 675
21.18/22.38	o 674
21.28/22.42	o 672
21.28/22.45	o 667
21.58/22.72	o 665
21.58/22.76	o 664
21.88/23.06	o 662
21.88/23.10	o 660
21.98/23.16	o 658
22.08/23.23	o 657
22.08/23.27	o 655
22.48/23.69	o 651
22.68/23.85	o 650
22.78/23.91	o 649
22.78/23.95	o 648
22.78/23.98	o 647
22.88/24.02	o 645
22.88/24.06	o 643
22.98/24.12	o 641
22.98/24.15	o 640
22.98/24.19	o 639
23.08/24.22	o 638
23.08/24.26	o 637
23.27/24.41	o 636
23.27/24.45	o 634
23.27/24.48	o 633
23.37/24.51	o 632
23.57/24.72	o 630
23.57/24.76	o 628
23.67/24.80	o 627
23.77/24.91	o 625
23.77/24.99	o 624
23.88/25.07	o 622
23.97/25.11	o 621
23.97/25.16	o 620
23.97/25.20	o 618
24.07/25.27	o 616
24.17/25.35	o 615
24.17/25.39	o 612
24.27/25.43	o 610
24.36/25.54	o 608
24.46/25.62	o 607
24.46/25.65	o 606
24.46/25.68	o 605
24.56/25.70	o 604
24.56/25.73	o 601
24.56/25.77	o 600
24.66/25.80	o 599
24.66/25.83	o 597
24.86/26.10	o 596
24.96/26.13	o 594
25.36/26.51	o 592
25.36/26.54	o 591
25.36/26.57	o 589
25.45/26.61	o 588
25.55/26.77	o 586
25.66/26.80	o 584
25.66/26.84	o 583
25.66/26.87	o 582
25.76/26.91	o 581
25.76/26.95	o 580
26.36/27.52	o 578
26.45/27.60	o 577
26.65/27.85	o 576
26.65/27.89	o 574
26.76/27.92	o 572
26.85/28.00	o 571
26.95/28.10	o 569
26.95/28.13	o 567
26.95/28.17	o 565
27.05/28.21	o 564
27.05/28.26	o 563
27.15/28.30	o 562
27.55/28.70	o 561
27.55/28.75	o 560
27.55/28.79	o 557
27.94/29.11	o 556
28.04/29.21	o 554
28.04/29.26	o 552
28.14/29.37	o 549
28.34/29.53	o 547
29.14/30.35	o 545
29.24/30.41	o 544
29.93/31.10	o 543
29.93/31.13	o 540
29.93/31.18	o 538
30.53/31.79	o 536
30.63/31.84	o 535
30.82/32.05	o 534
31.12/32.40	o 532
31.22/32.45	o 531
31.32/32.57	o 530
31.42/32.62	o 529
31.52/32.76	o 528
31.62/32.80	o 525
31.62/32.90	o 524
31.82/33.05	o 523
32.01/33.27	o 522
32.11/33.35	o 518
32.11/33.39	o 517
32.22/33.49	o 515
32.62/33.80	o 514
32.62/33.85	o 511
32.62/33.89	o 510
32.72/33.98	o 507
32.92/34.17	o 505
33.31/34.53	o 504
33.81/35.07	o 503
33.91/35.20	o 501
34.10/35.32	o 500
34.30/35.52	o 498
34.40/35.65	o 497
34.50/35.71	o 495
34.70/35.94	o 494
35.20/36.47	o 493
35.30/36.54	o 492
35.40/36.61	o 491
35.80/37.03	o 489
35.99/37.29	o 488
36.09/37.36	o 487
36.19/37.44	o 486
36.49/37.71	o 484
36.99/38.29	o 483
37.09/38.37	o 480
37.19/38.45	o 478
37.29/38.53	o 474
37.38/38.62	o 473
37.48/38.70	o 472
37.58/38.84	o 470
37.69/38.92	o 469
37.78/39.07	o 468
37.98/39.22	o 466
38.08/39.30	o 465
38.08/39.37	o 464
38.18/39.42	o 463
38.38/39.65	o 461
39.27/40.50	o 460
39.27/40.58	o 459
39.37/40.65	o 455
39.47/40.72	o 454
39.57/40.85	o 452
39.67/40.99	o 451
39.78/41.07	o 450
39.98/41.21	o 449
40.08/41.34	o 448
40.38/41.62	o 446
40.38/41.69	o 445
40.97/42.30	o 444
41.07/42.36	o 442
41.17/42.42	o 441
41.17/42.48	o 439
41.86/43.17	o 438
41.96/43.23	o 437
41.96/43.30	o 436
42.06/43.36	o 435
42.16/43.42	o 434
42.26/43.55	o 433
42.46/43.74	o 432
43.85/45.14	o 431
43.95/45.22	o 429
43.95/45.29	o 428
44.05/45.36	o 427
44.35/45.67	o 425
44.45/45.75	o 424
44.65/45.90	o 423
44.85/46.12	o 422
44.85/46.19	o 420
45.34/46.65	o 418
46.93/48.22	o 417
46.93/48.30	o 415
47.03/48.37	o 414
47.13/48.46	o 411
47.13/48.49	o 408
47.23/48.53	o 407
47.23/48.59	o 406
47.43/48.77	o 403
47.53/48.83	o 401
47.53/48.90	o 400
47.64/48.95	o 399
47.84/49.12	o 397
47.84/49.18	o 396
48.04/49.31	o 395
48.33/49.66	o 394
49.23/50.54	o 392
49.23/50.60	o 391
49.62/50.94	o 390
49.72/51.01	o 389
49.92/51.23	o 388
50.81/52.16	o 387
52.51/53.81	o 385
53.10/54.41	o 381
53.20/54.55	o 380
53.40/54.76	o 379
53.60/54.91	o 378
53.60/54.98	o 374
53.70/55.05	o 372
53.79/55.13	o 371
53.99/55.32	o 369
53.99/55.37	o 368
54.09/55.46	o 366
54.19/55.59	o 365
54.30/55.64	o 364
54.50/55.84	o 363
55.09/56.40	o 361
55.29/56.69	o 360
55.98/57.32	o 359
55.98/57.39	o 358
56.28/57.67	o 357
56.48/57.87	o 355
56.68/58.00	o 354
56.68/58.08	o 349
56.78/58.11	o 347
56.78/58.18	o 343
56.98/58.35	o 342
57.18/58.58	o 341
57.27/58.65	o 340
57.37/58.74	o 337
57.77/59.18	o 335
57.87/59.24	o 333
58.07/59.48	o 332
58.17/59.53	o 331
58.37/59.72	o 330
58.97/60.36	o 329
59.26/60.62	o 328
59.26/60.67	o 326
59.96/61.36	o 325
60.06/61.47	o 324
61.36/62.77	o 323
61.46/62.83	o 322
61.46/62.89	o 320
61.56/62.95	o 318
61.66/63.07	o 316
61.76/63.11	o 314
61.86/63.23	o 313
62.26/63.66	o 312
62.75/64.11	o 311
62.75/64.16	o 308
63.35/64.75	o 306
63.35/64.76	o 304
63.85/65.24	o 302
63.85/65.28	o 301
63.95/65.38	o 300
64.05/65.42	o 298
64.05/65.47	o 297
64.15/65.52	o 296
64.35/65.78	o 295
64.45/65.89	o 294
64.55/65.95	o 293
64.64/66.06	o 291
64.74/66.11	o 289
65.04/66.45	o 288
65.14/66.50	o 287
65.93/67.40	o 285
66.73/68.13	o 284
66.93/68.30	o 283
67.02/68.40	o 282
67.12/68.50	o 281
67.32/68.75	o 280
68.12/69.57	o 278
68.32/69.80	o 277
70.81/72.25	o 276
71.50/72.92	o 274
72.10/73.59	o 273
72.30/73.78	o 272
72.40/73.85	o 271
72.60/74.00	o 270
72.60/74.07	o 268
75.98/77.40	o 267
75.98/77.49	o 265
76.28/77.75	o 264
76.38/77.84	o 263
76.58/78.02	o 262
76.68/78.11	o 261
76.68/78.19	o 260
76.78/78.28	o 258
77.38/78.81	o 257
77.58/79.07	o 255
78.37/79.90	o 254
79.07/80.53	o 251
79.07/80.57	o 250
79.16/80.66	o 249
81.45/82.99	o 248
81.55/83.08	o 246
81.75/83.24	o 245
82.05/83.54	o 244
82.24/83.79	o 241
82.44/83.91	o 239
82.44/83.97	o 238
82.54/84.04	o 236
83.24/84.71	o 235
83.34/84.85	o 234
83.44/85.00	o 232
83.54/85.07	o 230
83.65/85.15	o 229
84.05/85.54	o 228
84.15/85.61	o 227
84.64/86.16	o 226
84.74/86.24	o 225
85.04/86.57	o 224
85.63/87.12	o 223
85.73/87.28	o 222
85.83/87.36	o 221
85.93/87.44	o 220
86.03/87.53	o 219
86.13/87.61	o 218
86.33/87.86	o 217
86.43/87.93	o 216
86.72/88.26	o 214
87.12/88.66	o 213
87.92/89.42	o 212
88.22/89.73	o 211
88.32/89.85	o 210
89.11/90.67	o 208
89.21/90.74	o 207
89.31/90.81	o 206
89.31/90.88	o 205
89.41/90.96	o 204
89.71/91.26	o 203
92.19/93.71	o 202
92.19/93.76	o 200
92.29/93.90	o 199
92.39/93.93	o 198
92.69/94.22	o 197
95.48/97.05	o 196
95.58/97.13	o 195
95.98/97.55	o 193
97.07/98.67	o 192
97.17/98.75	o 191
97.76/99.32	o 190
98.36/99.91	o 189
98.77/100.35	o 187
98.87/100.40	o 186
99.27/100.89	o 183
99.37/100.97	o 182
99.86/101.48	o 180
100.06/101.62	o 179
100.66/102.29	o 177
100.76/102.36	o 176
101.25/102.84	o 175
101.55/103.13	o 174
103.54/105.13	o 173
103.54/105.18	o 172
103.64/105.26	o 171
104.73/106.36	o 170
106.22/107.81	o 169
106.43/108.03	o 167
106.63/108.26	o 166
106.83/108.46	o 165
107.03/108.63	o 164
107.52/109.17	o 163
108.02/109.65	o 162
108.32/109.99	o 161
108.62/110.24	o 160
108.72/110.33	o 159
108.92/110.56	o 158
109.02/110.63	o 157
109.12/110.72	o 156
109.22/110.84	o 155
109.31/110.93	o 154
109.31/111.00	o 153
109.81/111.45	o 152
110.01/111.61	o 151
110.31/111.94	o 150
110.41/112.02	o 149
110.41/112.09	o 148
110.51/112.17	o 147
110.61/112.25	o 146
110.70/112.37	o 144
110.90/112.53	o 143
111.20/112.82	o 141
111.30/112.97	o 140
113.89/115.57	o 139
115.18/116.89	o 138
115.68/117.38	o 136
138.47/140.26	o 134
138.57/140.34	o 132
165.73/167.69	o 131
165.83/167.78	o 129
166.23/168.12	o 128
166.33/168.30	o 126
171.41/173.39	o 122
171.90/173.85	o 121
173.09/175.04	o 120
203.15/205.28	   
203.15/205.28	   search
203.15/205.28	     run=0  nbConstraintChecks=587325745  nbAssignments=3067
203.15/205.28	       =>  wckTime=191.223  cpuTime=190.18  mem=24M842
203.15/205.28	   
203.15/205.29	   global
203.15/205.29	     nbConstraintChecks=587325745  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
203.15/205.29	     solvingWckTime=191.219  solvingCpuTime=190.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
203.15/205.29	     globalCpuTime=202.36
203.15/205.29	       =>  wckTime=204.022  cpuTime=202.31  mem=24M842
203.15/205.29	   
203.15/205.29	   solver DecomposerSolver being built... 
204.24/206.37	       =>  wckTime=205.106  cpuTime=202.74  mem=410M246
211.01/213.19	   
211.01/213.19	   preprocessing
211.01/213.19	     nbConstraintChecks=23086979  nbValidityChecks=147426  nbPropagations=704  nbRevisions=9953  nbUselessRevisions=9947
211.01/213.19	     nbRemovedValues=128  detectedInconsistency=no
211.01/213.19	       =>  wckTime=6.82  cpuTime=6.77  mem=411M235
211.31/213.50	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-1112809-1215874228/watcher-1112809-1215874228 -o /tmp/evaluation-result-1112809-1215874228/solver-1112809-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-wdeg.xml 1 XSax HOME/instance-1112809-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 1/73 13952
/proc/meminfo: memFree=1907520/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=1612 CPUtime=0
/proc/13952/stat : 13952 (java) R 13950 13952 13901 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 44120833 1650688 125 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/13952/statm: 403 125 100 9 0 45 0

[startup+0.0722611 s]
/proc/loadavg: 0.00 0.00 0.00 1/73 13952
/proc/meminfo: memFree=1907520/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=10336 CPUtime=0
/proc/13952/stat : 13952 (java) D 13950 13952 13901 0 -1 0 371 0 20 0 0 0 0 0 18 0 1 0 44120833 10584064 194 996147200 134512640 134550740 4294955952 18446744073709551615 5657386 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/13952/statm: 2584 194 143 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.10126 s]
/proc/loadavg: 0.00 0.00 0.00 1/73 13952
/proc/meminfo: memFree=1907520/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=10336 CPUtime=0
/proc/13952/stat : 13952 (java) D 13950 13952 13901 0 -1 0 374 0 21 0 0 0 0 0 18 0 1 0 44120833 10584064 198 996147200 134512640 134550740 4294955952 18446744073709551615 5657386 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/13952/statm: 2584 198 143 9 0 1102 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10336

[startup+0.30128 s]
/proc/loadavg: 0.00 0.00 0.00 1/73 13952
/proc/meminfo: memFree=1907520/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=860712 CPUtime=0.01
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 1633 0 50 0 0 1 0 0 18 0 2 0 44120833 881369088 1380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 215178 1380 549 9 0 210157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860712

[startup+0.701318 s]
/proc/loadavg: 0.00 0.00 0.00 1/73 13952
/proc/meminfo: memFree=1907520/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=866740 CPUtime=0.13
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 3767 0 111 0 8 5 0 0 18 0 9 0 44120833 887541760 3320 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 216685 3320 1747 9 0 211240 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 866740

[startup+1.50238 s]
/proc/loadavg: 0.00 0.00 0.00 1/90 13969
/proc/meminfo: memFree=1870776/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868076 CPUtime=0.51
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 7694 0 113 0 42 9 0 0 18 0 9 0 44120833 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217019 7176 1969 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868076 CPUtime=0.4
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 6552 0 76 0 32 8 0 0 18 0 9 0 44120847 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120864 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 44120869 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44120869 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868076 CPUtime=0.09
/proc/13952/task/13963/stat : 13963 (java) R 13950 13952 13901 0 -1 64 479 0 1 0 9 0 0 0 16 0 9 0 44120879 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 102130039 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888909824 7176 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 868076

[startup+3.10152 s]
/proc/loadavg: 0.16 0.03 0.01 3/90 13969
/proc/meminfo: memFree=1823032/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868164 CPUtime=2.11
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 15388 0 113 0 196 15 0 0 18 0 9 0 44120833 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217041 14857 2014 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868164 CPUtime=1.9
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 14016 0 76 0 177 13 0 0 24 0 9 0 44120847 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4126863144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120864 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 44120869 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44120869 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868164 CPUtime=0.19
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 709 0 1 0 19 0 0 0 15 0 9 0 44120879 888999936 14857 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888999936 14858 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888999936 14859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 868164

[startup+6.30278 s]
/proc/loadavg: 0.16 0.03 0.01 3/90 13969
/proc/meminfo: memFree=1796664/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868076 CPUtime=5.3
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 19557 0 113 0 511 19 0 0 18 0 9 0 44120833 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217019 18998 2006 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868076 CPUtime=4.97
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15688 0 76 0 481 16 0 0 25 0 9 0 44120847 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4126891543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868076 CPUtime=0.08
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 2469 0 0 0 8 0 0 0 17 0 9 0 44120864 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868076 CPUtime=0.22
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 737 0 1 0 21 1 0 0 15 0 9 0 44120879 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888909824 18998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 868076

[startup+12.7013 s]
/proc/loadavg: 0.52 0.11 0.04 3/91 13970
/proc/meminfo: memFree=1774256/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868076 CPUtime=11.66
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 22379 0 113 0 1144 22 0 0 18 0 9 0 44120833 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217019 21816 2007 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868076 CPUtime=11.21
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15695 0 76 0 1102 19 0 0 25 0 9 0 44120847 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4126863087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868076 CPUtime=0.16
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 5263 0 0 0 15 1 0 0 17 0 9 0 44120864 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868076 CPUtime=0.26
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 758 0 1 0 25 1 0 0 16 0 9 0 44120879 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868076 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888909824 21816 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 868076

[startup+25.5024 s]
/proc/loadavg: 0.74 0.18 0.06 3/91 13970
/proc/meminfo: memFree=1721328/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868164 CPUtime=24.36
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 25659 0 113 0 2407 29 0 0 18 0 9 0 44120833 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217041 24902 2640 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868164 CPUtime=23.69
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15763 0 76 0 2345 24 0 0 25 0 9 0 44120847 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4127062640 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868164 CPUtime=0.33
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 8450 0 0 0 31 2 0 0 17 0 9 0 44120864 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868164 CPUtime=0.3
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 783 0 1 0 29 1 0 0 16 0 9 0 44120879 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888999936 24902 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.36
Current children cumulated vsize (KiB) 868164

[startup+51.1025 s]
/proc/loadavg: 1.23 0.34 0.11 3/90 13970
/proc/meminfo: memFree=1542768/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868164 CPUtime=49.82
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 25661 0 113 0 4949 33 0 0 18 0 9 0 44120833 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217041 24904 2640 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868164 CPUtime=49.14
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15763 0 76 0 4886 28 0 0 25 0 9 0 44120847 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4127186428 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868164 CPUtime=0.33
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 8450 0 0 0 31 2 0 0 16 0 9 0 44120864 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868164 CPUtime=0.31
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 785 0 1 0 30 1 0 0 16 0 9 0 44120879 888999936 24904 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868164 CPUtime=0

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

/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868164 CPUtime=0.32
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 788 0 1 0 31 1 0 0 16 0 9 0 44120879 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 189.91
Current children cumulated vsize (KiB) 868164

[startup+204.702 s]
/proc/loadavg: 1.94 1.00 0.40 3/90 13970
/proc/meminfo: memFree=1532912/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868164 CPUtime=202.65
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 25664 0 113 0 20215 50 0 0 18 0 9 0 44120833 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217041 24907 2640 9 0 211547 0
[pid=13952/tid=13955] ppid=13950 vsize=868164 CPUtime=201.97
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15763 0 76 0 20152 45 0 0 25 0 9 0 44120847 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4127186473 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868164 CPUtime=0.33
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 8450 0 0 0 31 2 0 0 16 0 9 0 44120864 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44120869 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868164 CPUtime=0.32
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 788 0 1 0 31 1 0 0 16 0 9 0 44120879 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868164 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 888999936 24907 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.65
Current children cumulated vsize (KiB) 868164

[startup+207.907 s]
/proc/loadavg: 1.94 1.02 0.40 3/90 13970
/proc/meminfo: memFree=1198192/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868396 CPUtime=205.84
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 109253 0 113 0 20503 81 0 0 18 0 9 0 44120833 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217099 108424 2619 9 0 211627 0
[pid=13952/tid=13955] ppid=13950 vsize=868396 CPUtime=204.49
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15905 0 76 0 20403 46 0 0 25 0 9 0 44120847 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4127062686 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868396 CPUtime=0.98
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 91855 0 0 0 65 33 0 0 16 0 9 0 44120864 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868396 CPUtime=0.35
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 812 0 1 0 34 1 0 0 15 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (KiB) 868396

[startup+211.102 s]
/proc/loadavg: 1.94 1.02 0.40 3/90 13970
/proc/meminfo: memFree=1198192/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868396 CPUtime=209.02
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 109253 0 113 0 20821 81 0 0 18 0 9 0 44120833 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217099 108424 2619 9 0 211627 0
[pid=13952/tid=13955] ppid=13950 vsize=868396 CPUtime=207.67
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15905 0 76 0 20721 46 0 0 25 0 9 0 44120847 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4126866871 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868396 CPUtime=0.98
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 91855 0 0 0 65 33 0 0 16 0 9 0 44120864 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868396 CPUtime=0.35
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 812 0 1 0 34 1 0 0 15 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 209.02
Current children cumulated vsize (KiB) 868396

[startup+212.703 s]
/proc/loadavg: 1.95 1.04 0.41 3/90 13970
/proc/meminfo: memFree=1198192/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868396 CPUtime=210.62
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 109253 0 113 0 20981 81 0 0 18 0 9 0 44120833 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217099 108424 2619 9 0 211627 0
[pid=13952/tid=13955] ppid=13950 vsize=868396 CPUtime=209.26
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15905 0 76 0 20880 46 0 0 25 0 9 0 44120847 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4127062671 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868396 CPUtime=0.98
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 91855 0 0 0 65 33 0 0 16 0 9 0 44120864 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868396 CPUtime=0.35
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 812 0 1 0 34 1 0 0 15 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 210.62
Current children cumulated vsize (KiB) 868396

[startup+213.102 s]
/proc/loadavg: 1.95 1.04 0.41 3/90 13970
/proc/meminfo: memFree=1198192/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868396 CPUtime=211.01
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 109253 0 113 0 21020 81 0 0 18 0 9 0 44120833 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217099 108424 2619 9 0 211627 0
[pid=13952/tid=13955] ppid=13950 vsize=868396 CPUtime=209.66
/proc/13952/task/13955/stat : 13955 (java) R 13950 13952 13901 0 -1 64 15905 0 76 0 20920 46 0 0 25 0 9 0 44120847 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4127284426 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868396 CPUtime=0.98
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 91855 0 0 0 65 33 0 0 16 0 9 0 44120864 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44120869 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868396 CPUtime=0.35
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 812 0 1 0 34 1 0 0 15 0 9 0 44120879 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 889237504 108424 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 211.01
Current children cumulated vsize (KiB) 868396

[startup+213.502 s]
/proc/loadavg: 1.95 1.04 0.41 4/90 13970
/proc/meminfo: memFree=1198064/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=868396 CPUtime=211.41
/proc/13952/stat : 13952 (java) S 13950 13952 13901 0 -1 0 121765 0 113 0 21055 86 0 0 18 0 9 0 44120833 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13952/statm: 217099 120909 2618 9 0 211627 0
[pid=13952/tid=13955] ppid=13950 vsize=868396 CPUtime=209.76
/proc/13952/task/13955/stat : 13955 (java) S 13950 13952 13901 0 -1 64 15933 0 76 0 20930 46 0 0 25 0 9 0 44120847 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13956] ppid=13950 vsize=868396 CPUtime=1.27
/proc/13952/task/13956/stat : 13956 (java) S 13950 13952 13901 0 -1 64 104338 0 0 0 89 38 0 0 17 0 9 0 44120864 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13958] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13958/stat : 13958 (java) S 13950 13952 13901 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13960] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13960/stat : 13960 (java) S 13950 13952 13901 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44120869 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13962] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13962/stat : 13962 (java) S 13950 13952 13901 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 44120879 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13952/tid=13963] ppid=13950 vsize=868396 CPUtime=0.35
/proc/13952/task/13963/stat : 13963 (java) S 13950 13952 13901 0 -1 64 813 0 1 0 34 1 0 0 16 0 9 0 44120879 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13966] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13966/stat : 13966 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 44120880 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13952/tid=13968] ppid=13950 vsize=868396 CPUtime=0
/proc/13952/task/13968/stat : 13968 (java) S 13950 13952 13901 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 44120880 889237504 120909 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 211.41
Current children cumulated vsize (KiB) 868396

[startup+213.602 s]
/proc/loadavg: 1.95 1.04 0.41 4/90 13970
/proc/meminfo: memFree=1198064/2055920 swapFree=4175232/4192956
[pid=13952] ppid=13950 vsize=0 CPUtime=211.47
/proc/13952/stat : 13952 (java) Z 13950 13952 13901 0 -1 12 121770 0 113 0 21055 92 0 0 16 0 2 0 44120833 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13952/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 211.47
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 213.606
CPU time (s): 211.484
CPU user time (s): 210.552
CPU system time (s): 0.931858
CPU usage (%): 99.0065
Max. virtual memory (cumulated for all children) (KiB): 868484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.552
system time used= 0.931858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121770
page faults= 113
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6785
involuntary context switches= 11963

runsolver used 0.333949 second user time and 0.731888 second system time

The end

Launcher Data (download as text)

Begin job on node65 at 2008-07-12 16:50:28
IDJOB=1112809
IDBENCH=61478
IDSOLVER=359
FILE ID=node65/1112809-1215874228
PBS_JOBID= 7903595
Free space on /tmp= 66500 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112809-1215874228/watcher-1112809-1215874228 -o /tmp/evaluation-result-1112809-1215874228/solver-1112809-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-wdeg.xml 1 XSax HOME/instance-1112809-1215874228.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 40ccc1d0ec371372bfe35ce6b8f3e8ae
RANDOM SEED=226440824

node65.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.216
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.216
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:       1908072 kB
Buffers:         21064 kB
Cached:          71992 kB
SwapCached:      12616 kB
Active:          67944 kB
Inactive:        41440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908072 kB
SwapTotal:     4192956 kB
SwapFree:      4175232 kB
Dirty:            4732 kB
Writeback:           0 kB
Mapped:          15548 kB
Slab:            23956 kB
Committed_AS:    99480 kB
PageTables:       1824 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= 66496 MiB
End job on node65 at 2008-07-12 16:54:02