Trace number 3707355

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
toysat 2012-05-17OPT3 58.6731 58.6883

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb
MD5SUM2a7888c7c4f71cd1bd795e0b54484781
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.032994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables54
Total number of constraints5
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 constraints5
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)162
Sum of products size (including duplicates)324
Number of different products162
Sum of products size324

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 2012-05-27T16:50:28+0200
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.4
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.1
0.00/0.00	c   array-0.4.0.0
0.00/0.00	c   base-4.5.0.0
0.00/0.00	c   bytestring-0.9.2.1
0.00/0.00	c   containers-0.4.2.1
0.00/0.00	c   deepseq-1.3.0.0
0.00/0.00	c   mtl-2.1.1
0.00/0.00	c   old_locale-1.0.0.4
0.00/0.00	c   parse_dimacs-1.2
0.00/0.00	c   parsec-3.1.2
0.00/0.00	c   queue-0.1.2
0.00/0.00	c   stm-2.3
0.00/0.00	c   time-1.4
0.00/0.00	c command line = ["--pb","HOME/instance-3707355-1338130228.opb"]
0.00/0.00	c #vars 54
0.00/0.00	c #constraints 5
0.00/0.00	c Solving starts ...
0.29/0.34	c learnt constraints deletion: 360 -> 181
0.39/0.40	c learnt constraints deletion: 293 -> 147
0.49/0.52	c learnt constraints deletion: 396 -> 203
0.59/0.62	c learnt constraints deletion: 397 -> 202
0.69/0.74	c learnt constraints deletion: 416 -> 213
0.78/0.85	c learnt constraints deletion: 399 -> 200
0.88/0.91	c solving time = 0.910s
0.88/0.91	c #decision = 1618
0.88/0.91	c #conflict = 1412
0.88/0.91	c #restart = 5
0.88/0.91	o 11
0.88/0.91	c Solving starts ...
0.88/0.91	c learnt constraints deletion: 292 -> 146
1.19/1.24	c solving time = 0.325s
1.19/1.24	c #decision = 1786
1.19/1.24	c #conflict = 1529
1.19/1.24	c #restart = 6
1.19/1.24	o 5
1.19/1.24	c Solving starts ...
1.19/1.25	c solving time = 0.010s
1.19/1.25	c #decision = 1835
1.19/1.25	c #conflict = 1545
1.19/1.25	c #restart = 6
1.19/1.25	o 3
1.19/1.25	c Solving starts ...
1.19/1.25	c solving time = 0.000s
1.19/1.25	c #decision = 1851
1.19/1.25	c #conflict = 1545
1.19/1.25	c #restart = 6
1.19/1.25	o 3
1.19/1.25	c Solving starts ...
1.29/1.31	c learnt constraints deletion: 377 -> 189
1.39/1.44	c learnt constraints deletion: 433 -> 221
1.59/1.60	c learnt constraints deletion: 473 -> 239
1.69/1.73	c learnt constraints deletion: 453 -> 227
1.79/1.89	c learnt constraints deletion: 508 -> 259
1.99/2.02	c learnt constraints deletion: 484 -> 242
2.09/2.18	c learnt constraints deletion: 531 -> 267
2.29/2.32	c learnt constraints deletion: 530 -> 267
2.48/2.51	c learnt constraints deletion: 593 -> 300
2.58/2.66	c learnt constraints deletion: 557 -> 282
2.78/2.83	c learnt constraints deletion: 583 -> 296
2.89/2.98	c learnt constraints deletion: 574 -> 291
3.09/3.17	c learnt constraints deletion: 632 -> 321
3.29/3.34	c learnt constraints deletion: 627 -> 316
3.48/3.51	c learnt constraints deletion: 628 -> 319
3.58/3.69	c learnt constraints deletion: 633 -> 320
3.78/3.87	c learnt constraints deletion: 632 -> 322
3.98/4.04	c learnt constraints deletion: 636 -> 318
4.19/4.23	c learnt constraints deletion: 663 -> 334
4.39/4.41	c learnt constraints deletion: 670 -> 339
4.58/4.60	c learnt constraints deletion: 683 -> 344
4.68/4.78	c learnt constraints deletion: 679 -> 345
4.88/4.96	c learnt constraints deletion: 685 -> 346
5.08/5.13	c learnt constraints deletion: 683 -> 346
5.29/5.30	c learnt constraints deletion: 683 -> 345
5.39/5.47	c learnt constraints deletion: 680 -> 341
5.58/5.66	c learnt constraints deletion: 721 -> 364
5.78/5.82	c learnt constraints deletion: 685 -> 345
5.98/6.01	c learnt constraints deletion: 710 -> 359
6.18/6.21	c learnt constraints deletion: 729 -> 369
6.28/6.39	c learnt constraints deletion: 734 -> 370
6.49/6.59	c learnt constraints deletion: 723 -> 367
6.69/6.78	c learnt constraints deletion: 716 -> 364
6.89/6.98	c learnt constraints deletion: 726 -> 368
7.09/7.16	c learnt constraints deletion: 704 -> 358
7.29/7.35	c learnt constraints deletion: 732 -> 371
7.49/7.57	c learnt constraints deletion: 789 -> 398
7.69/7.76	c learnt constraints deletion: 766 -> 389
7.88/7.98	c learnt constraints deletion: 791 -> 406
8.08/8.18	c learnt constraints deletion: 773 -> 392
8.29/8.39	c learnt constraints deletion: 792 -> 403
8.49/8.56	c learnt constraints deletion: 768 -> 390
8.69/8.75	c learnt constraints deletion: 771 -> 395
8.88/8.96	c learnt constraints deletion: 796 -> 408
9.08/9.16	c learnt constraints deletion: 768 -> 395
9.28/9.37	c learnt constraints deletion: 783 -> 399
9.49/9.56	c learnt constraints deletion: 777 -> 397
9.69/9.76	c learnt constraints deletion: 787 -> 405
9.89/9.94	c learnt constraints deletion: 775 -> 395
10.09/10.14	c learnt constraints deletion: 756 -> 384
10.28/10.33	c learnt constraints deletion: 772 -> 396
10.48/10.56	c learnt constraints deletion: 830 -> 420
10.78/10.80	c learnt constraints deletion: 857 -> 437
10.89/11.00	c learnt constraints deletion: 835 -> 422
11.18/11.22	c learnt constraints deletion: 849 -> 430
11.38/11.44	c learnt constraints deletion: 828 -> 419
11.58/11.66	c learnt constraints deletion: 825 -> 418
11.79/11.86	c learnt constraints deletion: 814 -> 410
11.99/12.09	c learnt constraints deletion: 836 -> 424
12.28/12.33	c learnt constraints deletion: 838 -> 423
12.48/12.56	c learnt constraints deletion: 838 -> 426
12.68/12.79	c learnt constraints deletion: 855 -> 433
12.98/13.00	c learnt constraints deletion: 845 -> 430
13.19/13.23	c learnt constraints deletion: 858 -> 430
13.38/13.45	c learnt constraints deletion: 849 -> 429
13.58/13.66	c learnt constraints deletion: 839 -> 424
13.78/13.87	c learnt constraints deletion: 827 -> 419
13.98/14.09	c learnt constraints deletion: 838 -> 423
14.29/14.30	c learnt constraints deletion: 842 -> 426
14.48/14.51	c learnt constraints deletion: 841 -> 427
14.68/14.73	c learnt constraints deletion: 842 -> 426
14.88/14.97	c learnt constraints deletion: 927 -> 471
15.08/15.18	c learnt constraints deletion: 915 -> 463
15.39/15.43	c learnt constraints deletion: 923 -> 471
15.58/15.64	c learnt constraints deletion: 884 -> 451
15.78/15.85	c learnt constraints deletion: 888 -> 451
15.98/16.07	c learnt constraints deletion: 886 -> 452
16.28/16.32	c learnt constraints deletion: 924 -> 475
16.48/16.57	c learnt constraints deletion: 928 -> 470
16.68/16.78	c learnt constraints deletion: 862 -> 433
16.98/17.01	c learnt constraints deletion: 916 -> 461
17.19/17.23	c learnt constraints deletion: 901 -> 461
17.38/17.45	c learnt constraints deletion: 904 -> 458
17.68/17.71	c learnt constraints deletion: 894 -> 460
17.88/17.95	c learnt constraints deletion: 918 -> 468
18.08/18.17	c learnt constraints deletion: 926 -> 471
18.38/18.41	c learnt constraints deletion: 924 -> 468
18.59/18.63	c learnt constraints deletion: 921 -> 471
18.78/18.86	c learnt constraints deletion: 897 -> 456
18.98/19.10	c learnt constraints deletion: 917 -> 469
19.28/19.32	c learnt constraints deletion: 914 -> 461
19.48/19.55	c learnt constraints deletion: 905 -> 458
19.68/19.80	c learnt constraints deletion: 929 -> 471
19.98/20.04	c learnt constraints deletion: 929 -> 468
20.18/20.28	c learnt constraints deletion: 908 -> 462
20.48/20.51	c learnt constraints deletion: 906 -> 458
20.68/20.76	c learnt constraints deletion: 928 -> 473
20.89/20.97	c learnt constraints deletion: 907 -> 462
21.18/21.20	c learnt constraints deletion: 916 -> 468
21.38/21.48	c learnt constraints deletion: 921 -> 466
21.68/21.77	c learnt constraints deletion: 985 -> 498
21.99/22.04	c learnt constraints deletion: 980 -> 494
22.28/22.30	c learnt constraints deletion: 996 -> 503
22.48/22.56	c learnt constraints deletion: 983 -> 501
22.78/22.86	c learnt constraints deletion: 1001 -> 506
23.09/23.15	c learnt constraints deletion: 986 -> 498
23.28/23.39	c learnt constraints deletion: 980 -> 494
23.58/23.66	c learnt constraints deletion: 985 -> 501
23.88/23.94	c learnt constraints deletion: 994 -> 504
24.08/24.19	c learnt constraints deletion: 992 -> 505
24.38/24.44	c learnt constraints deletion: 984 -> 497
24.58/24.69	c learnt constraints deletion: 971 -> 490
24.88/24.93	c learnt constraints deletion: 964 -> 485
25.18/25.22	c learnt constraints deletion: 996 -> 503
25.38/25.46	c learnt constraints deletion: 988 -> 499
25.68/25.72	c learnt constraints deletion: 1007 -> 510
25.88/25.99	c learnt constraints deletion: 998 -> 502
26.18/26.22	c learnt constraints deletion: 973 -> 493
26.39/26.44	c learnt constraints deletion: 963 -> 489
26.58/26.68	c learnt constraints deletion: 965 -> 487
26.87/26.93	c learnt constraints deletion: 968 -> 490
27.18/27.22	c learnt constraints deletion: 986 -> 500
27.38/27.50	c learnt constraints deletion: 994 -> 502
27.68/27.76	c learnt constraints deletion: 994 -> 505
27.98/28.01	c learnt constraints deletion: 1003 -> 516
28.17/28.24	c learnt constraints deletion: 991 -> 507
28.38/28.49	c learnt constraints deletion: 978 -> 499
28.68/28.75	c learnt constraints deletion: 972 -> 495
28.98/29.01	c learnt constraints deletion: 1000 -> 504
29.18/29.27	c learnt constraints deletion: 967 -> 489
29.48/29.52	c learnt constraints deletion: 986 -> 497
29.68/29.75	c learnt constraints deletion: 978 -> 493
29.88/29.98	c learnt constraints deletion: 958 -> 484
30.18/30.23	c learnt constraints deletion: 983 -> 497
30.48/30.50	c learnt constraints deletion: 992 -> 499
30.69/30.76	c learnt constraints deletion: 985 -> 495
30.98/31.02	c learnt constraints deletion: 991 -> 502
31.18/31.27	c learnt constraints deletion: 1000 -> 512
31.48/31.51	c learnt constraints deletion: 990 -> 499
31.68/31.75	c learnt constraints deletion: 976 -> 494
31.98/32.04	c learnt constraints deletion: 1059 -> 530
32.28/32.32	c learnt constraints deletion: 1065 -> 538
32.48/32.58	c learnt constraints deletion: 1062 -> 535
32.78/32.85	c learnt constraints deletion: 1083 -> 548
33.08/33.13	c learnt constraints deletion: 1064 -> 536
33.37/33.41	c learnt constraints deletion: 1070 -> 539
33.68/33.70	c learnt constraints deletion: 1081 -> 552
33.88/33.98	c learnt constraints deletion: 1085 -> 549
34.18/34.27	c learnt constraints deletion: 1077 -> 546
34.48/34.52	c learnt constraints deletion: 1036 -> 523
34.78/34.82	c learnt constraints deletion: 1073 -> 543
34.98/35.09	c learnt constraints deletion: 1055 -> 532
35.28/35.35	c learnt constraints deletion: 1062 -> 535
35.58/35.61	c learnt constraints deletion: 1071 -> 546
35.78/35.88	c learnt constraints deletion: 1059 -> 533
36.08/36.16	c learnt constraints deletion: 1091 -> 555
36.38/36.45	c learnt constraints deletion: 1081 -> 543
36.68/36.72	c learnt constraints deletion: 1067 -> 539
36.88/36.99	c learnt constraints deletion: 1061 -> 534
37.18/37.25	c learnt constraints deletion: 1067 -> 537
37.48/37.54	c learnt constraints deletion: 1083 -> 547
37.78/37.81	c learnt constraints deletion: 1088 -> 548
37.98/38.09	c learnt constraints deletion: 1078 -> 547
38.28/38.37	c learnt constraints deletion: 1075 -> 548
38.58/38.66	c learnt constraints deletion: 1070 -> 543
38.88/38.97	c learnt constraints deletion: 1077 -> 545
39.18/39.27	c learnt constraints deletion: 1065 -> 537
39.48/39.58	c learnt constraints deletion: 1046 -> 525
39.88/39.92	c learnt constraints deletion: 1082 -> 546
40.08/40.19	c learnt constraints deletion: 1040 -> 520
40.38/40.46	c learnt constraints deletion: 1062 -> 534
40.68/40.72	c learnt constraints deletion: 1069 -> 539
40.87/40.98	c learnt constraints deletion: 1063 -> 538
41.17/41.24	c learnt constraints deletion: 1053 -> 530
41.48/41.51	c learnt constraints deletion: 1064 -> 536
41.68/41.78	c learnt constraints deletion: 1085 -> 548
41.97/42.03	c learnt constraints deletion: 1066 -> 538
42.28/42.30	c learnt constraints deletion: 1080 -> 544
42.48/42.57	c learnt constraints deletion: 1073 -> 541
42.78/42.85	c learnt constraints deletion: 1068 -> 538
43.08/43.11	c learnt constraints deletion: 1058 -> 534
43.28/43.36	c learnt constraints deletion: 1075 -> 545
43.57/43.62	c learnt constraints deletion: 1069 -> 539
43.78/43.87	c learnt constraints deletion: 1069 -> 540
44.08/44.13	c learnt constraints deletion: 1085 -> 550
44.28/44.37	c learnt constraints deletion: 1043 -> 528
44.58/44.67	c learnt constraints deletion: 1083 -> 546
44.88/44.93	c learnt constraints deletion: 1059 -> 533
45.08/45.17	c learnt constraints deletion: 1033 -> 520
45.37/45.44	c learnt constraints deletion: 1056 -> 533
45.68/45.70	c learnt constraints deletion: 1080 -> 544
45.88/45.93	c learnt constraints deletion: 1054 -> 531
46.08/46.18	c learnt constraints deletion: 1050 -> 530
46.38/46.45	c learnt constraints deletion: 1074 -> 542
46.58/46.70	c learnt constraints deletion: 1075 -> 542
46.88/46.97	c learnt constraints deletion: 1149 -> 579
47.18/47.24	c learnt constraints deletion: 1167 -> 588
47.47/47.51	c learnt constraints deletion: 1159 -> 587
47.67/47.78	c learnt constraints deletion: 1176 -> 591
47.98/48.04	c learnt constraints deletion: 1169 -> 591
48.29/48.31	c learnt constraints deletion: 1174 -> 592
48.48/48.57	c learnt constraints deletion: 1131 -> 569
48.78/48.85	c learnt constraints deletion: 1136 -> 571
49.08/49.13	c learnt constraints deletion: 1167 -> 591
49.28/49.40	c learnt constraints deletion: 1145 -> 575
49.67/49.71	c learnt constraints deletion: 1176 -> 593
49.98/50.02	c learnt constraints deletion: 1149 -> 578
50.28/50.32	c learnt constraints deletion: 1146 -> 577
50.59/50.65	c learnt constraints deletion: 1168 -> 590
50.88/50.94	c learnt constraints deletion: 1148 -> 578
51.18/51.25	c learnt constraints deletion: 1159 -> 586
51.47/51.55	c learnt constraints deletion: 1166 -> 592
51.77/51.85	c learnt constraints deletion: 1163 -> 593
52.08/52.16	c learnt constraints deletion: 1162 -> 583
52.38/52.48	c learnt constraints deletion: 1153 -> 581
52.78/52.81	c learnt constraints deletion: 1171 -> 593
53.08/53.12	c learnt constraints deletion: 1160 -> 586
53.37/53.43	c learnt constraints deletion: 1151 -> 578
53.67/53.78	c learnt constraints deletion: 1173 -> 589
53.98/54.09	c learnt constraints deletion: 1172 -> 587
54.37/54.40	c learnt constraints deletion: 1167 -> 587
54.67/54.73	c learnt constraints deletion: 1126 -> 565
54.98/55.03	c learnt constraints deletion: 1176 -> 592
55.28/55.32	c learnt constraints deletion: 1162 -> 584
55.57/55.61	c learnt constraints deletion: 1152 -> 580
55.88/55.91	c learnt constraints deletion: 1159 -> 581
56.08/56.19	c learnt constraints deletion: 1130 -> 567
56.48/56.50	c learnt constraints deletion: 1166 -> 584
56.77/56.80	c learnt constraints deletion: 1161 -> 582
57.08/57.10	c learnt constraints deletion: 1161 -> 584
57.38/57.41	c learnt constraints deletion: 1167 -> 589
57.58/57.68	c learnt constraints deletion: 1159 -> 583
57.87/57.99	c learnt constraints deletion: 1151 -> 579
58.28/58.31	c learnt constraints deletion: 1153 -> 580
58.58/58.63	c learnt constraints deletion: 1150 -> 577
58.58/58.68	c solving time = 57.421s
58.58/58.68	c #decision = 114481
58.58/58.68	c #conflict = 111615
58.58/58.68	c #restart = 21
58.58/58.68	s OPTIMUM FOUND
58.58/58.68	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10
58.58/58.68	v x11 -x12 -x13 x14 x15 x16 -x17 -x18 x19 x20
58.58/58.68	v x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
58.58/58.68	v x31 x32 -x33 x34 -x35 x36 -x37 -x38 -x39 -x40
58.58/58.68	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
58.58/58.68	v -x51 -x52 -x53 -x54
58.58/58.68	c total time = 58.672s

Verifier Data 

OK	3

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-3707355-1338130228/watcher-3707355-1338130228 -o /tmp/evaluation-result-3707355-1338130228/solver-3707355-1338130228 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707355-1338130228.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.00 2.00 2.00 2/177 1985
/proc/meminfo: memFree=28967704/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 872 0 0 0 0 0 0 0 20 0 1 0 279148649 7405568 793 33554432000 4194304 8973514 140733422759824 140733748436600 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 1808 793 442 1167 0 589 0

[startup+0.0429099 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 1985
/proc/meminfo: memFree=28967704/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=7232 CPUtime=0.03 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1100 0 0 0 3 0 0 0 20 0 1 0 279148649 7405568 1021 33554432000 4194304 8973514 140733422759824 140733748436600 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 1808 1021 442 1167 0 589 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7232

[startup+0.100642 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 1985
/proc/meminfo: memFree=28967704/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=7232 CPUtime=0.09 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1103 0 0 0 9 0 0 0 20 0 1 0 279148649 7405568 1024 33554432000 4194304 8973514 140733422759824 140733748436600 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 1808 1024 444 1167 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7232

[startup+0.301013 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 1985
/proc/meminfo: memFree=28967704/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=8256 CPUtime=0.29 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1359 0 0 0 29 0 0 0 20 0 1 0 279148649 8454144 1280 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 2064 1280 444 1167 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8256

[startup+0.701015 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 1985
/proc/meminfo: memFree=28967704/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=8256 CPUtime=0.69 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1362 0 0 0 69 0 0 0 20 0 1 0 279148649 8454144 1283 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 2064 1283 445 1167 0 845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8256

[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1986
/proc/meminfo: memFree=28964464/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=8256 CPUtime=1.49 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1374 0 0 0 148 1 0 0 20 0 1 0 279148649 8454144 1295 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/1985/statm: 2064 1295 457 1167 0 845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8256

[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1986
/proc/meminfo: memFree=28963960/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=8256 CPUtime=3.09 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1375 0 0 0 307 2 0 0 20 0 1 0 279148649 8454144 1296 33554432000 4194304 8973514 140733422759824 140733422742920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2064 1296 457 1167 0 845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8256

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1986
/proc/meminfo: memFree=28962844/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=6.28 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1632 0 0 0 624 4 0 0 20 0 1 0 279148649 9502720 1553 33554432000 4194304 8973514 140733422759824 140733422742920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1553 457 1167 0 1101 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9280

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1986
/proc/meminfo: memFree=28962872/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=12.68 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 1260 8 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422742920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9280

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1986
/proc/meminfo: memFree=28962896/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=25.48 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 2532 16 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422742920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9280

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=51.08 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5076 32 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9280

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

[startup+54.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=54.28 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5394 34 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 9280

[startup+55.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=55.88 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5552 36 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759320 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 9280

[startup+57.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=57.48 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5711 37 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 9280

[startup+58.3063 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=58.28 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5791 37 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 58.28
Current children cumulated vsize (KiB) 9280

[startup+58.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=58.48 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5810 38 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 58.48
Current children cumulated vsize (KiB) 9280

[startup+58.6002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1986
/proc/meminfo: memFree=28962712/32873648 swapFree=6844/6844
[pid=1985] ppid=1983 vsize=9280 CPUtime=58.58 cores=0,2,4,6
/proc/1985/stat : 1985 (toysat) R 1983 1985 32696 0 -1 4202496 1633 0 0 0 5820 38 0 0 20 0 1 0 279148649 9502720 1554 33554432000 4194304 8973514 140733422759824 140733422759088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/1985/statm: 2320 1554 457 1167 0 1101 0
Current children cumulated CPU time (s) 58.58
Current children cumulated vsize (KiB) 9280

Child status: 0
Real time (s): 58.6883
CPU time (s): 58.6731
CPU user time (s): 58.2891
CPU system time (s): 0.383941
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 9280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.2891
system time used= 0.383941
maximum resident set size= 6232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1637
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= 3
involuntary context switches= 208

runsolver used 0.081987 second user time and 0.250961 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 16:50:28
IDJOB=3707355
IDBENCH=47928
IDSOLVER=2285
FILE ID=node124/3707355-1338130228
RUNJOBID= node124-1338107934-32712
PBS_JOBID= 14624469
Free space on /tmp= 71424 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707355-1338130228/watcher-3707355-1338130228 -o /tmp/evaluation-result-3707355-1338130228/solver-3707355-1338130228 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707355-1338130228.opb

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

MD5SUM BENCH= 2a7888c7c4f71cd1bd795e0b54484781
RANDOM SEED=284701918

node124.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		: 2667.325
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	: 5334.65
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5357.53
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28968232 kB
Buffers:          342388 kB
Cached:          2696312 kB
SwapCached:            0 kB
Active:           972292 kB
Inactive:        2126816 kB
Active(anon):      62804 kB
Inactive(anon):        0 kB
Active(file):     909488 kB
Inactive(file):  2126816 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7416 kB
Writeback:             0 kB
AnonPages:         66672 kB
Mapped:            16192 kB
Shmem:               200 kB
Slab:             668368 kB
SReclaimable:     112884 kB
SUnreclaim:       555484 kB
KernelStack:        1464 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     172040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71420 MiB
End job on node124 at 2012-05-27 16:51:27