0.19/0.20 c bpsolver version 6.29.2009
0.19/0.20 c converting(HOME/instance-2076508-1247362915)
1.29/1.30 c Converted in 640 ms
1.49/1.51 c solving(HOME/instance-2076508-1247362915,1800000)
1.49/1.51 c solving(HOME/instance-2076508-1247362915,1800000)
2.10/2.16 c (ff_inout)
2.10/2.16 s SATISFIABLE
2.10/2.16 v 829 483 918 541 955 620 347 418 728 684 795 99 0 738 192 734 812 184 878 281 1117 754 878 1039 819 239 332 174 367 98 250 920 601 519 0 697 446 1074 242 1000 399 698 765 747 77 174 481 923 1179 940 861 529 778 1085 320 583 645 0 539 250 693 612 468 792 196 384 768 642 785 293 742 756 778 581 669 99 711 548 0 727 988 669 95 0 880 268 788 645 338 1019 1091 1193 734 948 553 517 1236 460 1148 146 519 1211 192 711 364 988 645 589 1143 0 1067 269 923 241 450 384 878 99 1025 63 1120 314 773 353 548 702 176 186 95 0 845 684 1200 321 450 941 279 293 256 1082 905 371 0 87 338 587 334 539 768 1094 146 1034 450 192 272 244 859 1001 1160 975 882 682 702 750 388 0 669 583 1120 467 656 530 174 271 860 334 712 88 1015 804 429 92 747 0 529 81 1200 712 635 532 810 979 281 175 756 493 367 1036 920 579 747 500 940 169 59 671 385 728 645 0 81 581 416 832 266 802 861 780 1025 1155 460 82 642 920 780 587 269 834 813 693 905 353 530 738 0 933 468 171 424 860 188 0 1074 474 450 688 280 926 98 806 340 593 1016 1117 747 292 975 171 535 859 279 500 620 551 941 0 175 829 410 320 1016 535 673 949 894 91 806 1109 738 588 623 876 1082 483 805 364 685 188 242 961 269 997 81 1215 1036 0 91 1161 83 728 1098 966 317 189 894 83 695 495 394 371 1155 1034 440 642 612 254 746 410 0 813 315 87 63 490 553 99 280 446 332 751 1091 805 385 589 961 189 0 669 992 1157 429 315 93 388 747 604 449 0 711 578 416 517 268 819 533 925 642 192 878 333 1161 955 522 83 374 867 176 90 59 423 635 249 679 743 1058 329 213 272 0 728 250 90 649 1005 1148 577 685 952 451 196 0 321 1193 171 532 746 364 1066 850 997
2.10/2.17
2.10/2.17 c Time=843 ms Backtracks=60
2.10/2.17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076508-1247362915/watcher-2076508-1247362915 -o /tmp/evaluation-result-2076508-1247362915/solver-2076508-1247362915 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076508-1247362915 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.03 2.02 2.00 3/84 17874
/proc/meminfo: memFree=1733120/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=62200 CPUtime=0
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 868 0 0 0 0 0 0 0 18 0 1 0 23356735 63692800 584 996147200 134512640 135105188 4294956096 18446744073709551615 134557234 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 15550 585 127 144 0 15034 0
[startup+0.0361109 s]
/proc/loadavg: 2.03 2.02 2.00 3/84 17874
/proc/meminfo: memFree=1733120/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=62208 CPUtime=0.03
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 1093 0 0 0 2 1 0 0 18 0 1 0 23356735 63700992 806 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 15552 806 174 144 0 15036 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 62208
[startup+0.101122 s]
/proc/loadavg: 2.03 2.02 2.00 3/84 17874
/proc/meminfo: memFree=1733120/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=62208 CPUtime=0.09
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 1146 0 0 0 5 4 0 0 18 0 1 0 23356735 63700992 859 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 15552 859 177 144 0 15036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62208
[startup+0.301162 s]
/proc/loadavg: 2.03 2.02 2.00 3/84 17874
/proc/meminfo: memFree=1733120/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=62208 CPUtime=0.29
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 1152 0 0 0 15 14 0 0 19 0 1 0 23356735 63700992 865 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 15552 865 177 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.701245 s]
/proc/loadavg: 2.03 2.02 2.00 3/84 17874
/proc/meminfo: memFree=1733120/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=62208 CPUtime=0.69
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 1159 0 0 0 36 33 0 0 23 0 1 0 23356735 63700992 872 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 15552 872 177 144 0 15036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62208
[startup+1.5014 s]
/proc/loadavg: 2.03 2.02 2.00 3/85 17875
/proc/meminfo: memFree=1729912/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=74632 CPUtime=1.49
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 3083 0 0 0 84 65 0 0 25 0 1 0 23356735 76423168 2791 996147200 134512640 135105188 4294956096 18446744073709551615 135071158 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 18658 2791 181 144 0 18142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74632
Solver just ended. Dumping a history of the last processes samples
[startup+1.90148 s]
/proc/loadavg: 2.03 2.02 2.00 3/85 17875
/proc/meminfo: memFree=1729912/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=74632 CPUtime=1.89
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 3371 0 0 0 123 66 0 0 25 0 1 0 23356735 76423168 3079 996147200 134512640 135105188 4294956096 18446744073709551615 134684286 0 0 4096 2 0 0 0 17 1 0 0
/proc/17874/statm: 18658 3079 184 144 0 18142 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 74632
[startup+2.10252 s]
/proc/loadavg: 2.03 2.02 2.00 3/86 17876
/proc/meminfo: memFree=1718768/2055920 swapFree=4192812/4192956
[pid=17874] ppid=17872 vsize=84940 CPUtime=2.1
/proc/17874/stat : 17874 (bprolog) R 17872 17874 17798 0 -1 4194304 4080 0 0 0 144 66 0 0 25 0 2 0 23356735 86978560 3611 996147200 134512640 135105188 4294956096 18446744073709551615 134736850 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/17874/statm: 21235 3611 198 144 0 20719 0
[pid=17874/tid=17876] ppid=17872 vsize=84940 CPUtime=0
/proc/17874/task/17876/stat : 17876 (bprolog) S 17872 17874 17798 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23356943 86978560 3611 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 84940
Child status: 0
Real time (s): 2.17436
CPU time (s): 2.16467
CPU user time (s): 1.49777
CPU system time (s): 0.666898
CPU usage (%): 99.5543
Max. virtual memory (cumulated for all children) (KiB): 84940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49777
system time used= 0.666898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4115
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= 5
involuntary context switches= 432
runsolver used 0.011998 second user time and 0.013997 second system time
The end
Begin job on node77 at 2009-07-12 03:41:55
IDJOB=2076508
IDBENCH=56437
IDSOLVER=770
FILE ID=node77/2076508-1247362915
PBS_JOBID= 9507000
Free space on /tmp= 66148 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-0.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076508-1247362915/watcher-2076508-1247362915 -o /tmp/evaluation-result-2076508-1247362915/solver-2076508-1247362915 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2076508-1247362915 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2ac19223b2e0853d7ad9b1f32a9c1dfd
RANDOM SEED=1811561910
node77.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.256
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.256
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1733664 kB
Buffers: 20672 kB
Cached: 96016 kB
SwapCached: 136 kB
Active: 250908 kB
Inactive: 23896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2380 kB
Writeback: 0 kB
Mapped: 173640 kB
Slab: 32504 kB
Committed_AS: 884436 kB
PageTables: 2052 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= 66144 MiB
End job on node77 at 2009-07-12 03:41:57