Trace number 1112995

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? 197.288 198.348

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=mrdac-wdeg.xml
0.28/0.34	   
0.28/0.34	   instance
0.28/0.34	     name=HOME/instance-1112995-1215876537.xml
0.28/0.38	   
0.28/0.38	   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.36  cpuTime=0.27  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.53/10.67	   
10.53/10.67	   INFO : Stopping converting binary constraints (cpu=10.07, mem = 37M124)
13.92/14.09	     nbConstraints=8996  nbConvertedConstraints=1014  nbConvertConstraintsChecks=39710300  nbExtensionStructures=975
13.92/14.09	     nbSharedExtensionStructures=116  nbConflictsStructures=2218  nbSharedConflictsStructures=212
13.92/14.09	     nbUnbuiltConflictsStructures=4877  nbSharedBinaryRepresentations=296126  nbEvaluationManagers=6120
13.92/14.09	     nbSharedEvaluationManagers=1862  minDegree=7  maxDegree=41  minArity=2  maxArity=2
13.92/14.09	       =>  wckTime=13.839  cpuTime=13.14  mem=38M455
14.21/14.33	   
14.21/14.33	   solver LocalSearchSolver being built... 
14.21/14.38	       =>  wckTime=14.129  cpuTime=13.18  mem=29M260
14.31/14.42	
14.31/14.42	s SATISFIABLE
14.31/14.42	o 1685
14.31/14.46	o 1675
14.31/14.50	o 1664
14.41/14.51	o 1656
14.41/14.53	o 1651
14.41/14.56	o 1641
14.41/14.57	o 1632
14.41/14.59	o 1623
14.51/14.61	o 1614
14.51/14.63	o 1606
14.51/14.65	o 1600
14.51/14.67	o 1595
14.51/14.69	o 1590
14.61/14.72	o 1585
14.61/14.74	o 1580
14.61/14.76	o 1577
14.61/14.78	o 1575
14.61/14.79	o 1573
14.71/14.80	o 1572
14.71/14.82	o 1566
14.71/14.84	o 1560
14.71/14.86	o 1554
14.71/14.87	o 1549
14.71/14.89	o 1545
14.81/14.90	o 1543
14.81/14.91	o 1541
14.81/14.95	o 1537
14.81/14.99	o 1533
14.91/15.03	o 1526
14.91/15.06	o 1519
14.91/15.09	o 1514
15.00/15.12	o 1509
15.00/15.15	o 1506
15.00/15.18	o 1502
15.10/15.20	o 1498
15.10/15.23	o 1494
15.10/15.27	o 1490
15.10/15.29	o 1487
15.20/15.33	o 1485
15.20/15.35	o 1483
15.20/15.37	o 1481
15.20/15.39	o 1480
15.30/15.43	o 1475
15.30/15.44	o 1472
15.30/15.45	o 1469
15.41/15.51	o 1464
15.41/15.53	o 1463
15.41/15.54	o 1460
15.41/15.54	o 1458
15.41/15.55	o 1455
15.41/15.57	o 1453
15.41/15.58	o 1447
15.51/15.60	o 1443
15.51/15.61	o 1441
15.51/15.64	o 1439
15.51/15.65	o 1437
15.51/15.66	o 1435
15.51/15.67	o 1434
15.60/15.71	o 1430
15.60/15.74	o 1429
15.60/15.75	o 1426
15.60/15.76	o 1422
15.70/15.81	o 1417
15.70/15.83	o 1414
15.70/15.86	o 1409
15.70/15.87	o 1407
15.70/15.88	o 1401
15.70/15.89	o 1400
15.80/15.90	o 1399
15.80/15.91	o 1396
15.80/15.93	o 1391
15.80/15.95	o 1387
15.80/15.96	o 1383
15.80/15.98	o 1378
15.80/15.99	o 1371
15.90/16.01	o 1365
15.90/16.03	o 1362
15.90/16.05	o 1358
15.90/16.06	o 1354
15.90/16.08	o 1349
16.00/16.10	o 1344
16.00/16.11	o 1343
16.00/16.13	o 1341
16.00/16.16	o 1335
16.00/16.17	o 1331
16.00/16.19	o 1327
16.10/16.20	o 1324
16.10/16.21	o 1321
16.10/16.22	o 1320
16.10/16.23	o 1317
16.10/16.24	o 1315
16.10/16.26	o 1313
16.10/16.27	o 1311
16.10/16.29	o 1306
16.20/16.32	o 1301
16.20/16.33	o 1300
16.20/16.35	o 1296
16.20/16.36	o 1293
16.20/16.38	o 1290
16.20/16.39	o 1289
16.30/16.42	o 1285
16.30/16.43	o 1279
16.30/16.44	o 1277
16.30/16.46	o 1273
16.30/16.47	o 1269
16.30/16.49	o 1265
16.30/16.50	o 1256
16.40/16.52	o 1253
16.40/16.53	o 1251
16.40/16.56	o 1250
16.40/16.58	o 1246
16.40/16.59	o 1243
16.49/16.60	o 1241
16.49/16.62	o 1235
16.49/16.64	o 1233
16.49/16.65	o 1231
16.49/16.66	o 1230
16.49/16.67	o 1229
16.49/16.69	o 1228
16.59/16.70	o 1226
16.59/16.72	o 1220
16.59/16.74	o 1216
16.59/16.78	o 1213
16.59/16.80	o 1212
16.69/16.82	o 1210
16.69/16.84	o 1204
16.69/16.85	o 1202
16.69/16.86	o 1198
16.69/16.88	o 1195
16.79/16.91	o 1194
16.79/16.93	o 1191
16.79/16.95	o 1186
16.79/16.97	o 1182
16.79/16.98	o 1179
16.89/17.04	o 1177
16.89/17.05	o 1175
16.89/17.06	o 1171
16.89/17.08	o 1168
16.89/17.09	o 1163
16.99/17.11	o 1157
16.99/17.13	o 1156
16.99/17.15	o 1155
16.99/17.16	o 1153
16.99/17.19	o 1152
17.09/17.24	o 1151
17.09/17.27	o 1149
17.09/17.29	o 1148
17.19/17.31	o 1145
17.19/17.34	o 1141
17.19/17.36	o 1137
17.19/17.38	o 1132
17.29/17.40	o 1129
17.29/17.43	o 1126
17.29/17.46	o 1124
17.29/17.48	o 1122
17.38/17.55	o 1121
17.48/17.65	o 1119
17.48/17.67	o 1116
17.48/17.69	o 1114
17.58/17.71	o 1110
17.58/17.74	o 1108
17.58/17.78	o 1107
17.68/17.81	o 1104
17.68/17.83	o 1102
17.68/17.89	o 1101
17.78/17.91	o 1097
17.78/17.93	o 1095
17.78/17.94	o 1090
17.88/18.04	o 1088
17.88/18.06	o 1086
17.88/18.08	o 1084
17.98/18.14	o 1082
17.98/18.16	o 1075
17.98/18.18	o 1074
18.18/18.38	o 1070
18.38/18.53	o 1066
18.38/18.56	o 1062
18.38/18.59	o 1061
18.48/18.63	o 1056
18.48/18.65	o 1055
18.58/18.70	o 1052
18.58/18.73	o 1051
18.67/18.81	o 1048
18.67/18.87	o 1046
18.67/18.89	o 1045
18.77/18.92	o 1040
18.77/18.98	o 1039
18.87/19.01	o 1035
18.87/19.03	o 1029
18.87/19.06	o 1027
18.87/19.09	o 1024
18.98/19.12	o 1022
18.98/19.15	o 1020
18.98/19.18	o 1019
19.08/19.22	o 1015
19.08/19.26	o 1014
19.28/19.43	o 1012
19.28/19.46	o 1008
19.38/19.50	o 1002
19.38/19.53	o 1001
19.38/19.57	o 998
19.47/19.60	o 997
19.47/19.64	o 992
19.57/19.76	o 989
19.67/19.82	o 982
19.67/19.85	o 980
19.67/19.88	o 979
19.77/19.91	o 977
19.77/19.94	o 973
19.77/19.97	o 971
19.87/20.08	o 970
19.97/20.11	o 968
19.97/20.17	o 967
20.06/20.20	o 966
20.06/20.23	o 964
20.06/20.25	o 961
20.16/20.34	o 960
20.16/20.38	o 956
20.26/20.46	o 954
20.26/20.48	o 953
20.26/20.50	o 952
20.36/20.52	o 949
20.36/20.55	o 948
20.36/20.57	o 946
20.46/20.65	o 945
20.46/20.67	o 941
20.67/20.82	o 939
20.67/20.84	o 934
20.67/20.87	o 933
20.67/20.89	o 932
20.76/20.92	o 929
20.76/20.95	o 926
20.76/20.98	o 924
20.86/21.05	o 923
20.86/21.09	o 921
20.96/21.12	o 918
20.96/21.15	o 916
20.96/21.18	o 910
21.06/21.25	o 908
21.26/21.43	o 907
21.26/21.48	o 906
21.36/21.53	o 904
21.36/21.59	o 901
21.46/21.63	o 899
21.46/21.68	o 897
21.56/21.73	o 894
21.56/21.77	o 890
21.66/21.81	o 888
21.66/21.86	o 886
21.76/21.92	o 885
21.76/21.95	o 884
21.86/22.03	o 883
21.86/22.07	o 879
22.25/22.42	o 878
22.25/22.46	o 877
22.35/22.50	o 876
22.35/22.54	o 874
22.35/22.57	o 873
22.45/22.61	o 872
22.45/22.68	o 870
22.55/22.72	o 868
22.55/22.76	o 866
22.55/22.79	o 865
22.65/22.81	o 863
22.75/22.92	o 862
22.75/22.95	o 861
22.75/22.99	o 860
22.85/23.08	o 858
22.95/23.15	o 852
22.95/23.18	o 848
23.04/23.22	o 846
23.04/23.26	o 845
23.04/23.30	o 844
23.14/23.32	o 842
23.14/23.36	o 840
23.24/23.40	o 838
23.24/23.44	o 835
23.24/23.47	o 833
23.35/23.52	o 831
23.45/23.60	o 828
23.45/23.67	o 826
23.55/23.71	o 822
23.55/23.74	o 818
23.55/23.77	o 814
23.64/23.89	o 809
23.84/24.00	o 808
23.84/24.04	o 807
23.84/24.07	o 803
23.94/24.15	o 802
23.94/24.19	o 800
24.04/24.26	o 798
24.14/24.33	o 793
24.14/24.37	o 789
24.23/24.41	o 785
24.33/24.51	o 781
24.33/24.57	o 778
24.43/24.60	o 774
24.43/24.64	o 773
24.43/24.67	o 772
24.53/24.73	o 771
24.53/24.76	o 770
24.63/24.84	o 769
24.63/24.87	o 767
24.73/24.90	o 765
24.73/24.93	o 762
24.73/24.96	o 760
24.83/25.07	o 757
24.93/25.10	o 754
24.93/25.13	o 753
24.93/25.16	o 752
24.93/25.18	o 751
25.04/25.23	o 748
25.23/25.46	o 745
25.33/25.50	o 744
25.33/25.53	o 742
25.33/25.56	o 741
25.33/25.59	o 740
25.43/25.66	o 739
25.53/25.70	o 738
25.53/25.74	o 737
25.53/25.79	o 732
25.63/25.83	o 728
25.63/25.87	o 727
25.73/25.91	o 725
25.73/25.96	o 724
25.73/25.99	o 723
26.52/26.70	o 722
26.62/26.80	o 721
26.62/26.85	o 715
26.72/26.91	o 712
26.72/26.96	o 710
26.82/27.03	o 709
26.82/27.09	o 708
26.92/27.12	o 707
26.92/27.17	o 704
27.02/27.21	o 699
27.12/27.37	o 697
27.22/27.41	o 695
27.41/27.60	o 692
27.51/27.73	o 690
27.51/27.76	o 688
27.51/27.79	o 687
27.61/27.84	o 686
27.71/27.91	o 684
27.71/27.95	o 682
27.81/28.03	o 679
27.91/28.13	o 677
27.91/28.19	o 675
28.01/28.23	o 671
28.01/28.28	o 667
28.11/28.38	o 665
28.21/28.44	o 664
28.21/28.48	o 663
28.31/28.54	o 661
28.31/28.59	o 659
28.41/28.68	o 654
28.61/28.80	o 650
28.71/28.97	o 647
28.81/29.07	o 646
29.01/29.23	o 645
29.11/29.33	o 644
29.11/29.38	o 642
29.21/29.43	o 641
29.21/29.47	o 637
29.30/29.52	o 636
29.30/29.56	o 635
29.40/29.61	o 633
29.40/29.66	o 631
29.50/29.71	o 629
29.50/29.75	o 628
29.60/29.81	o 626
29.60/29.85	o 623
29.70/29.90	o 621
29.70/29.95	o 619
29.80/30.04	o 615
29.80/30.09	o 614
29.90/30.13	o 613
30.00/30.22	o 612
30.09/30.30	o 610
30.09/30.33	o 609
30.09/30.36	o 606
30.19/30.40	o 603
30.19/30.43	o 602
30.29/30.50	o 599
30.29/30.53	o 598
30.29/30.56	o 595
30.39/30.61	o 591
30.39/30.68	o 590
30.49/30.71	o 588
30.69/30.96	o 586
30.80/31.05	o 584
30.80/31.07	o 583
30.90/31.14	o 582
30.90/31.17	o 579
31.00/31.21	o 575
31.00/31.25	o 571
31.10/31.30	o 570
31.10/31.35	o 567
31.10/31.38	o 565
31.19/31.40	o 562
31.19/31.43	o 559
31.19/31.48	o 558
31.29/31.51	o 557
31.29/31.55	o 556
31.29/31.56	o 553
31.39/31.61	o 552
31.49/31.70	o 551
31.49/31.75	o 550
31.69/31.94	o 547
31.69/31.98	o 545
31.79/32.04	o 543
31.89/32.17	o 538
31.98/32.22	o 537
31.98/32.28	o 535
32.08/32.39	o 533
32.18/32.48	o 531
32.78/33.03	o 530
32.78/33.09	o 527
32.88/33.14	o 526
33.18/33.43	o 525
33.18/33.49	o 523
33.48/33.78	o 522
33.58/33.84	o 519
33.68/33.92	o 518
36.67/36.95	o 516
36.77/37.03	o 515
36.87/37.11	o 514
36.97/37.20	o 508
37.07/37.37	o 507
37.17/37.46	o 506
37.36/37.62	o 505
38.06/38.35	o 503
38.16/38.42	o 501
38.16/38.50	o 500
38.56/38.85	o 499
38.85/39.11	o 497
38.95/39.20	o 496
38.95/39.29	o 493
39.05/39.37	o 492
39.15/39.46	o 491
39.25/39.55	o 490
39.35/39.63	o 486
39.65/39.98	o 484
39.75/40.07	o 483
39.84/40.15	o 482
40.04/40.33	o 481
40.14/40.42	o 480
40.34/40.68	o 478
40.54/40.85	o 477
41.24/41.51	o 475
42.83/43.15	o 474
42.93/43.22	o 472
42.93/43.29	o 471
43.03/43.36	o 470
43.13/43.42	o 466
43.13/43.49	o 465
43.23/43.56	o 464
43.43/43.70	o 463
43.73/44.08	o 461
43.83/44.16	o 460
44.53/44.86	o 458
44.63/44.93	o 454
44.83/45.17	o 453
44.92/45.23	o 452
44.92/45.29	o 450
45.02/45.36	o 449
45.12/45.48	o 445
45.22/45.54	o 444
45.52/45.85	o 442
45.62/45.97	o 441
45.72/46.04	o 439
45.82/46.11	o 437
45.92/46.24	o 435
46.01/46.30	o 432
46.01/46.37	o 431
46.11/46.44	o 429
46.41/46.74	o 427
46.41/46.79	o 425
46.51/46.85	o 424
46.61/46.97	o 422
46.61/46.99	o 419
46.71/47.04	o 415
46.71/47.10	o 414
46.81/47.15	o 410
46.81/47.18	o 407
46.91/47.24	o 406
46.91/47.29	o 405
47.01/47.34	o 404
47.10/47.45	o 403
47.10/47.50	o 401
47.20/47.55	o 400
47.30/47.61	o 397
47.30/47.66	o 396
47.70/48.01	o 394
47.80/48.15	o 393
47.90/48.20	o 392
47.90/48.25	o 391
48.30/48.68	o 390
48.39/48.74	o 388
48.49/48.86	o 387
48.59/48.92	o 386
48.69/49.04	o 384
48.79/49.15	o 383
48.89/49.22	o 382
48.89/49.28	o 378
49.09/49.43	o 377
49.19/49.56	o 375
49.29/49.63	o 374
49.29/49.69	o 372
49.39/49.77	o 369
49.49/49.83	o 368
49.59/49.90	o 367
49.59/49.97	o 366
49.69/50.05	o 365
49.89/50.21	o 364
50.19/50.58	o 363
50.29/50.64	o 362
50.39/50.72	o 361
51.09/51.49	o 360
51.28/51.61	o 359
51.28/51.66	o 357
51.38/51.73	o 356
51.48/51.80	o 353
51.48/51.88	o 352
51.58/51.96	o 348
51.68/52.03	o 346
51.68/52.07	o 345
51.88/52.20	o 344
51.88/52.26	o 342
52.37/52.72	o 341
52.37/52.73	o 338
52.47/52.90	o 336
52.67/53.05	o 335
52.77/53.14	o 334
52.87/53.22	o 333
53.27/53.61	o 331
53.37/53.74	o 330
53.47/53.83	o 329
53.57/53.90	o 328
53.66/54.06	o 327
53.76/54.14	o 324
54.76/55.11	o 322
54.96/55.33	o 321
55.06/55.41	o 320
55.06/55.48	o 317
55.16/55.55	o 316
55.36/55.70	o 315
55.56/55.93	o 314
55.95/56.33	o 313
57.55/57.96	o 312
57.75/58.11	o 311
57.85/58.27	o 310
58.24/58.68	o 309
58.44/58.84	o 308
58.74/59.13	o 307
59.64/60.03	o 305
59.74/60.10	o 302
59.93/60.30	o 300
60.63/61.01	o 299
61.23/61.61	o 297
61.32/61.78	o 295
61.73/62.12	o 294
62.03/62.41	o 291
62.03/62.49	o 289
62.23/62.65	o 288
62.43/62.82	o 287
62.53/62.99	o 286
62.63/63.06	o 284
62.93/63.31	o 283
63.12/63.57	o 282
63.22/63.65	o 281
63.32/63.75	o 280
63.92/64.39	o 279
64.52/64.90	o 277
64.61/65.00	o 275
65.21/65.70	o 274
65.31/65.79	o 273
65.61/66.09	o 271
73.87/74.33	o 269
75.36/75.81	o 268
75.46/75.92	o 265
75.55/76.02	o 261
75.65/76.12	o 260
75.75/76.23	o 258
75.85/76.34	o 257
76.96/77.44	o 256
77.35/77.84	o 254
77.45/77.94	o 253
77.55/78.05	o 252
77.65/78.16	o 251
77.75/78.28	o 250
77.85/78.39	o 249
78.65/79.20	o 247
79.54/80.09	o 246
79.74/80.21	o 245
79.93/80.44	o 244
80.03/80.56	o 243
80.43/80.96	o 242
83.31/83.87	o 241
83.41/83.95	o 240
83.51/84.06	o 239
83.62/84.16	o 237
84.62/85.13	o 236
85.81/86.34	o 235
86.70/87.25	o 234
102.13/102.71	o 233
105.51/106.16	o 232
105.61/106.29	o 230
105.80/106.45	o 228
106.40/107.06	o 227
106.60/107.21	o 226
107.00/107.65	o 225
107.10/107.70	o 222
107.80/108.42	o 221
108.10/108.73	o 219
108.20/108.89	o 218
108.39/109.05	o 213
108.59/109.20	o 211
108.79/109.47	o 210
109.09/109.72	o 209
110.09/110.76	o 208
110.29/110.91	o 207
110.29/110.98	o 206
110.39/111.03	o 204
110.49/111.11	o 203
110.68/111.37	o 202
111.18/111.81	o 201
111.28/111.95	o 197
111.58/112.24	o 196
111.68/112.39	o 195
111.98/112.67	o 194
112.28/112.97	o 193
125.40/126.12	o 192
125.50/126.24	o 191
144.91/145.71	o 190
145.31/146.17	o 189
145.81/146.64	o 188
146.30/147.11	o 187
148.19/149.08	o 185
148.39/149.21	o 182
149.20/150.06	o 181
149.29/150.12	o 179
149.29/150.17	o 177
149.69/150.59	o 176
149.89/150.71	o 175
151.58/152.48	o 174
151.78/152.61	o 173
151.98/152.87	o 171
155.96/156.83	o 170
155.96/156.89	o 168
156.85/157.79	o 166
157.15/158.07	o 165
187.20/188.24	   
187.20/188.24	   search
187.20/188.24	     run=0  nbConstraintChecks=422190176  nbAssignments=1971
187.20/188.24	       =>  wckTime=173.863  cpuTime=172.92  mem=30M291
187.20/188.24	   
187.20/188.24	   global
187.20/188.24	     nbConstraintChecks=422190176  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
187.20/188.24	     solvingWckTime=173.86  solvingCpuTime=172.92  expiredTime=no  totalExploration=no  nbFoundSolutions=0
187.20/188.24	     globalCpuTime=186.15
187.20/188.24	       =>  wckTime=187.992  cpuTime=186.1  mem=30M291
187.20/188.24	   
187.20/188.24	   solver DecomposerSolver being built... 
188.30/189.33	       =>  wckTime=189.078  cpuTime=186.57  mem=305M398
196.86/197.94	   
196.86/197.94	   preprocessing
196.86/197.94	     nbConstraintChecks=25485282  nbValidityChecks=165784  nbPropagations=601  nbRevisions=13328
196.86/197.94	     nbUselessRevisions=13321  nbRemovedValues=816  detectedInconsistency=no
196.86/197.94	       =>  wckTime=8.606  cpuTime=8.53  mem=306M406
197.15/198.27	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-1112995-1215876537/watcher-1112995-1215876537 -o /tmp/evaluation-result-1112995-1215876537/solver-1112995-1215876537 -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-1112995-1215876537.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

[startup+0 s]
/proc/loadavg: 2.31 2.61 2.63 3/74 17797
/proc/meminfo: memFree=789784/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=18572 CPUtime=0
/proc/17797/stat : 17797 (runsolver) R 17795 17760 17760 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 1 0 44356615 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 215418989221 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17797/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.0194141 s]
/proc/loadavg: 2.31 2.61 2.63 3/74 17797
/proc/meminfo: memFree=789784/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=10704 CPUtime=0
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 739 0 0 0 0 0 0 0 18 0 2 0 44356615 10960896 519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 2676 519 243 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10704

[startup+0.101236 s]
/proc/loadavg: 2.31 2.61 2.63 3/74 17797
/proc/meminfo: memFree=789784/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=865984 CPUtime=0.08
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 3648 0 1 0 6 2 0 0 18 0 9 0 44356615 886767616 3133 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216496 3133 1671 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301273 s]
/proc/loadavg: 2.31 2.61 2.63 3/74 17797
/proc/meminfo: memFree=789784/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=866156 CPUtime=0.28
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 5587 0 1 0 24 4 0 0 18 0 9 0 44356615 886943744 5002 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216539 5002 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156

[startup+0.70135 s]
/proc/loadavg: 2.31 2.61 2.63 3/74 17797
/proc/meminfo: memFree=789784/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867068 CPUtime=0.68
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 8250 0 1 0 61 7 0 0 18 0 9 0 44356615 887877632 7611 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216767 7611 2006 9 0 211273 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867068

[startup+1.5025 s]
/proc/loadavg: 2.31 2.61 2.63 3/83 17806
/proc/meminfo: memFree=754960/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867708 CPUtime=1.48
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 16222 0 1 0 135 13 0 0 18 0 9 0 44356615 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216927 15580 2014 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867708 CPUtime=1.27
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 14887 0 1 0 116 11 0 0 25 0 9 0 44356617 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4126872155 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 44356619 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 44356619 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 44356619 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867708 CPUtime=0.19
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 637 0 0 0 18 1 0 0 16 0 9 0 44356621 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888532992 15580 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867708

[startup+3.10281 s]
/proc/loadavg: 2.29 2.60 2.62 3/83 17806
/proc/meminfo: memFree=732304/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=3.07
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 19454 0 1 0 292 15 0 0 18 0 9 0 44356615 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 18787 2005 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=2.74
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15811 0 1 0 262 12 0 0 25 0 9 0 44356617 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4126869047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=0.09
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 2286 0 0 0 9 0 0 0 16 0 9 0 44356619 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.22
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 660 0 0 0 21 1 0 0 15 0 9 0 44356621 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 18787 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867620

[startup+6.30242 s]
/proc/loadavg: 2.29 2.60 2.62 3/83 17806
/proc/meminfo: memFree=721872/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=6.25
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 19468 0 1 0 609 16 0 0 18 0 9 0 44356615 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 18798 2006 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=5.9
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15817 0 1 0 577 13 0 0 25 0 9 0 44356617 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4126869095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=0.09
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 2286 0 0 0 9 0 0 0 17 0 9 0 44356619 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.23
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 668 0 0 0 22 1 0 0 15 0 9 0 44356621 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 18798 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867620

[startup+12.7027 s]
/proc/loadavg: 2.24 2.58 2.62 3/83 17806
/proc/meminfo: memFree=708240/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=12.62
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 22847 0 1 0 1242 20 0 0 18 0 9 0 44356615 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 22173 2007 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=12.1
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15826 0 1 0 1195 15 0 0 25 0 9 0 44356617 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4126867720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=0.22
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 5635 0 0 0 19 3 0 0 16 0 9 0 44356619 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.28
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 689 0 0 0 27 1 0 0 15 0 9 0 44356621 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 22173 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867620

[startup+25.5011 s]
/proc/loadavg: 2.35 2.59 2.62 3/83 17806
/proc/meminfo: memFree=694224/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867708 CPUtime=25.33
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 27193 0 1 0 2504 29 0 0 18 0 9 0 44356615 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216927 26325 2640 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867708 CPUtime=24.41
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15891 0 1 0 2420 21 0 0 25 0 9 0 44356617 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4127179224 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867708 CPUtime=0.56
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 9891 0 0 0 52 4 0 0 16 0 9 0 44356619 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867708 CPUtime=0.32
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 714 0 0 0 31 1 0 0 16 0 9 0 44356621 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888532992 26325 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 867708

[startup+51.102 s]
/proc/loadavg: 2.23 2.54 2.60 3/83 17806
/proc/meminfo: memFree=694224/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867708 CPUtime=50.79
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 27196 0 1 0 5045 34 0 0 18 0 9 0 44356615 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216927 26326 2640 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867708 CPUtime=49.86
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15893 0 1 0 4960 26 0 0 25 0 9 0 44356617 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4126873607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867708 CPUtime=0.56
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 9891 0 0 0 52 4 0 0 16 0 9 0 44356619 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867708 CPUtime=0.33
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 715 0 0 0 32 1 0 0 15 0 9 0 44356621 888532992 26326 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867708 CPUtime=0

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

/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867708 CPUtime=0.33
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 719 0 0 0 32 1 0 0 15 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.43
Current children cumulated vsize (KiB) 867708

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

[startup+179.103 s]
/proc/loadavg: 2.07 2.37 2.53 3/83 17806
/proc/meminfo: memFree=694032/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867708 CPUtime=178.15
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 27200 0 1 0 17770 45 0 0 18 0 9 0 44356615 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216927 26330 2640 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867708 CPUtime=177.23
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15893 0 1 0 17685 38 0 0 25 0 9 0 44356617 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4126520035 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867708 CPUtime=0.56
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 9891 0 0 0 52 4 0 0 16 0 9 0 44356619 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44356619 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867708 CPUtime=0.33
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 719 0 0 0 32 1 0 0 15 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867708 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888532992 26330 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 178.15
Current children cumulated vsize (KiB) 867708

[startup+191.901 s]
/proc/loadavg: 2.13 2.37 2.53 3/91 17816
/proc/meminfo: memFree=1179024/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=190.88
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 85123 0 1 0 19016 72 0 0 18 0 9 0 44356615 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 84183 2619 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=189.33
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15972 0 1 0 18894 39 0 0 25 0 9 0 44356617 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4127061808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=1.15
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 67698 0 0 0 85 30 0 0 17 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.37
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.88
Current children cumulated vsize (KiB) 867620

[startup+195.103 s]
/proc/loadavg: 2.12 2.37 2.52 3/83 17818
/proc/meminfo: memFree=930832/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=194.07
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 85123 0 1 0 19335 72 0 0 18 0 9 0 44356615 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 84183 2619 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=192.51
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15972 0 1 0 19212 39 0 0 25 0 9 0 44356617 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4126871579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=1.15
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 67698 0 0 0 85 30 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.37
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 194.07
Current children cumulated vsize (KiB) 867620

[startup+196.702 s]
/proc/loadavg: 2.12 2.37 2.52 3/83 17818
/proc/meminfo: memFree=843472/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=195.66
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 85123 0 1 0 19494 72 0 0 18 0 9 0 44356615 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 84183 2619 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=194.1
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15972 0 1 0 19371 39 0 0 25 0 9 0 44356617 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4126867723 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=1.15
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 67698 0 0 0 85 30 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.37
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 195.66
Current children cumulated vsize (KiB) 867620

[startup+197.501 s]
/proc/loadavg: 2.11 2.36 2.52 3/83 17818
/proc/meminfo: memFree=756816/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=196.46
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 85123 0 1 0 19574 72 0 0 18 0 9 0 44356615 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 84183 2619 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=194.9
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15972 0 1 0 19451 39 0 0 25 0 9 0 44356617 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4126871599 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=1.15
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 67698 0 0 0 85 30 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.37
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.46
Current children cumulated vsize (KiB) 867620

[startup+197.901 s]
/proc/loadavg: 2.11 2.36 2.52 3/83 17818
/proc/meminfo: memFree=668880/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=867620 CPUtime=196.86
/proc/17797/stat : 17797 (java) S 17795 17797 17760 0 -1 0 85123 0 1 0 19614 72 0 0 18 0 9 0 44356615 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 216905 84183 2619 9 0 211433 0
[pid=17797/tid=17799] ppid=17795 vsize=867620 CPUtime=195.3
/proc/17797/task/17799/stat : 17799 (java) R 17795 17797 17760 0 -1 64 15972 0 1 0 19491 39 0 0 25 0 9 0 44356617 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4127286016 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17800] ppid=17795 vsize=867620 CPUtime=1.15
/proc/17797/task/17800/stat : 17800 (java) S 17795 17797 17760 0 -1 64 67698 0 0 0 85 30 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17801] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17801/stat : 17801 (java) S 17795 17797 17760 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17802] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17802/stat : 17802 (java) S 17795 17797 17760 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44356619 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17803] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17803/stat : 17803 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17804] ppid=17795 vsize=867620 CPUtime=0.37
/proc/17797/task/17804/stat : 17804 (java) S 17795 17797 17760 0 -1 64 738 0 0 0 36 1 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17805] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17805/stat : 17805 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17797/tid=17806] ppid=17795 vsize=867620 CPUtime=0
/proc/17797/task/17806/stat : 17806 (java) S 17795 17797 17760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44356621 888442880 84183 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.86
Current children cumulated vsize (KiB) 867620

[startup+198.302 s]
/proc/loadavg: 2.11 2.36 2.52 3/83 17818
/proc/meminfo: memFree=668880/2055920 swapFree=4180384/4192956
[pid=17797] ppid=17795 vsize=0 CPUtime=197.24
/proc/17797/stat : 17797 (java) Z 17795 17797 17760 0 -1 12 96079 0 1 0 19646 78 0 0 16 0 2 0 44356615 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 197.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 198.348
CPU time (s): 197.288
CPU user time (s): 196.46
CPU system time (s): 0.827874
CPU usage (%): 99.4653
Max. virtual memory (cumulated for all children) (KiB): 867712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.46
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96079
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= 5657
involuntary context switches= 9165

runsolver used 0.277957 second user time and 0.688895 second system time

The end

Launcher Data (download as text)

Begin job on node9 at 2008-07-12 17:28:57
IDJOB=1112995
IDBENCH=61509
IDSOLVER=359
FILE ID=node9/1112995-1215876537
PBS_JOBID= 7903615
Free space on /tmp= 66144 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/fapp/fapp07/normalized-fapp07-0600-6.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112995-1215876537/watcher-1112995-1215876537 -o /tmp/evaluation-result-1112995-1215876537/solver-1112995-1215876537 -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-1112995-1215876537.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d23de4e6fd19229cdf6e50664455956d
RANDOM SEED=1299441077

node9.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.260
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.260
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:        790264 kB
Buffers:          7504 kB
Cached:         458556 kB
SwapCached:       6132 kB
Active:        1194012 kB
Inactive:        12144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        790264 kB
SwapTotal:     4192956 kB
SwapFree:      4180384 kB
Dirty:          153708 kB
Writeback:           0 kB
Mapped:         747428 kB
Slab:            43404 kB
Committed_AS:   956400 kB
PageTables:       3284 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= 66144 MiB
End job on node9 at 2008-07-12 17:32:15