Trace number 1113008

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? 201.794 202.359

General information on the benchmark

Namecsp/fapp/fapp07/
normalized-fapp07-0600-7.xml
MD5SUMc3977aded3fc1b33631985df26116e6e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints25
Best CPU time to get the best result obtained on this benchmark3600
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.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-ddeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1113008-1215876750.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.38/0.47	     nbVariables=600  nbDomainTypes=28  minDomainSize=42  maxDomainSize=302  nbTotalValues=109658
0.38/0.47	       =>  wckTime=0.219  cpuTime=0.17  mem=11M762
0.38/0.47	   
0.38/0.47	   predicates being loaded...
0.48/0.53	   
0.48/0.53	   constraints being loaded...
10.43/10.58	   
10.43/10.58	   INFO : Stopping converting binary constraints (cpu=10.06, mem = 40M513)
13.50/13.68	     nbConstraints=8996  nbConvertedConstraints=1108  nbConvertConstraintsChecks=42672364  nbExtensionStructures=1056
13.50/13.68	     nbSharedExtensionStructures=148  nbConflictsStructures=2287  nbSharedConflictsStructures=248
13.50/13.68	     nbUnbuiltConflictsStructures=4794  nbSharedBinaryRepresentations=324577  nbEvaluationManagers=6025
13.50/13.68	     nbSharedEvaluationManagers=1863  minDegree=7  maxDegree=41  minArity=2  maxArity=2
13.50/13.68	       =>  wckTime=13.436  cpuTime=12.82  mem=40M476
13.70/13.89	   
13.70/13.89	   solver LocalSearchSolver being built... 
13.79/13.94	       =>  wckTime=13.692  cpuTime=12.86  mem=29M628
13.79/13.97	
13.79/13.97	s SATISFIABLE
13.79/13.97	o 1625
13.79/13.99	o 1614
13.89/14.01	o 1605
13.89/14.04	o 1597
13.89/14.06	o 1587
13.89/14.08	o 1578
13.99/14.11	o 1569
13.99/14.12	o 1561
13.99/14.14	o 1554
13.99/14.15	o 1548
13.99/14.17	o 1543
13.99/14.19	o 1538
14.09/14.20	o 1533
14.09/14.21	o 1529
14.09/14.23	o 1527
14.09/14.25	o 1519
14.09/14.27	o 1512
14.09/14.28	o 1506
14.09/14.30	o 1500
14.19/14.32	o 1496
14.19/14.34	o 1492
14.19/14.36	o 1488
14.19/14.37	o 1485
14.19/14.38	o 1483
14.28/14.40	o 1482
14.28/14.42	o 1475
14.28/14.44	o 1471
14.28/14.47	o 1468
14.28/14.49	o 1464
14.38/14.50	o 1461
14.38/14.52	o 1458
14.38/14.54	o 1456
14.38/14.56	o 1454
14.38/14.58	o 1452
14.48/14.61	o 1449
14.48/14.65	o 1448
14.48/14.68	o 1445
14.48/14.69	o 1442
14.58/14.71	o 1437
14.58/14.73	o 1432
14.58/14.73	o 1430
14.58/14.75	o 1426
14.58/14.79	o 1420
14.68/14.82	o 1415
14.68/14.83	o 1411
14.68/14.85	o 1407
14.68/14.87	o 1406
14.68/14.89	o 1402
14.78/14.91	o 1399
14.78/14.93	o 1396
14.78/14.94	o 1393
14.78/14.96	o 1391
14.78/14.97	o 1389
14.78/14.99	o 1387
14.88/15.01	o 1386
14.88/15.02	o 1385
14.88/15.02	o 1384
14.88/15.03	o 1379
14.88/15.05	o 1377
14.88/15.07	o 1374
14.88/15.08	o 1370
14.88/15.09	o 1368
14.98/15.14	o 1366
14.98/15.15	o 1360
14.98/15.16	o 1355
14.98/15.17	o 1350
14.98/15.18	o 1345
15.07/15.20	o 1338
15.07/15.23	o 1334
15.07/15.24	o 1331
15.07/15.26	o 1324
15.07/15.27	o 1322
15.07/15.29	o 1318
15.18/15.33	o 1314
15.18/15.34	o 1309
15.18/15.35	o 1306
15.18/15.37	o 1303
15.18/15.38	o 1301
15.18/15.39	o 1298
15.28/15.41	o 1297
15.28/15.42	o 1295
15.28/15.44	o 1294
15.28/15.45	o 1288
15.28/15.46	o 1285
15.28/15.48	o 1284
15.28/15.49	o 1283
15.37/15.51	o 1277
15.37/15.52	o 1274
15.37/15.55	o 1269
15.37/15.57	o 1265
15.37/15.60	o 1264
15.47/15.60	o 1262
15.47/15.62	o 1261
15.47/15.64	o 1259
15.47/15.64	o 1258
15.47/15.65	o 1249
15.47/15.68	o 1244
15.56/15.70	o 1241
15.56/15.72	o 1238
15.56/15.73	o 1232
15.56/15.76	o 1230
15.56/15.79	o 1227
15.66/15.81	o 1225
15.66/15.82	o 1223
15.66/15.84	o 1221
15.66/15.85	o 1219
15.66/15.86	o 1217
15.66/15.87	o 1215
15.66/15.89	o 1214
15.76/15.90	o 1213
15.76/15.91	o 1208
15.76/15.93	o 1205
15.76/15.93	o 1203
15.76/15.94	o 1200
15.76/15.96	o 1197
15.76/15.99	o 1195
15.85/16.00	o 1191
15.85/16.03	o 1189
15.85/16.05	o 1186
15.85/16.07	o 1181
15.85/16.08	o 1177
15.95/16.10	o 1174
15.95/16.12	o 1169
15.95/16.15	o 1168
15.95/16.17	o 1167
15.95/16.19	o 1166
16.05/16.21	o 1163
16.05/16.24	o 1162
16.05/16.26	o 1161
16.05/16.28	o 1158
16.05/16.30	o 1152
16.14/16.31	o 1148
16.14/16.33	o 1146
16.14/16.35	o 1145
16.14/16.37	o 1141
16.14/16.39	o 1137
16.14/16.40	o 1135
16.25/16.42	o 1134
16.25/16.44	o 1132
16.25/16.45	o 1131
16.25/16.48	o 1126
16.25/16.50	o 1124
16.35/16.51	o 1122
16.35/16.53	o 1121
16.35/16.55	o 1119
16.35/16.56	o 1117
16.35/16.58	o 1114
16.45/16.60	o 1110
16.45/16.62	o 1108
16.45/16.64	o 1106
16.45/16.66	o 1104
16.55/16.70	o 1101
16.55/16.74	o 1099
16.65/16.81	o 1097
16.65/16.83	o 1094
16.65/16.84	o 1091
16.65/16.87	o 1090
16.65/16.90	o 1088
16.75/16.92	o 1082
16.75/16.94	o 1080
16.75/16.97	o 1076
16.75/16.99	o 1073
16.85/17.05	o 1070
16.85/17.09	o 1064
16.95/17.13	o 1063
16.95/17.16	o 1060
17.05/17.24	o 1058
17.05/17.26	o 1056
17.05/17.27	o 1053
17.05/17.29	o 1048
17.14/17.31	o 1046
17.14/17.33	o 1041
17.14/17.35	o 1037
17.14/17.38	o 1032
17.24/17.41	o 1028
17.34/17.55	o 1023
17.34/17.57	o 1022
17.44/17.62	o 1021
17.44/17.64	o 1017
17.44/17.67	o 1016
17.54/17.70	o 1012
17.54/17.73	o 1011
17.54/17.76	o 1009
17.54/17.80	o 1008
17.64/17.86	o 1007
17.74/17.97	o 1006
17.74/17.99	o 1004
17.84/18.03	o 1003
18.04/18.28	o 1001
18.14/18.32	o 997
18.14/18.35	o 995
18.24/18.42	o 991
18.33/18.59	o 989
18.44/18.62	o 986
18.44/18.63	o 982
18.44/18.66	o 977
18.54/18.71	o 976
18.54/18.74	o 974
18.54/18.77	o 973
18.63/18.88	o 971
18.73/18.93	o 970
18.73/18.95	o 969
18.73/18.97	o 967
18.73/18.99	o 966
18.83/19.01	o 964
18.93/19.12	o 962
18.93/19.14	o 961
19.03/19.26	o 960
19.03/19.29	o 956
19.13/19.31	o 954
19.13/19.34	o 951
19.13/19.37	o 950
19.23/19.46	o 945
19.23/19.49	o 942
19.33/19.53	o 940
19.33/19.56	o 936
19.42/19.68	o 934
19.53/19.71	o 931
19.53/19.74	o 928
19.53/19.76	o 924
19.53/19.79	o 922
19.62/19.82	o 920
19.72/19.95	o 918
19.72/19.98	o 915
19.82/20.02	o 913
19.82/20.06	o 910
19.82/20.09	o 908
19.92/20.19	o 907
20.02/20.22	o 904
20.02/20.25	o 900
20.02/20.30	o 899
20.12/20.32	o 898
20.12/20.35	o 891
20.12/20.36	o 890
20.12/20.38	o 886
20.21/20.41	o 884
20.21/20.43	o 879
20.21/20.45	o 876
20.21/20.48	o 873
20.31/20.51	o 871
20.31/20.54	o 870
20.31/20.56	o 869
20.41/20.62	o 867
20.41/20.64	o 865
20.41/20.67	o 863
20.51/20.70	o 861
20.51/20.74	o 857
20.51/20.77	o 855
20.51/20.79	o 854
20.61/20.83	o 851
20.61/20.88	o 850
20.72/20.92	o 849
20.81/21.00	o 846
20.81/21.07	o 845
20.91/21.10	o 840
20.91/21.14	o 838
21.01/21.24	o 837
21.01/21.27	o 834
21.11/21.34	o 832
21.11/21.39	o 831
21.21/21.50	o 830
21.31/21.58	o 825
21.41/21.65	o 822
21.51/21.71	o 820
21.51/21.79	o 819
21.60/21.81	o 817
21.60/21.85	o 815
21.60/21.90	o 812
21.71/21.97	o 809
21.81/22.01	o 808
21.81/22.05	o 805
21.81/22.09	o 802
21.90/22.13	o 796
21.90/22.16	o 794
22.00/22.21	o 792
22.00/22.25	o 789
22.10/22.30	o 788
22.10/22.34	o 785
22.20/22.46	o 784
22.20/22.49	o 781
22.40/22.66	o 777
22.40/22.70	o 775
22.50/22.74	o 774
22.50/22.79	o 772
22.60/22.84	o 770
22.69/22.96	o 769
22.69/22.99	o 766
22.80/23.07	o 765
22.90/23.11	o 761
22.90/23.16	o 758
22.90/23.19	o 754
22.99/23.22	o 750
22.99/23.26	o 748
23.09/23.30	o 747
23.09/23.35	o 743
23.19/23.43	o 742
23.30/23.55	o 741
23.40/23.62	o 740
23.50/23.70	o 739
23.50/23.74	o 738
23.50/23.77	o 735
23.60/23.81	o 732
23.70/23.96	o 727
23.79/24.03	o 726
23.79/24.07	o 722
23.90/24.11	o 720
23.90/24.15	o 719
23.90/24.19	o 716
24.00/24.23	o 714
24.39/24.64	o 713
24.39/24.69	o 710
24.49/24.79	o 708
24.59/24.85	o 705
24.69/24.94	o 700
24.69/24.99	o 698
25.18/25.43	o 696
25.18/25.48	o 693
25.28/25.51	o 691
25.28/25.56	o 690
25.38/25.61	o 689
25.48/25.74	o 688
25.48/25.79	o 686
25.58/25.84	o 685
25.58/25.89	o 684
25.78/26.09	o 683
25.88/26.14	o 681
25.97/26.23	o 679
25.97/26.27	o 678
26.08/26.38	o 674
26.18/26.43	o 673
26.18/26.49	o 672
26.37/26.60	o 670
26.37/26.66	o 668
26.47/26.72	o 666
26.47/26.76	o 665
26.57/26.81	o 657
26.57/26.86	o 653
26.67/26.91	o 650
26.67/26.96	o 648
26.87/27.10	o 646
26.87/27.15	o 644
26.87/27.19	o 643
26.97/27.25	o 642
27.06/27.35	o 641
27.06/27.40	o 635
27.17/27.44	o 633
27.17/27.48	o 631
27.27/27.53	o 628
27.27/27.58	o 625
27.76/28.00	o 623
27.76/28.05	o 622
27.86/28.15	o 621
27.96/28.27	o 620
28.06/28.32	o 618
28.16/28.49	o 617
28.27/28.54	o 614
28.37/28.66	o 613
28.47/28.71	o 612
28.57/28.89	o 611
28.67/28.92	o 607
28.77/29.04	o 605
28.87/29.10	o 604
28.87/29.17	o 601
28.97/29.23	o 600
29.37/29.65	o 597
29.47/29.71	o 594
29.66/29.99	o 592
29.96/30.23	o 590
29.96/30.28	o 588
30.06/30.38	o 587
30.16/30.49	o 586
30.26/30.54	o 584
30.47/30.78	o 582
30.57/30.85	o 579
30.66/30.92	o 577
30.66/30.99	o 575
30.76/31.05	o 574
31.46/31.74	o 573
31.56/31.88	o 571
31.66/31.94	o 570
31.66/31.99	o 567
31.86/32.10	o 566
31.86/32.18	o 563
31.96/32.21	o 562
31.96/32.26	o 559
32.06/32.36	o 558
32.16/32.41	o 557
32.16/32.46	o 556
32.26/32.51	o 553
32.26/32.56	o 551
32.36/32.62	o 550
32.36/32.68	o 549
32.46/32.74	o 547
32.56/32.85	o 545
32.76/33.08	o 544
33.46/33.79	o 543
33.66/33.98	o 542
34.35/34.61	o 540
34.35/34.66	o 538
34.45/34.71	o 537
34.45/34.76	o 534
34.55/34.81	o 532
34.75/35.02	o 530
34.86/35.13	o 529
34.96/35.23	o 528
35.15/35.40	o 524
35.36/35.63	o 520
35.36/35.69	o 519
35.46/35.76	o 518
35.56/35.89	o 517
35.66/35.94	o 516
35.86/36.18	o 513
35.96/36.23	o 512
35.96/36.29	o 507
36.06/36.35	o 504
36.16/36.42	o 502
36.16/36.48	o 498
36.36/36.64	o 497
36.46/36.70	o 494
36.46/36.75	o 492
36.56/36.80	o 490
36.56/36.88	o 487
36.65/36.91	o 486
36.65/36.94	o 482
36.65/36.98	o 480
36.75/37.02	o 478
36.75/37.06	o 475
36.85/37.15	o 474
36.95/37.20	o 470
36.95/37.25	o 468
36.95/37.30	o 467
37.06/37.34	o 466
37.06/37.37	o 465
37.25/37.52	o 464
37.25/37.60	o 463
37.35/37.64	o 461
37.55/37.88	o 460
38.05/38.35	o 457
38.05/38.39	o 454
38.15/38.41	o 451
38.15/38.44	o 449
38.15/38.49	o 448
38.25/38.54	o 446
38.34/38.62	o 441
38.34/38.64	o 438
38.45/38.72	o 437
38.55/38.80	o 435
38.55/38.85	o 433
38.85/39.14	o 432
38.85/39.19	o 430
38.95/39.24	o 428
39.05/39.38	o 426
39.15/39.42	o 425
39.15/39.46	o 421
39.55/39.82	o 419
39.55/39.87	o 418
39.64/39.92	o 416
39.94/40.21	o 412
39.94/40.27	o 409
40.04/40.32	o 407
40.14/40.46	o 406
40.24/40.56	o 405
40.35/40.61	o 404
40.35/40.66	o 400
40.84/41.11	o 398
40.84/41.16	o 397
40.94/41.22	o 396
41.14/41.45	o 395
41.24/41.50	o 393
41.34/41.61	o 392
41.74/42.01	o 390
41.74/42.07	o 386
41.84/42.13	o 384
41.84/42.18	o 381
42.34/42.70	o 379
42.55/42.83	o 377
42.55/42.88	o 376
42.65/42.92	o 373
42.74/43.01	o 370
42.74/43.04	o 367
42.84/43.14	o 366
43.34/43.62	o 364
43.34/43.67	o 363
43.44/43.72	o 362
43.54/43.80	o 361
43.54/43.89	o 359
43.65/43.99	o 358
43.75/44.04	o 357
43.84/44.14	o 354
43.84/44.19	o 353
44.24/44.59	o 351
44.34/44.65	o 350
44.44/44.71	o 347
44.44/44.75	o 346
44.54/44.87	o 344
45.04/45.34	o 343
45.24/45.59	o 341
45.94/46.29	o 340
46.14/46.46	o 339
46.53/46.81	o 338
46.53/46.86	o 337
47.74/48.00	o 334
47.84/48.12	o 331
47.84/48.19	o 330
48.84/49.16	o 327
48.94/49.22	o 326
48.94/49.29	o 325
49.64/49.99	o 324
49.74/50.07	o 323
49.84/50.14	o 322
50.24/50.57	o 321
50.34/50.62	o 319
50.34/50.69	o 318
51.63/51.95	o 317
51.73/52.09	o 316
52.13/52.42	o 315
52.13/52.49	o 314
52.23/52.56	o 313
52.73/53.00	o 311
52.73/53.07	o 310
53.64/53.91	o 309
54.23/54.53	o 308
55.63/55.92	o 307
55.73/56.01	o 305
55.73/56.10	o 304
55.83/56.18	o 303
55.93/56.26	o 299
56.03/56.34	o 296
56.13/56.43	o 294
56.13/56.48	o 293
56.23/56.56	o 291
56.33/56.64	o 290
56.63/56.97	o 289
56.73/57.06	o 287
56.84/57.14	o 285
57.13/57.44	o 284
57.23/57.52	o 283
62.02/62.31	o 282
63.62/63.92	o 281
63.62/63.99	o 279
63.82/64.19	o 278
64.52/64.83	o 276
64.62/64.92	o 275
64.62/65.00	o 273
64.72/65.09	o 270
64.82/65.18	o 269
65.12/65.43	o 268
66.01/66.31	o 267
66.01/66.38	o 264
66.12/66.46	o 263
66.22/66.53	o 261
66.22/66.58	o 258
66.32/66.66	o 257
66.32/66.67	o 256
66.42/66.74	o 255
66.42/66.80	o 251
66.92/67.25	o 249
67.02/67.33	o 248
67.12/67.40	o 247
67.12/67.49	o 246
67.32/67.69	o 245
67.52/67.85	o 244
67.61/67.92	o 241
68.21/68.53	o 240
68.31/68.61	o 239
68.31/68.68	o 238
68.41/68.76	o 237
68.51/68.81	o 236
69.61/69.99	o 235
69.71/70.08	o 234
69.91/70.24	o 233
69.91/70.30	o 232
70.02/70.37	o 231
70.12/70.45	o 229
70.31/70.62	o 228
70.41/70.72	o 227
70.51/70.81	o 226
70.51/70.89	o 224
70.61/70.94	o 221
70.71/71.02	o 220
71.01/71.37	o 219
71.12/71.47	o 218
71.81/72.17	o 216
72.11/72.43	o 214
72.51/72.84	o 213
72.71/73.01	o 211
73.31/73.62	o 209
73.41/73.80	o 208
73.51/73.89	o 206
73.90/74.25	o 205
74.10/74.41	o 204
74.30/74.60	o 202
74.30/74.68	o 201
74.60/74.97	o 200
74.81/75.12	o 199
74.91/75.21	o 197
74.91/75.29	o 194
75.01/75.37	o 192
75.21/75.54	o 191
75.71/76.07	o 190
76.01/76.37	o 189
76.31/76.68	o 188
97.39/97.77	o 187
97.59/97.97	o 186
98.39/98.75	o 184
98.69/99.09	o 183
99.09/99.44	o 182
99.59/99.93	o 181
99.59/100.00	o 178
99.79/100.11	o 177
99.99/100.35	o 176
100.08/100.47	o 173
101.18/101.56	o 172
101.58/101.91	o 171
103.38/103.79	o 170
103.68/104.07	o 169
103.78/104.20	o 167
105.88/106.26	o 165
106.18/106.56	o 164
108.88/109.25	o 161
109.48/109.80	o 160
109.68/110.02	o 158
109.98/110.37	o 157
110.08/110.43	o 156
110.28/110.66	o 155
110.48/110.90	o 154
110.68/111.08	o 153
110.88/111.27	o 152
111.08/111.50	o 150
111.88/112.29	o 149
112.17/112.52	o 148
113.37/113.73	o 147
114.17/114.50	o 145
114.67/115.06	o 144
114.77/115.17	o 143
114.97/115.39	o 140
115.07/115.46	o 139
115.57/115.97	o 138
115.67/116.08	o 137
145.05/145.48	o 136
145.14/145.55	o 135
145.24/145.64	o 134
145.34/145.76	o 133
148.44/148.80	o 131
148.74/149.14	o 130
148.94/149.37	o 129
149.05/149.48	o 127
149.75/150.13	o 126
150.25/150.65	o 125
163.23/163.65	o 122
163.33/163.79	o 121
193.42/193.82	   
193.42/193.82	   search
193.42/193.82	     run=0  nbConstraintChecks=490105810  nbAssignments=2277
193.42/193.82	       =>  wckTime=179.882  cpuTime=179.57  mem=30M633
193.42/193.82	   
193.42/193.82	   global
193.42/193.82	     nbConstraintChecks=490105810  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
193.42/193.82	     solvingWckTime=179.878  solvingCpuTime=179.57  expiredTime=no  totalExploration=no  nbFoundSolutions=0
193.42/193.82	     globalCpuTime=192.47
193.42/193.82	       =>  wckTime=193.574  cpuTime=192.43  mem=30M633
193.42/193.82	   
193.42/193.82	   solver DecomposerSolver being built... 
194.22/194.76	       =>  wckTime=194.514  cpuTime=192.79  mem=305M819
201.40/201.94	   
201.40/201.94	   preprocessing
201.40/201.94	     nbConstraintChecks=23866697  nbValidityChecks=158608  nbPropagations=601  nbRevisions=13156
201.40/201.94	     nbUselessRevisions=13149  nbRemovedValues=816  detectedInconsistency=no
201.40/201.94	       =>  wckTime=7.176  cpuTime=7.14  mem=305M819
201.69/202.25	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-1113008-1215876750/watcher-1113008-1215876750 -o /tmp/evaluation-result-1113008-1215876750/solver-1113008-1215876750 -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-1113008-1215876750.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.64 2.88 3.06 4/82 19739
/proc/meminfo: memFree=132552/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=1616 CPUtime=0
/proc/19739/stat : 19739 (java) R 19737 19739 19376 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 44374282 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/19739/statm: 404 148 122 9 0 46 0

[startup+0.0587021 s]
/proc/loadavg: 2.64 2.88 3.06 4/82 19739
/proc/meminfo: memFree=132552/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=864076 CPUtime=0.04
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 2798 0 1 0 3 1 0 0 18 0 9 0 44374282 884813824 2337 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216019 2337 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076

[startup+0.102711 s]
/proc/loadavg: 2.64 2.88 3.06 4/82 19739
/proc/meminfo: memFree=132552/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=865988 CPUtime=0.09
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 3741 0 1 0 7 2 0 0 18 0 9 0 44374282 886771712 3207 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216497 3209 1694 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.302744 s]
/proc/loadavg: 2.64 2.88 3.06 4/82 19739
/proc/meminfo: memFree=132552/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=866388 CPUtime=0.28
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 5870 0 1 0 25 3 0 0 18 0 9 0 44374282 887181312 5245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216597 5246 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701819 s]
/proc/loadavg: 2.64 2.88 3.06 4/82 19739
/proc/meminfo: memFree=132552/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=0.68
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 9525 0 1 0 63 5 0 0 18 0 9 0 44374282 888520704 8886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 8887 2010 9 0 211430 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867696

[startup+1.50196 s]
/proc/loadavg: 2.59 2.87 3.05 3/91 19748
/proc/meminfo: memFree=83392/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=1.48
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 16442 0 1 0 138 10 0 0 18 0 9 0 44374282 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 15800 2014 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867696 CPUtime=1.28
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15091 0 1 0 120 8 0 0 25 0 9 0 44374283 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4126868281 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44374285 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 44374285 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 44374285 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.17
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 653 0 0 0 17 0 0 0 15 0 9 0 44374287 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888520704 15800 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867696

[startup+3.10225 s]
/proc/loadavg: 2.59 2.87 3.05 4/91 19748
/proc/meminfo: memFree=59008/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=3.07
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 19459 0 1 0 295 12 0 0 18 0 9 0 44374282 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 18793 2005 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=2.77
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15797 0 1 0 267 10 0 0 25 0 9 0 44374283 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4126880823 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.07
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 2289 0 0 0 7 0 0 0 17 0 9 0 44374285 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.19
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 676 0 0 0 19 0 0 0 15 0 9 0 44374287 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 18793 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867608

[startup+6.30184 s]
/proc/loadavg: 2.59 2.87 3.05 3/91 19748
/proc/meminfo: memFree=48704/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=6.26
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 19477 0 1 0 612 14 0 0 18 0 9 0 44374282 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 18807 2006 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=5.93
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15804 0 1 0 582 11 0 0 25 0 9 0 44374283 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4126863872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.07
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 2289 0 0 0 7 0 0 0 17 0 9 0 44374285 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.21
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 687 0 0 0 21 0 0 0 15 0 9 0 44374287 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 18807 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867608

[startup+12.702 s]
/proc/loadavg: 2.50 2.84 3.04 3/91 19748
/proc/meminfo: memFree=13504/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=12.62
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 22896 0 1 0 1244 18 0 0 18 0 9 0 44374282 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 22223 2007 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=12.16
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15812 0 1 0 1202 14 0 0 25 0 9 0 44374283 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4127077976 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.19
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 5684 0 0 0 17 2 0 0 16 0 9 0 44374285 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.24
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 703 0 0 0 24 0 0 0 15 0 9 0 44374287 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 22223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867608

[startup+25.5023 s]
/proc/loadavg: 2.49 2.83 3.04 3/91 19748
/proc/meminfo: memFree=15424/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=25.28
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 27287 0 1 0 2502 26 0 0 18 0 9 0 44374282 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 26420 2640 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867696 CPUtime=24.47
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15875 0 1 0 2428 19 0 0 25 0 9 0 44374283 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4126887024 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867696 CPUtime=0.49
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 9985 0 0 0 45 4 0 0 16 0 9 0 44374285 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.29
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 730 0 0 0 28 1 0 0 16 0 9 0 44374287 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888520704 26420 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 867696

[startup+51.103 s]
/proc/loadavg: 2.32 2.76 3.01 3/91 19748
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=50.84
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 27289 0 1 0 5052 32 0 0 18 0 9 0 44374282 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 26421 2640 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867696 CPUtime=50.02
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15876 0 1 0 4977 25 0 0 25 0 9 0 44374283 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4126457635 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867696 CPUtime=0.49
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 9985 0 0 0 45 4 0 0 16 0 9 0 44374285 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.3
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 731 0 0 0 29 1 0 0 16 0 9 0 44374287 888520704 26421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0

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

/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.3
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 735 0 0 0 29 1 0 0 17 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 867696

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

[startup+179.101 s]
/proc/loadavg: 2.05 2.50 2.87 3/91 19748
/proc/meminfo: memFree=15616/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=178.72
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 27293 0 1 0 17817 55 0 0 18 0 9 0 44374282 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 26425 2640 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867696 CPUtime=177.9
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15876 0 1 0 17742 48 0 0 25 0 9 0 44374283 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4126867639 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867696 CPUtime=0.49
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 9985 0 0 0 45 4 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.3
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 735 0 0 0 29 1 0 0 17 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 178.72
Current children cumulated vsize (KiB) 867696

[startup+191.903 s]
/proc/loadavg: 2.04 2.47 2.86 3/91 19748
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867696 CPUtime=191.52
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 27293 0 1 0 19096 56 0 0 18 0 9 0 44374282 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216924 26425 2640 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867696 CPUtime=190.7
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15876 0 1 0 19021 49 0 0 25 0 9 0 44374283 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4127182179 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867696 CPUtime=0.49
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 9985 0 0 0 45 4 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44374285 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867696 CPUtime=0.3
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 735 0 0 0 29 1 0 0 17 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867696 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888520704 26425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 191.52
Current children cumulated vsize (KiB) 867696

[startup+198.303 s]
/proc/loadavg: 2.11 2.48 2.86 3/91 19748
/proc/meminfo: memFree=15232/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=197.8
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 85319 0 1 0 19702 78 0 0 18 0 9 0 44374282 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 84381 2619 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=196.49
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15955 0 1 0 19599 50 0 0 25 0 9 0 44374283 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4126863714 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.94
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 67895 0 0 0 69 25 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.34
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 754 0 0 0 33 1 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.8
Current children cumulated vsize (KiB) 867608

[startup+199.901 s]
/proc/loadavg: 2.11 2.48 2.86 3/91 19748
/proc/meminfo: memFree=16128/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=199.4
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 85319 0 1 0 19861 79 0 0 18 0 9 0 44374282 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 84381 2619 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=198.08
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15955 0 1 0 19758 50 0 0 25 0 9 0 44374283 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4126868241 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.94
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 67895 0 0 0 69 25 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.34
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 754 0 0 0 33 1 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.4
Current children cumulated vsize (KiB) 867608

[startup+201.502 s]
/proc/loadavg: 2.10 2.47 2.86 3/91 19748
/proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=201
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 85319 0 1 0 20021 79 0 0 18 0 9 0 44374282 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 84381 2619 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=199.68
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15955 0 1 0 19918 50 0 0 25 0 9 0 44374283 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4126867193 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.94
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 67895 0 0 0 69 25 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.34
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 754 0 0 0 33 1 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201
Current children cumulated vsize (KiB) 867608

[startup+201.902 s]
/proc/loadavg: 2.10 2.47 2.86 3/91 19748
/proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=867608 CPUtime=201.4
/proc/19739/stat : 19739 (java) S 19737 19739 19376 0 -1 0 85319 0 1 0 20061 79 0 0 18 0 9 0 44374282 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 216902 84381 2619 9 0 211430 0
[pid=19739/tid=19741] ppid=19737 vsize=867608 CPUtime=200.08
/proc/19739/task/19741/stat : 19741 (java) R 19737 19739 19376 0 -1 64 15955 0 1 0 19958 50 0 0 25 0 9 0 44374283 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4126863681 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19742] ppid=19737 vsize=867608 CPUtime=0.94
/proc/19739/task/19742/stat : 19742 (java) S 19737 19739 19376 0 -1 64 67895 0 0 0 69 25 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19743] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19743/stat : 19743 (java) S 19737 19739 19376 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19744] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19744/stat : 19744 (java) S 19737 19739 19376 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44374285 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19745] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19745/stat : 19745 (java) S 19737 19739 19376 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19746] ppid=19737 vsize=867608 CPUtime=0.34
/proc/19739/task/19746/stat : 19746 (java) S 19737 19739 19376 0 -1 64 754 0 0 0 33 1 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19747] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19747/stat : 19747 (java) S 19737 19739 19376 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19739/tid=19748] ppid=19737 vsize=867608 CPUtime=0
/proc/19739/task/19748/stat : 19748 (java) S 19737 19739 19376 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44374287 888430592 84381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.4
Current children cumulated vsize (KiB) 867608

[startup+202.303 s]
/proc/loadavg: 2.10 2.47 2.86 3/84 19748
/proc/meminfo: memFree=102592/2055920 swapFree=4192812/4192956
[pid=19739] ppid=19737 vsize=0 CPUtime=201.75
/proc/19739/stat : 19739 (java) Z 19737 19739 19376 0 -1 12 96105 0 1 0 20090 85 0 0 16 0 2 0 44374282 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 201.75
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 202.359
CPU time (s): 201.794
CPU user time (s): 200.905
CPU system time (s): 0.888864
CPU usage (%): 99.7209
Max. virtual memory (cumulated for all children) (KiB): 867696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.905
system time used= 0.888864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96105
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= 6014
involuntary context switches= 8525

runsolver used 0.292955 second user time and 0.734888 second system time

The end

Launcher Data (download as text)

Begin job on node45 at 2008-07-12 17:32:30
IDJOB=1113008
IDBENCH=61511
IDSOLVER=360
FILE ID=node45/1113008-1215876750
PBS_JOBID= 7903551
Free space on /tmp= 65144 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c3977aded3fc1b33631985df26116e6e
RANDOM SEED=1411449155

node45.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.281
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.281
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:        133032 kB
Buffers:         27336 kB
Cached:        1425620 kB
SwapCached:          0 kB
Active:        1809480 kB
Inactive:        29380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        133032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          209112 kB
Writeback:           0 kB
Mapped:         407104 kB
Slab:            68412 kB
Committed_AS:   803756 kB
PageTables:       2748 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= 64472 MiB
End job on node45 at 2008-07-12 17:35:52