0.00/0.00
0.00/0.01 c Computed by /tmp/evaluation/424349-1177804898/kcnfs-2004 V. 03/02/12
0.00/0.01 c Input file : '/tmp/evaluation/424349-1177804898/instance-424349-1177804898.cnf'
4741.46/4741.37 c [1170 variables, 4234 clauses, ratio 3.62, mean occ 5, 3-SAT]
4741.46/4741.37 s SATISFIABLE
4741.46/4741.37 v 5 -34 58 -99 196
4741.46/4741.37 v -238 -303 310 330 -369
4741.46/4741.37 v 375 -378 -495 -527 540
4741.46/4741.37 v -665 -787 895 916 1088
4741.46/4741.37 v -1125 -291 63 367 -822
4741.46/4741.37 v 555 219 426 -872 50
4741.46/4741.37 v 1107 96 498 188 1096
4741.46/4741.37 v 404 -799 634 -968 -485
4741.46/4741.37 v 60 -1089 -85 308 -508
4741.46/4741.37 v -664 469 -579 -380 1025
4741.46/4741.37 v -243 42 -922 -1022 943
4741.46/4741.37 v 1137 -41 -235 797 523
4741.46/4741.37 v 278 -468 651 -1127 -700
4741.46/4741.37 v 897 -521 38 -30 249
4741.46/4741.37 v -317 910 1122 736 -1039
4741.46/4741.37 v -1049 84 -300 74 844
4741.46/4741.37 v -107 -121 100 -839 -1055
4741.46/4741.37 v 144 -1143 -778 -1120 -457
4741.46/4741.37 v 878 801 951 -851 -731
4741.46/4741.37 v 813 -409 192 -764 47
4741.46/4741.37 v 252 342 -512 -1024 1082
4741.46/4741.37 v 384 -605 -1070 -676 -298
4741.46/4741.37 v 580 341 339 1170 -73
4741.46/4741.37 v -53 148 260 -718 -314
4741.46/4741.37 v 995 23 -510 -1118 -1043
4741.46/4741.37 v 565 224 -871 -65 -617
4741.46/4741.37 v -212 -581 -44 -1129 1015
4741.46/4741.37 v 325 694 -646 -1042 504
4741.46/4741.37 v 849 1019 -264 195 -1006
4741.46/4741.37 v 168 321 233 -1153 -133
4741.46/4741.37 v 1100 -831 -368 -804 1103
4741.46/4741.37 v -4 480 -678 -711 -932
4741.46/4741.37 v -1017 -166 786 -598 101
4741.46/4741.37 v -725 427 250 240 -261
4741.46/4741.37 v -627 313 64 -446 712
4741.46/4741.37 v 614 13 -258 -554 530
4741.46/4741.37 v 763 -741 -727 -396 -237
4741.46/4741.37 v -820 -323 -837 -387 -372
4741.46/4741.37 v 541 -1057 -484 -959 939
4741.46/4741.37 v -1038 818 -333 -489 -62
4741.46/4741.37 v -1051 266 -571 636 551
4741.46/4741.37 v 1133 -879 517 68 649
4741.46/4741.37 v 364 482 1018 -881 699
4741.46/4741.37 v 755 1061 -893 852 547
4741.46/4741.37 v 1012 -751 326 -307 -91
4741.46/4741.37 v 599 -405 -756 -477 358
4741.46/4741.37 v 798 -259 348 11 750
4741.46/4741.37 v 777 -983 -125 824 355
4741.46/4741.37 v -182 1126 -394 -723 246
4741.46/4741.37 v 197 -914 209 351 -969
4741.46/4741.37 v -263 590 227 -377 -604
4741.46/4741.37 v 825 -270 -57 -513 423
4741.46/4741.37 v -21 -410 -1168 -40 247
4741.46/4741.37 v -558 -1047 667 -294 -217
4741.46/4741.37 v -118 -767 819 578 -103
4741.46/4741.37 v 1146 587 -231 -371 733
4741.46/4741.37 v 35 -705 -1040 729 1119
4741.46/4741.37 v -373 -1085 957 -880 262
4741.46/4741.37 v 76 -475 -1080 -982 343
4741.46/4741.37 v -814 -322 687 451 382
4741.46/4741.37 v -1076 652 748 -167 -459
4741.46/4741.37 v 406 628 933 -211 -626
4741.46/4741.37 v -926 -610 621 -514 1106
4741.46/4741.37 v -862 559 -974 -948 -544
4741.46/4741.37 v 376 452 -347 -834 83
4741.46/4741.37 v -67 -467 -112 94 1059
4741.46/4741.37 v -127 1149 -1134 161 464
4741.46/4741.37 v 960 -776 -857 -150 -860
4741.46/4741.37 v 66 59 -154 202 267
4741.46/4741.37 v -277 205 287 -312 -328
4741.46/4741.37 v 385 -416 -1028 206 -441
4741.46/4741.37 v -502 -890 548 -500 -732
4741.46/4741.37 v 638 -408 -1037 -561 588
4741.46/4741.37 v -838 591 807 -945 -497
4741.46/4741.37 v -821 -911 -919 -955 -827
4741.46/4741.37 v 967 -971 -869 973 1045
4741.46/4741.37 v 885 1138 115 -877 -54
4741.46/4741.37 v -1152 -402 -1058 -830 806
4741.46/4741.37 v 229 -1013 -539 -625 414
4741.46/4741.37 v -1064 1087 -793 122 -362
4741.46/4741.37 v -6 -739 -327 28 374
4741.46/4741.37 v -15 -46 331 -1102 -768
4741.46/4741.37 v 176 -935 671 -413 -193
4741.46/4741.37 v 194 -26 481 1162 1131
4741.46/4741.37 v -921 -795 1041 204 -704
4741.46/4741.37 v -511 -128 -909 332 657
4741.46/4741.37 v 75 -191 -79 -116 863
4741.46/4741.37 v -832 -562 -752 14 157
4741.46/4741.37 v -177 210 429 -942 986
4741.46/4741.37 v -241 -340 -104 -412 430
4741.46/4741.37 v -865 -389 -1140 479 659
4741.46/4741.37 v -147 70 607 -721 -1111
4741.46/4741.37 v -686 -753 956 1027 -715
4741.46/4741.37 v -1068 -61 583 132 620
4741.46/4741.37 v -643 683 -455 719 163
4741.46/4741.37 v 828 -613 -702 255 997
4741.46/4741.37 v -713 856 -794 -803 114
4741.46/4741.37 v 900 -870 891 -931 -779
4741.46/4741.37 v 253 -841 -1003 -898 908
4741.46/4741.37 v -918 -381 -600 -93 -975
4741.46/4741.37 v -985 -401 -660 1052 1141
4741.46/4741.37 v -1074 483 1071 1079 -1091
4741.46/4741.37 v -1092 1093 594 -290 -179
4741.46/4741.37 v -681 51 -232 -520 572
4741.46/4741.37 v 792 714 -518 319 745
4741.46/4741.37 v 29 302 796 -420 892
4741.46/4741.37 v -952 185 984 245 -356
4741.46/4741.37 v -366 1021 487 -3 -569
4741.46/4741.37 v 1113 1151 1097 874 -1008
4741.46/4741.37 v 463 417 1101 -1035 -52
4741.46/4741.37 v 1007 -265 440 1147 1105
4741.46/4741.37 v -1155 -707 623 -549 -354
4741.46/4741.37 v 169 883 749 442 -1034
4741.46/4741.37 v -453 635 1158 -1165 -962
4741.46/4741.37 v -1154 -449 -1083 601 760
4741.46/4741.37 v 208 -765 -32 1110 525
4741.46/4741.37 v -1109 -18 790 -744 -1132
4741.46/4741.37 v 941 335 1121 670 257
4741.46/4741.37 v 39 -350 -761 1086 1029
4741.46/4741.37 v 222 592 -788 337 -845
4741.46/4741.37 v 1159 213 -324 -506 -912
4741.46/4741.37 v 117 -135 -37 279 -815
4741.46/4741.37 v 393 -286 -991 120 349
4741.46/4741.37 v 944 -899 398 -269 130
4741.46/4741.37 v -199 641 1164 -963 -589
4741.46/4741.37 v -775 1114 -542 977 -7
4741.46/4741.37 v 16 17 1075 295 -516
4741.46/4741.37 v 692 -486 566 -784 -95
4741.46/4741.37 v -1084 -615 994 254 738
4741.46/4741.37 v -272 759 -1150 924 -1014
4741.46/4741.37 v 473 145 -949 642 1067
4741.46/4741.37 v -45 -930 -734 -785 616
4741.46/4741.37 v 474 762 789 -1016 403
4741.46/4741.37 v -172 810 -311 315 -677
4741.46/4741.37 v -228 -596 -811 -275 113
4741.46/4741.37 v 668 460 802 -443 -273
4741.46/4741.37 v 576 550 1 -345 438
4741.46/4741.37 v 904 31 737 958 -698
4741.46/4741.37 v -757 -826 -1166 -159 -274
4741.46/4741.37 v 1115 875 720 -631 -415
4741.46/4741.37 v 346 622 -632 126 611
4741.46/4741.37 v -407 301 560 329 -175
4741.46/4741.37 v 1069 -524 -552 -710 709
4741.46/4741.37 v -780 -1163 -726 -1167 -534
4741.46/4741.37 v -855 602 -564 -537 -743
4741.46/4741.37 v -1020 8 884 -1066 618
4741.46/4741.37 v -873 -740 -471 -336 619
4741.46/4741.37 v 111 -917 867 661 -954
4741.46/4741.37 v 1145 722 180 639 -703
4741.46/4741.37 v -226 -215 1130 56 993
4741.46/4741.37 v 887 -334 470 696 -1139
4741.46/4741.37 v 1010 153 -766 978 352
4741.46/4741.37 v -746 -1056 -462 -1011 -183
4741.46/4741.37 v -392 421 496 693 901
4741.46/4741.37 v -399 139 -902 -833 805
4741.46/4741.37 v 444 -9 655 151 -1136
4741.46/4741.37 v 437 920 -817 -1104 -492
4741.46/4741.37 v 129 -20 218 876 905
4741.46/4741.37 v -835 1094 -494 999 379
4741.46/4741.37 v -536 178 -526 -1117 -1077
4741.46/4741.37 v -888 -289 -88 22 847
4741.46/4741.37 v -735 -1078 -706 783 505
4741.46/4741.37 v 966 -1116 109 49 80
4741.46/4741.37 v 848 947 -656 12 -543
4741.46/4741.37 v -299 1090 -770 -288 -173
4741.46/4741.37 v 538 781 -724 456 662
4741.46/4741.37 v -529 -418 927 1095 361
4741.46/4741.37 v 105 -71 -846 110 1005
4741.46/4741.37 v -886 -519 -1123 -450 221
4741.46/4741.37 v 769 1124 868 -72 -1128
4741.46/4741.37 v -33 138 -809 -674 1048
4741.46/4741.37 v -501 -574 -1098 320 -758
4741.46/4741.37 v -43 528 -998 488 -395
4741.46/4741.37 v 823 365 -1050 184 -928
4741.46/4741.37 v 1044 650 -608 -48 55
4741.46/4741.37 v -889 -146 -297 -1063 124
4741.46/4741.37 v 961 -435 -1142 397 -78
4741.46/4741.37 v -717 181 -680 -201 -140
4741.46/4741.37 v 318 -1054 -854 950 557
4741.46/4741.37 v -853 -1030 -434 131 -353
4741.46/4741.37 v -1001 597 -859 -556 648
4741.46/4741.37 v 771 612 293 -913 306
4741.46/4741.37 v 976 -24 102 171 -645
4741.46/4741.37 v -507 1026 708 -672 992
4741.46/4741.37 v 187 -1004 491 -573 141
4741.46/4741.37 v -19 -1099 -81 -82 87
4741.46/4741.37 v 90 -98 -106 119 -123
4741.46/4741.37 v -134 143 160 165 -174
4741.46/4741.37 v 189 190 198 -200 203
4741.46/4741.37 v -216 -220 225 -230 829
4741.46/4741.37 v 244 271 276 280 281
4741.46/4741.37 v -282 283 284 -292 304
4741.46/4741.37 v 338 -344 363 -383 -386
4741.46/4741.37 v -388 391 -425 428 -431
4741.46/4741.37 v 433 439 447 -448 -840
4741.46/4741.37 v -654 -454 458 461 -465
4741.46/4741.37 v -472 490 -499 515 532
4741.46/4741.37 v -533 535 567 570 584
4741.46/4741.37 v -603 606 609 -624 -629
4741.46/4741.37 v 633 -640 644 658 666
4741.46/4741.37 v 669 675 682 -689 -691
4741.46/4741.37 v -697 -701 716 728 -742
4741.46/4741.37 v 747 754 773 -774 782
4741.46/4741.37 v -791 -800 812 -816 836
4741.46/4741.37 v -843 850 861 864 -866
4741.46/4741.37 v -882 -894 -896 903 906
4741.46/4741.37 v 915 923 925 929 -934
4741.46/4741.37 v 936 -940 946 -953 964
4741.46/4741.37 v -965 970 972 979 -980
4741.46/4741.37 v -981 988 -989 -990 -996
4741.46/4741.37 v -1000 -1002 1009 -1023 -1031
4741.46/4741.37 v -1032 1036 -1046 1053 -1060
4741.46/4741.37 v -1065 1072 -1081 1108 1144
4741.46/4741.37 v 1148 1156 -1160 1161 1169
4741.46/4741.37 v 156 647 -2 -25 27
4741.46/4741.37 v -36 89 -92 -108 -136
4741.46/4741.37 v 137 142 -158 162 214
4741.46/4741.37 v 223 -236 248 305 309
4741.46/4741.37 v -360 370 -400 411 -432
4741.46/4741.37 v 436 -445 466 493 -503
4741.46/4741.37 v -522 553 -563 568 575
4741.46/4741.37 v 582 585 -595 -663 -673
4741.46/4741.37 v -679 -685 688 690 730
4741.46/4741.37 v 772 -808 842 858 907
4741.46/4741.37 v 1033 1062 -1073 1135 1157
4741.46/4741.37 v -419 10 86 97 -186
4741.46/4741.37 v 234 -251 -256 -357 359
4741.46/4741.37 v 476 -509 531 545 -586
4741.46/4741.37 v -637 -684 937 77 630
4741.46/4741.37 v -593 424 987 -268 -296
4741.46/4741.37 v -1112 -207 -316 -149 155
4741.46/4741.37 v 239 -242 285 -390 -422
4741.46/4741.37 v 478 653 -695 -938 69
4741.46/4741.37 v 170 152 164 -546 577
4741.46/4741.37 v 0
4741.46/4741.37 c Computation time : 4742.160 seconds
4741.46/4741.37 c Execution time : 4742.160 seconds
4741.46/4741.37 c Size of search tree : 3556008 nodes
4741.46/4741.37
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-424349-1177804898 -o ROOT/results/node16/solver-424349-1177804898 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424349-1177804898/kcnfs-2004 /tmp/evaluation/424349-1177804898/instance-424349-1177804898.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.72 0.93 0.98 3/83 4047
/proc/meminfo: memFree=1526264/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=16132 CPUtime=0
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 121 0 0 0 0 0 0 0 18 0 1 0 228407468 16519168 102 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4033 102 38 107 0 3922 0
[startup+0.0290151 s]
/proc/loadavg: 0.72 0.93 0.98 3/83 4047
/proc/meminfo: memFree=1526264/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=0.02
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 558 0 0 0 2 0 0 0 18 0 1 0 228407468 17768448 538 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531315 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 538 59 107 0 4227 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17352
[startup+0.100998 s]
/proc/loadavg: 0.72 0.93 0.98 3/83 4047
/proc/meminfo: memFree=1526264/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=0.09
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 558 0 0 0 9 0 0 0 18 0 1 0 228407468 17768448 538 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530262 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 538 59 107 0 4227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17352
[startup+0.301956 s]
/proc/loadavg: 0.72 0.93 0.98 3/83 4047
/proc/meminfo: memFree=1526264/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=0.29
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 558 0 0 0 29 0 0 0 19 0 1 0 228407468 17768448 538 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 538 59 107 0 4227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17352
[startup+0.701872 s]
/proc/loadavg: 0.72 0.93 0.98 3/83 4047
/proc/meminfo: memFree=1526264/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=0.69
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 69 0 0 0 23 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528187 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17352
[startup+1.5017 s]
/proc/loadavg: 0.72 0.93 0.98 2/84 4048
/proc/meminfo: memFree=1524272/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=1.49
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 149 0 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134566474 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17352
[startup+3.10137 s]
/proc/loadavg: 0.74 0.94 0.98 2/84 4050
/proc/meminfo: memFree=1524080/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=3.09
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 309 0 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529176 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17352
[startup+6.3017 s]
/proc/loadavg: 0.74 0.94 0.98 2/84 4052
/proc/meminfo: memFree=1523952/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=6.29
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 629 0 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530359 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17352
[startup+12.7014 s]
/proc/loadavg: 0.78 0.94 0.98 2/84 4056
/proc/meminfo: memFree=1523888/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=12.69
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 1269 0 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531507 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17352
[startup+25.5017 s]
/proc/loadavg: 0.81 0.94 0.98 2/78 4078
/proc/meminfo: memFree=1525032/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=25.48
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 2547 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134556575 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17352
[startup+51.1013 s]
/proc/loadavg: 0.87 0.94 0.98 2/78 4078
/proc/meminfo: memFree=1525040/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=51.08
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 5107 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577595 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17352
[startup+102.306 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 4078
/proc/meminfo: memFree=1525040/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=102.28
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 10227 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134563827 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17352
[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 4078
/proc/meminfo: memFree=1525040/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=162.28
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 16227 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533593 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 17352
[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 4078
/proc/meminfo: memFree=1525040/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=222.28
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 22227 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531781 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 17352
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4078
/proc/meminfo: memFree=1525104/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=282.29
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 28228 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528139 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 17352
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4078
/proc/meminfo: memFree=1525168/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=342.29
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 34228 1 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578170 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 17352
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4078
/proc/meminfo: memFree=1525168/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=402.3
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 40228 2 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134532255 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17352
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4078
/proc/meminfo: memFree=1525168/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=462.3
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 46228 2 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528595 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 17352
[startup+522.302 s]
/proc/loadavg: 1.05 0.99 0.98 2/78 4078
/proc/meminfo: memFree=1525168/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=522.3
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 52228 2 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577616 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 17352
[startup+582.301 s]
/proc/loadavg: 1.02 0.99 0.98 2/78 4078
/proc/meminfo: memFree=1525232/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=582.3
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 58228 2 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528132 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 17352
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 4078
/proc/meminfo: memFree=1525232/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=642.31
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 559 0 0 0 64229 2 0 0 25 0 1 0 228407468 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577717 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 17352
################
# More data... #
################
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4062.42
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 406234 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 17352
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525360/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4122.42
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 412234 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529131 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 17352
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4182.42
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 418234 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531749 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 17352
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4242.42
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 424234 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528773 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 17352
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4302.43
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 430235 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531869 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 17352
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4362.43
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 436235 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 17352
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525360/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4422.43
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 442235 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134563764 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4422.43
Current children cumulated vsize (KiB) 17352
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 4278
/proc/meminfo: memFree=1525360/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4482.43
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 448235 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 17352
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4542.44
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 454236 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531413 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4542.44
Current children cumulated vsize (KiB) 17352
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4602.45
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 460237 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134536152 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 17352
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4662.44
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 466236 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134542671 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4662.44
Current children cumulated vsize (KiB) 17352
[startup+4722.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4722.45
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 472237 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134542734 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 17352
Solver just ended. Dumping a history of the last processes samples
[startup+4723.1 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4723.25
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 472317 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531897 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4723.25
Current children cumulated vsize (KiB) 17352
[startup+4729.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4729.65
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 472957 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4729.65
Current children cumulated vsize (KiB) 17352
[startup+4735.9 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4736.05
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 473597 8 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530052 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4736.05
Current children cumulated vsize (KiB) 17352
[startup+4739.1 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4739.26
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 473917 9 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134532239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4739.26
Current children cumulated vsize (KiB) 17352
[startup+4740.7 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4740.86
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 474077 9 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533070 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4740.86
Current children cumulated vsize (KiB) 17352
[startup+4741.1 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4741.26
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 474117 9 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4741.26
Current children cumulated vsize (KiB) 17352
[startup+4741.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 4278
/proc/meminfo: memFree=1525296/2055920 swapFree=4148656/4192956
[pid=4047] ppid=4045 vsize=17352 CPUtime=4741.46
/proc/4047/stat : 4047 (kcnfs-2004) R 4045 4047 3991 0 -1 0 560 0 0 0 474137 9 0 0 25 0 1 0 228407468 17768448 540 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578001 0 0 4096 0 0 0 0 17 1 0 0
/proc/4047/statm: 4338 540 59 107 0 4227 0
Current children cumulated CPU time (s) 4741.46
Current children cumulated vsize (KiB) 17352
Child status: 10
Real time (s): 4741.38
CPU time (s): 4741.54
CPU user time (s): 4741.45
CPU system time (s): 0.091986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 17352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4741.45
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565
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= 7
involuntary context switches= 6275
runsolver used 3.86241 second user time and 10.2684 second system time
The end
Begin job on node16 on Sun Apr 29 00:01:38 UTC 2007
IDJOB= 424349
IDBENCH= 20274
IDSOLVER= 194
FILE ID= node16/424349-1177804898
PBS_JOBID= 4715863
Free space on /tmp= 66536 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
COMMAND LINE= /tmp/evaluation/424349-1177804898/kcnfs-2004 /tmp/evaluation/424349-1177804898/instance-424349-1177804898.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-424349-1177804898 -o ROOT/results/node16/solver-424349-1177804898 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424349-1177804898/kcnfs-2004 /tmp/evaluation/424349-1177804898/instance-424349-1177804898.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 555d3271dcf55d0b05dd23da8baa6ad3
RANDOM SEED= 595890490
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.232
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.232
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: 1526672 kB
Buffers: 48140 kB
Cached: 390340 kB
SwapCached: 12428 kB
Active: 222980 kB
Inactive: 239628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526672 kB
SwapTotal: 4192956 kB
SwapFree: 4148656 kB
Dirty: 3416 kB
Writeback: 0 kB
Mapped: 31540 kB
Slab: 51748 kB
Committed_AS: 7611360 kB
PageTables: 2076 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= 66536 MiB
End job on node16 on Sun Apr 29 01:20:40 UTC 2007