Trace number 3709238

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 NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)SAT (TO)7 1800.12 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5  --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...165574/instance-3709238-1338165574.opb
0.00/0.00	c Solving...
0.00/0.00	o 919
0.00/0.00	o 918
0.00/0.02	o 917
0.00/0.02	o 916
0.00/0.03	o 915
0.00/0.05	o 913
0.00/0.06	o 911
0.00/0.06	o 910
0.00/0.07	o 908
0.00/0.08	o 907
0.00/0.10	o 905
0.00/0.12	o 903
0.00/0.13	o 901
0.00/0.14	o 900
0.00/0.16	o 898
0.00/0.17	o 896
0.00/0.18	o 895
0.00/0.19	o 893
0.00/0.19	o 892
0.00/0.20	o 890
0.00/0.21	o 888
0.00/0.22	o 886
0.00/0.26	o 884
0.00/0.32	o 882
0.00/0.34	o 881
0.00/0.35	o 880
0.00/0.37	o 879
0.00/0.44	o 878
0.00/0.45	o 877
0.00/0.45	o 875
0.00/0.46	o 873
0.00/0.46	o 872
0.00/0.47	o 870
0.00/0.49	o 868
0.00/0.49	o 867
0.00/0.50	o 866
0.00/0.51	o 865
0.00/0.51	o 864
0.00/0.52	o 862
0.00/0.55	o 860
0.00/0.57	o 859
0.00/0.64	o 857
0.00/0.75	o 855
0.00/0.79	o 853
0.00/0.80	o 852
0.00/0.83	o 851
0.00/0.86	o 850
0.00/0.89	o 849
0.00/0.90	o 848
0.00/0.95	o 846
0.00/0.97	o 845
0.00/0.98	o 843
1.00/1.01	o 841
1.00/1.10	o 839
1.10/1.12	o 838
1.10/1.13	o 837
1.10/1.14	o 836
1.10/1.15	o 835
1.10/1.15	o 833
1.10/1.16	o 831
1.10/1.19	o 830
1.19/1.23	o 828
1.19/1.25	o 827
1.19/1.25	o 826
1.19/1.27	o 824
1.19/1.28	o 823
1.19/1.29	o 822
1.29/1.32	o 821
1.29/1.37	o 820
1.39/1.47	o 819
1.59/1.63	o 817
1.79/1.89	o 816
1.89/1.91	o 814
1.89/1.92	o 813
1.89/1.94	o 812
1.89/1.95	o 811
1.89/1.98	o 809
1.89/1.99	o 807
1.99/2.00	o 806
1.99/2.01	o 805
1.99/2.02	o 804
1.99/2.03	o 803
1.99/2.04	o 801
1.99/2.05	o 799
1.99/2.08	o 797
1.99/2.10	o 795
2.10/2.13	o 794
2.10/2.20	o 792
2.20/2.20	o 790
2.20/2.21	o 788
2.20/2.22	o 787
2.20/2.22	o 786
2.20/2.23	o 784
2.20/2.25	o 782
2.20/2.26	o 781
2.20/2.26	o 780
2.20/2.27	o 778
2.20/2.28	o 776
2.20/2.28	o 775
2.20/2.29	o 773
2.29/2.31	o 771
2.29/2.34	o 769
2.29/2.37	o 768
2.29/2.38	o 766
2.39/2.40	o 765
2.39/2.41	o 763
2.39/2.41	o 762
2.39/2.43	o 760
2.39/2.45	o 758
2.39/2.48	o 757
2.49/2.54	o 755
2.69/2.70	o 754
2.69/2.70	o 752
2.69/2.73	o 750
2.69/2.73	o 749
2.69/2.74	o 748
2.69/2.75	o 746
2.69/2.75	o 744
2.69/2.76	o 743
2.69/2.78	o 742
2.79/2.82	o 741
2.79/2.83	o 740
2.79/2.84	o 739
2.79/2.85	o 737
2.79/2.88	o 735
2.79/2.88	o 734
2.79/2.89	o 732
2.89/2.91	o 730
2.99/3.00	o 729
2.99/3.01	o 727
2.99/3.02	o 726
2.99/3.02	o 725
2.99/3.04	o 724
2.99/3.06	o 722
2.99/3.08	o 720
2.99/3.09	o 719
3.09/3.13	o 717
3.09/3.14	o 716
3.09/3.16	o 714
3.09/3.17	o 712
3.09/3.19	o 711
3.20/3.22	o 709
3.20/3.24	o 707
3.20/3.28	o 706
3.30/3.34	o 705
3.39/3.47	o 703
3.69/3.74	o 702
4.19/4.27	o 700
4.19/4.28	o 699
4.19/4.29	o 698
4.30/4.31	o 697
4.30/4.33	o 695
4.30/4.34	o 694
4.30/4.39	o 692
4.40/4.41	o 690
4.40/4.43	o 689
4.40/4.45	o 688
4.40/4.46	o 687
4.40/4.47	o 685
4.40/4.48	o 684
4.40/4.49	o 683
4.49/4.53	o 682
4.49/4.59	o 681
4.59/4.60	o 680
4.59/4.60	o 678
4.59/4.63	o 676
4.59/4.67	o 675
4.59/4.68	o 674
4.69/4.70	o 673
4.69/4.75	o 672
4.69/4.76	o 671
4.69/4.77	o 669
4.79/4.89	o 668
4.89/4.98	o 666
5.19/5.25	o 664
5.19/5.25	o 663
5.19/5.26	o 662
5.29/5.33	o 661
5.29/5.38	o 660
5.40/5.46	o 658
5.40/5.47	o 656
5.40/5.48	o 655
5.40/5.49	o 654
5.50/5.51	o 653
5.50/5.51	o 651
5.50/5.54	o 650
5.50/5.56	o 649
5.59/5.62	o 647
5.59/5.63	o 645
5.59/5.65	o 644
5.59/5.66	o 643
5.59/5.67	o 641
5.69/5.70	o 640
5.69/5.73	o 638
5.79/5.80	o 636
5.89/5.94	o 634
6.19/6.23	o 633
6.19/6.23	o 632
6.19/6.24	o 631
6.19/6.28	o 630
6.29/6.30	o 629
6.29/6.32	o 628
6.29/6.34	o 626
6.29/6.35	o 625
6.29/6.36	o 623
6.29/6.37	o 621
6.29/6.39	o 620
6.39/6.41	o 619
6.39/6.45	o 618
6.39/6.49	o 616
6.49/6.55	o 615
6.49/6.56	o 614
6.59/6.61	o 613
6.59/6.61	o 611
6.59/6.62	o 610
6.59/6.68	o 609
6.69/6.71	o 608
6.69/6.74	o 606
6.79/6.80	o 604
6.89/6.90	o 602
6.99/7.02	o 600
6.99/7.04	o 598
6.99/7.05	o 597
6.99/7.05	o 596
6.99/7.08	o 595
7.08/7.15	o 594
7.08/7.16	o 593
7.08/7.19	o 591
7.18/7.22	o 590
7.18/7.28	o 589
7.28/7.33	o 587
7.48/7.53	o 586
7.48/7.53	o 585
7.48/7.54	o 583
7.48/7.55	o 581
7.48/7.56	o 580
7.48/7.58	o 579
7.48/7.59	o 577
7.48/7.60	o 575
7.59/7.62	o 574
7.59/7.66	o 572
7.69/7.72	o 571
7.78/7.88	o 569
8.08/8.13	o 568
8.69/8.71	o 566
9.98/10.02	o 565
9.98/10.02	o 564
9.98/10.05	o 562
10.08/10.13	o 561
10.08/10.19	o 560
10.18/10.21	o 558
10.18/10.24	o 556
10.18/10.27	o 554
10.18/10.29	o 553
10.28/10.31	o 551
10.28/10.33	o 550
10.28/10.36	o 548
10.28/10.37	o 547
10.28/10.38	o 545
10.38/10.42	o 543
10.38/10.49	o 542
10.58/10.62	o 541
10.58/10.63	o 539
10.58/10.63	o 538
10.58/10.65	o 536
10.68/10.70	o 534
10.68/10.71	o 533
10.68/10.74	o 531
10.68/10.78	o 529
10.78/10.80	o 528
10.78/10.81	o 526
10.78/10.84	o 524
10.78/10.87	o 522
10.78/10.89	o 521
10.89/10.93	o 520
10.99/11.04	o 519
10.99/11.07	o 517
10.99/11.07	o 516
10.99/11.08	o 515
11.08/11.10	o 513
11.08/11.13	o 511
11.08/11.19	o 509
11.18/11.20	o 508
11.18/11.22	o 507
11.18/11.27	o 506
11.18/11.29	o 504
11.28/11.33	o 502
11.38/11.41	o 500
11.48/11.57	o 498
11.78/11.89	o 496
11.88/11.90	o 495
11.88/11.92	o 494
11.88/11.92	o 493
11.88/11.93	o 491
11.88/11.95	o 489
11.88/11.98	o 488
11.88/11.99	o 486
11.99/12.04	o 484
11.99/12.07	o 483
11.99/12.08	o 482
11.99/12.09	o 481
12.09/12.11	o 479
12.09/12.16	o 478
12.09/12.19	o 477
12.18/12.26	o 476
12.18/12.26	o 474
12.18/12.27	o 473
12.18/12.28	o 472
12.28/12.37	o 471
12.38/12.42	o 469
12.38/12.48	o 468
12.38/12.48	o 466
12.48/12.52	o 465
12.58/12.62	o 464
12.78/12.84	o 463
12.78/12.85	o 462
12.78/12.86	o 460
12.78/12.87	o 459
12.88/12.95	o 457
12.98/13.07	o 455
13.19/13.21	o 453
13.19/13.22	o 452
13.19/13.23	o 450
13.19/13.25	o 448
13.38/13.41	o 446
13.58/13.63	o 444
13.68/13.78	o 443
14.08/14.19	o 442
14.68/14.77	o 441
14.68/14.78	o 440
14.68/14.79	o 439
14.78/14.80	o 437
14.78/14.83	o 435
14.78/14.85	o 434
14.78/14.86	o 432
14.78/14.88	o 430
14.78/14.89	o 429
14.88/14.91	o 428
14.88/14.97	o 426
14.98/15.00	o 425
14.98/15.04	o 423
14.98/15.08	o 421
15.18/15.22	o 420
15.18/15.23	o 418
15.18/15.25	o 417
15.18/15.28	o 415
15.29/15.31	o 413
15.29/15.32	o 411
15.29/15.37	o 409
15.29/15.38	o 408
15.29/15.39	o 407
15.29/15.40	o 405
15.39/15.41	o 404
15.39/15.43	o 402
15.39/15.47	o 400
15.48/15.56	o 399
15.68/15.70	o 398
15.68/15.77	o 397
15.68/15.78	o 395
15.68/15.79	o 394
15.78/15.80	o 392
15.78/15.84	o 390
15.78/15.86	o 389
15.78/15.89	o 388
16.08/16.12	o 386
16.08/16.15	o 384
16.08/16.19	o 383
16.18/16.20	o 381
16.18/16.21	o 380
16.18/16.21	o 379
16.18/16.22	o 377
16.18/16.29	o 376
16.28/16.33	o 374
16.39/16.43	o 372
16.49/16.57	o 370
16.88/16.91	o 369
16.88/16.92	o 367
16.88/16.95	o 365
16.88/16.96	o 363
17.08/17.18	o 361
17.18/17.25	o 359
17.18/17.29	o 357
17.38/17.45	o 355
17.38/17.49	o 353
17.49/17.50	o 352
17.49/17.60	o 351
17.68/17.75	o 349
17.78/17.80	o 348
17.78/17.84	o 346
17.78/17.85	o 345
17.88/17.98	o 344
17.98/18.02	o 343
18.08/18.12	o 341
18.08/18.13	o 339
18.08/18.14	o 338
18.08/18.19	o 337
18.18/18.21	o 336
18.18/18.25	o 335
18.18/18.28	o 334
18.28/18.30	o 332
18.28/18.33	o 330
18.28/18.35	o 329
18.28/18.38	o 327
18.48/18.50	o 326
18.59/18.66	o 325
18.98/19.02	o 323
19.88/19.96	o 322
21.18/21.25	o 321
23.68/23.78	o 320
23.78/23.89	o 318
23.88/23.90	o 317
23.88/23.91	o 315
23.88/23.94	o 313
23.88/23.97	o 312
23.98/24.06	o 311
23.98/24.07	o 309
24.08/24.16	o 307
24.08/24.20	o 306
24.18/24.21	o 305
24.18/24.29	o 303
24.28/24.33	o 301
24.38/24.40	o 300
24.48/24.54	o 299
24.48/24.55	o 297
24.58/24.60	o 295
24.58/24.61	o 294
24.58/24.65	o 292
24.58/24.68	o 290
24.68/24.73	o 288
24.68/24.75	o 287
24.78/24.82	o 285
24.78/24.88	o 283
24.78/24.88	o 281
24.78/24.89	o 279
24.88/24.90	o 278
24.88/24.91	o 277
24.88/24.91	o 275
24.88/24.94	o 274
24.88/24.95	o 273
24.88/24.96	o 272
24.88/24.97	o 271
24.88/24.98	o 269
24.98/25.02	o 267
24.98/25.05	o 265
24.98/25.05	o 263
24.98/25.06	o 262
25.08/25.10	o 261
25.08/25.11	o 260
25.08/25.12	o 259
25.08/25.13	o 258
25.18/25.21	o 257
25.28/25.31	o 256
25.38/25.47	o 255
25.68/25.75	o 254
25.68/25.76	o 252
25.68/25.77	o 251
25.78/25.80	o 249
25.78/25.87	o 247
25.88/25.93	o 246
25.88/25.97	o 244
25.88/25.98	o 243
25.98/26.02	o 242
25.98/26.06	o 241
26.08/26.14	o 240
26.08/26.16	o 239
26.08/26.18	o 238
26.18/26.22	o 237
26.18/26.25	o 235
26.18/26.30	o 233
26.28/26.31	o 231
26.28/26.34	o 229
26.38/26.42	o 228
26.48/26.52	o 226
26.68/26.72	o 225
26.98/27.05	o 224
26.98/27.07	o 223
26.98/27.09	o 222
27.08/27.11	o 220
27.08/27.12	o 218
27.08/27.14	o 217
27.28/27.30	o 216
27.28/27.33	o 214
27.28/27.35	o 213
27.28/27.38	o 211
27.38/27.45	o 209
27.38/27.47	o 208
27.38/27.49	o 207
27.38/27.50	o 205
27.48/27.52	o 204
27.58/27.69	o 202
27.78/27.88	o 200
28.18/28.20	o 198
28.88/28.90	o 197
28.98/29.00	o 195
28.98/29.07	o 193
29.08/29.10	o 192
29.08/29.13	o 190
29.18/29.27	o 189
29.18/29.28	o 187
29.28/29.31	o 185
29.38/29.42	o 183
29.48/29.56	o 182
29.68/29.75	o 180
29.68/29.78	o 179
29.78/29.80	o 178
29.78/29.81	o 177
29.78/29.83	o 176
29.78/29.87	o 174
29.78/29.88	o 173
29.88/29.93	o 172
29.88/29.97	o 170
29.88/29.99	o 168
30.08/30.10	o 166
30.08/30.17	o 164
30.18/30.23	o 163
30.18/30.26	o 161
30.98/31.09	o 160
31.08/31.12	o 158
31.08/31.16	o 157
31.18/31.20	o 156
31.18/31.27	o 154
31.18/31.28	o 153
31.28/31.30	o 152
31.28/31.31	o 151
31.28/31.39	o 150
31.58/31.69	o 148
31.88/31.91	o 147
31.88/31.92	o 146
31.88/31.98	o 144
31.98/32.01	o 142
31.98/32.03	o 141
31.98/32.05	o 140
31.98/32.07	o 138
32.08/32.15	o 136
32.18/32.23	o 134
32.18/32.27	o 132
32.28/32.39	o 130
32.38/32.47	o 129
32.38/32.49	o 128
32.48/32.53	o 126
32.48/32.59	o 124
33.17/33.20	o 122
33.77/33.84	o 121
35.18/35.20	o 120
35.18/35.21	o 119
35.18/35.22	o 117
35.18/35.24	o 116
35.18/35.28	o 114
35.27/35.32	o 112
35.37/35.43	o 110
35.37/35.47	o 108
35.47/35.51	o 106
35.47/35.59	o 104
35.57/35.62	o 103
35.57/35.66	o 101
35.67/35.72	o 100
35.67/35.73	o 98
35.77/35.88	o 97
35.97/36.02	o 95
36.18/36.25	o 94
36.18/36.27	o 92
36.28/36.32	o 90
36.28/36.34	o 89
36.28/36.37	o 87
36.37/36.41	o 85
36.37/36.47	o 83
36.47/36.55	o 82
36.57/36.63	o 81
36.57/36.69	o 79
36.77/36.82	o 78
36.87/36.91	o 76
36.97/37.09	o 74
37.47/37.54	o 73
37.57/37.64	o 72
37.67/37.78	o 71
37.67/37.79	o 70
37.77/37.84	o 68
37.77/37.88	o 66
37.87/37.93	o 64
37.97/38.09	o 63
38.17/38.28	o 61
38.48/38.50	o 59
38.57/38.67	o 57
38.67/38.73	o 55
38.77/38.80	o 54
40.27/40.37	o 53
40.37/40.44	o 52
40.47/40.50	o 51
41.07/41.10	o 50
41.17/41.26	o 49
43.77/43.80	o 47
43.88/43.94	o 46
46.47/46.59	o 45
50.87/50.93	o 44
55.87/55.94	o 43
55.87/55.97	o 41
55.97/56.02	o 40
55.97/56.07	o 38
56.26/56.30	o 37
56.56/56.61	o 36
56.76/56.88	o 35
57.96/58.02	o 34
59.37/59.43	o 32
59.46/59.50	o 30
59.46/59.53	o 28
61.06/61.10	o 26
65.46/65.57	o 25
67.56/67.60	o 24
71.26/71.38	o 23
71.56/71.69	o 21
78.07/78.11	o 19
83.26/83.31	o 17
84.67/84.76	o 16
106.76/106.89	o 14
129.55/129.64	o 13
171.94/172.09	o 12
186.04/186.11	o 11
494.70/494.86	o 10
500.00/500.16	o 8
898.64/898.87	o 7
1800.10/1800.40	
1800.10/1800.40	*** INTERRUPTED! ***
1800.10/1800.40	c Answer: 620
1800.10/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
1800.10/1800.40	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
1800.10/1800.40	v x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.10/1800.40	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
1800.10/1800.40	v -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77
1800.10/1800.40	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
1800.10/1800.40	v -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 x102 x103 x104 -x105 -x106
1800.10/1800.40	v -x107 -x108 x109 x110 -x111 x112 -x113 -x114 x115 x116 -x117 -x118 x119
1800.10/1800.40	v -x120 x121 -x122 x123 -x124 x125 x126 x127 -x128 x129 x130 x131 -x132 x133
1800.10/1800.40	v -x134 x135 x136 -x137 -x138 x139 x140 -x141 -x142 -x143 x144 x145 -x146
1800.10/1800.40	v 
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	
1800.10/1800.40	c INTERRUPTED   : 1
1800.10/1800.40	c Models        : 1+    
1800.10/1800.40	c   Enumerated  : 620
1800.10/1800.40	c   Optimum     : unknown
1800.10/1800.40	c Optimization  : 7
1800.10/1800.40	c Time          : 1800.404s (Solving: 1800.40s 1st Model: 0.00s Unsat: 0.00s)
1800.10/1800.40	c CPU Time      : 1800.100s

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709238-1338165574/watcher-3709238-1338165574 -o /tmp/evaluation-result-3709238-1338165574/solver-3709238-1338165574 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709238-1338165574.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26062
/proc/meminfo: memFree=29791532/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0

[startup+0.080002 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26062
/proc/meminfo: memFree=29791532/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100246 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26062
/proc/meminfo: memFree=29791532/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300217 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26062
/proc/meminfo: memFree=29791532/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700216 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26062
/proc/meminfo: memFree=29791532/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50022 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 26064
/proc/meminfo: memFree=29789772/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=4232 CPUtime=1.49 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 785 0 0 0 149 0 0 0 20 0 1 0 282682227 4333568 740 33554432000 4194304 6212839 140737221008064 140737221006072 4333789 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/26063/statm: 1058 740 232 493 0 563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13384

[startup+3.10022 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 26064
/proc/meminfo: memFree=29788524/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=4896 CPUtime=3.09 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 934 0 0 0 309 0 0 0 20 0 1 0 282682227 5013504 889 33554432000 4194304 6212839 140737221008064 140737221006472 4685449 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/26063/statm: 1224 889 232 493 0 729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14048

[startup+6.30023 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 26064
/proc/meminfo: memFree=29787656/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=5568 CPUtime=6.29 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 1119 0 0 0 629 0 0 0 20 0 1 0 282682227 5701632 1074 33554432000 4194304 6212839 140737221008064 140737221006472 4683162 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 1392 1074 232 493 0 897 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14720

[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 26064
/proc/meminfo: memFree=29786200/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=6592 CPUtime=12.68 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 1418 0 0 0 1268 0 0 0 20 0 1 0 282682227 6750208 1337 33554432000 4194304 6212839 140737221008064 140737221006472 4303947 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/26063/statm: 1648 1337 232 493 0 1153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15744

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 26064
/proc/meminfo: memFree=29784960/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=7816 CPUtime=25.48 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 1690 0 0 0 2548 0 0 0 20 0 1 0 282682227 8003584 1609 33554432000 4194304 6212839 140737221008064 140737221006472 4685305 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/26063/statm: 1954 1609 232 493 0 1459 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16968

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 26067
/proc/meminfo: memFree=29783340/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=8964 CPUtime=51.07 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 2017 0 0 0 5107 0 0 0 20 0 1 0 282682227 9179136 1878 33554432000 4194304 6212839 140737221008064 140737221006216 4674259 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 2241 1878 233 493 0 1746 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18116

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26068
/proc/meminfo: memFree=29780676/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=10208 CPUtime=102.26 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 2289 0 0 0 10226 0 0 0 20 0 1 0 282682227 10452992 2155 33554432000 4194304 6212839 140737221008064 140737221006216 4307964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 2552 2155 233 493 0 2057 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19360

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26108
/proc/meminfo: memFree=29867752/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=11388 CPUtime=162.25 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 2581 0 0 0 16225 0 0 0 20 0 1 0 282682227 11661312 2467 33554432000 4194304 6212839 140737221008064 140737221006216 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 2847 2467 233 493 0 2352 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20540

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26147
/proc/meminfo: memFree=29864268/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=11896 CPUtime=222.24 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 2664 0 0 0 22224 0 0 0 20 0 1 0 282682227 12181504 2607 33554432000 4194304 6212839 140737221008064 140737221006216 4683391 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 2974 2607 233 493 0 2479 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 21048

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26147
/proc/meminfo: memFree=29860172/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=13752 CPUtime=282.23 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3066 0 0 0 28223 0 0 0 20 0 1 0 282682227 14082048 3102 33554432000 4194304 6212839 140737221008064 140737221006216 4298175 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3438 3102 233 493 0 2943 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 22904

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26147
/proc/meminfo: memFree=29859056/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14424 CPUtime=342.23 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3199 0 0 0 34222 1 0 0 20 0 1 0 282682227 14770176 3235 33554432000 4194304 6212839 140737221008064 140737221006216 4744384 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3606 3235 233 493 0 3111 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 23576

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26148
/proc/meminfo: memFree=29858124/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1062.11 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3300 0 0 0 106210 1 0 0 20 0 1 0 282682227 15290368 3336 33554432000 4194304 6212839 140737221008064 140737221006472 4744874 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3336 233 493 0 3238 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 24084

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26153
/proc/meminfo: memFree=29855828/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1122.1 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3300 0 0 0 112209 1 0 0 20 0 1 0 282682227 15290368 3336 33554432000 4194304 6212839 140737221008064 140737221006472 4683106 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3336 233 493 0 3238 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 24084

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26153
/proc/meminfo: memFree=29855828/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1182.09 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3300 0 0 0 118208 1 0 0 20 0 1 0 282682227 15290368 3336 33554432000 4194304 6212839 140737221008064 140737221006472 4661283 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3336 233 493 0 3238 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 24084

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26156
/proc/meminfo: memFree=29855820/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1242.08 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3301 0 0 0 124207 1 0 0 20 0 1 0 282682227 15290368 3337 33554432000 4194304 6212839 140737221008064 140737221006472 4744830 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3337 233 493 0 3238 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 24084

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26180
/proc/meminfo: memFree=29854672/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1302.08 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3316 0 0 0 130207 1 0 0 20 0 1 0 282682227 15290368 3352 33554432000 4194304 6212839 140737221008064 140737221006472 5485436 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3352 233 493 0 3238 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 24084

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26180
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1362.06 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 136205 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 24084

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26180
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1422.06 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 142205 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 24084

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26180
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1482.04 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 148203 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4682215 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 24084

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 26180
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1542.03 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 154202 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4685794 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 24084

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 26181
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1602.02 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 160201 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4685827 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 24084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26181
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1662.02 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 166201 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4303945 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 24084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26181
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1722.01 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 172200 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4706668 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 24084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26181
/proc/meminfo: memFree=29854556/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1782 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 178199 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 24084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26181
/proc/meminfo: memFree=29854680/32873844 swapFree=7372/7372
[pid=26062] ppid=26060 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26062/stat : 26062 (clasp-opt.sh) S 26060 26062 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282682226 9371648 274 33554432000 4194304 5064252 140735623088896 140735623087808 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26062/statm: 2288 274 232 213 0 73 0
[pid=26063] ppid=26062 vsize=14932 CPUtime=1800.1 cores=0,2,4,6
/proc/26063/stat : 26063 (clasp-R5325) R 26062 26062 24451 0 -1 4202496 3320 0 0 0 180009 1 0 0 20 0 1 0 282682227 15290368 3356 33554432000 4194304 6212839 140737221008064 140737221006472 4298304 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/26063/statm: 3733 3356 233 493 0 3238 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 24084

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1800.1
CPU system time (s): 0.020996
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 24084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.1
system time used= 0.020996
maximum resident set size= 13452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 2058

runsolver used 3.47147 second user time and 9.14061 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 02:39:34
IDJOB=3709238
IDBENCH=2910
IDSOLVER=2288
FILE ID=node133/3709238-1338165574
RUNJOBID= node133-1338143953-24467
PBS_JOBID= 14624517
Free space on /tmp= 71728 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709238-1338165574/watcher-3709238-1338165574 -o /tmp/evaluation-result-3709238-1338165574/solver-3709238-1338165574 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709238-1338165574.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1916212217

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29791532 kB
Buffers:          365884 kB
Cached:          1787196 kB
SwapCached:          104 kB
Active:           718008 kB
Inactive:        1538564 kB
Active(anon):      94240 kB
Inactive(anon):    11368 kB
Active(file):     623768 kB
Inactive(file):  1527196 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:        218736 kB
Mapped:            15464 kB
Shmem:               212 kB
Slab:             686124 kB
SReclaimable:     128368 kB
SUnreclaim:       557756 kB
KernelStack:        1504 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     218136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node133 at 2012-05-28 03:09:35