Trace number 1113007

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-w? 165.632 167.281

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.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.17/0.25	
0.17/0.25	   configuration
0.17/0.25	     name=mrdac-wdeg.xml
0.28/0.33	   
0.28/0.33	   instance
0.28/0.33	     name=HOME/instance-1113007-1215876739.xml
0.28/0.37	   
0.28/0.37	   domains being loaded...
0.38/0.45	   
0.38/0.45	   variables being loaded...
0.58/0.61	     nbVariables=600  nbDomainTypes=28  minDomainSize=42  maxDomainSize=302  nbTotalValues=109658
0.58/0.61	       =>  wckTime=0.359  cpuTime=0.26  mem=11M762
0.58/0.61	   
0.58/0.61	   predicates being loaded...
0.58/0.68	   
0.58/0.68	   constraints being loaded...
10.59/10.70	   
10.59/10.70	   INFO : Stopping converting binary constraints (cpu=10.08, mem = 37M587)
13.86/14.10	     nbConstraints=8996  nbConvertedConstraints=1023  nbConvertConstraintsChecks=39936616  nbExtensionStructures=979
13.86/14.10	     nbSharedExtensionStructures=132  nbConflictsStructures=2217  nbSharedConflictsStructures=233
13.86/14.10	     nbUnbuiltConflictsStructures=4838  nbSharedBinaryRepresentations=297793  nbEvaluationManagers=6076
13.86/14.10	     nbSharedEvaluationManagers=1897  minDegree=7  maxDegree=41  minArity=2  maxArity=2
13.86/14.10	       =>  wckTime=13.846  cpuTime=13.11  mem=38M468
14.16/14.31	   
14.16/14.31	   solver LocalSearchSolver being built... 
14.16/14.36	       =>  wckTime=14.113  cpuTime=13.15  mem=29M258
14.25/14.40	
14.25/14.40	s SATISFIABLE
14.25/14.40	o 1625
14.25/14.42	o 1614
14.25/14.44	o 1605
14.25/14.47	o 1597
14.25/14.49	o 1587
14.34/14.52	o 1578
14.34/14.55	o 1569
14.34/14.56	o 1561
14.34/14.58	o 1554
14.44/14.60	o 1548
14.44/14.62	o 1543
14.44/14.64	o 1538
14.44/14.65	o 1533
14.44/14.67	o 1529
14.44/14.69	o 1527
14.54/14.70	o 1519
14.54/14.73	o 1512
14.54/14.74	o 1506
14.54/14.76	o 1500
14.54/14.78	o 1496
14.64/14.81	o 1492
14.64/14.82	o 1488
14.64/14.84	o 1485
14.64/14.85	o 1483
14.64/14.87	o 1482
14.64/14.89	o 1475
14.74/14.91	o 1471
14.74/14.94	o 1468
14.74/14.97	o 1464
14.74/14.98	o 1461
14.84/15.00	o 1458
14.84/15.03	o 1456
14.84/15.05	o 1454
14.84/15.07	o 1452
14.94/15.11	o 1449
14.94/15.15	o 1448
14.94/15.17	o 1445
14.94/15.19	o 1442
15.04/15.21	o 1437
15.04/15.23	o 1432
15.04/15.24	o 1430
15.04/15.26	o 1426
15.14/15.31	o 1420
15.14/15.33	o 1415
15.14/15.35	o 1411
15.14/15.38	o 1407
15.14/15.40	o 1406
15.24/15.42	o 1402
15.24/15.43	o 1399
15.24/15.46	o 1396
15.24/15.47	o 1393
15.24/15.49	o 1391
15.33/15.51	o 1389
15.33/15.52	o 1387
15.33/15.54	o 1386
15.33/15.55	o 1385
15.33/15.57	o 1384
15.33/15.58	o 1379
15.33/15.60	o 1377
15.42/15.61	o 1374
15.42/15.63	o 1370
15.42/15.64	o 1368
15.42/15.69	o 1366
15.52/15.70	o 1360
15.52/15.71	o 1355
15.52/15.72	o 1350
15.52/15.74	o 1345
15.52/15.75	o 1338
15.52/15.78	o 1334
15.62/15.80	o 1331
15.62/15.82	o 1324
15.62/15.83	o 1322
15.62/15.85	o 1318
15.62/15.89	o 1314
15.72/15.91	o 1309
15.72/15.92	o 1306
15.72/15.94	o 1303
15.72/15.95	o 1301
15.72/15.97	o 1298
15.72/15.99	o 1297
15.82/16.00	o 1295
15.82/16.03	o 1294
15.82/16.04	o 1288
15.82/16.05	o 1285
15.82/16.07	o 1284
15.82/16.08	o 1283
15.92/16.10	o 1277
15.92/16.11	o 1274
15.92/16.15	o 1269
15.92/16.16	o 1265
15.92/16.19	o 1264
16.02/16.20	o 1262
16.02/16.22	o 1261
16.02/16.23	o 1259
16.02/16.24	o 1258
16.02/16.25	o 1249
16.02/16.29	o 1244
16.13/16.30	o 1241
16.13/16.32	o 1238
16.13/16.33	o 1232
16.13/16.36	o 1230
16.23/16.40	o 1227
16.23/16.42	o 1225
16.23/16.44	o 1223
16.23/16.45	o 1221
16.23/16.46	o 1219
16.23/16.48	o 1217
16.23/16.49	o 1215
16.32/16.51	o 1214
16.32/16.52	o 1213
16.32/16.54	o 1208
16.32/16.55	o 1205
16.32/16.56	o 1203
16.32/16.57	o 1200
16.32/16.59	o 1197
16.42/16.62	o 1195
16.42/16.64	o 1191
16.42/16.68	o 1189
16.42/16.69	o 1186
16.51/16.71	o 1181
16.51/16.73	o 1177
16.51/16.75	o 1174
16.51/16.77	o 1169
16.61/16.80	o 1168
16.61/16.83	o 1167
16.61/16.85	o 1166
16.61/16.87	o 1163
16.61/16.89	o 1162
16.71/16.91	o 1161
16.71/16.94	o 1158
16.71/16.96	o 1152
16.71/16.97	o 1148
16.71/16.99	o 1146
16.81/17.02	o 1145
16.81/17.04	o 1141
16.81/17.06	o 1137
16.81/17.07	o 1135
16.81/17.09	o 1134
16.91/17.11	o 1132
16.91/17.13	o 1131
16.91/17.16	o 1126
16.91/17.18	o 1124
17.01/17.20	o 1122
17.01/17.21	o 1121
17.01/17.23	o 1119
17.01/17.25	o 1117
17.01/17.27	o 1114
17.01/17.29	o 1110
17.10/17.31	o 1108
17.10/17.34	o 1106
17.10/17.36	o 1104
17.20/17.40	o 1101
17.20/17.45	o 1099
17.30/17.52	o 1097
17.30/17.55	o 1094
17.30/17.56	o 1091
17.30/17.59	o 1090
17.40/17.62	o 1088
17.40/17.65	o 1082
17.40/17.67	o 1080
17.50/17.70	o 1076
17.50/17.73	o 1073
17.50/17.79	o 1070
17.60/17.84	o 1064
17.60/17.88	o 1063
17.70/17.91	o 1060
17.70/18.00	o 1058
17.80/18.02	o 1056
17.80/18.04	o 1053
17.80/18.06	o 1048
17.80/18.07	o 1046
17.80/18.09	o 1041
17.90/18.11	o 1037
17.90/18.15	o 1032
17.90/18.18	o 1028
18.10/18.33	o 1023
18.10/18.35	o 1022
18.20/18.40	o 1021
18.20/18.43	o 1017
18.20/18.46	o 1016
18.20/18.49	o 1012
18.30/18.52	o 1011
18.30/18.56	o 1009
18.40/18.60	o 1008
18.40/18.67	o 1007
18.50/18.79	o 1006
18.59/18.82	o 1004
18.59/18.85	o 1003
18.88/19.14	o 1001
18.88/19.17	o 997
18.98/19.21	o 995
18.98/19.28	o 991
19.18/19.46	o 989
19.18/19.49	o 986
19.28/19.51	o 982
19.28/19.53	o 977
19.28/19.58	o 976
19.38/19.62	o 974
19.38/19.65	o 973
19.48/19.78	o 971
19.58/19.83	o 970
19.58/19.85	o 969
19.58/19.87	o 967
19.58/19.90	o 966
19.68/19.92	o 964
19.77/20.05	o 962
19.77/20.07	o 961
19.97/20.21	o 960
19.97/20.23	o 956
19.97/20.26	o 954
19.97/20.29	o 951
20.07/20.32	o 950
20.17/20.42	o 945
20.17/20.45	o 942
20.17/20.49	o 940
20.27/20.52	o 936
20.37/20.65	o 934
20.37/20.68	o 931
20.47/20.72	o 928
20.47/20.74	o 924
20.47/20.77	o 922
20.56/20.81	o 920
20.66/20.96	o 918
20.66/20.99	o 915
20.77/21.03	o 913
20.77/21.07	o 910
20.86/21.11	o 908
20.96/21.22	o 907
20.96/21.25	o 904
20.96/21.28	o 900
21.06/21.33	o 899
21.06/21.36	o 898
21.06/21.39	o 891
21.16/21.40	o 890
21.16/21.42	o 886
21.16/21.45	o 884
21.16/21.48	o 879
21.26/21.50	o 876
21.26/21.53	o 873
21.26/21.57	o 871
21.26/21.59	o 870
21.36/21.62	o 869
21.36/21.68	o 867
21.45/21.70	o 865
21.45/21.73	o 863
21.45/21.77	o 861
21.55/21.81	o 857
21.55/21.84	o 855
21.55/21.87	o 854
21.65/21.90	o 851
21.65/21.97	o 850
21.75/22.00	o 849
21.75/22.09	o 846
21.85/22.17	o 845
21.94/22.21	o 840
21.94/22.25	o 838
22.04/22.36	o 837
22.14/22.40	o 834
22.14/22.47	o 832
22.24/22.53	o 831
22.34/22.64	o 830
22.44/22.74	o 825
22.54/22.81	o 822
22.54/22.88	o 820
22.64/22.95	o 819
22.64/22.98	o 817
22.74/23.03	o 815
22.74/23.08	o 812
22.84/23.15	o 809
22.93/23.20	o 808
22.93/23.25	o 805
22.93/23.29	o 802
23.03/23.33	o 796
23.03/23.37	o 794
23.13/23.42	o 792
23.13/23.46	o 789
23.23/23.52	o 788
23.23/23.56	o 785
23.33/23.69	o 784
23.43/23.73	o 781
23.64/23.90	o 777
23.64/23.95	o 775
23.64/23.99	o 774
23.73/24.04	o 772
23.73/24.09	o 770
23.93/24.23	o 769
23.93/24.27	o 766
24.03/24.35	o 765
24.12/24.40	o 761
24.12/24.45	o 758
24.12/24.48	o 754
24.22/24.52	o 750
24.22/24.56	o 748
24.32/24.61	o 747
24.32/24.65	o 743
24.42/24.74	o 742
24.52/24.87	o 741
24.62/24.95	o 740
24.72/25.04	o 739
24.72/25.07	o 738
24.82/25.11	o 735
24.82/25.15	o 732
25.02/25.32	o 727
25.02/25.40	o 726
25.11/25.43	o 722
25.11/25.48	o 720
25.21/25.53	o 719
25.21/25.58	o 716
25.30/25.61	o 714
25.70/26.06	o 713
25.80/26.11	o 710
25.90/26.23	o 708
25.90/26.29	o 705
26.00/26.40	o 700
26.10/26.45	o 698
26.59/26.93	o 696
26.59/26.98	o 693
26.69/27.01	o 691
26.69/27.07	o 690
26.79/27.12	o 689
26.89/27.26	o 688
26.99/27.32	o 686
26.99/27.37	o 685
27.09/27.43	o 684
27.28/27.64	o 683
27.28/27.70	o 681
27.48/27.80	o 679
27.48/27.85	o 678
27.58/27.96	o 674
27.68/28.02	o 673
27.68/28.08	o 672
27.88/28.21	o 670
27.88/28.26	o 668
27.98/28.34	o 666
27.98/28.38	o 665
28.08/28.43	o 657
28.08/28.49	o 653
28.18/28.55	o 650
28.18/28.60	o 648
28.38/28.76	o 646
28.47/28.81	o 644
28.47/28.86	o 643
28.57/28.92	o 642
28.67/29.03	o 641
28.67/29.08	o 635
28.77/29.12	o 633
28.77/29.17	o 631
28.87/29.22	o 628
28.87/29.28	o 625
29.37/29.75	o 623
29.46/29.80	o 622
29.56/29.92	o 621
29.66/30.05	o 620
29.76/30.11	o 618
29.86/30.29	o 617
29.96/30.35	o 614
30.06/30.47	o 613
30.16/30.54	o 612
30.36/30.73	o 611
30.36/30.77	o 607
30.55/30.90	o 605
30.55/30.97	o 604
30.65/31.04	o 601
30.75/31.12	o 600
31.15/31.58	o 597
31.25/31.65	o 594
31.55/31.95	o 592
31.84/32.23	o 590
31.84/32.28	o 588
32.04/32.40	o 587
32.14/32.52	o 586
32.14/32.58	o 584
32.44/32.85	o 582
32.54/32.93	o 579
32.64/33.01	o 577
32.64/33.08	o 575
32.73/33.15	o 574
33.53/33.92	o 573
33.63/34.07	o 571
33.73/34.14	o 570
33.73/34.19	o 567
33.92/34.32	o 566
34.02/34.41	o 563
34.02/34.45	o 562
34.12/34.50	o 559
34.22/34.61	o 558
34.22/34.67	o 557
34.32/34.72	o 556
34.32/34.78	o 553
34.42/34.84	o 551
34.52/34.90	o 550
34.52/34.97	o 549
34.61/35.03	o 547
34.71/35.16	o 545
35.00/35.43	o 544
35.81/36.21	o 543
36.00/36.42	o 542
36.70/37.11	o 540
36.70/37.17	o 538
36.80/37.23	o 537
36.80/37.28	o 534
36.90/37.34	o 532
37.09/37.58	o 530
37.29/37.70	o 529
37.39/37.81	o 528
37.58/38.00	o 524
37.78/38.25	o 520
37.88/38.32	o 519
37.88/38.39	o 518
38.08/38.54	o 517
38.18/38.60	o 516
38.37/38.86	o 513
38.47/38.93	o 512
38.47/38.99	o 507
38.57/39.06	o 504
38.67/39.14	o 502
38.67/39.20	o 498
38.87/39.38	o 497
38.97/39.44	o 494
38.97/39.49	o 492
39.07/39.56	o 490
39.17/39.65	o 487
39.17/39.67	o 486
39.26/39.71	o 482
39.26/39.75	o 480
39.36/39.80	o 478
39.36/39.85	o 475
39.46/39.95	o 474
39.56/40.01	o 470
39.56/40.06	o 468
39.66/40.11	o 467
39.66/40.16	o 466
39.66/40.20	o 465
39.86/40.36	o 464
39.96/40.44	o 463
39.96/40.49	o 461
40.26/40.76	o 460
40.75/41.28	o 457
40.85/41.33	o 454
40.85/41.35	o 451
40.85/41.38	o 449
40.95/41.43	o 448
40.95/41.48	o 446
41.05/41.58	o 441
41.05/41.59	o 438
41.15/41.68	o 437
41.25/41.78	o 435
41.35/41.83	o 433
41.64/42.15	o 432
41.74/42.21	o 430
41.74/42.26	o 428
41.94/42.42	o 426
41.94/42.47	o 425
42.04/42.51	o 421
42.43/42.91	o 419
42.43/42.96	o 418
42.53/43.01	o 416
42.82/43.34	o 412
42.92/43.41	o 409
42.92/43.46	o 407
43.12/43.62	o 406
43.22/43.72	o 405
43.22/43.78	o 404
43.32/43.83	o 400
43.81/44.33	o 398
43.81/44.38	o 397
43.91/44.45	o 396
44.21/44.70	o 395
44.21/44.75	o 393
44.31/44.87	o 392
44.80/45.31	o 390
44.80/45.39	o 386
44.90/45.45	o 384
45.00/45.50	o 381
45.50/46.06	o 379
45.71/46.21	o 377
45.71/46.26	o 376
45.80/46.31	o 373
45.90/46.41	o 370
45.90/46.44	o 367
46.00/46.55	o 366
46.49/47.07	o 364
46.59/47.13	o 363
46.59/47.18	o 362
46.69/47.28	o 361
46.79/47.38	o 359
46.89/47.49	o 358
46.98/47.54	o 357
47.08/47.65	o 354
47.18/47.71	o 353
47.58/48.14	o 351
47.68/48.22	o 350
47.68/48.28	o 347
47.78/48.32	o 346
47.88/48.46	o 344
48.37/48.99	o 343
48.67/49.26	o 341
49.46/50.04	o 340
49.66/50.24	o 339
50.06/50.63	o 338
50.06/50.68	o 337
51.34/51.95	o 334
51.44/52.09	o 331
51.54/52.17	o 330
52.62/53.24	o 327
52.73/53.31	o 326
52.73/53.39	o 325
53.52/54.17	o 324
53.62/54.26	o 323
53.72/54.35	o 322
54.22/54.82	o 321
54.22/54.88	o 319
54.32/54.97	o 318
55.70/56.38	o 317
55.89/56.54	o 316
56.29/56.91	o 315
56.29/56.98	o 314
56.39/57.06	o 313
56.88/57.56	o 311
56.98/57.64	o 310
57.87/58.57	o 309
58.58/59.25	o 308
60.16/60.80	o 307
60.16/60.90	o 305
60.26/61.00	o 304
60.36/61.09	o 303
60.46/61.18	o 299
60.56/61.27	o 296
60.66/61.36	o 294
60.76/61.42	o 293
60.86/61.52	o 291
60.86/61.60	o 290
61.25/61.97	o 289
61.35/62.07	o 287
61.45/62.16	o 285
61.75/62.50	o 284
61.85/62.58	o 283
67.09/67.89	o 282
68.87/69.69	o 281
68.97/69.77	o 279
69.17/69.99	o 278
69.96/70.71	o 276
70.06/70.81	o 275
70.06/70.90	o 273
70.17/71.00	o 270
70.26/71.10	o 269
70.56/71.37	o 268
71.55/72.35	o 267
71.65/72.44	o 264
71.75/72.52	o 263
71.75/72.60	o 261
71.85/72.66	o 258
71.95/72.74	o 257
71.95/72.75	o 256
72.04/72.84	o 255
72.14/72.90	o 251
72.64/73.40	o 249
72.64/73.49	o 248
72.74/73.57	o 247
72.84/73.67	o 246
73.13/73.90	o 245
73.23/74.07	o 244
73.33/74.15	o 241
74.03/74.83	o 240
74.12/74.92	o 239
74.22/75.01	o 238
74.22/75.09	o 237
74.31/75.14	o 236
75.60/76.46	o 235
75.70/76.55	o 234
75.90/76.74	o 233
76.00/76.80	o 232
76.00/76.88	o 231
76.10/76.98	o 229
76.30/77.17	o 228
76.39/77.27	o 227
76.49/77.37	o 226
76.59/77.47	o 224
76.69/77.52	o 221
76.80/77.61	o 220
77.10/78.00	o 219
77.30/78.10	o 218
77.99/78.88	o 216
78.29/79.17	o 214
78.78/79.63	o 213
78.97/79.81	o 211
79.57/80.49	o 209
79.76/80.68	o 208
79.86/80.78	o 206
80.26/81.18	o 205
80.46/81.36	o 204
80.66/81.57	o 202
80.75/81.66	o 201
81.05/81.98	o 200
81.25/82.14	o 199
81.35/82.24	o 197
81.45/82.33	o 194
81.55/82.42	o 192
81.74/82.61	o 191
82.34/83.20	o 190
82.64/83.53	o 189
82.93/83.88	o 188
106.21/107.35	o 187
106.41/107.57	o 186
107.30/108.44	o 184
107.70/108.82	o 183
108.09/109.23	o 182
108.59/109.76	o 181
108.69/109.84	o 178
108.79/109.98	o 177
109.09/110.25	o 176
109.19/110.38	o 173
110.38/111.59	o 172
110.78/111.98	o 171
112.85/114.08	o 170
113.15/114.40	o 169
113.34/114.54	o 167
115.62/116.84	o 165
115.92/117.16	o 164
118.88/120.13	o 161
119.48/120.73	o 160
119.68/120.97	o 158
120.07/121.36	o 157
120.18/121.43	o 156
120.38/121.68	o 155
120.68/121.94	o 154
120.88/122.15	o 153
121.07/122.37	o 152
121.37/122.61	o 150
122.16/123.49	o 149
122.46/123.75	o 148
123.75/125.08	o 147
124.63/125.93	o 145
125.23/126.54	o 144
125.33/126.67	o 143
125.62/126.91	o 140
125.62/126.99	o 139
126.22/127.55	o 138
126.32/127.67	o 137
156.34/157.97	   
156.34/157.97	   search
156.34/157.97	     run=0  nbConstraintChecks=353929242  nbAssignments=1871
156.34/157.97	       =>  wckTime=143.607  cpuTime=142.17  mem=30M286
156.34/157.97	   
156.34/157.97	   global
156.34/157.97	     nbConstraintChecks=353929242  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
156.34/157.97	     solvingWckTime=143.603  solvingCpuTime=142.17  expiredTime=no  totalExploration=no  nbFoundSolutions=0
156.34/157.97	     globalCpuTime=155.38
156.34/157.97	       =>  wckTime=157.719  cpuTime=155.32  mem=30M286
156.34/157.97	   
156.34/157.97	   solver DecomposerSolver being built... 
157.32/158.95	       =>  wckTime=158.697  cpuTime=155.73  mem=305M446
165.15/166.88	   
165.15/166.88	   preprocessing
165.15/166.88	     nbConstraintChecks=24151379  nbValidityChecks=160469  nbPropagations=601  nbRevisions=13310
165.15/166.88	     nbUselessRevisions=13303  nbRemovedValues=816  detectedInconsistency=no
165.15/166.88	       =>  wckTime=7.93  cpuTime=7.85  mem=306M467
165.55/167.21	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-1113007-1215876739/watcher-1113007-1215876739 -o /tmp/evaluation-result-1113007-1215876739/solver-1113007-1215876739 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113007-1215876739.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.08 2.18 2.37 3/81 23743
/proc/meminfo: memFree=1875408/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=18572 CPUtime=0
/proc/23743/stat : 23743 (runsolver) R 23741 23743 23671 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44376849 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23743/statm: 4643 292 257 25 0 2626 0

[startup+0.045845 s]
/proc/loadavg: 2.08 2.18 2.37 3/81 23743
/proc/meminfo: memFree=1875408/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=861876 CPUtime=0.02
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 44376849 882561024 1862 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102241 s]
/proc/loadavg: 2.08 2.18 2.37 3/81 23743
/proc/meminfo: memFree=1875408/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=865984 CPUtime=0.08
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 3693 0 1 0 6 2 0 0 18 0 9 0 44376849 886767616 3168 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216496 3168 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301267 s]
/proc/loadavg: 2.08 2.18 2.37 3/81 23743
/proc/meminfo: memFree=1875408/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=866156 CPUtime=0.28
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 5590 0 1 0 24 4 0 0 18 0 9 0 44376849 886943744 5005 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216539 5005 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.701305 s]
/proc/loadavg: 2.08 2.18 2.37 3/81 23743
/proc/meminfo: memFree=1875408/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867068 CPUtime=0.68
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 8263 0 1 0 61 7 0 0 18 0 9 0 44376849 887877632 7624 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216767 7624 2006 9 0 211273 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867068

[startup+1.50238 s]
/proc/loadavg: 2.16 2.20 2.37 3/90 23752
/proc/meminfo: memFree=1839560/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867708 CPUtime=1.46
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 16243 0 1 0 135 11 0 0 18 0 9 0 44376849 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216927 15601 2014 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867708 CPUtime=1.27
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 14909 0 1 0 117 10 0 0 25 0 9 0 44376851 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4126885017 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44376852 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44376853 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44376853 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867708 CPUtime=0.18
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 637 0 0 0 18 0 0 0 16 0 9 0 44376855 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888532992 15601 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867708

[startup+3.10255 s]
/proc/loadavg: 2.16 2.20 2.37 3/90 23752
/proc/meminfo: memFree=1817096/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=3.06
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 19457 0 1 0 292 14 0 0 18 0 9 0 44376849 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 18790 2005 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=2.73
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15811 0 1 0 262 11 0 0 25 0 9 0 44376851 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4126872228 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=0.08
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 2290 0 0 0 8 0 0 0 16 0 9 0 44376852 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.21
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 660 0 0 0 21 0 0 0 15 0 9 0 44376855 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 18790 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867620

[startup+6.30188 s]
/proc/loadavg: 2.14 2.19 2.37 3/90 23752
/proc/meminfo: memFree=1806600/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=6.23
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 19474 0 1 0 608 15 0 0 18 0 9 0 44376849 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 18804 2006 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=5.88
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15817 0 1 0 576 12 0 0 25 0 9 0 44376851 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4126870176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=0.08
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 2290 0 0 0 8 0 0 0 17 0 9 0 44376852 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.23
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 671 0 0 0 23 0 0 0 15 0 9 0 44376855 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 18804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867620

[startup+12.7025 s]
/proc/loadavg: 2.13 2.19 2.37 3/90 23752
/proc/meminfo: memFree=1792392/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=12.56
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 22849 0 1 0 1237 19 0 0 18 0 9 0 44376849 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 22175 2007 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=12.07
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15826 0 1 0 1192 15 0 0 25 0 9 0 44376851 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4127061815 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=0.2
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 5638 0 0 0 18 2 0 0 16 0 9 0 44376852 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.26
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 689 0 0 0 26 0 0 0 15 0 9 0 44376855 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 22175 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867620

[startup+25.5019 s]
/proc/loadavg: 2.10 2.18 2.36 3/90 23752
/proc/meminfo: memFree=1777096/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867708 CPUtime=25.21
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 27192 0 1 0 2496 25 0 0 18 0 9 0 44376849 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216927 26324 2640 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867708 CPUtime=24.35
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15891 0 1 0 2415 20 0 0 25 0 9 0 44376851 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4127179132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867708 CPUtime=0.51
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 9891 0 0 0 48 3 0 0 16 0 9 0 44376852 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867708 CPUtime=0.31
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 714 0 0 0 31 0 0 0 16 0 9 0 44376855 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888532992 26324 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867708

[startup+51.1025 s]
/proc/loadavg: 2.07 2.16 2.35 3/90 23752
/proc/meminfo: memFree=1775048/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867708 CPUtime=50.55
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 27194 0 1 0 5025 30 0 0 18 0 9 0 44376849 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216927 26325 2640 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867708 CPUtime=49.69
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15892 0 1 0 4944 25 0 0 25 0 9 0 44376851 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4126867652 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867708 CPUtime=0.51
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 9891 0 0 0 48 3 0 0 16 0 9 0 44376852 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867708 CPUtime=0.31
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 715 0 0 0 31 0 0 0 16 0 9 0 44376855 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867708 CPUtime=0

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

[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=159.25
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15971 0 1 0 15891 34 0 0 25 0 9 0 44376851 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4126867776 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=1.04
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 67739 0 0 0 77 27 0 0 16 0 9 0 44376852 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 737 0 0 0 35 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.69
Current children cumulated vsize (KiB) 867620

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

[startup+163.102 s]
/proc/loadavg: 2.13 2.15 2.32 3/90 23752
/proc/meminfo: memFree=1532104/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=161.48
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 85161 0 1 0 16084 64 0 0 18 0 9 0 44376849 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 84222 2619 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=160.05
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15971 0 1 0 15971 34 0 0 25 0 9 0 44376851 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4127182241 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=1.04
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 67739 0 0 0 77 27 0 0 16 0 9 0 44376852 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 737 0 0 0 35 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 867620

[startup+164.702 s]
/proc/loadavg: 2.13 2.15 2.32 3/90 23752
/proc/meminfo: memFree=1532040/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=163.07
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 85161 0 1 0 16243 64 0 0 18 0 9 0 44376849 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 84222 2619 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=161.64
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15971 0 1 0 16130 34 0 0 25 0 9 0 44376851 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4127061867 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=1.04
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 67739 0 0 0 77 27 0 0 16 0 9 0 44376852 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 737 0 0 0 35 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 163.07
Current children cumulated vsize (KiB) 867620

[startup+166.303 s]
/proc/loadavg: 2.12 2.15 2.32 3/90 23752
/proc/meminfo: memFree=1531784/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=164.65
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 85161 0 1 0 16401 64 0 0 18 0 9 0 44376849 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 84222 2619 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=163.22
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15971 0 1 0 16287 35 0 0 25 0 9 0 44376851 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4127061808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=1.04
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 67739 0 0 0 77 27 0 0 16 0 9 0 44376852 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 737 0 0 0 35 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.65
Current children cumulated vsize (KiB) 867620

[startup+166.703 s]
/proc/loadavg: 2.12 2.15 2.32 3/90 23752
/proc/meminfo: memFree=1531784/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867620 CPUtime=165.05
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 85161 0 1 0 16441 64 0 0 18 0 9 0 44376849 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216905 84222 2619 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867620 CPUtime=163.62
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15971 0 1 0 16327 35 0 0 25 0 9 0 44376851 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4126871543 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867620 CPUtime=1.04
/proc/23743/task/23746/stat : 23746 (java) S 23741 23743 23671 0 -1 64 67739 0 0 0 77 27 0 0 16 0 9 0 44376852 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867620 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 737 0 0 0 35 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867620 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888442880 84222 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.05
Current children cumulated vsize (KiB) 867620

[startup+167.102 s]
/proc/loadavg: 2.12 2.15 2.32 4/90 23752
/proc/meminfo: memFree=1531720/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867708 CPUtime=165.45
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 85210 0 1 0 16481 64 0 0 18 0 9 0 44376849 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216927 84268 2640 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867708 CPUtime=163.81
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15997 0 1 0 16346 35 0 0 25 0 9 0 44376851 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867708 CPUtime=1.26
/proc/23743/task/23746/stat : 23746 (java) R 23741 23743 23671 0 -1 64 67761 0 0 0 99 27 0 0 17 0 9 0 44376852 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867708 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 738 0 0 0 35 0 0 0 16 0 9 0 44376855 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888532992 84268 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.45
Current children cumulated vsize (KiB) 867708

[startup+167.207 s]
/proc/loadavg: 2.12 2.15 2.32 4/90 23752
/proc/meminfo: memFree=1531720/2055920 swapFree=4181008/4192956
[pid=23743] ppid=23741 vsize=867708 CPUtime=165.55
/proc/23743/stat : 23743 (java) S 23741 23743 23671 0 -1 0 95161 0 1 0 16487 68 0 0 18 0 9 0 44376849 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23743/statm: 216927 94219 2640 9 0 211433 0
[pid=23743/tid=23745] ppid=23741 vsize=867708 CPUtime=163.81
/proc/23743/task/23745/stat : 23745 (java) R 23741 23743 23671 0 -1 64 15997 0 1 0 16346 35 0 0 25 0 9 0 44376851 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23746] ppid=23741 vsize=867708 CPUtime=1.35
/proc/23743/task/23746/stat : 23746 (java) R 23741 23743 23671 0 -1 64 77712 0 0 0 104 31 0 0 17 0 9 0 44376852 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23747] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23747/stat : 23747 (java) S 23741 23743 23671 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44376853 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23748] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23748/stat : 23748 (java) S 23741 23743 23671 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44376853 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23749] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23749/stat : 23749 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44376855 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23750] ppid=23741 vsize=867708 CPUtime=0.35
/proc/23743/task/23750/stat : 23750 (java) S 23741 23743 23671 0 -1 64 738 0 0 0 35 0 0 0 16 0 9 0 44376855 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23751] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23751/stat : 23751 (java) S 23741 23743 23671 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44376855 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23743/tid=23752] ppid=23741 vsize=867708 CPUtime=0
/proc/23743/task/23752/stat : 23752 (java) S 23741 23743 23671 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44376855 888532992 94219 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.55
Current children cumulated vsize (KiB) 867708

Child status: 0
Real time (s): 167.281
CPU time (s): 165.632
CPU user time (s): 164.877
CPU system time (s): 0.754885
CPU usage (%): 99.0142
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.877
system time used= 0.754885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96071
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= 5025
involuntary context switches= 9681

runsolver used 0.245962 second user time and 0.594909 second system time

The end

Launcher Data (download as text)

Begin job on node24 at 2008-07-12 17:32:19
IDJOB=1113007
IDBENCH=61511
IDSOLVER=359
FILE ID=node24/1113007-1215876739
PBS_JOBID= 7903616
Free space on /tmp= 66452 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113007-1215876739/watcher-1113007-1215876739 -o /tmp/evaluation-result-1113007-1215876739/solver-1113007-1215876739 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1113007-1215876739.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c3977aded3fc1b33631985df26116e6e
RANDOM SEED=166989317

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:       1875888 kB
Buffers:          3624 kB
Cached:          47896 kB
SwapCached:       5532 kB
Active:         122312 kB
Inactive:         6640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1875888 kB
SwapTotal:     4192956 kB
SwapFree:      4181008 kB
Dirty:            3188 kB
Writeback:           0 kB
Mapped:          93788 kB
Slab:            36144 kB
Committed_AS:   389908 kB
PageTables:       2032 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:35:07