Trace number 1112996

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? 198.7 200.687

General information on the benchmark

Namecsp/fapp/fapp07/
normalized-fapp07-0600-6.xml
MD5SUMd23de4e6fd19229cdf6e50664455956d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints28
Best CPU time to get the best result obtained on this benchmark3600.04
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints8996
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8996
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.06/0.10	
0.06/0.10	Abscon 112 (May, 2008)
0.17/0.28	
0.17/0.28	   configuration
0.17/0.28	     name=mrdac-ddeg.xml
0.27/0.33	   
0.27/0.33	   instance
0.27/0.33	     name=HOME/instance-1112996-1215876538.xml
0.27/0.37	   
0.27/0.37	   domains being loaded...
0.36/0.41	   
0.36/0.41	   variables being loaded...
0.47/0.52	     nbVariables=600  nbDomainTypes=28  minDomainSize=42  maxDomainSize=302  nbTotalValues=109658
0.47/0.52	       =>  wckTime=0.238  cpuTime=0.18  mem=11M762
0.47/0.52	   
0.47/0.52	   predicates being loaded...
0.47/0.59	   
0.47/0.59	   constraints being loaded...
10.56/10.72	   
10.56/10.72	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 37M124)
13.93/14.16	     nbConstraints=8996  nbConvertedConstraints=1015  nbConvertConstraintsChecks=39801504  nbExtensionStructures=976
13.93/14.16	     nbSharedExtensionStructures=117  nbConflictsStructures=2219  nbSharedConflictsStructures=213
13.93/14.16	     nbUnbuiltConflictsStructures=4877  nbSharedBinaryRepresentations=296730  nbEvaluationManagers=6120
13.93/14.16	     nbSharedEvaluationManagers=1861  minDegree=7  maxDegree=41  minArity=2  maxArity=2
13.93/14.16	       =>  wckTime=13.872  cpuTime=13.17  mem=39M228
14.13/14.38	   
14.13/14.38	   solver LocalSearchSolver being built... 
14.22/14.43	       =>  wckTime=14.145  cpuTime=13.21  mem=29M239
14.22/14.47	
14.22/14.47	s SATISFIABLE
14.22/14.47	o 1685
14.32/14.51	o 1675
14.32/14.54	o 1664
14.32/14.56	o 1656
14.32/14.58	o 1651
14.42/14.60	o 1641
14.42/14.62	o 1632
14.42/14.64	o 1623
14.42/14.65	o 1614
14.42/14.68	o 1606
14.52/14.70	o 1600
14.52/14.72	o 1595
14.52/14.74	o 1590
14.52/14.77	o 1585
14.52/14.79	o 1580
14.62/14.81	o 1577
14.62/14.83	o 1575
14.62/14.83	o 1573
14.62/14.85	o 1572
14.62/14.87	o 1566
14.62/14.89	o 1560
14.72/14.91	o 1554
14.72/14.92	o 1549
14.72/14.94	o 1545
14.72/14.95	o 1543
14.72/14.96	o 1541
14.82/15.00	o 1537
14.82/15.04	o 1533
14.82/15.08	o 1526
14.92/15.11	o 1519
14.92/15.15	o 1514
14.92/15.17	o 1509
15.02/15.20	o 1506
15.02/15.23	o 1502
15.02/15.25	o 1498
15.02/15.28	o 1494
15.12/15.33	o 1490
15.12/15.35	o 1487
15.12/15.39	o 1485
15.12/15.40	o 1483
15.21/15.43	o 1481
15.21/15.45	o 1480
15.21/15.48	o 1475
15.21/15.49	o 1472
15.30/15.51	o 1469
15.30/15.57	o 1464
15.30/15.59	o 1463
15.30/15.59	o 1460
15.41/15.60	o 1458
15.41/15.61	o 1455
15.41/15.63	o 1453
15.41/15.64	o 1447
15.41/15.66	o 1443
15.41/15.67	o 1441
15.41/15.69	o 1439
15.51/15.71	o 1437
15.51/15.72	o 1435
15.51/15.73	o 1434
15.51/15.77	o 1430
15.61/15.80	o 1429
15.61/15.81	o 1426
15.61/15.82	o 1422
15.61/15.87	o 1417
15.61/15.89	o 1414
15.71/15.92	o 1409
15.71/15.93	o 1407
15.71/15.94	o 1401
15.71/15.95	o 1400
15.71/15.96	o 1399
15.71/15.97	o 1396
15.71/15.99	o 1391
15.81/16.01	o 1387
15.81/16.02	o 1383
15.81/16.04	o 1378
15.81/16.05	o 1371
15.81/16.07	o 1365
15.81/16.09	o 1362
15.91/16.11	o 1358
15.91/16.12	o 1354
15.91/16.15	o 1349
15.91/16.16	o 1344
15.91/16.17	o 1343
15.91/16.19	o 1341
16.01/16.22	o 1335
16.01/16.24	o 1331
16.01/16.25	o 1327
16.01/16.26	o 1324
16.01/16.27	o 1321
16.01/16.28	o 1320
16.01/16.29	o 1317
16.10/16.30	o 1315
16.10/16.32	o 1313
16.10/16.34	o 1311
16.10/16.35	o 1306
16.10/16.38	o 1301
16.10/16.40	o 1300
16.20/16.41	o 1296
16.20/16.44	o 1293
16.20/16.45	o 1290
16.20/16.46	o 1289
16.20/16.49	o 1285
16.20/16.50	o 1279
16.30/16.51	o 1277
16.30/16.53	o 1273
16.30/16.54	o 1269
16.30/16.56	o 1265
16.30/16.57	o 1256
16.30/16.59	o 1253
16.39/16.60	o 1251
16.39/16.63	o 1250
16.39/16.64	o 1246
16.39/16.66	o 1243
16.39/16.67	o 1241
16.39/16.69	o 1235
16.49/16.70	o 1233
16.49/16.72	o 1231
16.49/16.73	o 1230
16.49/16.74	o 1229
16.49/16.76	o 1228
16.49/16.77	o 1226
16.49/16.79	o 1220
16.59/16.81	o 1216
16.59/16.85	o 1213
16.59/16.87	o 1212
16.59/16.89	o 1210
16.70/16.91	o 1204
16.70/16.92	o 1202
16.70/16.93	o 1198
16.70/16.95	o 1195
16.70/16.98	o 1194
16.80/17.00	o 1191
16.80/17.02	o 1186
16.80/17.04	o 1182
16.80/17.06	o 1179
16.89/17.11	o 1177
16.89/17.12	o 1175
16.89/17.13	o 1171
16.89/17.15	o 1168
16.89/17.17	o 1163
16.89/17.19	o 1157
16.99/17.20	o 1156
16.99/17.22	o 1155
16.99/17.24	o 1153
16.99/17.26	o 1152
17.09/17.32	o 1151
17.09/17.34	o 1149
17.09/17.36	o 1148
17.09/17.39	o 1145
17.19/17.42	o 1141
17.19/17.44	o 1137
17.19/17.46	o 1132
17.19/17.48	o 1129
17.29/17.51	o 1126
17.29/17.55	o 1124
17.29/17.57	o 1122
17.39/17.63	o 1121
17.48/17.73	o 1119
17.48/17.75	o 1116
17.48/17.77	o 1114
17.58/17.80	o 1110
17.58/17.82	o 1108
17.58/17.87	o 1107
17.58/17.89	o 1104
17.68/17.91	o 1102
17.68/17.97	o 1101
17.68/17.99	o 1097
17.78/18.01	o 1095
17.78/18.03	o 1090
17.88/18.13	o 1088
17.88/18.15	o 1086
17.88/18.17	o 1084
17.98/18.23	o 1082
17.98/18.25	o 1075
17.98/18.27	o 1074
18.18/18.48	o 1070
18.38/18.63	o 1066
18.38/18.67	o 1062
18.38/18.70	o 1061
18.47/18.72	o 1056
18.47/18.75	o 1055
18.56/18.80	o 1052
18.56/18.83	o 1051
18.66/18.91	o 1048
18.66/18.96	o 1046
18.66/18.98	o 1045
18.76/19.02	o 1040
18.76/19.07	o 1039
18.86/19.11	o 1035
18.86/19.12	o 1029
18.86/19.15	o 1027
18.86/19.18	o 1024
18.96/19.22	o 1022
18.96/19.25	o 1020
18.96/19.28	o 1019
19.06/19.32	o 1015
19.06/19.35	o 1014
19.26/19.52	o 1012
19.26/19.56	o 1008
19.36/19.60	o 1002
19.36/19.63	o 1001
19.36/19.66	o 998
19.36/19.70	o 997
19.46/19.74	o 992
19.55/19.86	o 989
19.65/19.92	o 982
19.65/19.95	o 980
19.65/19.98	o 979
19.75/20.01	o 977
19.75/20.04	o 973
19.75/20.07	o 971
19.85/20.18	o 970
19.95/20.21	o 968
19.95/20.28	o 967
20.05/20.30	o 966
20.05/20.33	o 964
20.05/20.36	o 961
20.15/20.44	o 960
20.15/20.48	o 956
20.25/20.56	o 954
20.25/20.58	o 953
20.25/20.60	o 952
20.35/20.62	o 949
20.35/20.65	o 948
20.35/20.67	o 946
20.45/20.75	o 945
20.45/20.78	o 941
20.65/20.93	o 939
20.65/20.95	o 934
20.65/20.97	o 933
20.65/21.00	o 932
20.74/21.02	o 929
20.74/21.05	o 926
20.74/21.09	o 924
20.84/21.15	o 923
20.84/21.19	o 921
20.94/21.22	o 918
20.94/21.25	o 916
20.94/21.29	o 910
21.04/21.36	o 908
21.24/21.54	o 907
21.24/21.59	o 906
21.34/21.65	o 904
21.34/21.70	o 901
21.44/21.75	o 899
21.44/21.79	o 897
21.54/21.84	o 894
21.54/21.88	o 890
21.63/21.94	o 888
21.63/21.98	o 886
21.73/22.04	o 885
21.73/22.07	o 884
21.82/22.15	o 883
21.82/22.19	o 879
22.23/22.54	o 878
22.23/22.58	o 877
22.33/22.63	o 876
22.33/22.66	o 874
22.43/22.70	o 873
22.43/22.74	o 872
22.53/22.81	o 870
22.53/22.84	o 868
22.53/22.88	o 866
22.63/22.91	o 865
22.63/22.94	o 863
22.73/23.06	o 862
22.73/23.09	o 861
22.83/23.12	o 860
22.92/23.21	o 858
22.92/23.28	o 852
23.02/23.32	o 848
23.02/23.36	o 846
23.02/23.39	o 845
23.12/23.43	o 844
23.12/23.46	o 842
23.12/23.50	o 840
23.22/23.53	o 838
23.22/23.58	o 835
23.31/23.61	o 833
23.31/23.66	o 831
23.41/23.74	o 828
23.51/23.81	o 826
23.51/23.85	o 822
23.51/23.88	o 818
23.61/23.91	o 814
23.71/24.03	o 809
23.81/24.15	o 808
23.81/24.19	o 807
23.91/24.22	o 803
24.00/24.30	o 802
24.00/24.34	o 800
24.10/24.41	o 798
24.10/24.48	o 793
24.20/24.52	o 789
24.20/24.56	o 785
24.30/24.66	o 781
24.40/24.72	o 778
24.40/24.75	o 774
24.40/24.79	o 773
24.50/24.82	o 772
24.50/24.88	o 771
24.60/24.91	o 770
24.60/24.99	o 769
24.70/25.02	o 767
24.70/25.05	o 765
24.70/25.09	o 762
24.80/25.12	o 760
24.91/25.24	o 757
24.91/25.27	o 754
24.91/25.29	o 753
25.00/25.32	o 752
25.00/25.35	o 751
25.00/25.38	o 748
25.29/25.62	o 745
25.29/25.66	o 744
25.29/25.69	o 742
25.39/25.72	o 741
25.39/25.75	o 740
25.49/25.83	o 739
25.49/25.87	o 738
25.59/25.90	o 737
25.59/25.95	o 732
25.59/26.00	o 728
25.69/26.03	o 727
25.69/26.08	o 725
25.79/26.13	o 724
25.79/26.16	o 723
26.48/26.88	o 722
26.58/26.98	o 721
26.68/27.03	o 715
26.68/27.09	o 712
26.78/27.14	o 710
26.88/27.21	o 709
26.88/27.27	o 708
26.98/27.30	o 707
26.98/27.35	o 704
26.98/27.38	o 699
27.17/27.56	o 697
27.17/27.59	o 695
27.37/27.79	o 692
27.57/27.92	o 690
27.57/27.95	o 688
27.57/27.98	o 687
27.66/28.03	o 686
27.76/28.11	o 684
27.76/28.14	o 682
27.86/28.22	o 679
27.96/28.33	o 677
27.96/28.38	o 675
28.07/28.43	o 671
28.07/28.47	o 667
28.17/28.59	o 665
28.27/28.64	o 664
28.27/28.69	o 663
28.36/28.74	o 661
28.36/28.79	o 659
28.46/28.89	o 654
28.66/29.01	o 650
28.76/29.18	o 647
28.86/29.28	o 646
29.06/29.44	o 645
29.16/29.55	o 644
29.26/29.61	o 642
29.26/29.66	o 641
29.26/29.70	o 637
29.35/29.75	o 636
29.35/29.79	o 635
29.45/29.84	o 633
29.45/29.89	o 631
29.55/29.94	o 629
29.55/29.99	o 628
29.65/30.04	o 626
29.65/30.09	o 623
29.75/30.14	o 621
29.75/30.18	o 619
29.85/30.28	o 615
29.95/30.33	o 614
29.95/30.37	o 613
30.05/30.46	o 612
30.15/30.55	o 610
30.15/30.58	o 609
30.25/30.61	o 606
30.25/30.65	o 603
30.25/30.68	o 602
30.35/30.76	o 599
30.35/30.78	o 598
30.44/30.82	o 595
30.44/30.87	o 591
30.53/30.94	o 590
30.53/30.97	o 588
30.83/31.22	o 586
30.93/31.32	o 584
30.93/31.33	o 583
31.03/31.41	o 582
31.03/31.44	o 579
31.03/31.48	o 575
31.13/31.52	o 571
31.13/31.57	o 570
31.23/31.62	o 567
31.23/31.65	o 565
31.23/31.67	o 562
31.33/31.70	o 559
31.33/31.75	o 558
31.33/31.78	o 557
31.43/31.83	o 556
31.43/31.85	o 553
31.43/31.89	o 552
31.52/31.99	o 551
31.62/32.04	o 550
31.83/32.21	o 547
31.83/32.26	o 545
31.93/32.32	o 543
32.03/32.45	o 538
32.13/32.50	o 537
32.13/32.56	o 535
32.23/32.67	o 533
32.33/32.77	o 531
32.91/33.33	o 530
32.91/33.38	o 527
33.01/33.43	o 526
33.31/33.72	o 525
33.31/33.78	o 523
33.61/34.08	o 522
33.71/34.15	o 519
33.80/34.23	o 518
36.78/37.28	o 516
36.88/37.38	o 515
36.97/37.46	o 514
37.07/37.55	o 508
37.27/37.72	o 507
37.37/37.81	o 506
37.47/37.97	o 505
38.26/38.72	o 503
38.26/38.78	o 501
38.36/38.86	o 500
38.76/39.21	o 499
38.96/39.47	o 497
39.06/39.58	o 496
39.15/39.66	o 493
39.25/39.75	o 492
39.35/39.83	o 491
39.45/39.92	o 490
39.54/40.00	o 486
39.84/40.34	o 484
39.94/40.44	o 483
40.04/40.52	o 482
40.24/40.71	o 481
40.33/40.80	o 480
40.53/41.06	o 478
40.73/41.22	o 477
41.42/41.90	o 475
43.02/43.55	o 474
43.12/43.63	o 472
43.22/43.70	o 471
43.22/43.76	o 470
43.32/43.83	o 466
43.42/43.91	o 465
43.42/43.98	o 464
43.61/44.12	o 463
44.01/44.50	o 461
44.01/44.58	o 460
44.79/45.30	o 458
44.79/45.37	o 454
45.09/45.61	o 453
45.09/45.67	o 452
45.19/45.73	o 450
45.29/45.80	o 449
45.39/45.92	o 445
45.39/45.98	o 444
45.78/46.30	o 442
45.88/46.43	o 441
45.88/46.49	o 439
45.98/46.56	o 437
46.08/46.69	o 435
46.19/46.76	o 432
46.29/46.83	o 431
46.29/46.89	o 429
46.59/47.19	o 427
46.69/47.26	o 425
46.78/47.32	o 424
46.88/47.44	o 422
46.88/47.46	o 419
46.98/47.51	o 415
46.98/47.56	o 414
47.08/47.62	o 410
47.08/47.65	o 407
47.18/47.70	o 406
47.18/47.76	o 405
47.27/47.81	o 404
47.37/47.91	o 403
47.37/47.96	o 401
47.47/48.02	o 400
47.47/48.08	o 397
47.57/48.13	o 396
47.87/48.49	o 394
48.06/48.64	o 393
48.06/48.68	o 392
48.16/48.73	o 391
48.56/49.17	o 390
48.66/49.23	o 388
48.76/49.35	o 387
48.86/49.41	o 386
48.96/49.54	o 384
49.05/49.65	o 383
49.15/49.72	o 382
49.15/49.79	o 378
49.35/49.93	o 377
49.45/50.07	o 375
49.55/50.13	o 374
49.65/50.20	o 372
49.65/50.28	o 369
49.75/50.35	o 368
49.85/50.41	o 367
49.85/50.49	o 366
49.95/50.58	o 365
50.14/50.74	o 364
50.54/51.11	o 363
50.54/51.17	o 362
50.64/51.25	o 361
51.43/52.04	o 360
51.53/52.16	o 359
51.63/52.21	o 357
51.63/52.29	o 356
51.73/52.36	o 353
51.83/52.43	o 352
51.92/52.51	o 348
51.92/52.58	o 346
52.02/52.62	o 345
52.12/52.77	o 344
52.22/52.83	o 342
52.61/53.29	o 341
52.71/53.30	o 338
52.81/53.46	o 336
53.01/53.62	o 335
53.11/53.71	o 334
53.11/53.79	o 333
53.50/54.19	o 331
53.70/54.33	o 330
53.80/54.41	o 329
53.80/54.49	o 328
54.01/54.64	o 327
54.11/54.73	o 324
55.10/55.71	o 322
55.29/55.93	o 321
55.39/56.01	o 320
55.39/56.09	o 317
55.49/56.16	o 316
55.68/56.32	o 315
55.88/56.55	o 314
56.28/56.94	o 313
57.96/58.60	o 312
58.07/58.76	o 311
58.26/58.92	o 310
58.66/59.32	o 309
58.76/59.49	o 308
59.05/59.78	o 307
59.94/60.69	o 305
60.04/60.76	o 302
60.24/60.96	o 300
60.93/61.67	o 299
61.52/62.27	o 297
61.72/62.45	o 295
62.11/62.80	o 294
62.31/63.09	o 291
62.41/63.17	o 289
62.61/63.33	o 288
62.81/63.50	o 287
62.92/63.67	o 286
63.02/63.76	o 284
63.31/64.01	o 283
63.51/64.27	o 282
63.61/64.36	o 281
63.71/64.45	o 280
64.40/65.11	o 279
64.90/65.62	o 277
65.00/65.72	o 275
65.69/66.43	o 274
65.79/66.53	o 273
66.09/66.82	o 271
74.41/75.20	o 269
75.79/76.70	o 268
75.99/76.81	o 265
76.09/76.91	o 261
76.19/77.03	o 260
76.28/77.14	o 258
76.38/77.25	o 257
77.47/78.36	o 256
77.87/78.76	o 254
77.97/78.86	o 253
78.07/78.97	o 252
78.17/79.08	o 251
78.36/79.21	o 250
78.46/79.32	o 249
79.26/80.13	o 247
80.15/81.03	o 246
80.25/81.14	o 245
80.45/81.39	o 244
80.64/81.50	o 243
81.05/81.91	o 242
83.91/84.85	o 241
84.01/84.93	o 240
84.11/85.05	o 239
84.21/85.15	o 237
85.20/86.13	o 236
86.39/87.36	o 235
87.28/88.28	o 234
102.83/103.96	o 233
106.30/107.46	o 232
106.40/107.60	o 230
106.60/107.76	o 228
107.19/108.38	o 227
107.39/108.53	o 226
107.78/108.98	o 225
107.88/109.03	o 222
108.59/109.76	o 221
108.88/110.09	o 219
109.08/110.25	o 218
109.28/110.41	o 213
109.38/110.56	o 211
109.67/110.84	o 210
109.87/111.10	o 209
110.96/112.17	o 208
111.15/112.32	o 207
111.15/112.39	o 206
111.25/112.44	o 204
111.35/112.52	o 203
111.55/112.79	o 202
112.05/113.23	o 201
112.14/113.38	o 197
112.44/113.67	o 196
112.64/113.82	o 195
112.94/114.10	o 194
113.23/114.41	o 193
126.41/127.71	o 192
126.51/127.83	o 191
146.02/147.58	o 190
146.52/148.05	o 189
147.01/148.53	o 188
147.50/149.00	o 187
149.48/151.02	o 185
149.58/151.15	o 182
150.48/152.02	o 181
150.48/152.08	o 179
150.58/152.13	o 177
150.98/152.56	o 176
151.08/152.67	o 175
152.85/154.48	o 174
153.05/154.62	o 173
153.25/154.88	o 171
157.22/158.89	o 170
157.32/158.96	o 168
158.21/159.87	o 166
158.51/160.14	o 165
188.62/190.59	   
188.62/190.59	   search
188.62/190.59	     run=0  nbConstraintChecks=421782949  nbAssignments=1970
188.62/190.59	       =>  wckTime=176.158  cpuTime=174.43  mem=30M241
188.62/190.59	   
188.62/190.59	   global
188.62/190.59	     nbConstraintChecks=421782949  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
188.62/190.59	     solvingWckTime=176.154  solvingCpuTime=174.42  expiredTime=no  totalExploration=no  nbFoundSolutions=0
188.62/190.59	     globalCpuTime=187.68
188.62/190.59	       =>  wckTime=190.302  cpuTime=187.64  mem=30M241
188.62/190.59	   
188.62/190.59	   solver DecomposerSolver being built... 
189.61/191.57	       =>  wckTime=191.285  cpuTime=188.05  mem=305M668
198.23/200.27	   
198.23/200.27	   preprocessing
198.23/200.27	     nbConstraintChecks=25483846  nbValidityChecks=165766  nbPropagations=601  nbRevisions=13326
198.23/200.27	     nbUselessRevisions=13319  nbRemovedValues=816  detectedInconsistency=no
198.23/200.27	       =>  wckTime=8.695  cpuTime=8.59  mem=305M668
198.62/200.60	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-1112996-1215876538/watcher-1112996-1215876538 -o /tmp/evaluation-result-1112996-1215876538/solver-1112996-1215876538 -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-1112996-1215876538.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.21 2.32 2.46 2/81 23708
/proc/meminfo: memFree=1904840/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=18572 CPUtime=0
/proc/23708/stat : 23708 (runsolver) R 23706 23708 23671 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 44356742 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23708/statm: 4643 292 257 25 0 2626 0

[startup+0.070821 s]
/proc/loadavg: 2.21 2.32 2.46 2/81 23708
/proc/meminfo: memFree=1904840/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=864076 CPUtime=0.06
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 2802 0 1 0 4 2 0 0 18 0 9 0 44356742 884813824 2340 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216019 2340 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864076

[startup+0.101822 s]
/proc/loadavg: 2.21 2.32 2.46 2/81 23708
/proc/meminfo: memFree=1904840/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=865988 CPUtime=0.08
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 3645 0 1 0 6 2 0 0 18 0 9 0 44356742 886771712 3133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216497 3133 1674 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.301845 s]
/proc/loadavg: 2.21 2.32 2.46 2/81 23708
/proc/meminfo: memFree=1904840/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=866308 CPUtime=0.27
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 5397 0 1 0 23 4 0 0 18 0 9 0 44356742 887099392 4821 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216577 4821 1879 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866308

[startup+0.701888 s]
/proc/loadavg: 2.21 2.32 2.46 2/81 23708
/proc/meminfo: memFree=1904840/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867696 CPUtime=0.66
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 8745 0 1 0 60 6 0 0 18 0 9 0 44356742 888520704 8106 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216924 8106 2010 9 0 211430 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867696

[startup+1.50197 s]
/proc/loadavg: 2.21 2.32 2.46 3/90 23717
/proc/meminfo: memFree=1864064/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867696 CPUtime=1.45
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 16320 0 1 0 134 11 0 0 18 0 9 0 44356742 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216924 15678 2014 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867696 CPUtime=1.24
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 14971 0 1 0 114 10 0 0 25 0 9 0 44356744 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4126863906 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356745 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44356746 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44356746 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867696 CPUtime=0.19
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 652 0 0 0 19 0 0 0 15 0 9 0 44356748 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888520704 15678 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867696

[startup+3.10114 s]
/proc/loadavg: 2.19 2.32 2.45 3/90 23717
/proc/meminfo: memFree=1846016/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=3.04
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 19455 0 1 0 290 14 0 0 18 0 9 0 44356742 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 18788 2005 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=2.71
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15798 0 1 0 260 11 0 0 25 0 9 0 44356744 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=0.08
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 2286 0 0 0 7 1 0 0 16 0 9 0 44356745 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.21
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 675 0 0 0 21 0 0 0 15 0 9 0 44356748 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 18788 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867608

[startup+6.30246 s]
/proc/loadavg: 2.19 2.32 2.45 3/90 23717
/proc/meminfo: memFree=1835328/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=6.21
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 19468 0 1 0 605 16 0 0 18 0 9 0 44356742 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 18798 2006 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=5.87
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15804 0 1 0 574 13 0 0 25 0 9 0 44356744 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4126880753 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=0.08
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 2286 0 0 0 7 1 0 0 17 0 9 0 44356745 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.22
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 682 0 0 0 22 0 0 0 15 0 9 0 44356748 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867608

[startup+12.7021 s]
/proc/loadavg: 2.16 2.31 2.45 3/90 23717
/proc/meminfo: memFree=1820360/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=12.55
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 22845 0 1 0 1235 20 0 0 18 0 9 0 44356742 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 22171 2007 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=12.05
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15813 0 1 0 1190 15 0 0 25 0 9 0 44356744 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 102605492 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=0.2
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 5633 0 0 0 17 3 0 0 16 0 9 0 44356745 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.27
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 703 0 0 0 26 1 0 0 15 0 9 0 44356748 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 22171 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867608

[startup+25.5025 s]
/proc/loadavg: 2.14 2.30 2.44 3/90 23717
/proc/meminfo: memFree=1802632/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867696 CPUtime=25.19
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 27193 0 1 0 2492 27 0 0 18 0 9 0 44356742 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216924 26325 2640 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867696 CPUtime=24.33
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15877 0 1 0 2413 20 0 0 25 0 9 0 44356744 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4126869111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867696 CPUtime=0.51
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 9891 0 0 0 47 4 0 0 16 0 9 0 44356745 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356746 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867696 CPUtime=0.32
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 729 0 0 0 31 1 0 0 16 0 9 0 44356748 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888520704 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867696

[startup+51.1021 s]
/proc/loadavg: 2.15 2.29 2.44 3/90 23717
/proc/meminfo: memFree=1799112/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867696 CPUtime=50.54
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 27195 0 1 0 5023 31 0 0 18 0 9 0 44356742 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216924 26326 2640 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867696 CPUtime=49.67
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15878 0 1 0 4943 24 0 0 25 0 9 0 44356744 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4126869217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867696 CPUtime=0.51
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 9891 0 0 0 47 4 0 0 16 0 9 0 44356745 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356746 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867696 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867696 CPUtime=0.32
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 730 0 0 0 31 1 0 0 16 0 9 0 44356748 888520704 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867696 CPUtime=0

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

/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85076 0 1 0 18932 69 0 0 18 0 9 0 44356742 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84138 2619 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=188.55
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15956 0 1 0 18818 37 0 0 25 0 9 0 44356744 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4126869104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.05
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 67655 0 0 0 76 29 0 0 16 0 9 0 44356745 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 751 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84138 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (KiB) 867608

[startup+195.102 s]
/proc/loadavg: 2.09 2.19 2.37 3/90 23717
/proc/meminfo: memFree=1550600/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=193.18
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85079 0 1 0 19249 69 0 0 18 0 9 0 44356742 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84140 2619 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=191.72
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15957 0 1 0 19135 37 0 0 25 0 9 0 44356744 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4126888916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.05
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 67655 0 0 0 76 29 0 0 16 0 9 0 44356745 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.18
Current children cumulated vsize (KiB) 867608

[startup+198.301 s]
/proc/loadavg: 2.08 2.18 2.37 3/90 23717
/proc/meminfo: memFree=1550344/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=196.35
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85079 0 1 0 19566 69 0 0 18 0 9 0 44356742 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84140 2619 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=194.89
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15957 0 1 0 19452 37 0 0 25 0 9 0 44356744 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4127176508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.05
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 67655 0 0 0 76 29 0 0 16 0 9 0 44356745 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.35
Current children cumulated vsize (KiB) 867608

[startup+199.902 s]
/proc/loadavg: 2.08 2.18 2.37 3/90 23717
/proc/meminfo: memFree=1550216/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=197.94
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85079 0 1 0 19725 69 0 0 18 0 9 0 44356742 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84140 2619 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=196.48
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15957 0 1 0 19611 37 0 0 25 0 9 0 44356744 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4126863906 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.05
/proc/23708/task/23711/stat : 23711 (java) S 23706 23708 23671 0 -1 64 67655 0 0 0 76 29 0 0 16 0 9 0 44356745 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 197.94
Current children cumulated vsize (KiB) 867608

[startup+200.302 s]
/proc/loadavg: 2.08 2.18 2.37 4/90 23717
/proc/meminfo: memFree=1550152/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=198.33
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85082 0 1 0 19764 69 0 0 18 0 9 0 44356742 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84140 2618 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=196.84
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15959 0 1 0 19647 37 0 0 25 0 9 0 44356744 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.08
/proc/23708/task/23711/stat : 23711 (java) R 23706 23708 23671 0 -1 64 67656 0 0 0 79 29 0 0 16 0 9 0 44356745 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84140 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.33
Current children cumulated vsize (KiB) 867608

[startup+200.503 s]
/proc/loadavg: 2.08 2.18 2.37 4/90 23717
/proc/meminfo: memFree=1550152/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=198.53
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 85103 0 1 0 19784 69 0 0 18 0 9 0 44356742 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 84161 2618 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=196.84
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15959 0 1 0 19647 37 0 0 25 0 9 0 44356744 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.28
/proc/23708/task/23711/stat : 23711 (java) R 23706 23708 23671 0 -1 64 67677 0 0 0 99 29 0 0 16 0 9 0 44356745 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 84161 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (KiB) 867608

[startup+200.603 s]
/proc/loadavg: 2.08 2.18 2.37 4/90 23717
/proc/meminfo: memFree=1550152/2055920 swapFree=4181008/4192956
[pid=23708] ppid=23706 vsize=867608 CPUtime=198.62
/proc/23708/stat : 23708 (java) S 23706 23708 23671 0 -1 0 95944 0 1 0 19789 73 0 0 18 0 9 0 44356742 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23708/statm: 216902 95002 2618 9 0 211430 0
[pid=23708/tid=23710] ppid=23706 vsize=867608 CPUtime=196.84
/proc/23708/task/23710/stat : 23710 (java) R 23706 23708 23671 0 -1 64 15959 0 1 0 19647 37 0 0 25 0 9 0 44356744 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23711] ppid=23706 vsize=867608 CPUtime=1.37
/proc/23708/task/23711/stat : 23711 (java) R 23706 23708 23671 0 -1 64 78518 0 0 0 104 33 0 0 16 0 9 0 44356745 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23712] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23712/stat : 23712 (java) S 23706 23708 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356746 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23713] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23713/stat : 23713 (java) S 23706 23708 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356746 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23714] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23714/stat : 23714 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356748 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23715] ppid=23706 vsize=867608 CPUtime=0.37
/proc/23708/task/23715/stat : 23715 (java) S 23706 23708 23671 0 -1 64 753 0 0 0 36 1 0 0 15 0 9 0 44356748 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23716] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23716/stat : 23716 (java) S 23706 23708 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356748 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23708/tid=23717] ppid=23706 vsize=867608 CPUtime=0
/proc/23708/task/23717/stat : 23717 (java) S 23706 23708 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44356748 888430592 95002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.62
Current children cumulated vsize (KiB) 867608

Child status: 0
Real time (s): 200.687
CPU time (s): 198.7
CPU user time (s): 197.902
CPU system time (s): 0.797878
CPU usage (%): 99.0098
Max. virtual memory (cumulated for all children) (KiB): 867700

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

runsolver used 0.290955 second user time and 0.693894 second system time

The end

Launcher Data (download as text)

Begin job on node24 at 2008-07-12 17:28:58
IDJOB=1112996
IDBENCH=61509
IDSOLVER=360
FILE ID=node24/1112996-1215876538
PBS_JOBID= 7903616
Free space on /tmp= 66452 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/fapp/fapp07/normalized-fapp07-0600-6.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-1112996-1215876538/watcher-1112996-1215876538 -o /tmp/evaluation-result-1112996-1215876538/solver-1112996-1215876538 -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-1112996-1215876538.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d23de4e6fd19229cdf6e50664455956d
RANDOM SEED=2074988396

node24.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.220
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.220
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:       1905256 kB
Buffers:          3176 kB
Cached:          47256 kB
SwapCached:       5532 kB
Active:          91804 kB
Inactive:         7632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1905256 kB
SwapTotal:     4192956 kB
SwapFree:      4181008 kB
Dirty:            3924 kB
Writeback:           0 kB
Mapped:          65320 kB
Slab:            36268 kB
Committed_AS:   328588 kB
PageTables:       1972 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= 66452 MiB
End job on node24 at 2008-07-12 17:32:19