1801.01
1801.01 Time: 1798676
1801.01
c
c
c
c solution file
c
c
SAT
591 643 0 863 74 78 1152 185 478 725 926 992 1058 322 409 289 441 98 758 1289 430 688 1155 973 597 366 564 548 422 0 581 183 774 272 275 507 1250 96 1103 1042 85 951 1217 179 783 597 1307 529 664 1065 261 0 189 326 1131 469 422 282 977 96 863 802 992 0 904 724 409 715 343 251 507 1067 190 195 99 924 595 787 727 672 189 951 758 1176 468 1256 653 74 853 267 573 649 0 505 972 289 1039 803 372 99 469 0 687 166 836 272 592 1205 1151 1066 1250 409 526 548 989 349 498 96 926 255 688 814 507 407 765 251 498 736 791 301 857 979 0 594 396 580 191 924 99 289 320 407 1040 685 857 98 594 0 787 269 922 282 276 501 338 1130 1087 975 186 640 349 0 469 650 359 976 1039 251 1119 537 189 502 268 759 426 686 261 867 98 882 607 1213 686 97 1311 0 449 1279 1194 301 537 749 965 1151 359 833 188 1080 871 518 99 195 497 802 605 282 433 924 765 837 646 871 559 947 898 687 968 0 727 366 972 96 830 951 266 889 1131 502 588 721 396 193 1049 1237 478 269 0 326 284 656 352 497 529 929 73 0 774 98 595 85 1099 407 1279 292 736 457 1152 660 968 194 355 251 1257 1054 851 165 564 899 91 1194 646 1149 0 352 985 947 186 468 1307 753 372 899 559 717 1037 348 174 457 654 91 774 246 0 526 78 882 1073 1232 540 814 135 1289 1176 1314 1042 94 1236 724 904 275 592 1099 349 336 989 814 0 465 409 191 674 292 193 0 250 452 365 836 1262 751 184 895 96 284 498 984 922 893 246 597 0 78 837 430 591 182 988 1033 758 338 615 685 765 433 1160 512 1119 257 933 255 898 581 605 430 984 341 96 784 338 646 810 864 672 251 1268 507 0 753 933 190 98 918 452 1103 166 810 589 173 185 1155 268 1186 284 833 765 0 365 520 650 728
c
c
c
c conversion script
c
c
converting(/tmp/evaluation/233222-1168325047/unknown)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-233222-1168325047 -o ROOT/results/node61/solver-233222-1168325047 -C 1800 -M 900 /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=18540 CPUtime=0
/proc/10955/stat : 10955 (runsolver) R 10953 10955 10837 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 180902983 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10955/statm: 4635 279 244 17 0 2626 0
[startup+0.107923 s]
/proc/loadavg: 1.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=53824 CPUtime=0.09
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 2430 0 0 0 8 1 0 0 21 0 1 0 180902983 55115776 2146 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134550507 0 0 4096 2 0 0 0 17 1 0 0
/proc/10955/statm: 13456 2146 158 90 0 12994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53824
[startup+0.518 s]
/proc/loadavg: 1.89 1.49 1.19 5/80 10956
/proc/meminfo: memFree=1582968/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=66220 CPUtime=0.5
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 4613 0 0 0 49 1 0 0 24 0 1 0 180902983 67809280 4326 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134564369 0 0 4096 2 0 0 0 17 1 0 0
/proc/10955/statm: 16555 4326 163 90 0 16093 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 66220
[startup+1.34514 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1.32
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 130 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626488 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 76464
[startup+2.98243 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=2.95
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 293 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618382 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 76464
[startup+6.269 s]
/proc/loadavg: 1.90 1.50 1.20 3/81 10957
/proc/meminfo: memFree=1560432/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=6.23
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 621 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 76464
[startup+12.7341 s]
/proc/loadavg: 1.91 1.51 1.20 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=12.66
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 1264 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 76464
[startup+25.5564 s]
/proc/loadavg: 1.93 1.53 1.21 3/81 10957
/proc/meminfo: memFree=1560568/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=25.44
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6051 0 0 0 2542 2 0 0 25 0 2 0 180902983 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5764 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 76464
[startup+51.2129 s]
/proc/loadavg: 1.95 1.57 1.23 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=51
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6086 0 0 0 5097 3 0 0 25 0 2 0 180902983 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754827 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5799 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 76464
[startup+102.425 s]
/proc/loadavg: 1.98 1.64 1.27 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=102.01
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6086 0 0 0 10198 3 0 0 25 0 2 0 180902983 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5799 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5799 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 76464
[startup+162.457 s]
/proc/loadavg: 1.99 1.70 1.31 3/81 10957
/proc/meminfo: memFree=1560440/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=161.8
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 16177 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134755133 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 76464
[startup+222.504 s]
/proc/loadavg: 1.99 1.75 1.36 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=221.61
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 22158 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.61
Current children cumulated vsize (KiB) 76464
[startup+282.546 s]
/proc/loadavg: 2.04 1.81 1.40 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=281.41
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 28138 3 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134623894 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.41
Current children cumulated vsize (KiB) 76464
[startup+342.588 s]
/proc/loadavg: 2.01 1.84 1.43 3/81 10957
/proc/meminfo: memFree=1560376/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=341.22
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 34118 4 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.22
Current children cumulated vsize (KiB) 76464
[startup+402.63 s]
/proc/loadavg: 2.00 1.87 1.47 3/81 10957
/proc/meminfo: memFree=1560312/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=401.02
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 40098 4 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552999 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.02
Current children cumulated vsize (KiB) 76464
[startup+462.7 s]
/proc/loadavg: 1.47 1.75 1.45 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=461.02
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 46097 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589512 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.02
Current children cumulated vsize (KiB) 76464
[startup+522.766 s]
/proc/loadavg: 1.17 1.61 1.42 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=521.06
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 52101 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552886 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.06
Current children cumulated vsize (KiB) 76464
[startup+582.823 s]
/proc/loadavg: 1.06 1.50 1.39 2/66 10973
/proc/meminfo: memFree=1891528/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=581.1
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 58105 5 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552500 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.1
Current children cumulated vsize (KiB) 76464
[startup+642.879 s]
################
# More data... #
################
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.28
Current children cumulated vsize (KiB) 76464
[startup+943.161 s]
/proc/loadavg: 1.00 1.14 1.25 2/66 10973
/proc/meminfo: memFree=1891464/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=941.32
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 94126 6 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552968 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.32
Current children cumulated vsize (KiB) 76464
[startup+1003.22 s]
/proc/loadavg: 1.00 1.12 1.24 2/66 10973
/proc/meminfo: memFree=1891400/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1001.36
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 100130 6 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618352 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.36
Current children cumulated vsize (KiB) 76464
[startup+1063.3 s]
/proc/loadavg: 1.00 1.09 1.22 2/72 11119
/proc/meminfo: memFree=1890000/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1061.41
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 106128 13 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134628140 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1061.41
Current children cumulated vsize (KiB) 76464
[startup+1123.37 s]
/proc/loadavg: 1.00 1.07 1.20 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1121.46
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 112128 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134754716 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (KiB) 76464
[startup+1183.43 s]
/proc/loadavg: 1.00 1.06 1.18 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1181.5
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 118132 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134622763 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (KiB) 76464
[startup+1243.48 s]
/proc/loadavg: 1.00 1.04 1.17 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1241.54
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 124136 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589526 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1241.54
Current children cumulated vsize (KiB) 76464
[startup+1303.54 s]
/proc/loadavg: 1.00 1.03 1.16 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1301.57
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 130139 18 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134624677 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 76464
[startup+1363.61 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1361.62
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 136143 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 76464
[startup+1423.67 s]
/proc/loadavg: 1.00 1.02 1.14 2/66 11171
/proc/meminfo: memFree=1891144/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1421.66
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 142147 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552888 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 76464
[startup+1483.72 s]
/proc/loadavg: 1.00 1.01 1.12 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1481.7
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 148151 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134626298 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 76464
[startup+1543.78 s]
/proc/loadavg: 1.00 1.01 1.11 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1541.73
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 154154 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552804 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 76464
[startup+1603.84 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1601.77
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 160158 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 76464
[startup+1663.89 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1661.8
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 166161 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 76464
[startup+1723.95 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 11171
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1721.84
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 172165 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 76464
[startup+1784.01 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 11171
/proc/meminfo: memFree=1891016/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=76464 CPUtime=1781.88
/proc/10955/stat : 10955 (bprolog) R 10953 10955 10837 0 -1 4194304 6088 0 0 0 178169 19 0 0 25 0 2 0 180902983 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 19116 5801 172 90 0 18654 0
[pid=10955/tid=10957] ppid=10953 vsize=76464 CPUtime=0
/proc/10955/task/10957/stat : 10957 (bprolog) S 10953 10955 10837 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 180903037 78299136 5801 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 76464
Child status: 0
Real time (s): 1801.02
CPU time (s): 1798.89
CPU user time (s): 1798.69
CPU system time (s): 0.202969
CPU usage (%): 99.8819
Max. virtual memory (cumulated for all children) (KiB): 86708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6193
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= 13
involuntary context switches= 15893
runsolver used 1.51677 s user time and 4.89226 s system time
The end
Begin job on node61 on Tue Jan 9 06:44:08 UTC 2007
IDJOB= 233222
IDBENCH= 6588
FILE ID= node61/233222-1168325047
PBS_JOBID= 3502951
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-3.xml
COMMAND LINE= /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-233222-1168325047 -o ROOT/results/node61/conversion-233222-1168325047 -C 600 -M 900 /tmp/evaluation/233222-1168325047/Complete/Ordinary/conversion /tmp/evaluation/233222-1168325047/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-233222-1168325047 -o ROOT/results/node61/solver-233222-1168325047 -C 1800 -M 900 /tmp/evaluation/233222-1168325047/Complete/Ordinary/solver /tmp/evaluation/233222-1168325047/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= af76b8d5f9d1f307c434b42c9d393cf0
RANDOM SEED= 922917432
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.259
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.259
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: 1583384 kB
Buffers: 9564 kB
Cached: 68160 kB
SwapCached: 0 kB
Active: 392708 kB
Inactive: 27892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2884 kB
Writeback: 0 kB
Mapped: 363092 kB
Slab: 36796 kB
Committed_AS: 4856984 kB
PageTables: 2424 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= 66520 MiB
End job on node61 on Tue Jan 9 07:14:12 UTC 2007