0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2076442-1247362825)
1.38/1.42 c Converted in 679 ms
1.57/1.65 c solving(HOME/instance-2076442-1247362825,1800000)
1.57/1.65 c solving(HOME/instance-2076442-1247362825,1800000)
907.88/915.61 c (ff_min)
907.88/915.61 s SATISFIABLE
907.88/915.61 v 814 165 63 0 1062 137 1180 383 948 759 866 530 705 465 354 917 235 618 982 274 190 93 435 1233 1122 988 727 181 912 272 711 0 788 254 920 743 617 530 1035 374 767 738 938 735 866 509 778 1302 194 1197 823 650 96 0 174 576 316 359 1109 368 972 752 543 0 1013 1072 99 1059 686 288 378 1033 1068 873 197 618 466 1046 813 929 1043 866 656 90 419 351 682 1109 580 871 1153 87 0 283 170 435 972 518 187 725 1022 0 97 322 1197 1260 671 990 1148 423 812 197 517 257 539 379 741 773 914 93 650 236 1043 559 823 1138 514 400 373 70 165 0 705 252 362 926 930 849 422 1116 158 423 731 517 93 260 651 162 581 664 924 886 348 0 354 974 688 1013 803 1078 254 0 938 1100 977 796 436 749 1139 686 607 370 1211 289 191 859 232 1053 516 97 1256 651 1136 497 1035 90 926 717 1078 588 778 178 338 847 0 888 254 426 1163 920 178 0 1247 467 767 87 624 419 842 808 1097 1049 971 575 741 535 405 1138 691 274 422 0 906 125 97 497 773 1258 370 1053 235 646 288 1022 211 166 181 607 731 1196 1260 850 994 897 72 171 596 351 244 1163 1053 1188 1106 934 87 1176 499 426 0 709 585 371 535 0 136 897 768 813 469 834 287 723 1068 368 929 671 998 1159 87 191 193 1106 900 1059 1188 0 278 448 517 353 807 606 613 886 847 24 727 87 1018 701 812 211 1187 174 668 1153 735 978 597 435 386 1076 850 966 1247 505 80 0 910 257 448 597 670 287 948 796 0 761 383 197 187 982 509 182 87 723 919 195 178 842 386 1049 195 930 778 813 460 0 1171 710 278 51 1256 99 617 518 842 348 994 316 886 741 1134 87 170 378 921 514 252 499 1309 1175 543 0 469 624 278 813 761 1062 254 488 168 768 51 0 998 900 814 1157 80 90 656 581 710 1059 1256 912 322 451
907.88/915.62
907.88/915.62 c Time=906429 ms Backtracks=2999446
907.88/915.62
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076442-1247362825/watcher-2076442-1247362825 -o /tmp/evaluation-result-2076442-1247362825/solver-2076442-1247362825 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076442-1247362825 1800
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): 2000 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
[startup+0 s]
/proc/loadavg: 2.30 2.07 2.04 4/83 23671
/proc/meminfo: memFree=1786472/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=5356 CPUtime=0
/proc/23671/stat : 23671 (sh) R 23669 23671 23574 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 23350015 5484544 232 996147200 4194304 4889804 548682068864 18446744073709551615 226913350845 0 0 4100 65536 0 0 0 17 1 0 0
/proc/23671/statm: 1339 232 193 169 0 50 0
[startup+0.0926639 s]
/proc/loadavg: 2.30 2.07 2.04 4/83 23671
/proc/meminfo: memFree=1786472/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=62208 CPUtime=0.08
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 1146 0 0 0 4 4 0 0 20 0 1 0 23350015 63700992 859 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23671/statm: 15552 859 177 144 0 15036 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 62208
[startup+0.101668 s]
/proc/loadavg: 2.30 2.07 2.04 4/83 23671
/proc/meminfo: memFree=1786472/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=62208 CPUtime=0.09
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 1146 0 0 0 4 5 0 0 20 0 1 0 23350015 63700992 859 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23671/statm: 15552 859 177 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301705 s]
/proc/loadavg: 2.30 2.07 2.04 4/83 23671
/proc/meminfo: memFree=1786472/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=62208 CPUtime=0.28
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 1151 0 0 0 14 14 0 0 21 0 1 0 23350015 63700992 864 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/23671/statm: 15552 864 177 144 0 15036 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62208
[startup+0.70178 s]
/proc/loadavg: 2.30 2.07 2.04 4/83 23671
/proc/meminfo: memFree=1786472/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=62208 CPUtime=0.68
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 1158 0 0 0 34 34 0 0 25 0 1 0 23350015 63700992 871 996147200 134512640 135105188 4294956096 18446744073709551615 134557074 0 0 4096 2 0 0 0 17 1 0 0
/proc/23671/statm: 15552 871 177 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50194 s]
/proc/loadavg: 2.30 2.07 2.04 3/84 23672
/proc/meminfo: memFree=1783200/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=62204 CPUtime=1.48
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 1836 0 0 0 76 72 0 0 25 0 1 0 23350015 63696896 1547 996147200 134512640 135105188 4294956096 18446744073709551615 134600152 0 0 4096 2 0 0 0 17 1 0 0
/proc/23671/statm: 15551 1547 180 144 0 15035 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62204
[startup+3.10124 s]
/proc/loadavg: 2.30 2.07 2.04 3/84 23672
/proc/meminfo: memFree=1774112/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=3.06
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4115 0 0 0 233 73 0 0 25 0 2 0 23350015 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 134727433 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3646 198 144 0 20719 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 84940
[startup+6.30286 s]
/proc/loadavg: 2.28 2.07 2.04 3/85 23673
/proc/meminfo: memFree=1771800/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=6.23
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4115 0 0 0 550 73 0 0 25 0 2 0 23350015 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 134732799 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3646 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3646 996147200 134512640 135105188 4294956096 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) 84940
[startup+12.7011 s]
/proc/loadavg: 2.25 2.07 2.04 3/85 23673
/proc/meminfo: memFree=1771672/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=12.58
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4115 0 0 0 1185 73 0 0 25 0 2 0 23350015 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 134730308 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3646 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 84940
[startup+25.5015 s]
/proc/loadavg: 2.20 2.06 2.04 3/85 23673
/proc/meminfo: memFree=1771608/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=25.26
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4115 0 0 0 2453 73 0 0 25 0 2 0 23350015 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 134729325 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3646 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 84940
[startup+51.1015 s]
/proc/loadavg: 2.13 2.06 2.04 3/85 23673
/proc/meminfo: memFree=1771608/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=50.66
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4115 0 0 0 4992 74 0 0 25 0 2 0 23350015 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 134731650 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3646 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3646 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 84940
[startup+102.306 s]
/proc/loadavg: 2.05 2.05 2.03 3/85 23673
/proc/meminfo: memFree=1771416/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=101.42
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 10068 74 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134733198 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 84940
[startup+162.302 s]
/proc/loadavg: 2.02 2.04 2.03 3/85 23673
/proc/meminfo: memFree=1770968/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=160.9
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 16016 74 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134734812 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 84940
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.02 3/85 23673
/proc/meminfo: memFree=1770520/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=220.38
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 21964 74 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134731334 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 84940
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/85 23673
/proc/meminfo: memFree=1770072/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=279.87
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 27913 74 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134733438 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 84940
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/85 23673
/proc/meminfo: memFree=1769560/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=339.36
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 33861 75 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134730018 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 84940
[startup+402.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/85 23673
/proc/meminfo: memFree=1769112/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=398.85
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 39810 75 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134718724 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.85
Current children cumulated vsize (KiB) 84940
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23673
/proc/meminfo: memFree=1768728/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=458.33
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 45758 75 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134729178 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 84940
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23673
/proc/meminfo: memFree=1768280/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=517.82
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 51707 75 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134732792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
################
# More data... #
################
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1767640/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=577.3
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 57655 75 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134734348 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 84940
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1767512/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=636.8
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 63604 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134731123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.8
Current children cumulated vsize (KiB) 84940
[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1767128/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=696.28
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 69552 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134730018 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.28
Current children cumulated vsize (KiB) 84940
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1766680/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=755.77
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 75501 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134728655 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 755.77
Current children cumulated vsize (KiB) 84940
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1766296/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=815.25
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 81449 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134730816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.25
Current children cumulated vsize (KiB) 84940
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1765848/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=874.74
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 87398 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134733205 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 874.74
Current children cumulated vsize (KiB) 84940
Solver just ended. Dumping a history of the last processes samples
[startup+895.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 23675
/proc/meminfo: memFree=1765720/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=84940 CPUtime=888.22
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4116 0 0 0 88746 76 0 0 25 0 2 0 23350015 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 134736585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/23671/statm: 21235 3647 198 144 0 20719 0
[pid=23671/tid=23673] ppid=23669 vsize=84940 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23350242 86978560 3647 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 888.22
Current children cumulated vsize (KiB) 84940
[startup+908.701 s]
/proc/loadavg: 1.86 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1876200/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=900.98
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90021 77 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134731571 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 900.98
Current children cumulated vsize (KiB) 95184
[startup+911.907 s]
/proc/loadavg: 1.86 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1876072/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=904.19
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90341 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134729270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 904.19
Current children cumulated vsize (KiB) 95184
[startup+913.502 s]
/proc/loadavg: 1.86 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1875816/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=905.78
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90500 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134729607 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 905.78
Current children cumulated vsize (KiB) 95184
[startup+914.301 s]
/proc/loadavg: 1.87 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1875816/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=906.58
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90580 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134730948 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 906.58
Current children cumulated vsize (KiB) 95184
[startup+915.102 s]
/proc/loadavg: 1.87 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1875816/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=907.39
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90661 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134733859 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 907.39
Current children cumulated vsize (KiB) 95184
[startup+915.502 s]
/proc/loadavg: 1.87 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1875816/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=907.78
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90700 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134731854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 907.78
Current children cumulated vsize (KiB) 95184
[startup+915.602 s]
/proc/loadavg: 1.87 1.97 1.99 3/75 23739
/proc/meminfo: memFree=1875816/2055920 swapFree=4192812/4192956
[pid=23671] ppid=23669 vsize=95184 CPUtime=907.88
/proc/23671/stat : 23671 (bprolog) R 23669 23671 23574 0 -1 4194304 4117 0 0 0 90710 78 0 0 25 0 3 0 23350015 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 134733692 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/23671/statm: 23796 3648 198 144 0 23280 0
[pid=23671/tid=23673] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23673/stat : 23673 (bprolog) S 23669 23671 23574 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23350242 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=23671/tid=23696] ppid=23669 vsize=95184 CPUtime=0
/proc/23671/task/23696/stat : 23696 (bprolog) S 23669 23671 23574 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23440258 97468416 3648 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 907.88
Current children cumulated vsize (KiB) 95184
Child status: 0
Real time (s): 915.632
CPU time (s): 907.91
CPU user time (s): 907.124
CPU system time (s): 0.78588
CPU usage (%): 99.1566
Max. virtual memory (cumulated for all children) (KiB): 95184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 907.124
system time used= 0.78588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4119
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= 36791
runsolver used 0.905862 second user time and 2.45063 second system time
The end
Begin job on node5 at 2009-07-12 03:40:25
IDJOB=2076442
IDBENCH=56422
IDSOLVER=770
FILE ID=node5/2076442-1247362825
PBS_JOBID= 9506999
Free space on /tmp= 66380 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-3.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076442-1247362825/watcher-2076442-1247362825 -o /tmp/evaluation-result-2076442-1247362825/solver-2076442-1247362825 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076442-1247362825 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6c79e9d2edcd5b15367f47ef6ebcf5f2
RANDOM SEED=23788326
node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.258
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.258
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: 1786952 kB
Buffers: 8244 kB
Cached: 67712 kB
SwapCached: 0 kB
Active: 194172 kB
Inactive: 24808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2764 kB
Writeback: 0 kB
Mapped: 158756 kB
Slab: 34964 kB
Committed_AS: 905292 kB
PageTables: 2036 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= 66384 MiB
End job on node5 at 2009-07-12 03:55:41